CONFERENCES

LICS 2022
0

IEEE Symposium on Logic in Computer Science

posted by organizer: ||62 views||Release time:Oct 16, 2024

Conference DateAug 02-Aug 05, 2022PlaceHaifa, Israel
Submission DeadlineJan 21, 2022E-mail
Websitehttps://lics.siglog.org/lics22/Telephone
DESCRIPTION
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. ........

Similar Conference

ICVARS 2026

Submission Deadline: Mar 01, 2026

2026 10th International Conference on Intelligent Computing and Virtual & Augmented Reality Simulations

Jul 15-Jul 17, 2026

France

NLPAI 2026

Submission Deadline: Jan 25, 2026

2026 7th International Conference on Natural Language Processing and Artificial Intelligence

Jul 10-Jul 13, 2026

China