The Federated Logic Conference 2022 brings together nine major international conferences related to mathematical logic and computer science:

CAV 34th International Conference on Computer Aided Verification
CSF 35th IEEE Computer Security Foundations Symposium
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 9th 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 21st International Conference on Theory and Applications of Satisfiability Testing