
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">

<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>

</head>

<body dir="ltr">

<div class="elementToProof"><span style="font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 18px; color: rgb(36, 36, 36); background-color: rgb(255, 255, 255);"><b>FLoC

 2026 Call for Papers</b></span><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>

<br>

</span></div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

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 style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<br>

</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

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

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<br>

</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

# Important Dates (AoE)</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<br>

</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

CAV - 38th International Conference on Computer Aided Verification</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<a style="margin: 0px;" data-auth="NotApplicable" data-linkindex="3" originalsrc="https://urldefense.com/v3/__https://conferences.i-cav.org/2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXSRbemwA$" title="Original URL: https://urldefense.com/v3/__https://conferences.i-cav.org/2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXSRbemwA$. Click or tap if you trust this link." class="OWAAutoLink" id="OWAb7e6412f-7f24-b8c3-ab6f-026f53ac6137" href="https://urldefense.com/v3/__https://conferences.i-cav.org/2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXSRbemwA$">https://conferences.i-cav.org/2026/</a></div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Paper Submission: January 28, 2026 </div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Response Period: March 30 - April 1, 2026 </div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Notification: April 17, 2026 </div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Conference Dates: July 26-29, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<br>

</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

CP - 32nd International Conference on Principles and Practice of Constraint Programming</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<a style="margin: 0px;" data-auth="NotApplicable" data-linkindex="4" originalsrc="https://urldefense.com/v3/__https://cp2026.a4cp.org__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFUeF4wyLw$" title="Original URL: https://urldefense.com/v3/__https://cp2026.a4cp.org__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFUeF4wyLw$. Click or tap if you trust this link." class="OWAAutoLink" id="OWAbb294e9e-cf2c-fa68-352f-d20a32a70ce1" href="https://urldefense.com/v3/__https://cp2026.a4cp.org__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFUeF4wyLw$">https://cp2026.a4cp.org</a></div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Abstract Submission: February 28, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Paper Submission: March 7, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Response Period: March 9-12, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Notification: April 30, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Conference Dates: July 20-23, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<br>

</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

CSF - 39th IEEE Computer Security Foundations Symposium</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<a style="margin: 0px;" data-auth="NotApplicable" data-linkindex="5" originalsrc="https://urldefense.com/v3/__https://csf2026.ieee-security.org__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFUw0Lz71A$" title="Original URL: https://urldefense.com/v3/__https://csf2026.ieee-security.org__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFUw0Lz71A$. Click or tap if you trust this link." class="OWAAutoLink" id="OWA6814a6c8-db71-73bd-712d-2d6c8898888e" href="https://urldefense.com/v3/__https://csf2026.ieee-security.org__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFUw0Lz71A$">https://csf2026.ieee-security.org</a></div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Paper Submission: January 29, 2026 </div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Notification: April 1, 2026 </div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Conference Dates: July 26-29, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<br>

</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

FSCD - 11th International Conference on Formal Structures for Computation and Deduction</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<a style="margin: 0px;" data-auth="NotApplicable" data-linkindex="6" originalsrc="https://urldefense.com/v3/__https://fscd2026.github.io__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXuFHW2XQ$" title="Original URL: https://urldefense.com/v3/__https://fscd2026.github.io__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXuFHW2XQ$. Click or tap if you trust this link." class="OWAAutoLink" id="OWAe481dc56-d9c0-7590-4536-ddf8b5eebecd" href="https://urldefense.com/v3/__https://fscd2026.github.io__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXuFHW2XQ$">https://fscd2026.github.io</a></div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Abstract Submission: January 23, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Paper Submission: January 30, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Response Period: March 23�27, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Notification: April 16, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Conference Dates: July 20-23, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<br>

</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

ICLP - 42nd International Conference on Logic Programming</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<a style="margin: 0px;" data-auth="NotApplicable" data-linkindex="7" originalsrc="https://urldefense.com/v3/__https://www.semsys.aau.at/events/iclp2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFU9WMOFOA$" title="Original URL: https://urldefense.com/v3/__https://www.semsys.aau.at/events/iclp2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFU9WMOFOA$. Click or tap if you trust this link." class="OWAAutoLink" id="OWAeb2d7709-4c0d-24bf-7edd-18849ac9bf4c" href="https://urldefense.com/v3/__https://www.semsys.aau.at/events/iclp2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFU9WMOFOA$">https://www.semsys.aau.at/events/iclp2026/</a></div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Abstract Submission (Regular Papers): January 24, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Paper Submission (Regular Papers): January 31, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Notification (Regular Papers): March 5, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Paper Submission (Short Papers): March 27, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Revision Submission (Regular Papers): March 27, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Final Author Notification: April 17, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Conference Dates: July 20-23, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<br>

</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

