ย 

ABOUT FLoC 2022

โ€‹

During the past forty years, there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with a unifying foundational framework and modeling tools.


In fact, logic has been called “the calculus of computer science,” playing a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.
 

The Federated Logic Conference brings together several leading international conferences related to mathematical logic and computer science. both logic and verification.

CAV         34th International Conference on Computer Aided Verification

 

CP            28th Int'l Conference on Principles and Practice of Constraint Programming

โ€‹

CSF          35th IEEE Computer Security Foundations Symposium

โ€‹

DL            2022 International Workshop on Description Logics

โ€‹

FSCD       7th International Conference on Formal Structures for Computation and Deduction

               

ICLP         38th International Conference on Logic Programming 

    

IJCAR      11th International Joint Conference on Automated Reasoning

    

ITP           10th International Conference on Interactive Theorem Proving 

              

KR            19th International Conference on Principles of Knowledge Representation and Reasoning 

         

LICS         37th Annual ACM/IEEE Symposium on Logic in Computer Science             

โ€‹

NMR        20th International Workshop on Non-Monotonic Reasoning

โ€‹

SAT          22st International Conference on Theory and Applications of Satisfiability Testing               

FLoC 2022 Production Company

© 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  

floc2022@technion.ac.il

  • Facebook
  • Instagram
ย