Lics

IEEE Symposium on Logic in Computer Science

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

Thirty sixth Annual IEEE Symposium on

Logic in Computer Science (LICS 2021)

2021-06-29 to 2021-07-2, Rome, Italy

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Dale Miller
Ecole Polytechnique

Program Chair

Leonid Libkin
University of Edinburgh, UK

Conference Chair

Daniele Gorla
Universita di Roma La Sapienza, Italy

Publicity Chair

Sam Staton
University of Oxford

Workshops Chair

Frederic Blanqui
INRIA, France

Program Committee:

Christoph Berkholz (Humboldt-University Berlin); Meghyn Bienvenu (CNRS, University of Bordeaux); Filippo Bonchi (University of Pisa); Véronique Bruyere@Bruyère (University of Mons); Yu-Fang Chen (Academia Sinica); Dmitry Chistikov (University of Warwick); Silvia Crafa (University of Padova); Amina Doumane (CNRS-ENS de Lyon); Stéphanie Delaune (University Rennes, CNRS, IRISA); Ekaterina Fokina (TU Wien); Marco Gaboardi (Boston University); Adria Gascon (Google UK); Lauri Hella (Tampere University); Ekaterina Komendantskaya (Heriott-Watt University); Benoit Larose (UQAM, Montréal); Jérôme Leroux (CNRS, University of Bordeaux); Leonid Libkin (Univ. of Edinburgh/ENS-Paris); Wim Martens (University of Bayreuth); Peter OHearn@O’Hearn (UCL/Facebook); Daniela Petrisan (Université de Paris, CNRS, IRIF); Miguel Romero (Universidad Adolfo Ibáñez); Philippe Schnoebelen (CNRS and ENS Paris-Saclay); Olivier Serre (Université de Paris, CNRS, IRIF); Sebastian Siebertz (University of Bremen); Kristina Sojakova (INRIA); Alwen Tiu (Australian National University); Patrick Totzke (University of Liverpool); Szymon Torunczyk (University of Warsaw); Takeshi Tsukada (University of Tokyo); Jamie Vicary (University of Cambridge); Michael Zakharyaschev (Birkbeck); Anna Zamansky (Haifa University); Georg Zetzsche (Max Planck Institute for Software Systems); Thomas Zeume (Ruhr-Universität Bochum)


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