[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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!
