∀ researchers. ∃ registration.

FLoC 2026 registration is now open!
👉 www.floc26.org/registration
Early bird rates end on May 15th.

QED.

See you in Lisbon. 🇵🇹
#FLoC2026 #LogicInCS #Lisbon

📼 Throwback to FLoC 1996
30 years ago, the very first #FLoC brought together
CAV, CADE, LICS, and RTA (now FSCD).
Three decades later, the same core vision.
📍 Next chapter: Lisbon, 2026 🇵🇹
🔗 www.floc26.org
#FLoC2026 #LogicInCS #FormalMethods #Lisbon

Happy New Year from #FLoC2026! 🎉
A gentle reminder that deadlines are coming up -- soon will be the time to submit!
If you are writing from cold weather, just imagine presenting your accepted paper under the Portuguese sun this summer ☀️🇵🇹 #LogicInCS #Lisbon

SAT 2026 The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satis...

SAT - 29th International Conference on Theory and Applications of Satisfiability Testing
satisfiability.org/SAT26/
Abstract Submission: February 20, 2026
Paper Submission: February 27, 2026
Author Response: April 13-17, 2026
Author Notification: April 30, 2026
Conference Dates: July 20-23, 2026

LICS - 41st Annual ACM/IEEE Symposium on Logic in Computer Science
lics.siglog.org/lics26/
Abstract Submission: January 15, 2026
Paper Submission: January 22, 2026
Author Response Period: March 26–29, 2026
Author Notification: April 16, 2026
Conference Dates: July 20-23, 2026

KR - 23rd International Conference on Principles of Knowledge Representation and Reasoning
kr.org/KR2026/
Abstract Submission: February 8, 2026
Paper Submission: February 13, 2026
Author Response Period: March 24-28, 2026
Author Notification: April 13, 2026
Conference Dates: July 20-23, 2026

ITP - 17th International Conference on Interactive Theorem Proving
itp-conference-2026.github.io
Abstract Submission: February 12, 2026
Paper Submission: February 19, 2026
Author Notification: April 26, 2026
Conference Dates: July 26-29, 2026

IJCAR - 13th International Joint Conference on Automated Reasoning
www.floc26.org/ijcar
Abstract Submission: February 6, 2026
Paper Submission: February 13, 2026
Author Response Period: March 30-31, 2026
Author Notification: April 14, 2026
Conference Dates: July 26-29, 2026

Home | ICLP 2026 The 42nd International Conference on Logic Programming, Lisbon, Portugal

ICLP - 42nd International Conference on Logic Programming
www.semsys.aau.at/events/iclp2...
Abstract Submission (Regular Papers): January 24, 2026
Paper Submission (Regular Papers): January 31, 2026
Author Notification (Regular Papers): April 17, 2026
Conference Dates: July 20-23, 2026

FSCD - 11th International Conference on Formal Structures for Computation and Deduction
fscd2026.github.io
Abstract Submission: January 23, 2026
Paper Submission: January 30, 2026
Author Response Period: March 23–27, 2026
Author Notification: April 16, 2026
Conference Dates: July 20-23, 2026

CSF - 39th IEEE Computer Security Foundations Symposium
csf2026.ieee-security.org
Paper Submission: January 29, 2026
Author Notification: April 1, 2026
Conference Dates: July 26-29, 2026

CP - 32nd International Conference on Principles and Practice of Constraint Programming
cp2026.a4cp.org
Abstract Submission: February 28, 2026
Paper Submission: March 7, 2026
Author Response Period: March 9-12, 2026
Author Notification: April 30, 2026
Conference Dates: July 20-23, 2026

CAV 2026 38th International Conference on Computer Aided Verification

CAV - 38th International Conference on Computer Aided Verification
conferences.i-cav.org/2026/
Paper Submission: January 28, 2026
Author Response Period: March 30 - April 1, 2026
Author Notification: April 17, 2026
Conference Dates: July 26-29, 2026

⏳ FLoC 2026 Deadlines Coming!
📆 Jan 15+22 (LICS)
📆 Jan 23+30 (FSCD)
📆 Jan 24+31 (ICLP)
📆 Jan 28 (CAV)
📆 Jan 29 (CSF)
📆 Feb 6+13 (IJCAR)
📆 Feb 8+13 (KR)
📆 Feb 12+19 (ITP)
📆 Feb 20+27 (SAT)
📆 Feb 28+Mar 7 (CP)
Learn more: www.floc26.org
#FLoC2026 #LogicInCS

🎙️ 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

📢 Call for Submissions – FLoC 2026

Join FLoC 2026: top conferences, 86 workshops (including Mentoring Workshop, Olympic Games, tutorials, and doctoral consortia), and leading invited speakers.

🔗 Learn more and find submission details: www.floc26.org
#FLoC2026 #LogicInCS

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