CAV
34th International Conference on Computer Aided Verification
Conference PC Chairs:
Sharon Shoham, Tel Aviv University
Yakir Vizel, Technion
CP
28th International Conference on Principles and Practice of Constraint Programming
Conference PC Chairs:
Christine Solnon, INSA Lyon
CSF
35th IEEE Computer Security Foundations Symposium
Conference PC Chairs:
Stefano Calzavara, Università Ca’ Foscari Venezia
David Naumann, Stevens Institute of Technology
DL
35th International Workshop on Description Logics
Conference PC Chairs:
Martin Homola, Comenius University in Bratislava
Marie-Laure Mugnier, University of Montpellier
FSCD
7th International Conference on Formal Structures for Computation and Deduction
Conference PC Chairs:
Amy Felty, University of Ottawa
ICLP
38th International Conference on Logic Programming
Conference PC Chairs:
Yuliya Lierler, University of Nebraska Omaha
José F. Morales, IMDEA Software Institute
IJCAR
11th International Joint Conference on Automated Reasoning
Conference PC Chairs:
Jasmin Blanchette, Vrije Universiteit Amsterdam
Laura Kovacs, TU Wien
Dirk Pattinson, Australian National University
ITP
13th Conference on Interactive Theorem Proving
Conference PC Chairs:
June Andronick, UNSW Sidney & Proofcraft
Leonardo de Moura, Microsoft Research
KR
19th International Conference on Principles of Knowledge Representation and Reasoning
Conference PC Chairs:
Gabriele Kern-Isberner, TU Dortmund
Tommie Meyer, University of Cape Town
LICS
37th Annual Symposium on Logic in Computer Science
Conference PC Chairs:
Christel Baier, TU Dresden
NMR
20th International Workshop on Non-Monotonic Reasoning
Conference PC Chairs:
Giovanni Casini, ISTI-CNR
Laura Giordano, Università del Piemonte Orientale
SAT
25th International Conference on Theory and Applications of Satisfiability Testing
Conference PC Chairs:
Kuldeep S. Meel, National University of Singapore
Ofer Strichman, Technion
FLoC Conference Block1: August 02 – August 05, 2022
Int'l Conference on Principles and Practice of Constraint Programming (CP)
Int'l Conference on Formal Structures for Computation and Deduction (FSCD)
Int'l Conference on Logic Programming (ICLP)
Int’l Conf on Principles of Knowledge Representation and Reasoning (KR)
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Int'l Conference on Theory and Applications of Satisfiability Testing (SAT)
FLoC Conference Block 2: August 07 – August 10, 2022
Int'l Conference on Computer Aided Verification (CAV)
IEEE Computer Security Foundations Symposium (CSF)
Int’l Workshop on Description Logics (DL)
Int'l Joint Conference on Automated Reasoning (IJCAR) - Only from Aug 08 to Aug 10
Int'l Conference on Interactive Theorem Proving (ITP)
Int’l Workshop on Non-Monotonic Reasoning (NMR) - Only from Aug 07 to Aug 09
