BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//PLFM//Programming Languages and Formal Methods Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:PLFM: programming languages deadlines
X-WR-CALDESC:Submission deadlines for venues tagged programming languages.
REFRESH-INTERVAL;VALUE=DURATION:P1D
X-PUBLISHED-TTL:P1D
BEGIN:VEVENT
UID:iict-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260701
DTEND;VALUE=DATE:20260702
SUMMARY:IICT 2026 deadline
DESCRIPTION:Workshop on Innovations in Compiler Technology\nDeadline: Jul 1
 \, 2026\nEvent: October 2 to 3\, 2026\nSource: https://mail.cmi.ac.in/mail
 man3/hyperkitty/list/fmindia@cmi.ac.in/thread/S4AKGPW4IQTWQWESYBZSCGMBIXOV
 VDUN/
LOCATION:Bengaluru\, India
URL:https://compilertech.org/
CATEGORIES:Workshop,Compilers,PL,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:ppopp-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260803
DTEND;VALUE=DATE:20260804
SUMMARY:PPoPP 2027 deadline
DESCRIPTION:ACM SIGPLAN Symposium on Principles and Practice of Parallel Pr
 ogramming\nDeadline: Aug 3\, 2026 · 23:59 AoE\nEvent: March 20 to 24\, 20
 27\nSource: https://ppopp27.sigplan.org/track/PPoPP-2027-papers
LOCATION:Salt Lake City\, Utah\, United States
URL:https://ppopp27.sigplan.org/
CATEGORIES:Symposium,PL,Concurrency,Compilers,Deadline
TRANSP:TRANSPARENT
END:VEVENT
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:vmil-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260814
DTEND;VALUE=DATE:20260815
SUMMARY:VMIL 2026 deadline
DESCRIPTION:Workshop on Virtual Machines and Language Implementations\nDead
 line: Aug 14\, 2026 · 23:59 AoE\nEvent: October 8\, 2026\nSource: https:/
 /conf.researchr.org/home/splash-issta-2026/vmil-2026
LOCATION:Oakland\, California\, United States
URL:https://conf.researchr.org/home/splash-issta-2026/vmil-2026
CATEGORIES:Workshop,PL,Compilers,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:ssnl-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260817
DTEND;VALUE=DATE:20260818
SUMMARY:SSNL 2026 deadline
DESCRIPTION:Workshop on Software Systems Across the National Laboratories\n
 Deadline: Aug 17\, 2026 · 23:59 AoE\nEvent: October 4\, 2026\nSource: htt
 ps://conf.researchr.org/home/splash-issta-2026/ssnl-2026
LOCATION:Oakland\, California\, United States
URL:https://conf.researchr.org/home/splash-issta-2026/ssnl-2026
CATEGORIES:Workshop,Formal Methods,Verification,PL,Theorem Proving,Deadline
TRANSP:TRANSPARENT
END:VEVENT
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:ifl-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260904
DTEND;VALUE=DATE:20260905
SUMMARY:IFL 2026 draft paper deadline
DESCRIPTION:Symposium on Implementation and Application of Functional Langu
 ages\nDraft paper deadline: Sep 4\, 2026\nEvent: October 28 to 30\, 2026\n
 Source: https://ifl26.cse.chalmers.se/cfp/
LOCATION:Gothenburg\, Sweden
URL:https://ifl26.cse.chalmers.se/
CATEGORIES:Symposium,Functional Programming,PL,Compilers,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:asplos-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260909
DTEND;VALUE=DATE:20260910
SUMMARY:ASPLOS 2027 deadline
DESCRIPTION:International Conference on Architectural Support for Programmi
 ng Languages and Operating Systems\nDeadline: Sep 9\, 2026 · 23:59 AoE\nE
 vent: April 11 to 15\, 2027\nSource: https://www.asplos-conference.org/asp
 los2027/cfp/
LOCATION:Heraklion\, Crete\, Greece
URL:https://www.asplos-conference.org/asplos2027/
CATEGORIES:Conference,PL,Compilers,Concurrency,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:cgo-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260910
DTEND;VALUE=DATE:20260911
SUMMARY:CGO 2027 deadline
DESCRIPTION:IEEE/ACM International Symposium on Code Generation and Optimiz
 ation\nDeadline: Sep 10\, 2026 · 23:59 AoE\nEvent: March 20 to 24\, 2027\
 nSource: https://conf.researchr.org/track/cgo-2027/cgo-2027-papers
