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://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
CP - 32nd International Conference on Principles and Practice of Constraint Programming
https://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
CSF - 39th IEEE Computer Security Foundations Symposium
https://csf2026.ieee-security.org
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://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
ICLP - 42nd International Conference on Logic Programming
https://www.semsys.aau.at/events/iclp2026/
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://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
ITP - 17th International Conference on Interactive Theorem Proving
https://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
KR - 23rd International Conference on Principles of Knowledge Representation and Reasoning
https://kr.org/KR2026/
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://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
SAT - 29th International Conference on Theory and Applications of Satisfiability Testing
https://satisfiability.org/SAT26/
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://www.floc26.org/
#FLoC2026 #LogicInCS #Lisbon
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************