BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//PLFM//Programming Languages and Formal Methods Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:PLFM: types deadlines
X-WR-CALDESC:Submission deadlines for venues tagged types.
REFRESH-INTERVAL;VALUE=DURATION:P1D
X-PUBLISHED-TTL:P1D
BEGIN:VEVENT
UID:aplas-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260822
DTEND;VALUE=DATE:20260823
SUMMARY:APLAS 2026 src and posters deadline
DESCRIPTION:Asian Symposium on Programming Languages and Systems\nSRC and p
 osters deadline: Aug 22\, 2026\nEvent: December 1 to 4\, 2026\nExtended ab
 stracts\, shared with ATVA 2026\nSource: https://conf.researchr.org/home/a
 plas-atva-2026
LOCATION:Hong Kong\, China
URL:https://conf.researchr.org/track/aplas-atva-2026/aplas-2026
CATEGORIES:Symposium,PL,Types,Semantics,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:cpp-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260903
DTEND;VALUE=DATE:20260904
SUMMARY:CPP 2027 abstract deadline
DESCRIPTION:International Conference on Certified Programs and Proofs\nAbst
 ract deadline: Sep 3\, 2026 · 23:59 AoE\nEvent: January 11 to 12\, 2027\n
 Source: https://popl27.sigplan.org/home/CPP-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/CPP-2027
CATEGORIES:Conference,Theorem Proving,Verification,Types,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:cpp-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260910
DTEND;VALUE=DATE:20260911
SUMMARY:CPP 2027 paper deadline
DESCRIPTION:International Conference on Certified Programs and Proofs\nPape
 r deadline: Sep 10\, 2026 · 23:59 AoE\nEvent: January 11 to 12\, 2027\nSo
 urce: https://popl27.sigplan.org/home/CPP-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/CPP-2027
CATEGORIES:Conference,Theorem Proving,Verification,Types,Deadline
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:popl-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261009
DTEND;VALUE=DATE:20261010
SUMMARY:POPL 2027 tutorial proposals deadline
DESCRIPTION:ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langu
 ages\nTutorial proposals deadline: Oct 9\, 2026\nEvent: January 10 to 16\,
  2027\nSource: https://popl27.sigplan.org/dates
LOCATION:Mexico City
URL:https://popl27.sigplan.org/
CATEGORIES:Symposium,PL,Semantics,Types,Verification,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:popl-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261012
DTEND;VALUE=DATE:20261013
SUMMARY:POPL 2027 student research competition deadline
DESCRIPTION:ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langu
 ages\nStudent research competition deadline: Oct 12\, 2026 · 23:59 AoE\nE
 vent: January 10 to 16\, 2027\nExtended abstracts of up to three pages\, b
 y a single student author\nSource: https://popl27.sigplan.org/dates
LOCATION:Mexico City
URL:https://popl27.sigplan.org/
CATEGORIES:Symposium,PL,Semantics,Types,Verification,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:planqc-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261030
DTEND;VALUE=DATE:20261031
SUMMARY:PLanQC 2027 deadline
DESCRIPTION:International Workshop on Programming Languages for Quantum Com
 puting\nDeadline: Oct 30\, 2026 · 23:59 AoE\nEvent: January 12\, 2027\nSo
 urce: https://popl27.sigplan.org/home/planqc-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/planqc-2027
CATEGORIES:Workshop,Quantum,PL,Verification,Types,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:bob-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261102
DTEND;VALUE=DATE:20261103
SUMMARY:BOB 2027 deadline
DESCRIPTION:BOB Conference\nDeadline: Nov 2\, 2026\nEvent: February 26\, 20
 27\nSource: https://bobkonf.de/2027/cfc.html
LOCATION:Berlin\, Germany
URL:https://bobkonf.de/2027/
CATEGORIES:Conference,Functional Programming,Formal Methods,Types,PL,Deadli
 ne
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:lafi-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261102
DTEND;VALUE=DATE:20261103
SUMMARY:LAFI 2027 deadline
DESCRIPTION:Workshop on Languages for Inference\nDeadline: Nov 2\, 2026 · 
 23:59 AoE\nSource: https://popl27.sigplan.org/home/lafi-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/lafi-2027
CATEGORIES:Workshop,Probabilistic Programming,PL,Semantics,Types,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:ecoop-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261119
DTEND;VALUE=DATE:20261120
SUMMARY:ECOOP 2027 round 1 deadline
DESCRIPTION:European Conference on Object-Oriented Programming\nRound 1 dea
 dline: Nov 19\, 2026 · 23:59 AoE\nEvent: June 28 to July 2\, 2027\nSource
 : https://2027.ecoop.org/dates
LOCATION:Turin\, Italy
URL:https://2027.ecoop.org/
CATEGORIES:Conference,PL,Types,Program Analysis,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:ecoop-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270211
DTEND;VALUE=DATE:20270212
SUMMARY:ECOOP 2027 round 2 deadline
DESCRIPTION:European Conference on Object-Oriented Programming\nRound 2 dea
 dline: Feb 11\, 2027 · 23:59 AoE\nEvent: June 28 to July 2\, 2027\nSource
 : https://2027.ecoop.org/dates
LOCATION:Turin\, Italy
URL:https://2027.ecoop.org/
CATEGORIES:Conference,PL,Types,Program Analysis,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:icfp-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270225
DTEND;VALUE=DATE:20270226
SUMMARY:ICFP 2027 deadline
DESCRIPTION:ACM SIGPLAN International Conference on Functional Programming\
 nDeadline: Feb 25\, 2027\nEvent: September 26 to October 1\, 2027\nSource:
  https://icfp27.sigplan.org/dates
LOCATION:Nijmegen\, Netherlands
URL:https://icfp27.sigplan.org/
CATEGORIES:Conference,Functional Programming,PL,Types,Deadline
TRANSP:TRANSPARENT
END:VEVENT
END:VCALENDAR