LOCATION:Salt Lake City\, Utah\, United States
URL:https://2027.cgo.org/
CATEGORIES:Symposium,Compilers,PL,Program Analysis,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:programming-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261001
DTEND;VALUE=DATE:20261002
SUMMARY:Programming 2027 papers\, volume 12 issue 1 deadline
DESCRIPTION:International Conference on the Art\, Science\, and Engineering
  of Programming\nPapers\, Volume 12 Issue 1 deadline: Oct 1\, 2026\nEvent:
  March 15 to 19\, 2027\nLast journal round feeding the 2027 conference\nSo
 urce: https://2027.programming-conference.org/track/programming-2027-paper
 s
LOCATION:Kyoto\, Japan
URL:https://2027.programming-conference.org/
CATEGORIES:Conference,PL,Semantics,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:rhpl-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261004
DTEND;VALUE=DATE:20261005
SUMMARY:RHPL 2026 deadline
DESCRIPTION:Workshop on Research Highlights in Programming Languages\nDeadl
 ine: Oct 4\, 2026\nEvent: December 16 to 18\, 2026\nSource: https://mail.c
 mi.ac.in/mailman3/hyperkitty/list/fmindia@cmi.ac.in/thread/BIZUX7XHLLETNKB
 ONE5FOXESFQPDX3YN/
LOCATION:New Delhi\, India
URL:https://fmindia.cmi.ac.in/rhpl2026/
CATEGORIES:Workshop,PL,Verification,Program Analysis,Compilers,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:mwpls-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261009
DTEND;VALUE=DATE:20261010
SUMMARY:MWPLS 2026 talk and poster abstracts deadline
DESCRIPTION:Midwest Programming Languages Summit\nTalk and poster abstracts
  deadline: Oct 9\, 2026\nEvent: November 6\, 2026\nSource: https://2026.mw
 pls.org/
LOCATION:Iowa City\, Iowa\, United States
URL:https://2026.mwpls.org/
CATEGORIES:Community meeting,PL,Compilers,Deadline
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: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:splash-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261014
DTEND;VALUE=DATE:20261015
SUMMARY:SPLASH 2027 oopsla round 1 deadline
DESCRIPTION:ACM SIGPLAN Conference on Systems\, Programming\, Languages\, a
 nd Applications\nOOPSLA round 1 deadline: Oct 14\, 2026 · 23:59 AoE\nEven
 t: October 10 to 15\, 2027\nSource: https://conf.researchr.org/track/splas
 h-2027/splashoopsla2027
LOCATION:Prague\, Czechia
URL:https://2027.splashcon.org/
CATEGORIES:Conference,PL,Program Analysis,Compilers,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:csf-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261015
DTEND;VALUE=DATE:20261016
SUMMARY:CSF 2027 fall cycle deadline
DESCRIPTION:IEEE Computer Security Foundations Symposium\nFall cycle deadli
 ne: Oct 15\, 2026 · 23:59 AoE\nEvent: September 13 to 17\, 2027\nSource: 
 https://csf2027.ieee-security.org/
LOCATION:Tokyo\, Japan
URL:https://csf2027.ieee-security.org/
CATEGORIES:Symposium,Security,Formal Methods,Verification,PL,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:etaps-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261015
DTEND;VALUE=DATE:20261016
SUMMARY:ETAPS 2027 paper deadline
DESCRIPTION:European Joint Conferences on Theory and Practice of Software\n
 Paper deadline: Oct 15\, 2026 · 23:59 AoE\nEvent: April 10 to 15\, 2027\n
 ESOP round 2\, FoSSaCS\, TACAS and iFS\nSource: https://etaps.org/2027/cfp
 /
LOCATION:Copenhagen\, Denmark
URL:https://etaps.org/2027/
CATEGORIES:Conference,Formal Methods,PL,Semantics,Verification,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:sac-pl-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261016
DTEND;VALUE=DATE:20261017
SUMMARY:SAC-PL 2027 deadline
DESCRIPTION:ACM Symposium on Applied Computing\, Programming Languages Trac
 k\nDeadline: Oct 16\, 2026\nEvent: April 5 to 9\, 2027\nSource: https://ac
 msac.wp.txstate.edu/
LOCATION:Gwangju\, South Korea
URL:https://acmsac.wp.txstate.edu/
CATEGORIES:Symposium,PL,Compilers,Semantics,Verification,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fsen-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261019
DTEND;VALUE=DATE:20261020
SUMMARY:FSEN 2027 abstract deadline
DESCRIPTION:International Conference on Fundamentals of Software Engineerin
 g\nAbstract deadline: Oct 19\, 2026\nEvent: May 24 to 25\, 2027\nSource: h
 ttps://conf.researchr.org/home/fsen-2027
