Lics

IEEE Symposium on Logic in Computer Science

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

Thirty first Annual IEEE Symposium on

Logic in Computer Science (LICS 2016)

2016-07-05 to 2016-07-08, New York City

On this page:

Invited Speakers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Martin Grohe
RWTH Aachen University

Program Chair

Natarajan Shankar
SRI International

Conference Chair

Eric Koskinen
Yale University

Publicity Chair

Sam Staton
University of Oxford

Workshops Chair

Patricia Bouyer-Decitre
CNRS & ENS Cachan

Program Committee:

Albert Atserias (Universitat Politècnica de Catalunya); Steve Awodey (Carnegie Mellon University); Christel Baier (TU Dresden); Nick Benton (Microsoft Research); Nathalie Bertrand (INRIA Rennes); Achim Blumensath (Masaryk University); Mikołaj Bojańczyk (Warsaw University); Patricia Bouyer (CNRS, ENS Cachan); James Brotherston (University College London); Corina Cîrstea (University of Southampton); Véronique Cortier (CNRS, LORIA); Gilles Dowek (INRIA & ENS Cachan); Thomas Ehrhard (Université Paris Diderot); Diego Figueira (LaBRI); Stefan Göller (CNRS, ENS Cachan); Jean Goubault-Larrecq (ENS Cachan); Neil Immerman (University of Massachusetts, Amherst); Bart Jacobs (Radboud University Nijmegen); Elham Kashefi (CNRS, Laboratoire d'Informatique de Paris 6 & University of Edinburgh); Antonín Kučera (Masaryk University); Carsten Lutz (Universität Bremen); Barnaby Martin (Durham University); Stefan Milius (Friedrich-Alexander Universität Erlangen-Nürnberg); David Monniaux (CNRS, VERIMAG); Joel Ouaknine (MPI-SWS & University of Oxford); Dominique Perrin (Université Paris-Est); Brigitte Pientka (McGill University); Alexander Rabinovich (Tel Aviv University); Ofer Strichman (Technion); Christine Tasson (Université Paris Diderot); Margus Veanes (Microsoft Research)


Last modified: 2017-04-0512:37
Andrzej Murawski