[CfP] FLoC 2026
Nico Potyka <[email protected]> Mon, 5 Jan 2026 10:03:20 +0000
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Message-ID | <CWXP265MB346196D2B1741C6C727CC827ED86A@CWXP265MB3461.GBRP265.PROD.OUTLOOK.COM> |
--_000_CWXP265MB346196D2B1741C6C727CC827ED86ACWXP265MB3461GBRP_
Content-Type: text/plain; charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable
FLoC 2026 Call for Papers
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 ove=
r 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 (Conferenc=
es), July 18-19 & July 24-25 (Workshops), July 13-17 (FoPSS Summer School).
FLoC 2026 welcomes original, high-quality contributions on all aspects of l=
ogic in computer science.
# Important Dates (AoE)
CAV - 38th International Conference on Computer Aided Verification
https://conferences.i-cav.org/2026/<https://urldefense.com/v3/__https://con=
ferences.i-cav.org/2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTW=
PPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXSRbemwA$>
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<https://urldefense.com/v3/__https://cp2026.a4cp.org=
__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8=
bx_ib-IG3eVlvCEOyQDFUeF4wyLw$>
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<https://urldefense.com/v3/__https://csf20=
26.ieee-security.org__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtw=
y70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFUw0Lz71A$>
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 a=
nd Deduction
https://fscd2026.github.io<https://urldefense.com/v3/__https://fscd2026.git=
hub.io__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_o=
jFtbQ8bx_ib-IG3eVlvCEOyQDFXuFHW2XQ$>
Abstract Submission: January 23, 2026
Paper Submission: January 30, 2026
Author Response Period: March 23=9627, 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/<https://urldefense.com/v3/__http=
s://www.semsys.aau.at/events/iclp2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFF=
R4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFU9WMOFOA$>
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<https://urldefense.com/v3/__https://www.floc26=
.org/ijcar__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw=
3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXLF-ZUSQ$>
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<https://urldefense.com/v3/__https://i=
tp-conference-2026.github.io__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5=
FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFVrlQ0T-g$>
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 Representatio=
n and Reasoning
https://kr.org/KR2026/<https://urldefense.com/v3/__https://kr.org/KR2026/__=
;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx=
_ib-IG3eVlvCEOyQDFXKjsYTYg$>
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/<https://urldefense.com/v3/__https://lics.si=
glog.org/lics26/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70m=
XKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFV_Tk74mA$>
Abstract Submission: January 15, 2026
Paper Submission: January 22, 2026
Author Response Period: March 26=9629, 2026
Author Notification: April 16, 2026
Conference Dates: July 20-23, 2026
SAT - 29th International Conference on Theory and Applications of Satisfiab=
ility Testing
https://satisfiability.org/SAT26/<https://urldefense.com/v3/__https://satis=
fiability.org/SAT26/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtw=
y70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFVtb7OO9w$>
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 Mentor=
ing Workshop, Olympic Games, tutorials, and doctoral consortia)! Learn more=
and find submission details: https://www.floc26.org/<https://urldefense.co=
m/v3/__https://www.floc26.org/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljr=
q5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFWQ6PlQpQ$>
#FLoC2026 #LogicInCS #Lisbon
--_000_CWXP265MB346196D2B1741C6C727CC827ED86ACWXP265MB3461GBRP_
Content-Type: text/html; charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable
<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3DWindows-1=
252">
<style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo=
ttom:0;} </style>
</head>
<body dir=3D"ltr">
<div class=3D"elementToProof"><span style=3D"font-family: "Segoe UI&qu=
ot;, "Segoe UI Web (West European)", -apple-system, BlinkMacSyste=
mFont, Roboto, "Helvetica Neue", sans-serif; font-size: 18px; col=
or: rgb(36, 36, 36); background-color: rgb(255, 255, 255);"><b>FLoC
2026 Call for Papers</b></span><span style=3D"font-family: Aptos, Aptos_Em=
beddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size:=
12pt; color: rgb(0, 0, 0);"><br>
<br>
</span></div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"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 ove=
r 2,000 attendees. FLoC 2026 will
be held at the Institut Universitaire de Lisbonne (ISCTE) in Lisbon, Portu=
gal, on July 20-23 & July 26-29 (Conferences), July 18-19 & July 24=
-25 (Workshops), July 13-17 (FoPSS Summer School).</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<br>
</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
FLoC 2026 welcomes original, high-quality contributions on all aspects of l=
ogic in computer science.</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<br>
</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
# Important Dates (AoE)</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<br>
</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
CAV - 38th International Conference on Computer Aided Verification</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<a style=3D"margin: 0px;" data-auth=3D"NotApplicable" data-linkindex=3D"3" =
originalsrc=3D"https://urldefense.com/v3/__https://conferences.i-cav.org/20=
26/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFt=
bQ8bx_ib-IG3eVlvCEOyQDFXSRbemwA$" title=3D"Original URL: https://urldefense=
.com/v3/__https://conferences.i-cav.org/2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6=
SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXSRbemwA$.=
Click or tap if you trust this link." class=3D"OWAAutoLink" id=3D"OWAb7e64=
12f-7f24-b8c3-ab6f-026f53ac6137" href=3D"https://urldefense.com/v3/__https:=
//conferences.i-cav.org/2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq=
5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXSRbemwA$">https://confere=
nces.i-cav.org/2026/</a></div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Paper Submission: January 28, 2026 </div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Response Period: March 30 - April 1, 2026 </div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Notification: April 17, 2026 </div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Conference Dates: July 26-29, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<br>
</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
CP - 32nd International Conference on Principles and Practice of Constraint=
Programming</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<a style=3D"margin: 0px;" data-auth=3D"NotApplicable" data-linkindex=3D"4" =
originalsrc=3D"https://urldefense.com/v3/__https://cp2026.a4cp.org__;!!IBzW=
LUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3=
eVlvCEOyQDFUeF4wyLw$" title=3D"Original URL: https://urldefense.com/v3/__ht=
tps://cp2026.a4cp.org__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPt=
wy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFUeF4wyLw$. Click or tap if you tru=
st this link." class=3D"OWAAutoLink" id=3D"OWAbb294e9e-cf2c-fa68-352f-d20a3=
2a70ce1" href=3D"https://urldefense.com/v3/__https://cp2026.a4cp.org__;!!IB=
zWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-I=
G3eVlvCEOyQDFUeF4wyLw$">https://cp2026.a4cp.org</a></div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Abstract Submission: February 28, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Paper Submission: March 7, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Response Period: March 9-12, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Notification: April 30, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Conference Dates: July 20-23, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<br>
</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
CSF - 39th IEEE Computer Security Foundations Symposium</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<a style=3D"margin: 0px;" data-auth=3D"NotApplicable" data-linkindex=3D"5" =
originalsrc=3D"https://urldefense.com/v3/__https://csf2026.ieee-security.or=
g__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ=
8bx_ib-IG3eVlvCEOyQDFUw0Lz71A$" title=3D"Original URL: https://urldefense.c=
om/v3/__https://csf2026.ieee-security.org__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRs=
pFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFUw0Lz71A$. Cli=
ck or tap if you trust this link." class=3D"OWAAutoLink" id=3D"OWA6814a6c8-=
db71-73bd-712d-2d6c8898888e" href=3D"https://urldefense.com/v3/__https://cs=
f2026.ieee-security.org__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWP=
Ptwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFUw0Lz71A$">https://csf2026.ieee-=
security.org</a></div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Paper Submission: January 29, 2026 </div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Notification: April 1, 2026 </div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Conference Dates: July 26-29, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<br>
</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
FSCD - 11th International Conference on Formal Structures for Computation a=
nd Deduction</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<a style=3D"margin: 0px;" data-auth=3D"NotApplicable" data-linkindex=3D"6" =
originalsrc=3D"https://urldefense.com/v3/__https://fscd2026.github.io__;!!I=
BzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-=
IG3eVlvCEOyQDFXuFHW2XQ$" title=3D"Original URL: https://urldefense.com/v3/_=
_https://fscd2026.github.io__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5F=
WTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXuFHW2XQ$. Click or tap if y=
ou trust this link." class=3D"OWAAutoLink" id=3D"OWAe481dc56-d9c0-7590-4536=
-ddf8b5eebecd" href=3D"https://urldefense.com/v3/__https://fscd2026.github.=
io__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtb=
Q8bx_ib-IG3eVlvCEOyQDFXuFHW2XQ$">https://fscd2026.github.io</a></div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Abstract Submission: January 23, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Paper Submission: January 30, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Response Period: March 23=9627, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Notification: April 16, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Conference Dates: July 20-23, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<br>
</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
ICLP - 42nd International Conference on Logic Programming</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<a style=3D"margin: 0px;" data-auth=3D"NotApplicable" data-linkindex=3D"7" =
originalsrc=3D"https://urldefense.com/v3/__https://www.semsys.aau.at/events=
/iclp2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw=
3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFU9WMOFOA$" title=3D"Original URL: https://url=
defense.com/v3/__https://www.semsys.aau.at/events/iclp2026/__;!!IBzWLUs!Xqw=
6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEO=
yQDFU9WMOFOA$. Click or tap if you trust this link." class=3D"OWAAutoLink" =
id=3D"OWAeb2d7709-4c0d-24bf-7edd-18849ac9bf4c" href=3D"https://urldefense.c=
om/v3/__https://www.semsys.aau.at/events/iclp2026/__;!!IBzWLUs!Xqw6pmr7V_nI=
EViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFU9WMO=
FOA$">https://www.semsys.aau.at/events/iclp2026/</a></div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Abstract Submission (Regular Papers): January 24, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Paper Submission (Regular Papers): January 31, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Notification (Regular Papers): March 5, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Paper Submission (Short Papers): March 27, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Revision Submission (Regular Papers): March 27, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Final Author Notification: April 17, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Conference Dates: July 20-23, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<br>
</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
IJCAR - 13th International Joint Conference on Automated Reasoning</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<a style=3D"margin: 0px;" data-auth=3D"NotApplicable" data-linkindex=3D"8" =
originalsrc=3D"https://urldefense.com/v3/__https://www.floc26.org/ijcar__;!=
!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_i=
b-IG3eVlvCEOyQDFXLF-ZUSQ$" title=3D"Original URL: https://urldefense.com/v3=
/__https://www.floc26.org/ijcar__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUlj=
rq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXLF-ZUSQ$. Click or tap =
if you trust this link." class=3D"OWAAutoLink" id=3D"OWAc3e83b33-a7b7-6cfb-=
394e-d577c04cff6c" href=3D"https://urldefense.com/v3/__https://www.floc26.o=
rg/ijcar__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z=
_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXLF-ZUSQ$">https://www.floc26.org/ijcar</a></di=
v>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Abstract Submission: February 6, 2026 </div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Paper Submission: February 13, 2026 </div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Response Period: March 30-31, 2026 </div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Notification: April 14, 2026 </div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Conference Dates: July 26-29, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<br>
</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
ITP - 17th International Conference on Interactive Theorem Proving</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<a style=3D"margin: 0px;" data-auth=3D"NotApplicable" data-linkindex=3D"9" =
originalsrc=3D"https://urldefense.com/v3/__https://itp-conference-2026.gith=
ub.io__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_oj=
FtbQ8bx_ib-IG3eVlvCEOyQDFVrlQ0T-g$" title=3D"Original URL: https://urldefen=
se.com/v3/__https://itp-conference-2026.github.io__;!!IBzWLUs!Xqw6pmr7V_nIE=
ViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFVrlQ0T=
-g$. Click or tap if you trust this link." class=3D"OWAAutoLink" id=3D"OWA3=
3352da6-a76e-993a-c3ea-b3893644be6f" href=3D"https://urldefense.com/v3/__ht=
tps://itp-conference-2026.github.io__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4c=
GUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFVrlQ0T-g$">https://i=
tp-conference-2026.github.io</a></div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Abstract Submission: February 12, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Paper Submission: February 19, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Notification: April 26, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Conference Dates: July 26-29, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<br>
</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
KR - 23rd International Conference on Principles of Knowledge Representatio=
n and Reasoning</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<a style=3D"margin: 0px;" data-auth=3D"NotApplicable" data-linkindex=3D"10"=
originalsrc=3D"https://urldefense.com/v3/__https://kr.org/KR2026/__;!!IBzW=
LUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3=
eVlvCEOyQDFXKjsYTYg$" title=3D"Original URL: https://urldefense.com/v3/__ht=
tps://kr.org/KR2026/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtw=
y70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFXKjsYTYg$. Click or tap if you trus=
t this link." class=3D"OWAAutoLink" id=3D"OWA34759b98-b10f-7afa-05b6-7ab1ad=
c76d22" href=3D"https://urldefense.com/v3/__https://kr.org/KR2026/__;!!IBzW=
LUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3=
eVlvCEOyQDFXKjsYTYg$">https://kr.org/KR2026/</a></div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Abstract Submission: February 8, 2026 (Main Track)</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Paper Submission: February 13, 2026 (Main Track)</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Response Period: March 24-28, 2026 (Main Track)</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Notification: April 13, 2026 (Main Track)</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Conference Dates: July 20-23, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<br>
</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
LICS - 41st Annual ACM/IEEE Symposium on Logic in Computer Science</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<a style=3D"margin: 0px;" data-auth=3D"NotApplicable" data-linkindex=3D"11"=
originalsrc=3D"https://urldefense.com/v3/__https://lics.siglog.org/lics26/=
__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8=
bx_ib-IG3eVlvCEOyQDFV_Tk74mA$" title=3D"Original URL: https://urldefense.co=
m/v3/__https://lics.siglog.org/lics26/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFF=
R4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFV_Tk74mA$. Click =
or tap if you trust this link." class=3D"OWAAutoLink" id=3D"OWAaac4c991-076=
5-2e78-e5d5-7c7826c12396" href=3D"https://urldefense.com/v3/__https://lics.=
siglog.org/lics26/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy7=
0mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFV_Tk74mA$">https://lics.siglog.org/li=
cs26/</a></div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Abstract Submission: January 15, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Paper Submission: January 22, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Response Period: March 26=9629, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Notification: April 16, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Conference Dates: July 20-23, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<br>
</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
SAT - 29th International Conference on Theory and Applications of Satisfiab=
ility Testing</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<a style=3D"margin: 0px;" data-auth=3D"NotApplicable" data-linkindex=3D"12"=
originalsrc=3D"https://urldefense.com/v3/__https://satisfiability.org/SAT2=
6/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtb=
Q8bx_ib-IG3eVlvCEOyQDFVtb7OO9w$" title=3D"Original URL: https://urldefense.=
com/v3/__https://satisfiability.org/SAT26/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZR=
spFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFVtb7OO9w$. Cl=
ick or tap if you trust this link." class=3D"OWAAutoLink" id=3D"OWA77964fe2=
-45e4-0b14-5514-6d6c71eb1e48" href=3D"https://urldefense.com/v3/__https://s=
atisfiability.org/SAT26/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5FWTW=
PPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFVtb7OO9w$">https://satisfiabili=
ty.org/SAT26/</a></div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Abstract Submission: February 20, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Paper Submission: February 27, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Response Period: April 13-17, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Author Notification: April 30, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
Conference Dates: July 20-23, 2026</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
<br>
</div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
In addition to the conferences there will be 86 workshops (including Mentor=
ing Workshop, Olympic Games, tutorials, and doctoral consortia)! Learn more=
and find submission details: <a style=3D"margin: 0px;" data-auth=3D"N=
otApplicable" data-linkindex=3D"13" originalsrc=3D"https://urldefense.com/v=
3/__https://www.floc26.org/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq5F=
WTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFWQ6PlQpQ$" title=3D"Original=
URL: https://urldefense.com/v3/__https://www.floc26.org/__;!!IBzWLUs!Xqw6p=
mr7V_nIEViG6SZRspFFR4cGUljrq5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQ=
DFWQ6PlQpQ$. Click or tap if you trust this link." class=3D"OWAAutoLink" id=
=3D"OWA1dcdac9c-f1ec-fcbd-613e-6027970a4d1a" href=3D"https://urldefense.com=
/v3/__https://www.floc26.org/__;!!IBzWLUs!Xqw6pmr7V_nIEViG6SZRspFFR4cGUljrq=
5FWTWPPtwy70mXKm1Zw3Z_ojFtbQ8bx_ib-IG3eVlvCEOyQDFWQ6PlQpQ$">https://www.flo=
c26.org/</a></div>
<div style=3D"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, &quo=
t;Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36)=
;" class=3D"elementToProof">
#FLoC2026 #LogicInCS #Lisbon</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<br>
</div>
</body>
</html>
--_000_CWXP265MB346196D2B1741C6C727CC827ED86ACWXP265MB3461GBRP_--