BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//PLFM//Programming Languages and Formal Methods Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:PLFM: submission deadlines
X-WR-CALDESC:Conference and workshop submission deadlines.
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:fmas-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260814
DTEND;VALUE=DATE:20260815
SUMMARY:FMAS 2026 abstract deadline
DESCRIPTION:International Workshop on Formal Methods for Autonomous Systems
 \nAbstract deadline: Aug 14\, 2026 · 23:59 AoE\nEvent: November 17 to 18\
 , 2026\nSource: https://fmasworkshop.github.io/FMAS2026/
LOCATION:Southampton\, United Kingdom
URL:https://fmasworkshop.github.io/FMAS2026/
CATEGORIES:Workshop,Formal Methods,Verification,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:sbmf-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260814
DTEND;VALUE=DATE:20260815
SUMMARY:SBMF 2026 deadline
DESCRIPTION:Brazilian Symposium on Formal Methods\nDeadline: Aug 14\, 2026 
 · 23:59 AoE\nEvent: December 1 to 4\, 2026\nSource: https://sbmf2026.gith
 ub.io/
LOCATION:Rio de Janeiro\, Brazil
URL:https://sbmf2026.github.io/
CATEGORIES:Symposium,Formal Methods,Verification,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: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:fmas-2026-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260817
DTEND;VALUE=DATE:20260818
SUMMARY:FMAS 2026 paper deadline
DESCRIPTION:International Workshop on Formal Methods for Autonomous Systems
 \nPaper deadline: Aug 17\, 2026 · 23:59 AoE\nEvent: November 17 to 18\, 2
 026\nSource: https://fmasworkshop.github.io/FMAS2026/
LOCATION:Southampton\, United Kingdom
URL:https://fmasworkshop.github.io/FMAS2026/
CATEGORIES:Workshop,Formal Methods,Verification,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: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: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: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:stars-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260908
DTEND;VALUE=DATE:20260909
SUMMARY:STARS 2026 full papers deadline
DESCRIPTION:International Workshop on Static and Runtime Verification Syner
 gies\nFull papers deadline: Sep 8\, 2026 · 23:59 AoE\nEvent: November 23\
 , 2026\nSource: https://stars-workshop.github.io/
LOCATION:Valletta\, Malta
URL:https://stars-workshop.github.io/
CATEGORIES:Workshop,Verification,Formal Methods,Program Analysis,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: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:stars-2026-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260915
DTEND;VALUE=DATE:20260916
SUMMARY:STARS 2026 talk proposals deadline
DESCRIPTION:International Workshop on Static and Runtime Verification Syner
 gies\nTalk proposals deadline: Sep 15\, 2026 · 23:59 AoE\nEvent: November
  23\, 2026\nSource: https://stars-workshop.github.io/
LOCATION:Valletta\, Malta
URL:https://stars-workshop.github.io/
CATEGORIES:Workshop,Verification,Formal Methods,Program Analysis,Deadline
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:vmcai-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260923
DTEND;VALUE=DATE:20260924
SUMMARY:VMCAI 2027 paper registration deadline
DESCRIPTION:International Conference on Verification\, Model Checking\, and
  Abstract Interpretation\nPaper registration deadline: Sep 23\, 2026 · 23
 :59 AoE\nEvent: January 11 to 12\, 2027\nSource: https://conf.researchr.or
 g/home/VMCAI-2027
LOCATION:Mexico City
URL:https://conf.researchr.org/home/VMCAI-2027
CATEGORIES:Conference,Verification,Model Checking,Program Analysis,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:vmcai-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260925
DTEND;VALUE=DATE:20260926
SUMMARY:VMCAI 2027 artifact registration deadline
DESCRIPTION:International Conference on Verification\, Model Checking\, and
  Abstract Interpretation\nArtifact registration deadline: Sep 25\, 2026 ·
  23:59 AoE\nEvent: January 11 to 12\, 2027\nSource: https://conf.researchr
 .org/home/VMCAI-2027
LOCATION:Mexico City
URL:https://conf.researchr.org/home/VMCAI-2027
CATEGORIES:Conference,Verification,Model Checking,Program Analysis,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:vmcai-2027-deadline-2@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260930
DTEND;VALUE=DATE:20261001
SUMMARY:VMCAI 2027 paper and artifact submission deadline
DESCRIPTION:International Conference on Verification\, Model Checking\, and
  Abstract Interpretation\nPaper and artifact submission deadline: Sep 30\,
  2026 · 23:59 AoE\nEvent: January 11 to 12\, 2027\nSource: https://conf.r
 esearchr.org/home/VMCAI-2027
LOCATION:Mexico City
URL:https://conf.researchr.org/home/VMCAI-2027
CATEGORIES:Conference,Verification,Model Checking,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:fse-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261002
DTEND;VALUE=DATE:20261003
SUMMARY:FSE 2027 research papers deadline
DESCRIPTION:ACM International Conference on the Foundations of Software Eng
 ineering\nResearch papers deadline: Oct 2\, 2026\nEvent: July 12 to 16\, 2
 027\nSource: https://conf.researchr.org/track/fse-2027/fse-2027-papers
LOCATION:Shenzhen\, China
URL:https://conf.researchr.org/home/fse-2027
CATEGORIES:Conference,Program Analysis,Verification,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:spotlights-verification-2026-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261008
DTEND;VALUE=DATE:20261009
SUMMARY:Spotlights 2026 abstract deadline
DESCRIPTION:Spotlights of Verification\nAbstract deadline: Oct 8\, 2026\nEv
 ent: December 1\, 2026\nOne to two pages\, at most one submission per spea
 ker\nSource: https://conf.researchr.org/track/aplas-atva-2026/atva-2026
