34th International Conference on Computer Aided Verification
28th International Conference on Principles and Practice of Constraint Programming
Conference PC Chairs:
Christine Solnon, INSA Lyon
35th IEEE Computer Security Foundations Symposium
Conference PC Chairs:
Stefano Calzavara, Università Ca’ Foscari Venezia
David Naumann, Stevens Institute of Technology
35th International Workshop on Description Logics
Conference PC Chairs:
Martin Homola, Comenius University in Bratislava
Marie-Laure Mugnier, University of Montpellier
7th International Conference on Formal Structures for Computation and Deduction
Conference PC Chairs:
Amy Felty, University of Ottawa
38th International Conference on Logic Programming
Conference PC Chairs:
Yuliya Lierler, University of Nebraska Omaha
José F. Morales, IMDEA Software Institute
Conference PC Chairs:
Jasmin Blanchette, Vrije Universiteit Amsterdam
Laura Kovacs, TU Wien
Dirk Pattinson, Australian National University
Conference PC Chairs:
June Andronick, UNSW Sidney & Proofcraft
Leonardo de Moura, Microsoft Research
19th International Conference on Principles of Knowledge Representation and Reasoning
Conference PC Chairs:
Gabriele Kern-Isberner, TU Dortmund
Tommie Meyer, University of Cape Town
20th International Workshop on Non-Monotonic Reasoning
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
