BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//PLFM//Programming Languages and Formal Methods Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:PLFM: verification deadlines
X-WR-CALDESC:Submission deadlines for venues tagged verification.
REFRESH-INTERVAL;VALUE=DURATION:P1D
X-PUBLISHED-TTL:P1D
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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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
END:VCALENDAR