LOCATION:Hong Kong\, China
URL:https://conf.researchr.org/track/aplas-atva-2026/atva-2026
CATEGORIES:Workshop,Verification,Formal Methods,Model Checking,Program Anal
 ysis,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: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: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:formalise-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261030
DTEND;VALUE=DATE:20261031
SUMMARY:FormaliSE 2027 abstract deadline
DESCRIPTION:International Conference on Formal Methods in Software Engineer
 ing\nAbstract deadline: Oct 30\, 2026\nEvent: April 26 to 27\, 2027\nSourc
 e: https://conf.researchr.org/home/Formalise-2027
LOCATION:Dublin\, Ireland
URL:https://conf.researchr.org/home/Formalise-2027
CATEGORIES:Conference,Formal Methods,Verification,Program Analysis,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: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: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:formalise-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261106
DTEND;VALUE=DATE:20261107
SUMMARY:FormaliSE 2027 paper deadline
DESCRIPTION:International Conference on Formal Methods in Software Engineer
 ing\nPaper deadline: Nov 6\, 2026\nEvent: April 26 to 27\, 2027\nSource: h
 ttps://conf.researchr.org/home/Formalise-2027
LOCATION:Dublin\, Ireland
URL:https://conf.researchr.org/home/Formalise-2027
CATEGORIES:Conference,Formal Methods,Verification,Program Analysis,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:frida-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261106
DTEND;VALUE=DATE:20261107
SUMMARY:FRIDA 2027 deadline
DESCRIPTION:Workshop on Formal Reasoning in Distributed Algorithms\nDeadlin
 e: Nov 6\, 2026 · 23:59 AoE\nSource: https://popl27.sigplan.org/home/frid
 a-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/frida-2027
CATEGORIES:Workshop,Concurrency,Verification,Formal Methods,Model Checking,
 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:formalise-2027-deadline-2@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261110
DTEND;VALUE=DATE:20261111
SUMMARY:FormaliSE 2027 artifact deadline
DESCRIPTION:International Conference on Formal Methods in Software Engineer
 ing\nArtifact deadline: Nov 10\, 2026\nEvent: April 26 to 27\, 2027\nSourc
 e: https://conf.researchr.org/home/Formalise-2027
LOCATION:Dublin\, Ireland
URL:https://conf.researchr.org/home/Formalise-2027
CATEGORIES:Conference,Formal Methods,Verification,Program Analysis,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: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:nfm-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270104
DTEND;VALUE=DATE:20270105
SUMMARY:NFM 2027 abstract deadline
DESCRIPTION:NASA Formal Methods Symposium\nAbstract deadline: Jan 4\, 2027 
 · 23:59 AoE\nEvent: May 11 to 13\, 2027\nSource: https://conf.researchr.o
 rg/home/nfm-2027
LOCATION:Houston\, Texas\, United States
URL:https://conf.researchr.org/home/nfm-2027
CATEGORIES:Symposium,Formal Methods,Verification,Theorem Proving,Model Chec
 king,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:nfm-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270111
DTEND;VALUE=DATE:20270112
SUMMARY:NFM 2027 paper deadline
DESCRIPTION:NASA Formal Methods Symposium\nPaper deadline: Jan 11\, 2027 ·
  23:59 AoE\nEvent: May 11 to 13\, 2027\nSource: https://conf.researchr.org
 /home/nfm-2027
LOCATION:Houston\, Texas\, United States
URL:https://conf.researchr.org/home/nfm-2027
CATEGORIES:Symposium,Formal Methods,Verification,Theorem Proving,Model Chec
 king,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:cav-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270120
DTEND;VALUE=DATE:20270121
SUMMARY:CAV 2027 deadline
DESCRIPTION:International Conference on Computer-Aided Verification\nDeadli
 ne: Jan 20\, 2027 · 23:59 AoE\nEvent: July 19 to 23\, 2027\nSource: https
 ://conferences.i-cav.org/2027/
LOCATION:Amsterdam\, Netherlands
URL:https://conferences.i-cav.org/2027/
CATEGORIES:Conference,Verification,Model Checking,Formal Methods,Program An
 alysis,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:mars-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270122
DTEND;VALUE=DATE:20270123
SUMMARY:MARS 2027 deadline
DESCRIPTION:Workshop on Models for Formal Analysis of Real Systems\nDeadlin
 e: Jan 22\, 2027\nEvent: April 11\, 2027\nSource: https://mars-workshop.or
 g/mars2027/
LOCATION:Copenhagen\, Denmark
URL:https://mars-workshop.org/mars2027/
CATEGORIES:Workshop,Formal Methods,Model Checking,Concurrency,Deadline
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fse-2027-deadline-1@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270123
DTEND;VALUE=DATE:20270124
SUMMARY:FSE 2027 industry papers deadline
DESCRIPTION:ACM International Conference on the Foundations of Software Eng
 ineering\nIndustry papers deadline: Jan 23\, 2027\nEvent: July 12 to 16\, 
 2027\nSource: https://conf.researchr.org/track/fse-2027/fse-2027-papers
LOCATION:Shenzhen\, China
URL:https://conf.researchr.org/home/fse-2027
CATEGORIES:Conference,Program Analysis,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: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
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