🎙️ Invited Speakers at #FLoC2026
We’re thrilled to welcome:
* Alessandra Russo
* Giuseppe De Giacomo
* Işil Dillig
* Leonardo De Moura
Join us in Lisbon to hear their inspiring talks! #LogicInCS

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