Computer Science and Technologies

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2022 will be hosted at the Technion in Haifa, Israel as part of the Federated Logic Conference (FLOC 2022) during 2 – 5 August 2022, with affiliated workshops 31 July and 1 August.

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, foundations of probabilistic, real-time and hybrid systems, 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, process calculi, programming language semantics, proof theory, reasoning about security and privacy, rewriting, type systems, type theory, and verification.

Publication:
The official publication date may differ from the first day of the conference. The official publication date may affect the deadline for any patent filings related to published work. We will clarify the official publication date in due course.

Program Committee:
Zena M. Ariola, University of Oregon, US;
Christel Baier, TU Dresden, Germany (chair);
Michael Benedikt, University of Oxford, UK;
Udi Boker, IDC Herzliya, Israel;
Swarat Chaudhuri, University of Texas at Austin, US;
Lorenzo Clemente, University of Warsaw, Poland;
Liron Cohen, Ben-Gurion University, Israel;
Thomas Colcombet, CNRS IRIF Paris, France;
Thierry Coquand, University of Gothenburg, Sweden;
Martin Hötzel Escardo, University of Birmingham, UK;
Marcelo P. Fiore, University of Cambridge, UK;
Stefan Göller, University of Kassel, Germany;
Jan Hoffmann, CMU, Pittsburgh, US;
Benjamin Lucien Kaminski, University College London, UK.
........