Save the date!
FLoC'26 will be held in July in Lisbon, Portugal.
Summer school: 13-17
Conferences: 20-23 (Week 1) & 26-29 (Week 2)
Workshops: 18-19 & 24-25
FLoC'26 Conferences
| Conference | Week |
|---|---|
| 38th International Conference on Computer Aided Verification (CAV) | Week 2 |
| 32nd International Conference on Principles and Practice of Constraint Programming (CP) | Week 1 |
| 39th IEEE Computer Security Foundations Symposium (CSF) | Week 2 |
| 11th International Conference on Formal Structures for Computation and Deduction (FSCD) | Week 1 |
| 42nd International Conference on Logic Programming (ICLP) | Week 1 |
| 13th International Joint Conference on Automated Reasoning (IJCAR) | Week 2 |
| 17th International Conference on Interactive Theorem Proving (ITP) | Week 2 |
| 23th International Conference on Principles of Knowledge Representation and Reasoning (KR) | Week 1 |
| 41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | Week 1 |
| 29th International Conference on Theory and Applications of Satisfiability Testing (SAT) | Week 1 |
Template by Bootstrapious. Ported to Hugo by DevCows.