FLOC 2026: Federated Logic Conference
Table of Contents
1. Overview
The 9th Federated Logic Conference. Lisbon, 13–29 July 2026.
FLOC brings together major conferences in logic, verification, and formal methods every four years. Previous editions: Oxford (2018), Haifa (2022).
Website: https://www.floc26.org/
2. Schedule
2.1. Summer Schools (13–17 Jul)
- 6th Summer School on Foundations of Programming and Software Systems (FoPSS)
- 13th SAT/SMT/AR Summer School
2.2. 3-Day Workshops (17–19 Jul)
- 39th Int. Workshop on Description Logics (DL) – affiliated with KR
- 24th Int. Workshop on Nonmonotonic Reasoning (NMR) – affiliated with KR
2.4. Week 1 Workshops (18–19 Jul)
Workshops with site relevance:
- GaLoP: Games for Logic and Programming Languages (LICS/FSCD, 18–19 Jul)
- FMQC: Formal Methods in Quantum Computing (18 Jul)
- LCC: Logic and Computational Complexity (LICS, 18–19 Jul)
- MSFP: Mathematically Structured Functional Programming (FSCD, 18 Jul)
- TLLA: Trends in Linear Logic and Applications (FSCD/LICS, 18–19 Jul)
- SmP: Structure meets Power (LICS, 18 Jul)
- DIALOCO: Diagrams in Logic and Computation (LICS, 19 Jul)
- LLM-Solve: LLMs meet Constraint Solving (SAT/CP, 19 Jul)
2.6. Week 2 Workshops (24–25 Jul)
Workshops with site relevance:
- ACV: Abstract and Concrete Techniques in Verification (LICS/CAV, 24–25 Jul)
- IMLA: Intuitionistic Modal Logic and Applications (LICS, 24–25 Jul)
- Isabelle: Isabelle Workshop (ITP/IJCAR, 24–25 Jul)
- LFMTP: Logical Frameworks and Meta-languages (FSCD, 24 Jul)
- PERR: Program Equivalence and Relational Reasoning (CAV, 24 Jul)
- SAIV: Symposium on AI Verification (CAV, 24–25 Jul)
- SD: Structures and Deduction (LICS, 24–25 Jul)
- SMT: Satisfiability Modulo Theories (IJCAR, 24–25 Jul)
- WiL: Women in Logic (LICS, 24–25 Jul)
- Lean: Lean Workshop (ITP, 25 Jul)
- RocqWS: Rocqshop (ITP, 25 Jul)
- SYNT: Synthesis (CAV, 25 Jul)
- VeriProP: Verification of Probabilistic Programs (CAV, 25 Jul)
3. Competitions
| Competition | Affiliated | Week |
|---|---|---|
| SAT Competition | SAT | 1 |
| MaxSAT Evaluation | SAT | 1 |
| MiniZinc Challenge | CP | 1 |
| CASC-J13 (ATP) | IJCAR | 2 |
| SMT-Comp | IJCAR | 2 |
| SYNTCOMP (Reactive Synthesis) | CAV | 2 |
| VNN-COMP (Neural Network Verification) | SAIV/CAV | 2 |
4. Relevance to site research
| Thread | Relevant events |
|---|---|
| Type systems | LICS (HoTT, cubical), ITP, Lean workshop, RocqWS |
| Keeler theorem | LICS (proof irrelevance), ITP (Lean proofs) |
| Reversible transforms | LICS (algebraic effects), FSCD, MSFP |
| Dafny interop | CAV, VeriProP |
| TLA+ system design | CAV, SYNT |
| Annotation systems | LFMTP (meta-languages) |
5. Logistics
- Location: Lisbon, Portugal
- Full span: 13–29 July 2026
- Week 1 (conferences): 20–23 Jul
- Week 2 (conferences): 26–29 Jul
- Website: https://www.floc26.org/