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.

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.

Call for Papers
The 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022) will be held as part of FLoC 2022, which is planned as a physical meeting from July 31 to August 12, 2022, in Haifa, Israel. For people who cannot travel to Israel, the possibility of remote participation will be ensured.

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.

Program Committee Chair
Christel Baier, TU Dresden, Germany

Local Organizer
Dana Fisman (Conference Chair), Ben-Gurion University, Israel
Steering Committee
C Baier, F Blanqui, P Bouyer-Decitre, A Bulatov, D Fisman, D Gorla, M Grohe, H Hermanns, N Kobayashi, O Kupferman (chair), L Libkin, D Miller, J Ouaknine, F Pfenning, B Pientka, A Silva, S Staton, A Tiu, L Zhang.