[TYPES/announce] FLoC 2026 Call for Papers

[Caterina Urban]

The Federated Logic Conference (FLoC) unites the ten leading international conferences focused on mathematical logic and its applications in computer science. Since 1996, FLoC is organized every four years and counts with over 2,000 attendees. FLoC 2026 will be held at the Institut Universitaire de Lisbonne (ISCTE) in Lisbon, Portugal, on July 20-23 & July 26-29 (Conferences), July 18-19 & July 24-25 (Workshops), July 13-17 (FoPSS Summer School).

FLoC 2026 welcomes original, high-quality contributions on all aspects of logic in computer science.

# Important Dates (AoE)

CAV - 38th International Conference on Computer Aided Verification
https://urldefense.com/v3/__https://conferences.i-cav.org/2026/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3fFy47KA$ 
Paper Submission: January 28, 2026 
Author Response Period: March 30 - April 1, 2026 
Author Notification: April 17, 2026 
Conference Dates: July 26-29, 2026

CP - 32nd International Conference on Principles and Practice of Constraint Programming
https://urldefense.com/v3/__https://cp2026.a4cp.org__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3qrdCzKs$  <https://urldefense.com/v3/__https://cp2026.a4cp.org/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3uL09RNs$ >
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

CSF - 39th IEEE Computer Security Foundations Symposium
https://urldefense.com/v3/__https://csf2026.ieee-security.org__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3Aliq71Y$  <https://urldefense.com/v3/__https://csf2026.ieee-security.org/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3Wp4PX-I$ >
Paper Submission: January 29, 2026 
Author Notification: April 1, 2026 
Conference Dates: July 26-29, 2026

FSCD - 11th International Conference on Formal Structures for Computation and Deduction
https://urldefense.com/v3/__https://fscd2026.github.io__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY32kyHghI$  <https://urldefense.com/v3/__https://fscd2026.github.io/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3N5fsNg8$ >
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

ICLP - 42nd International Conference on Logic Programming
https://urldefense.com/v3/__https://www.semsys.aau.at/events/iclp2026/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3eaXFBZg$ 
Abstract Submission (Regular Papers): January 24, 2026
Paper Submission (Regular Papers): January 31, 2026
Author Notification (Regular Papers): March 5, 2026
Paper Submission (Short Papers): March 27, 2026
Revision Submission (Regular Papers): March 27, 2026
Final Author Notification: April 17, 2026
Conference Dates: July 20-23, 2026

IJCAR - 13th International Joint Conference on Automated Reasoning
https://urldefense.com/v3/__https://www.floc26.org/ijcar__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3ga1owow$ 
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

ITP - 17th International Conference on Interactive Theorem Proving
https://urldefense.com/v3/__https://itp-conference-2026.github.io__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3Mkg3n6E$  <https://urldefense.com/v3/__https://itp-conference-2026.github.io/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3Sy5RlWs$ >
Abstract Submission: February 12, 2026
Paper Submission: February 19, 2026
Author Notification: April 26, 2026
Conference Dates: July 26-29, 2026

KR - 23rd International Conference on Principles of Knowledge Representation and Reasoning
https://urldefense.com/v3/__https://kr.org/KR2026/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3wYgvr5A$ 
Abstract Submission: February 8, 2026 (Main Track)
Paper Submission: February 13, 2026 (Main Track)
Author Response Period: March 24-28, 2026 (Main Track)
Author Notification: April 13, 2026 (Main Track)
Conference Dates: July 20-23, 2026

LICS - 41st Annual ACM/IEEE Symposium on Logic in Computer Science
https://urldefense.com/v3/__https://lics.siglog.org/lics26/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3Q7ymUBY$ 
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

SAT - 29th International Conference on Theory and Applications of Satisfiability Testing
https://urldefense.com/v3/__https://satisfiability.org/SAT26/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3WRKZOm4$ 
Abstract Submission: February 20, 2026
Paper Submission: February 27, 2026
Author Response Period: April 13-17, 2026
Author Notification: April 30, 2026
Conference Dates: July 20-23, 2026

In addition to the conferences there will be 86 workshops (including Mentoring Workshop, Olympic Games, tutorials, and doctoral consortia)! Learn more and find submission details: https://urldefense.com/v3/__https://www.floc26.org/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3kigqFjc$ 
#FLoC2026 #LogicInCS #Lisbon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251219/20cb89db/attachment-0001.htm>