IJCAR - 13th International Joint Conference on Automated Reasoning</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<a style="margin: 0px;" data-auth="NotApplicable" data-linkindex="8" originalsrc="https://urldefense.com/v3/__https://www.floc26.org/ijcar__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXLF-ZUSQ$" title="Original URL: https://urldefense.com/v3/__https://www.floc26.org/ijcar__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXLF-ZUSQ$. Click or tap if you trust this link." class="OWAAutoLink" id="OWAc3e83b33-a7b7-6cfb-394e-d577c04cff6c" href="https://urldefense.com/v3/__https://www.floc26.org/ijcar__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXLF-ZUSQ$">https://www.floc26.org/ijcar</a></div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Abstract Submission: February 6, 2026 </div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Paper Submission: February 13, 2026 </div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Response Period: March 30-31, 2026 </div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Notification: April 14, 2026 </div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Conference Dates: July 26-29, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<br>

</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

ITP - 17th International Conference on Interactive Theorem Proving</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<a style="margin: 0px;" data-auth="NotApplicable" data-linkindex="9" originalsrc="https://urldefense.com/v3/__https://itp-conference-2026.github.io__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFVrlQ0T-g$" title="Original URL: https://urldefense.com/v3/__https://itp-conference-2026.github.io__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFVrlQ0T-g$. Click or tap if you trust this link." class="OWAAutoLink" id="OWA33352da6-a76e-993a-c3ea-b3893644be6f" href="https://urldefense.com/v3/__https://itp-conference-2026.github.io__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFVrlQ0T-g$">https://itp-conference-2026.github.io</a></div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Abstract Submission: February 12, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Paper Submission: February 19, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Notification: April 26, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Conference Dates: July 26-29, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<br>

</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

KR - 23rd International Conference on Principles of Knowledge Representation and Reasoning</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<a style="margin: 0px;" data-auth="NotApplicable" data-linkindex="10" originalsrc="https://urldefense.com/v3/__https://kr.org/KR2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXKjsYTYg$" title="Original URL: https://urldefense.com/v3/__https://kr.org/KR2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXKjsYTYg$. Click or tap if you trust this link." class="OWAAutoLink" id="OWA34759b98-b10f-7afa-05b6-7ab1adc76d22" href="https://urldefense.com/v3/__https://kr.org/KR2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXKjsYTYg$">https://kr.org/KR2026/</a></div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Abstract Submission: February 8, 2026 (Main Track)</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Paper Submission: February 13, 2026 (Main Track)</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Response Period: March 24-28, 2026 (Main Track)</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Notification: April 13, 2026 (Main Track)</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Conference Dates: July 20-23, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<br>

</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

LICS - 41st Annual ACM/IEEE Symposium on Logic in Computer Science</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<a style="margin: 0px;" data-auth="NotApplicable" data-linkindex="11" originalsrc="https://urldefense.com/v3/__https://lics.siglog.org/lics26/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFV_Tk74mA$" title="Original URL: https://urldefense.com/v3/__https://lics.siglog.org/lics26/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFV_Tk74mA$. Click or tap if you trust this link." class="OWAAutoLink" id="OWAaac4c991-0765-2e78-e5d5-7c7826c12396" href="https://urldefense.com/v3/__https://lics.siglog.org/lics26/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFV_Tk74mA$">https://lics.siglog.org/lics26/</a></div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Abstract Submission: January 15, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Paper Submission: January 22, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Response Period: March 26�29, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Notification: April 16, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Conference Dates: July 20-23, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<br>

</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

SAT - 29th International Conference on Theory and Applications of Satisfiability Testing</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<a style="margin: 0px;" data-auth="NotApplicable" data-linkindex="12" originalsrc="https://urldefense.com/v3/__https://satisfiability.org/SAT26/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFVtb7OO9w$" title="Original URL: https://urldefense.com/v3/__https://satisfiability.org/SAT26/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFVtb7OO9w$. Click or tap if you trust this link." class="OWAAutoLink" id="OWA77964fe2-45e4-0b14-5514-6d6c71eb1e48" href="https://urldefense.com/v3/__https://satisfiability.org/SAT26/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFVtb7OO9w$">https://satisfiability.org/SAT26/</a></div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Abstract Submission: February 20, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Paper Submission: February 27, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Response Period: April 13-17, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Author Notification: April 30, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

Conference Dates: July 20-23, 2026</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

<br>

</div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

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: <a style="margin: 0px;" data-auth="NotApplicable" data-linkindex="13" originalsrc="https://urldefense.com/v3/__https://www.floc26.org/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFWQ6PlQpQ$" title="Original URL: https://urldefense.com/v3/__https://www.floc26.org/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFWQ6PlQpQ$. Click or tap if you trust this link." class="OWAAutoLink" id="OWA1dcdac9c-f1ec-fcbd-613e-6027970a4d1a" href="https://urldefense.com/v3/__https://www.floc26.org/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFWQ6PlQpQ$">https://www.floc26.org/</a></div>

<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, BlinkMacSystemFont, Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">

#FLoC2026 #LogicInCS #Lisbon</div>

<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<br>

</div>

<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">

<br>

</div>

</body>

</html>