- from 2026-07-13 to 2026-07-29
The Federated Logic Conference (FLoC) is the largest international scientific event in the field of mathematical logic and applications in computer science. FLoC is held once every four years and brings together ten leading international conferences in the field of logic in computer science, with more than 2,000 participants, supplemented by 86 workshops and a summer school (FoPSS).
The quadrennial intersection of logic and computer science
The Federated Logic Conference (FLoC) is the umbrella event that brings together ten leading international conferences in the field of logic in computer science at one location once every four years. Participating conferences include CAV (Computer Aided Verification), LICS (Logic in Computer Science), SAT (Satisfiability Testing), KR (Knowledge Representation), ITP (Interactive Theorem Proving), ICLP (Logic Programming), IJCAR (Automated Reasoning), and CSF (IEEE Computer Security Foundations). Previous editions took place in Haifa (2022) and Oxford (2018).
Program
The full FLoC 2026 program includes a preparatory FoPSS Summer School (July 13–17), two workshop blocks (July 18–19 and 24–25), and two weeks of conferences (July 20–23 and 26–29). In total, 86 workshops have been adopted, in addition to the ten main conferences.
Who is FLoC 2026 for?
The event focuses on scientists, researchers, and students active in theoretical computer science, formal methods, verification, artificial intelligence, cybersecurity, and related fields.
