<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div>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).</div><div><br></div><div>FLoC 2026 welcomes original, high-quality contributions on all aspects of logic in computer science.</div><div><br></div><div># Important Dates (AoE)</div><div><br></div><div>CAV - 38th International Conference on Computer Aided Verification</div><div><a href="https://urldefense.com/v3/__https://conferences.i-cav.org/2026/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3fFy47KA$">https://conferences.i-cav.org/2026/</a></div><div>Paper Submission: January 28, 2026 </div><div>Author Response Period: March 30 - April 1, 2026 </div><div>Author Notification: April 17, 2026 </div><div>Conference Dates: July 26-29, 2026</div><div><br></div><div>CP - 32nd International Conference on Principles and Practice of Constraint Programming</div><div><a href="https://urldefense.com/v3/__https://cp2026.a4cp.org__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3qrdCzKs$">https://cp2026.a4cp.org</a></div><div>Abstract Submission: February 28, 2026</div><div>Paper Submission: March 7, 2026</div><div>Author Response Period: March 9-12, 2026</div><div>Author Notification: April 30, 2026</div><div>Conference Dates: July 20-23, 2026</div><div><br></div><div>CSF - 39th IEEE Computer Security Foundations Symposium</div><div><a href="https://urldefense.com/v3/__https://csf2026.ieee-security.org__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3Aliq71Y$">https://csf2026.ieee-security.org</a></div><div>Paper Submission: January 29, 2026 </div><div>Author Notification: April 1, 2026 </div><div>Conference Dates: July 26-29, 2026</div><div><br></div><div>FSCD - 11th International Conference on Formal Structures for Computation and Deduction</div><div><a href="https://urldefense.com/v3/__https://fscd2026.github.io__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY32kyHghI$">https://fscd2026.github.io</a></div><div>Abstract Submission: January 23, 2026</div><div>Paper Submission: January 30, 2026</div><div>Author Response Period: March 23–27, 2026</div><div>Author Notification: April 16, 2026</div><div>Conference Dates: July 20-23, 2026</div><div><br></div><div>ICLP - 42nd International Conference on Logic Programming</div><div><a href="https://urldefense.com/v3/__https://www.semsys.aau.at/events/iclp2026/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3eaXFBZg$">https://www.semsys.aau.at/events/iclp2026/</a></div><div>Abstract Submission (Regular Papers): January 24, 2026</div><div>Paper Submission (Regular Papers): January 31, 2026</div><div>Author Notification (Regular Papers): March 5, 2026</div><div>Paper Submission (Short Papers): March 27, 2026</div><div>Revision Submission (Regular Papers): March 27, 2026</div><div>Final Author Notification: April 17, 2026</div><div>Conference Dates: July 20-23, 2026</div><div><br></div><div>IJCAR - 13th International Joint Conference on Automated Reasoning</div><div><a href="https://urldefense.com/v3/__https://www.floc26.org/ijcar__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3ga1owow$">https://www.floc26.org/ijcar</a></div><div>Abstract Submission: February 6, 2026 </div><div>Paper Submission: February 13, 2026 </div><div>Author Response Period: March 30-31, 2026 </div><div>Author Notification: April 14, 2026 </div><div>Conference Dates: July 26-29, 2026</div><div><br></div><div>ITP - 17th International Conference on Interactive Theorem Proving</div><div><a href="https://urldefense.com/v3/__https://itp-conference-2026.github.io__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3Mkg3n6E$">https://itp-conference-2026.github.io</a></div><div>Abstract Submission: February 12, 2026</div><div>Paper Submission: February 19, 2026</div><div>Author Notification: April 26, 2026</div><div>Conference Dates: July 26-29, 2026</div><div><br></div><div>KR - 23rd International Conference on Principles of Knowledge Representation and Reasoning</div><div><a href="https://urldefense.com/v3/__https://kr.org/KR2026/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3wYgvr5A$">https://kr.org/KR2026/</a></div><div>Abstract Submission: February 8, 2026 (Main Track)</div><div>Paper Submission: February 13, 2026 (Main Track)</div><div>Author Response Period: March 24-28, 2026 (Main Track)</div><div>Author Notification: April 13, 2026 (Main Track)</div><div>Conference Dates: July 20-23, 2026</div><div><br></div><div>LICS - 41st Annual ACM/IEEE Symposium on Logic in Computer Science</div><div><a href="https://urldefense.com/v3/__https://lics.siglog.org/lics26/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3Q7ymUBY$">https://lics.siglog.org/lics26/</a></div><div>Abstract Submission: January 15, 2026</div><div>Paper Submission: January 22, 2026</div><div>Author Response Period:<span class="Apple-tab-span" style="white-space:pre"> </span>March 26–29, 2026</div><div>Author Notification: April 16, 2026</div><div>Conference Dates: July 20-23, 2026</div><div><br></div><div>SAT - 29th International Conference on Theory and Applications of Satisfiability Testing</div><div><a href="https://urldefense.com/v3/__https://satisfiability.org/SAT26/__;!!IBzWLUs!RLVr7vlXuCuTU2wq0FpxzI4s5aCSQLVMQ1MUBNkrCi9-hXfQrD4ycv___ccSUN9mgTa4QGNPBqaI7dus_UOYxXDTANAYDsY3WRKZOm4$">https://satisfiability.org/SAT26/</a></div><div>Abstract Submission: February 20, 2026</div><div>Paper Submission: February 27, 2026</div><div>Author Response Period: April 13-17, 2026</div><div>Author Notification: April 30, 2026</div><div>Conference Dates: July 20-23, 2026</div><div><br></div><div>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/</div><div>#FLoC2026 #LogicInCS #Lisbon</div></body></html>