2021年第36届ACM/IEEE计算机科学逻辑研讨会 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science LICS

活动简介

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

组委会

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)

征稿信息

重要日期

2021-01-25

初稿截稿日期

征稿范围

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.