LOCATION:Enschede\, Netherlands
URL:https://conf.researchr.org/home/fsen-2027
CATEGORIES:Conference,Formal Methods,Verification,PL,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:njpls-2026-11-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261020
DTEND;VALUE=DATE:20261021
SUMMARY:NJPLS November 2026 talk proposals deadline
DESCRIPTION:New Jersey Programming Languages and Systems Seminar\nTalk prop
 osals deadline: Oct 20\, 2026\nEvent: November 13\, 2026\nSource: https://
 njpls.org/nov2026.html
LOCATION:New York City\, United States
URL:https://njpls.org/nov2026.html
CATEGORIES:Community meeting,PL,Compilers,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:prisc-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261022
DTEND;VALUE=DATE:20261023
SUMMARY:PriSC 2027 deadline
DESCRIPTION:Workshop on Principles of Secure Compilation\nDeadline: Oct 22\
 , 2026 · 23:59 AoE\nEvent: January 11\, 2027\nSource: https://popl27.sigp
 lan.org/home/prisc-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/prisc-2027
CATEGORIES:Workshop,Security,Compilers,Verification,PL,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fpbt-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261023
DTEND;VALUE=DATE:20261024
SUMMARY:FPBT 2027 deadline
DESCRIPTION:Workshop on the Future of Property-Based Testing\nDeadline: Oct
  23\, 2026 · 23:59 AoE\nEvent: January 12\, 2027\nSource: https://popl27.
 sigplan.org/home/fpbt-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/fpbt-2027
CATEGORIES:Workshop,PL,Verification,Functional Programming,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:pepm-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261023
DTEND;VALUE=DATE:20261024
SUMMARY:PEPM 2027 deadline
DESCRIPTION:Workshop on Partial Evaluation and Program Manipulation\nDeadli
 ne: Oct 23\, 2026 · 23:59 AoE\nEvent: January 12\, 2027\nSource: https://
 popl27.sigplan.org/home/pepm-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/pepm-2027
CATEGORIES:Workshop,PL,Semantics,Program Analysis,Compilers,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:rocqpl-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261023
DTEND;VALUE=DATE:20261024
SUMMARY:RocqPL 2027 deadline
DESCRIPTION:Workshop on Rocq for Programming Languages\nDeadline: Oct 23\, 
 2026 · 23:59 AoE\nEvent: January 16\, 2027\nSource: https://popl27.sigpla
 n.org/home/rocqpl-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/rocqpl-2027
CATEGORIES:Workshop,Theorem Proving,PL,Verification,Semantics,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:mwpls-2026-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261026
DTEND;VALUE=DATE:20261027
SUMMARY:MWPLS 2026 registration deadline
DESCRIPTION:Midwest Programming Languages Summit\nRegistration deadline: Oc
 t 26\, 2026\nEvent: November 6\, 2026\nSource: https://2026.mwpls.org/
LOCATION:Iowa City\, Iowa\, United States
URL:https://2026.mwpls.org/
CATEGORIES:Community meeting,PL,Compilers,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fsen-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261028
DTEND;VALUE=DATE:20261029
SUMMARY:FSEN 2027 paper deadline
DESCRIPTION:International Conference on Fundamentals of Software Engineerin
 g\nPaper deadline: Oct 28\, 2026\nEvent: May 24 to 25\, 2027\nSource: http
 s://conf.researchr.org/home/fsen-2027
LOCATION:Enschede\, Netherlands
URL:https://conf.researchr.org/home/fsen-2027
CATEGORIES:Conference,Formal Methods,Verification,PL,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:wave-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261028
DTEND;VALUE=DATE:20261029
SUMMARY:WAVE 2027 deadline
DESCRIPTION:Workshop on Auto-active Verification\nDeadline: Oct 28\, 2026 
 · 23:59 AoE\nEvent: January 10\, 2027\nSource: https://popl27.sigplan.org
 /home/wave-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/wave-2027
CATEGORIES:Workshop,Verification,Formal Methods,Theorem Proving,PL,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:etaps-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261029
DTEND;VALUE=DATE:20261030
SUMMARY:ETAPS 2027 artifact deadline
DESCRIPTION:European Joint Conferences on Theory and Practice of Software\n
 Artifact deadline: Oct 29\, 2026 · 23:59 AoE\nEvent: April 10 to 15\, 202
 7\nMandatory for TACAS\nSource: https://etaps.org/2027/cfp/
