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
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