Two weeks to the workshop proposal deadline on Sep 24! Submit your proposals via submissions.floc26.org/workshops/ #floc2026

First Call for Workshops!
www.floc26.org/call-for-wor...
Important Dates
* Submission Deadline: September 24, 2025
* Notification of Acceptance: October 17, 2025
* Workshop Dates - first block: July 18-19, 2026
* Workshop Dates - second block: July 24-25, 2026

You can also find us here:
- X: x.com/FLoC2026
- Facebook: www.facebook.com/profile.php?...
- LinkedIn: www.linkedin.com/groups/13323...

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

Conferences Week 2
CAV - Computer Aided Verification
CSF - Computer Security Foundations
IJCAR - Automated Reasoning
ITP - Interactive Theorem Proving

Conferences Week 1
CP - Principles and Practice of Constraint Programming
FSCD - Formal Structures for Computation and Deduction
ICLP - Logic Programming
KR - Principles of Knowledge Representation and Reasoning
LICS - Logic in Computer Science
SAT - Theory and Applications of Satisfiability Testing

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, 26-29 (Conferences), July 18-19, 24-25 (Workshops), July 13-17 (FoPSS School)
🌐 Website: www.floc26.org

🚀 Welcome to the official Bluesky presence of the Federated Logic Conference 2026 (FLoC 2026), coming to Lisbon, Portugal in July 2026! floc26.org #FLoC2026 #LogicInCS