BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//PLFM//Programming Languages and Formal Methods Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:PLFM: logic deadlines
X-WR-CALDESC:Submission deadlines for venues tagged logic.
REFRESH-INTERVAL;VALUE=DURATION:P1D
X-PUBLISHED-TTL:P1D
BEGIN:VEVENT
UID:iwil-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260810
DTEND;VALUE=DATE:20260811
SUMMARY:IWIL 2026 deadline
DESCRIPTION:International Workshop on the Implementation of Logics\nDeadlin
 e: Aug 10\, 2026\nEvent: October 25\, 2026\nSource: https://www.eprover.or
 g/EVENTS/IWIL-2026.html
LOCATION:Spetses\, Greece
URL:https://www.eprover.org/EVENTS/IWIL-2026.html
CATEGORIES:Workshop,Logic,Theorem Proving,PL,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:highlights-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260817
DTEND;VALUE=DATE:20260818
SUMMARY:Highlights 2026 final registration deadline
DESCRIPTION:Highlights of Logic\, Games and Automata\nFinal registration de
 adline: Aug 17\, 2026\nEvent: September 7 to 11\, 2026\nSource: https://hi
 ghlights-conference.org/2026/
LOCATION:Vienna\, Austria
URL:https://highlights-conference.org/2026/
CATEGORIES:Conference,Logic,Verification,Model Checking,Semantics,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:lpar-26-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260817
DTEND;VALUE=DATE:20260818
SUMMARY:LPAR-26 short presentation papers deadline
DESCRIPTION:International Conference on Logic for Programming\, Artificial 
 Intelligence and Reasoning\nShort presentation papers deadline: Aug 17\, 2
 026\nEvent: October 25 to 30\, 2026\nSource: https://easychair.org/smart-p
 rogram/LPAR-26/
LOCATION:Spetses\, Greece
URL:https://easychair.org/smart-program/LPAR-26/
CATEGORIES:Conference,Logic,Theorem Proving,PL,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:icla-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260828
DTEND;VALUE=DATE:20260829
SUMMARY:ICLA 2027 paper deadline
DESCRIPTION:Indian Conference on Logic and its Applications\nPaper deadline
 : Aug 28\, 2026\nEvent: January 6 to 8\, 2027\nSource: https://conf.resear
 chr.org/track/icla-2027/icla-2027-papers
LOCATION:Bangalore\, India
URL:https://conf.researchr.org/home/icla-2027
CATEGORIES:Conference,Logic,Formal Methods,Verification,Theorem Proving,Dea
 dline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:icalp-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260915
DTEND;VALUE=DATE:20260916
SUMMARY:ICALP 2027 track b round 1 deadline
DESCRIPTION:International Colloquium on Automata\, Languages and Programmin
 g\nTrack B round 1 deadline: Sep 15\, 2026 · 23:59 AoE\nEvent: July 5 to 
 9\, 2027\nSource: https://icalp.uj.edu.pl/track-b/
LOCATION:Kraków\, Poland
URL:https://icalp.uj.edu.pl/
CATEGORIES:Conference,Logic,Semantics,Verification,Types,Concurrency,Deadli
 ne
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:reacts-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260916
DTEND;VALUE=DATE:20260917
SUMMARY:ReacTS 2026 deadline
DESCRIPTION:International Workshop on Reconfigurable Transition Systems: Se
 mantics\, Logics and Applications\nDeadline: Sep 16\, 2026 · 23:59 AoE\nE
 vent: November 24\, 2026\nSource: https://reacts-workshop.github.io/2026/
LOCATION:Valletta\, Malta
URL:https://reacts-workshop.github.io/2026/
CATEGORIES:Workshop,Formal Methods,Logic,Semantics,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:nwpt-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261010
DTEND;VALUE=DATE:20261011
SUMMARY:NWPT 2026 abstract deadline
DESCRIPTION:Nordic Workshop on Programming Theory\nAbstract deadline: Oct 1
 0\, 2026 · 23:59 AoE\nEvent: November 19 to 20\, 2026\nSource: https://ko
 du.ut.ee/~nester/nwpt-2026/main.html
LOCATION:Tartu\, Estonia
URL:https://kodu.ut.ee/~nester/nwpt-2026/main.html
CATEGORIES:Workshop,PL,Semantics,Formal Methods,Types,Logic,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:stacs-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261011
DTEND;VALUE=DATE:20261012
SUMMARY:STACS 2027 deadline
DESCRIPTION:International Symposium on Theoretical Aspects of Computer Scie
 nce\nDeadline: Oct 11\, 2026 · 23:59 AoE\nEvent: March 8 to 12\, 2027\nSo
 urce: https://mail.cmi.ac.in/mailman3/hyperkitty/list/fmindia@cmi.ac.in/th
 read/CTMITL23QYFUV3XVGY53EUV4H2TYS4TM/
LOCATION:Göttingen\, Germany
URL:https://stacs2027.uni-goettingen.de/
CATEGORIES:Symposium,Logic,Semantics,Types,Program Analysis,Concurrency,Dea
 dline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:aila-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261031
DTEND;VALUE=DATE:20261101
SUMMARY:AILA 2027 abstract deadline
DESCRIPTION:International Conference on Artificial Intelligence Logic and A
 pplications\nAbstract deadline: Oct 31\, 2026 · 23:59 AoE\nEvent: April 8
  to 10\, 2027\nSource: http://ailasym.com/AILA2027/AILA2027.html
