Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Thirty third Annual IEEE Symposium on

Logic in Computer Science (LICS 2018)

2018-07-09 to 2018-07-12, Oxford

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Martin Grohe
RWTH Aachen University

Program Chair

Martin Hofmann
LMU Munich

Conference Chair

Sam Staton
University of Oxford

Publicity Chair

Sam Staton
University of Oxford

Workshops Chair

Patricia Bouyer
CNRS & ENS Cachan

Program Committee:

Gilles Barthe (IMDEA Software Institute); Michael Benedikt (Univ. Oxford); Hans L. Bodlaender (Utrecht University); Ugo Dal Lago (Univ. Bologna & INRIA Sophia Antipolis); Samir Datta (Chennai Mathematical Institute); Anuj Dawar (Univ. Cambridge); Josee Desharnais (Univ. Laval); Jerome Feret (INRIA, ENS Paris); Erich Grädel (RWTH Aachen); Ichiro Hasuo (NII Tokyo); Justin Hsu (UCL); Alan Jeffrey (Mozilla Research); Bartek Klin (Univ. Warsaw); Antonina Kolokolova (Memorial Univ. Newfoundland); Orna Kupferman (Hebrew Univ. Jerusalem); Daniel Leivant (Indiana Univ.); Daniel R. Licata (Carnegie Mellon University); Anthony Widjaja Lin (Univ. Oxford); Sebastian Maneth (Univ. Bremen); Anca Muscholl (Univ. Bordeaux); Brigitte Pientka (McGill University); Thomas Place (Univ. Bordeaux); Ramyaa Ramyaa (New Mexico Tech.); Giselle Reis (Carnegie Mellon (Qatar)); Sylvain Schmitz (ENS Paris-Saclay); Nicole Schweikardt (HU Berlin); Peter Selinger (Dalhousie University); Zhong Shao (Yale University); Ana Sokolova (Univ. Salzburg); Thomas Streicher (TU Darmstadt); Carolyn Talcott (SRI International); Lijun Zhang (Chinese Academy of Sciences, Beijing)


Last modified: 2024-10-249:41
Sam Staton