FLoC Conference Block 1:

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)

Int'l Conference on Interactive Theorem Proving (ITP)

Int’l Workshop on Non-Monotonic Reasoning (NMR)

FLoC 2022 Overview Program:

Note: This is a tentative, preliminary schedule, and is subject to change.

© FLOC 2022 - All rights reserved to Technion - Israel Institute of Technology

Designed and powered by PREMIUM

If you have any inquires please contact us at  


  • Facebook
  • Twitter
  • YouTube
  • Pinterest
  • Tumblr Social Icon
  • Instagram