LOCATION:Belfast\, United Kingdom
URL:http://ailasym.com/AILA2027/AILA2027.html
CATEGORIES:Conference,Logic,Theorem Proving,Verification,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:eclaps-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261101
DTEND;VALUE=DATE:20261102
SUMMARY:ECLAPS 2026 talk proposals deadline
DESCRIPTION:Eastern Canada Logic and Programming Seminar\nTalk proposals de
 adline: Nov 1\, 2026\nEvent: November 14\, 2026\nSource: https://llm.uqam.
 ca/en/eclaps/eclaps26/
LOCATION:Montreal\, Quebec\, Canada
URL:https://llm.uqam.ca/en/eclaps/
CATEGORIES:Community meeting,PL,Logic,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:nwpt-2026-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261102
DTEND;VALUE=DATE:20261103
SUMMARY:NWPT 2026 registration deadline
DESCRIPTION:Nordic Workshop on Programming Theory\nRegistration deadline: N
 ov 2\, 2026 · 23:59 AoE\nEvent: November 19 to 20\, 2026\nSource: https:/
 /kodu.ut.ee/~nester/nwpt-2026/main.html
LOCATION:Tartu\, Estonia
URL:https://kodu.ut.ee/~nester/nwpt-2026/main.html
CATEGORIES:Workshop,PL,Semantics,Formal Methods,Types,Logic,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:aila-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261107
DTEND;VALUE=DATE:20261108
SUMMARY:AILA 2027 paper deadline
DESCRIPTION:International Conference on Artificial Intelligence Logic and A
 pplications\nPaper deadline: Nov 7\, 2026 · 23:59 AoE\nEvent: April 8 to 
 10\, 2027\nSource: http://ailasym.com/AILA2027/AILA2027.html
LOCATION:Belfast\, United Kingdom
URL:http://ailasym.com/AILA2027/AILA2027.html
CATEGORIES:Conference,Logic,Theorem Proving,Verification,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:eclaps-2026-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261108
DTEND;VALUE=DATE:20261109
SUMMARY:ECLAPS 2026 registration for non-presenters deadline
DESCRIPTION:Eastern Canada Logic and Programming Seminar\nRegistration for 
 non-presenters deadline: Nov 8\, 2026\nEvent: November 14\, 2026\nSource: 
 https://llm.uqam.ca/en/eclaps/eclaps26/
LOCATION:Montreal\, Quebec\, Canada
URL:https://llm.uqam.ca/en/eclaps/
CATEGORIES:Community meeting,PL,Logic,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:cade-31-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261204
DTEND;VALUE=DATE:20261205
SUMMARY:CADE-31 workshop and tutorial proposals deadline
DESCRIPTION:International Conference on Automated Deduction\nWorkshop and t
 utorial proposals deadline: Dec 4\, 2026\nEvent: August 22 to 25\, 2027\nU
 p to three pages\, by email to the workshop chair\nSource: https://fscd-ca
 de.science.ru.nl/calls/papers-cade
LOCATION:Nijmegen\, Netherlands
URL:https://fscd-cade.science.ru.nl/
CATEGORIES:Conference,Theorem Proving,Logic,Formal Methods,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fscd-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261204
DTEND;VALUE=DATE:20261205
SUMMARY:FSCD 2027 workshop and tutorial proposals deadline
DESCRIPTION:International Conference on Formal Structures for Computation a
 nd Deduction\nWorkshop and tutorial proposals deadline: Dec 4\, 2026\nEven
 t: August 23 to 26\, 2027\nUp to three pages\, by email to the workshop ch
 air\nSource: https://fscd-cade.science.ru.nl/calls/workshops-and-tutorials
LOCATION:Nijmegen\, Netherlands
URL:https://fscd-cade.science.ru.nl/
CATEGORIES:Conference,Logic,Types,Theorem Proving,Semantics,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:cade-31-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270215
DTEND;VALUE=DATE:20270216
SUMMARY:CADE-31 abstract deadline
DESCRIPTION:International Conference on Automated Deduction\nAbstract deadl
 ine: Feb 15\, 2027\nEvent: August 22 to 25\, 2027\nSource: https://fscd-ca
 de.science.ru.nl/calls/papers-cade
LOCATION:Nijmegen\, Netherlands
URL:https://fscd-cade.science.ru.nl/
CATEGORIES:Conference,Theorem Proving,Logic,Formal Methods,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:icalp-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270215
DTEND;VALUE=DATE:20270216
SUMMARY:ICALP 2027 track b round 2 deadline
DESCRIPTION:International Colloquium on Automata\, Languages and Programmin
 g\nTrack B round 2 deadline: Feb 15\, 2027\nEvent: July 5 to 9\, 2027\nEar
 ly-to-mid February 2027\; exact date not yet announced\nSource: https://ic
 alp.uj.edu.pl/track-b/
LOCATION:Kraków\, Poland
URL:https://icalp.uj.edu.pl/
CATEGORIES:Conference,Logic,Semantics,Verification,Types,Concurrency,Deadli
 ne
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:cade-31-deadline-2@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270222
DTEND;VALUE=DATE:20270223
SUMMARY:CADE-31 paper deadline
DESCRIPTION:International Conference on Automated Deduction\nPaper deadline
 : Feb 22\, 2027\nEvent: August 22 to 25\, 2027\nSource: https://fscd-cade.
 science.ru.nl/calls/papers-cade
LOCATION:Nijmegen\, Netherlands
URL:https://fscd-cade.science.ru.nl/
CATEGORIES:Conference,Theorem Proving,Logic,Formal Methods,Deadline
TRANSP:TRANSPARENT
END:VEVENT
END:VCALENDAR