LOCATION:Copenhagen\, Denmark
URL:https://etaps.org/2027/
CATEGORIES:Conference,Formal Methods,PL,Semantics,Verification,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:tpsa-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261029
DTEND;VALUE=DATE:20261030
SUMMARY:TPSA 2027 deadline
DESCRIPTION:Workshop on the Theory and Practice of Static Analysis\nDeadlin
 e: Oct 29\, 2026 · 23:59 AoE\nEvent: January 12\, 2027\nSource: https://p
 opl27.sigplan.org/home/tpsa-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/tpsa-2027
CATEGORIES:Workshop,Program Analysis,Verification,PL,Formal Methods,Deadlin
 e
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:page-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261031
DTEND;VALUE=DATE:20261101
SUMMARY:PAgE 2027 deadline
DESCRIPTION:Workshop on Principles of Agentic Engineering\nDeadline: Oct 31
 \, 2026 · 23:59 AoE\nEvent: January 11\, 2027\nSource: https://popl27.sig
 plan.org/home/page-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/page-2027
CATEGORIES:Workshop,Formal Methods,Verification,PL,Synthesis,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:njpls-2026-11-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261101
DTEND;VALUE=DATE:20261102
SUMMARY:NJPLS November 2026 registration deadline
DESCRIPTION:New Jersey Programming Languages and Systems Seminar\nRegistrat
 ion deadline: Nov 1\, 2026\nEvent: November 13\, 2026\nSource: https://njp
 ls.org/nov2026.html
LOCATION:New York City\, United States
URL:https://njpls.org/nov2026.html
CATEGORIES:Community meeting,PL,Compilers,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:waw-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261103
DTEND;VALUE=DATE:20261104
SUMMARY:WAW 2027 deadline
DESCRIPTION:WebAssembly Workshop\nDeadline: Nov 3\, 2026 · 23:59 AoE\nEven
 t: January 16\, 2027\nSource: https://popl27.sigplan.org/home/waw-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/waw-2027
CATEGORIES:Workshop,PL,Semantics,Compilers,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:pldi-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261112
DTEND;VALUE=DATE:20261113
SUMMARY:PLDI 2027 deadline
DESCRIPTION:ACM SIGPLAN Conference on Programming Language Design and Imple
 mentation\nDeadline: Nov 12\, 2026 · 23:59 AoE\nEvent: June 5 to 11\, 202
 7\nSource: https://conf.researchr.org/track/pldi-2027/pldi-2027-papers
LOCATION:Atlanta\, Georgia\, United States
URL:https://conf.researchr.org/home/pldi-2027
CATEGORIES:Conference,PL,Compilers,Program Analysis,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:tfpie-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261119
DTEND;VALUE=DATE:20261120
SUMMARY:TFPIE 2027 full papers deadline
DESCRIPTION:International Workshop on Trends in Functional Programming in E
 ducation\nFull papers deadline: Nov 19\, 2026 · 23:59 AoE\nEvent: March 1
 2\, 2027\nFormal review before the workshop\; 7 to 20 pages\nSource: https
 ://wiki.tfpie.science.ru.nl/TFPIE2027
LOCATION:Kyoto\, Japan
URL:https://wiki.tfpie.science.ru.nl/TFPIE2027
CATEGORIES:Workshop,Functional Programming,PL,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:ifl-2026-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261125
DTEND;VALUE=DATE:20261126
SUMMARY:IFL 2026 post-symposium paper deadline
DESCRIPTION:Symposium on Implementation and Application of Functional Langu
 ages\nPost-symposium paper deadline: Nov 25\, 2026\nEvent: October 28 to 3
 0\, 2026\nFull papers for the formal proceedings\, written up after the me
 eting\nSource: https://ifl26.cse.chalmers.se/cfp/
LOCATION:Gothenburg\, Sweden
URL:https://ifl26.cse.chalmers.se/
CATEGORIES:Symposium,Functional Programming,PL,Compilers,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:tfp-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261203
DTEND;VALUE=DATE:20261204
SUMMARY:TFP 2027 pre-symposium full paper deadline
DESCRIPTION:International Symposium on Trends in Functional Programming\nPr
 e-symposium full paper deadline: Dec 3\, 2026 · 23:59 AoE\nEvent: March 1
 3 to 15\, 2027\nFormally reviewed before the meeting\; notification 14 Jan
 uary 2027\nSource: https://trendsfp.github.io/2027/
