Lics

IEEE Symposium on Logic in Computer Science

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

Thirty fourth Annual IEEE Symposium on

Logic in Computer Science (LICS 2019)

2019-06-24 to 2019-06-27, Vancouver

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

Patricia Bouyer
CNRS, France

Conference Chair

Sam Staton
University of Oxford

Publicity Chair

Sam Staton
University of Oxford

Workshops Chair

Patricia Bouyer
CNRS & ENS Cachan

Program Committee:

Parosh Abdulla (Uppsala University, Sweden); Luca Aceto (Reykjavik University, Iceland / Gran Sasso Science Institute, Italy); C. Aiswarya (Chennai Mathematical Institute, India); Myrto Arapinis (University of Edinburgh, UK); Lars Birkedal (Aarhus University, Denmark); Patricia Bouyer (CNRS, France); Arnaud Carayol (CNRS, France); Kaustuv Chaudhuri (Inria, France); Thierry Coquand (University of Gothenburg, Sweden); Kousha Etessami (University of Edinburgh, UK); Maribel Fernandez (King's College London, UK); Santiago Figueira (Univ. Buenos Aires, Argentina); Mai Gehrke (CNRS, France); Stefan Kiefer (University of Oxford, UK); Aleks Kissinger (Radboud Univ., NL); Barbara König (Univ. Duisburg-Essen, Germany); Laura Kovács (TU Wien, Austria); Stephan Kreutzer (TU Berlin, Germany); Antonín Kučera (Masaryk University, Czech Republic); Sławomir Lasota (University of Warsaw, Poland); Ranko Lazić (University of Warwick, UK); Stefan Mengel (CNRS, France); Catuscia Palamidessi (Inria, France); Prakash Panangaden (McGill University, Canada); Sophie Pinchinat (University of Rennes, France); Andrew Pitts (University of Cambridge, UK); Karin Quaas (Universität Leipzig, Germany); Jean-François Raskin (Univ. Libre de Bruxelles, Belgium); Pierre-Alain Reynier (Aix-Marseille University, France); Tony Tan (National Taiwan University, Taiwan); Victor Vianu (U.C. San Diego, USA)


Last modified: 2019-10-0211:33
Andrzej Murawski