Introduction

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. The safety and well-being of all conference participants is our priority. After evaluating the ongoing COVID-19 situation, the decision has been made to transform the in-person component of the IEEE LICS 2021 conference into an all-digital conference experience – IEEE LICS 2021 will now be an online event. Therefore, IEEE LICS 2021 will no longer take place in Rome (Italy) and will instead take place virtually. The conference dates remain the same – June 29-July 2, 2021. Proceedings will not be cancelled, and publications will continue as planned. 

Sponsor Type:1; 9

Committee

Local Chair

Daniele Gorla, Università di Roma “La Sapienza”, Italy

LICS Publicity and Proceedings Chair

Sam Staton, Univ. Oxford

Program Committee Chair

Leonid Libkin (Univ. of Edinburgh/ENS-Paris)

Program Committee

Christoph Berkholz (Humboldt-University Berlin)
Meghyn Bienvenu (CNRS, University of Bordeaux)
Filippo Bonchi (University of Pisa)
Véronique 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)
Wim Martens (University of Bayreuth)
Peter O’Hearn (UCL/Facebook)
Daniela Petrisan (Université de Paris, CNRS, IRIF)
Miguel Romero (Universidad Adolfo Ibáñez)
Philippe Schnoebelen (CNRS & 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)

Call for paper

Important date

2021-01-25
Draft paper submission deadline

Submission Topics

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include:

automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, knowledge representation and reasoning, lambda and combinatory calculi, linear logic, logic programming, logical aspects of AI, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

Submit Comment
Verify Code Change Another
All Comments
Important Date

  • Conference Date

    Jun 29

    2021

    to

    Jul 02

    2021

  • Jan 25 2021

    Draft paper submission deadline

  • Jul 02 2021

    Registration deadline

Sponsored By
ACM Special Interest Group on Logic and Computation SIGLOG IEEE Computer Society
Contact Information
Login to view full contact details
Previous Conferences