LOCATION:Kyoto\, Japan
URL:https://trendsfp.github.io/2027/
CATEGORIES:Symposium,Functional Programming,PL,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:etaps-2027-deadline-2@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270111
DTEND;VALUE=DATE:20270112
SUMMARY:ETAPS 2027 voluntary artifact deadline
DESCRIPTION:European Joint Conferences on Theory and Practice of Software\n
 Voluntary artifact deadline: Jan 11\, 2027 · 23:59 AoE\nEvent: April 10 t
 o 15\, 2027\nESOP\, FoSSaCS\, iFS and TACAS\nSource: https://etaps.org/202
 7/cfp/
LOCATION:Copenhagen\, Denmark
URL:https://etaps.org/2027/
CATEGORIES:Conference,Formal Methods,PL,Semantics,Verification,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:csf-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270128
DTEND;VALUE=DATE:20270129
SUMMARY:CSF 2027 winter cycle deadline
DESCRIPTION:IEEE Computer Security Foundations Symposium\nWinter cycle dead
 line: Jan 28\, 2027 · 23:59 AoE\nEvent: September 13 to 17\, 2027\nSource
 : https://csf2027.ieee-security.org/
LOCATION:Tokyo\, Japan
URL:https://csf2027.ieee-security.org/
CATEGORIES:Symposium,Security,Formal Methods,Verification,PL,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:tfp-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270128
DTEND;VALUE=DATE:20270129
SUMMARY:TFP 2027 pre-symposium draft paper deadline
DESCRIPTION:International Symposium on Trends in Functional Programming\nPr
 e-symposium draft paper deadline: Jan 28\, 2027 · 23:59 AoE\nEvent: March
  13 to 15\, 2027\nNotification 4 February 2027\nSource: https://trendsfp.g
 ithub.io/2027/
LOCATION:Kyoto\, Japan
URL:https://trendsfp.github.io/2027/
CATEGORIES:Symposium,Functional Programming,PL,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:tfpie-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270204
DTEND;VALUE=DATE:20270205
SUMMARY:TFPIE 2027 draft papers deadline
DESCRIPTION:International Workshop on Trends in Functional Programming in E
 ducation\nDraft papers deadline: Feb 4\, 2027 · 23:59 AoE\nEvent: March 1
 2\, 2027\nExtended abstracts of 4 to 6 pages or full drafts\nSource: https
 ://wiki.tfpie.science.ru.nl/TFPIE2027
LOCATION:Kyoto\, Japan
URL:https://wiki.tfpie.science.ru.nl/TFPIE2027
CATEGORIES:Workshop,Functional Programming,PL,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: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
BEGIN:VEVENT
UID:splash-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270407
DTEND;VALUE=DATE:20270408
SUMMARY:SPLASH 2027 oopsla round 2 deadline
DESCRIPTION:ACM SIGPLAN Conference on Systems\, Programming\, Languages\, a
 nd Applications\nOOPSLA round 2 deadline: Apr 7\, 2027 · 23:59 AoE\nEvent
 : October 10 to 15\, 2027\nSource: https://conf.researchr.org/track/splash
 -2027/splashoopsla2027
LOCATION:Prague\, Czechia
URL:https://2027.splashcon.org/
CATEGORIES:Conference,PL,Program Analysis,Compilers,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:tfpie-2027-deadline-2@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270408
DTEND;VALUE=DATE:20270409
SUMMARY:TFPIE 2027 post-workshop papers deadline
DESCRIPTION:International Workshop on Trends in Functional Programming in E
 ducation\nPost-workshop papers deadline: Apr 8\, 2027 · 23:59 AoE\nEvent:
  March 12\, 2027\nSource: https://wiki.tfpie.science.ru.nl/TFPIE2027
LOCATION:Kyoto\, Japan
URL:https://wiki.tfpie.science.ru.nl/TFPIE2027
CATEGORIES:Workshop,Functional Programming,PL,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:tfp-2027-deadline-2@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270429
DTEND;VALUE=DATE:20270430
SUMMARY:TFP 2027 post-symposium paper deadline
DESCRIPTION:International Symposium on Trends in Functional Programming\nPo
 st-symposium paper deadline: Apr 29\, 2027 · 23:59 AoE\nEvent: March 13 t
 o 15\, 2027\nFull papers for the formal proceedings\, written up after the
  meeting\nSource: https://trendsfp.github.io/2027/
LOCATION:Kyoto\, Japan
URL:https://trendsfp.github.io/2027/
CATEGORIES:Symposium,Functional Programming,PL,Deadline
TRANSP:TRANSPARENT
END:VEVENT
END:VCALENDAR