[TYPES/announce] Save the Date: Federated Logic Conference (FLoC) 2026 in Lisbon, Portugal!

[Caterina Urban]

We are pleased to announce that the Federated Logic Conference (FLoC) 2026 will take place in Lisbon, Portugal, from July 18 to July 29, 2026. The FoPSS summer school co-located with FLoC will take place just before FLoC, from July 13 to July 17, 2026.

FLoC brings together brings together the world's leading researchers in logic and computer science.

📍 Location: Institut Universitaire de Lisbonne (ISCTE), Lisbon, Portugal
📆 Dates: July 20-23 & July 26-29 (Conferences), July 18-19 & July 24-25 (Workshops), July 13-17 (FoPSS Summer School)
🌐 Website: https://urldefense.com/v3/__https://www.floc26.org__;!!IBzWLUs!Sy96GfsbEp_efHyBm6IlVIGKfIA3WPZRX1HieYEFE7giQH03N6a1rtiVpe0GowPks_MkXj58y9TBaC14Sn91lVdnvzjFTJeAfqAt2t4$ 

Conferences Week 1

CP - 32nd International Conference on Principles and Practice of Constraint Programming
FSCD - 11th International Conference on Formal Structures for Computation and Deduction
ICLP - 42nd International Conference on Logic Programming
KR - 23rd International Conference on Principles of Knowledge Representation and Reasoning
LICS - 41st Annual ACM/IEEE Symposium on Logic in Computer Science
SAT - 29th International Conference on Theory and Applications of Satisfiability Testing

Conferences Week 2

CAV - 38th International Conference on Computer Aided Verification
CSF - 39th IEEE Computer Security Foundations Symposium
IJCAR - 13th International Joint Conference on Automated Reasoning
ITP - 17th International Conference on Interactive Theorem Proving

The call for workshops will be issued in the coming weeks.

To stay up to date:

Visit the website: https://urldefense.com/v3/__https://www.floc26.org__;!!IBzWLUs!Sy96GfsbEp_efHyBm6IlVIGKfIA3WPZRX1HieYEFE7giQH03N6a1rtiVpe0GowPks_MkXj58y9TBaC14Sn91lVdnvzjFTJeAfqAt2t4$ 
Follow us on social media: 
- Bluesky: https://urldefense.com/v3/__https://bsky.app/profile/floc2026.bsky.social__;!!IBzWLUs!Sy96GfsbEp_efHyBm6IlVIGKfIA3WPZRX1HieYEFE7giQH03N6a1rtiVpe0GowPks_MkXj58y9TBaC14Sn91lVdnvzjFTJeAjqGL0Hk$ 
- X: https://urldefense.com/v3/__https://x.com/FLoC2026__;!!IBzWLUs!Sy96GfsbEp_efHyBm6IlVIGKfIA3WPZRX1HieYEFE7giQH03N6a1rtiVpe0GowPks_MkXj58y9TBaC14Sn91lVdnvzjFTJeAJ_LfwpI$ 
- Facebook: https://urldefense.com/v3/__https://www.facebook.com/profile.php?id=61578290047447__;!!IBzWLUs!Sy96GfsbEp_efHyBm6IlVIGKfIA3WPZRX1HieYEFE7giQH03N6a1rtiVpe0GowPks_MkXj58y9TBaC14Sn91lVdnvzjFTJeAOZvLEqE$ 
- LinkedIn: https://urldefense.com/v3/__https://www.linkedin.com/groups/13323055/__;!!IBzWLUs!Sy96GfsbEp_efHyBm6IlVIGKfIA3WPZRX1HieYEFE7giQH03N6a1rtiVpe0GowPks_MkXj58y9TBaC14Sn91lVdnvzjFTJeA2vgtgAw$ 

We look forward to welcoming you to Lisbon for FLoC 2026!