BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//PLFM//Programming Languages and Formal Methods Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:PLFM: formal methods deadlines
X-WR-CALDESC:Submission deadlines for venues tagged formal methods.
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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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:cade-31-deadline-2@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270222
DTEND;VALUE=DATE:20270223
SUMMARY:CADE-31 paper deadline
DESCRIPTION:International Conference on Automated Deduction\nPaper deadline
 : Feb 22\, 2027\nEvent: August 22 to 25\, 2027\nSource: https://fscd-cade.
 science.ru.nl/calls/papers-cade
LOCATION:Nijmegen\, Netherlands
URL:https://fscd-cade.science.ru.nl/
CATEGORIES:Conference,Theorem Proving,Logic,Formal Methods,Deadline
TRANSP:TRANSPARENT
END:VEVENT
END:VCALENDAR