BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//PLFM//Programming Languages and Formal Methods Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:PLFM: events
X-WR-CALDESC:Conferences\, workshops\, seminars\, and community events.
REFRESH-INTERVAL;VALUE=DURATION:P1D
X-PUBLISHED-TTL:P1D
BEGIN:VEVENT
UID:fm-update-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260702
DTEND;VALUE=DATE:20260704
SUMMARY:FM Update 2026
DESCRIPTION:Formal Methods Update Meeting\nAn informal annual meeting of th
 e Indian formal methods community to present and discuss recent developmen
 ts in verification\, synthesis\, model checking\, theorem proving\, and th
 eoretical computer science.\nSource: https://fm-update.github.io/index.htm
 l
LOCATION:Sri City\, India
URL:https://fm-update.github.io/index.html
CATEGORIES:Community meeting,Formal Methods,Verification,Model Checking,The
 orem Proving
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:wollic-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260803
DTEND;VALUE=DATE:20260807
SUMMARY:WoLLIC 2026
DESCRIPTION:Workshop on Logic\, Language\, Information and Computation\nSou
 rce: https://wollic.org/wollic2026/
LOCATION:Lima\, Peru
URL:https://wollic.org/wollic2026/
CATEGORIES:Workshop,Logic,Semantics,Types
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:slss-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260821
DTEND;VALUE=DATE:20260824
SUMMARY:SLS 2026
DESCRIPTION:Scandinavian Logic Symposium\nInternational symposium of the Sc
 andinavian Logic Society for work in philosophical logic\, mathematical lo
 gic\, and logic in computer science.\nSource: https://slss2026.compute.dtu
 .dk/
LOCATION:Copenhagen\, Denmark
URL:https://slss2026.compute.dtu.dk/
CATEGORIES:Symposium,Logic,Semantics,Theorem Proving
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:farm-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260824
DTEND;VALUE=DATE:20260825
SUMMARY:FARM 2026
DESCRIPTION:Workshop on Functional Art\, Music\, Modelling and Design\nColo
 cated with ICFP 2026\nSource: https://icfp26.sigplan.org/program/program-i
 cfp-2026/
LOCATION:Indianapolis\, Indiana\, United States
URL:https://icfp26.sigplan.org/home/farm-2026
CATEGORIES:Workshop,Functional Programming,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fpw-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260824
DTEND;VALUE=DATE:20260829
SUMMARY:FPW 2026
DESCRIPTION:Functional Programming Workshops\nA week of small functional pr
 ogramming events in Paris held alongside ICFP\, hosting HOPE\, OCaml\, PLM
 W\, TyDe\, and the ML Family Workshop\, with watch parties for the main co
 nference on the afternoons in between.\nColocated with ICFP 2026\nSource: 
 https://fpw26.github.io/
LOCATION:Paris\, France
URL:https://fpw26.github.io/
CATEGORIES:Colocated event,Functional Programming,PL,Types
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:hope-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260824
DTEND;VALUE=DATE:20260825
SUMMARY:HOPE 2026
DESCRIPTION:Workshop on Higher-Order Programming with Effects\nColocated wi
 th ICFP 2026\nSource: https://icfp26.sigplan.org/program/program-icfp-2026
 /
LOCATION:Indianapolis\, Indiana\, United States
URL:https://icfp26.sigplan.org/home/hope-2026
CATEGORIES:Workshop,Functional Programming,Semantics,Types
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:icfp-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260824
DTEND;VALUE=DATE:20260830
SUMMARY:ICFP 2026
DESCRIPTION:ACM SIGPLAN International Conference on Functional Programming\
 nSource: https://icfp26.sigplan.org/
LOCATION:Indianapolis\, Indiana\, United States
URL:https://icfp26.sigplan.org/
CATEGORIES:Conference,Functional Programming,PL,Types
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:mfcs-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260824
DTEND;VALUE=DATE:20260829
SUMMARY:MFCS 2026
DESCRIPTION:International Symposium on Mathematical Foundations of Computer
  Science\nSource: https://mfcs2026.irif.fr/
LOCATION:Paris\, France
URL:https://mfcs2026.irif.fr/
CATEGORIES:Symposium,Logic,Semantics,Concurrency
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:minikanren-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260824
DTEND;VALUE=DATE:20260825
SUMMARY:miniKanren 2026
DESCRIPTION:Workshop on miniKanren and Relational Programming\nColocated wi
 th ICFP 2026\nSource: https://icfp26.sigplan.org/program/program-icfp-2026
 /
LOCATION:Indianapolis\, Indiana\, United States
URL:https://icfp26.sigplan.org/home/minikanren-2026
CATEGORIES:Workshop,PL,Functional Programming,Logic
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:ocaml-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260824
DTEND;VALUE=DATE:20260825
SUMMARY:OCaml 2026
DESCRIPTION:OCaml Users and Developers Workshop\nColocated with ICFP 2026\n
 Source: https://icfp26.sigplan.org/program/program-icfp-2026/
LOCATION:Indianapolis\, Indiana\, United States
URL:https://icfp26.sigplan.org/home/ocaml-2026
CATEGORIES:Workshop,Functional Programming,PL,Compilers
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:tyde-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260826
DTEND;VALUE=DATE:20260828
SUMMARY:TyDe 2026
DESCRIPTION:Workshop on Type-Driven Development\nHow static type informatio
 n can be put to work while a program is being written: dependent types\, g
 eneric programming\, and language design.\nColocated with FPW 2026\nSource
 : https://tydeworkshop.org/2026
LOCATION:Paris\, France
URL:https://tydeworkshop.org/2026
CATEGORIES:Workshop,Types,Functional Programming,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:lopstr-ppdp-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260827
DTEND;VALUE=DATE:20260830
SUMMARY:LOPSTR and PPDP 2026
DESCRIPTION:Logic-Based Program Synthesis and Transformation\, and Principl
 es and Practice of Declarative Programming\nJoint edition of LOPSTR and PP
 DP\, running alongside ICFP 2026.\nColocated with ICFP 2026\nSource: https
 ://conf.researchr.org/dates/icfp-2026
LOCATION:Indianapolis\, Indiana\, United States
URL:https://icfp26.sigplan.org/home/lopstr-ppdp-2026
CATEGORIES:Symposium,Logic,PL,Synthesis,Program Analysis
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:erlang-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260828
DTEND;VALUE=DATE:20260829
SUMMARY:Erlang 2026
DESCRIPTION:ACM SIGPLAN Erlang Workshop\nColocated with ICFP 2026\nSource: 
 https://icfp26.sigplan.org/program/program-icfp-2026/
LOCATION:Indianapolis\, Indiana\, United States
URL:https://icfp26.sigplan.org/home/erlang-2026
CATEGORIES:Workshop,Functional Programming,Concurrency,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:haskell-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260828
DTEND;VALUE=DATE:20260830
SUMMARY:Haskell 2026
DESCRIPTION:ACM SIGPLAN International Haskell Symposium\nColocated with ICF
 P 2026\nSource: https://conf.researchr.org/dates/icfp-2026
LOCATION:Indianapolis\, Indiana\, United States
URL:https://icfp26.sigplan.org/home/haskellsymp-2026
CATEGORIES:Symposium,Functional Programming,PL,Types
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:ml-family-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260828
DTEND;VALUE=DATE:20260829
SUMMARY:ML 2026
DESCRIPTION:ML Family Workshop\nColocated with ICFP 2026\nSource: https://i
 cfp26.sigplan.org/program/program-icfp-2026/
LOCATION:Indianapolis\, Indiana\, United States
URL:https://icfp26.sigplan.org/home/mlfamilyworkshop-2026
CATEGORIES:Workshop,Functional Programming,Types,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:funarch-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260829
DTEND;VALUE=DATE:20260830
SUMMARY:FUNARCH 2026
DESCRIPTION:Workshop on Functional Software Architecture\nColocated with IC
 FP 2026\nSource: https://icfp26.sigplan.org/program/program-icfp-2026/
LOCATION:Indianapolis\, Indiana\, United States
URL:https://icfp26.sigplan.org/home/funarch-2026
CATEGORIES:Workshop,Functional Programming,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:scheme-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260829
DTEND;VALUE=DATE:20260830
SUMMARY:Scheme 2026
DESCRIPTION:Scheme and Functional Programming Workshop\nColocated with ICFP
  2026\nSource: https://icfp26.sigplan.org/program/program-icfp-2026/
LOCATION:Indianapolis\, Indiana\, United States
URL:https://icfp26.sigplan.org/home/scheme-2026
CATEGORIES:Workshop,Functional Programming,PL,Compilers
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:aitp-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260830
DTEND;VALUE=DATE:20260905
SUMMARY:AITP 2026
DESCRIPTION:Conference on Artificial Intelligence and Theorem Proving\n11th
  edition\, held at the CNRS Paul-Langevin Conference Center in Savoy.\nSou
 rce: http://aitp-conference.org/2026/
LOCATION:Aussois\, France
URL:http://aitp-conference.org/2026/
CATEGORIES:Conference,Theorem Proving,Logic,Formal Methods
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:concur-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260901
DTEND;VALUE=DATE:20260906
SUMMARY:CONCUR 2026
DESCRIPTION:International Conference on Concurrency Theory\nPart of CONFEST
  2026\, alongside FMICS 2026 and the joint QEST and FORMATS conference.\nC
 olocated with CONFEST 2026\nSource: https://confest-2026.github.io/
LOCATION:Liverpool\, United Kingdom
URL:https://confest-2026.github.io/concur/
CATEGORIES:Conference,Concurrency,Semantics,Formal Methods
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:time-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260901
DTEND;VALUE=DATE:20260904
SUMMARY:TIME 2026
DESCRIPTION:International Symposium on Temporal Representation and Reasonin
 g\nSource: https://time26.cnr.it/
LOCATION:Cork\, Ireland
URL:https://time26.cnr.it/
CATEGORIES:Symposium,Logic,Verification,Model Checking
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:qest-formats-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260902
DTEND;VALUE=DATE:20260905
SUMMARY:QEST+FORMATS 2026
DESCRIPTION:International Conference on Quantitative Evaluation of Systems 
 and Formal Modeling and Analysis of Timed Systems\nJoint conference of QES
 T and FORMATS\, part of CONFEST 2026 alongside CONCUR and FMICS.\nColocate
 d with CONFEST 2026\nSource: https://www.qest-formats.org/
LOCATION:Liverpool\, United Kingdom
URL:https://www.qest-formats.org/
CATEGORIES:Conference,Formal Methods,Verification,Model Checking,Probabilis
 tic Programming
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fmics-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260903
DTEND;VALUE=DATE:20260905
SUMMARY:FMICS 2026
DESCRIPTION:International Conference on Formal Methods for Industrial Criti
 cal Systems\n31st edition\, part of CONFEST 2026 alongside CONCUR and the 
 joint QEST and FORMATS conference.\nColocated with CONFEST 2026\nSource: h
 ttps://confest-2026.github.io/fmics/
LOCATION:Liverpool\, United Kingdom
URL:https://confest-2026.github.io/fmics/
CATEGORIES:Conference,Formal Methods,Verification,Model Checking
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:express-sos-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260905
DTEND;VALUE=DATE:20260906
SUMMARY:EXPRESS/SOS 2026
DESCRIPTION:Combined Workshop on Expressiveness in Concurrency and Structur
 al Operational Semantics\nColocated with CONFEST 2026\nSource: https://con
 fest-2026.github.io/workshops/
LOCATION:Liverpool\, United Kingdom
URL:https://expresssos.github.io/conf/2026
CATEGORIES:Workshop,Concurrency,Semantics,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:radical-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260905
DTEND;VALUE=DATE:20260906
SUMMARY:RADICAL 2026
DESCRIPTION:Workshop on Recent Advances in Concurrency and Logic\nColocated
  with CONFEST 2026\nSource: https://confest-2026.github.io/workshops/
LOCATION:Liverpool\, United Kingdom
URL:https://sites.google.com/site/radicalconcur/
CATEGORIES:Workshop,Concurrency,Logic,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:highlights-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260907
DTEND;VALUE=DATE:20260912
SUMMARY:Highlights 2026
DESCRIPTION:Highlights of Logic\, Games and Automata\n14th edition\, held a
 t TU Wien. A conference without publications: speakers give short presenta
 tions of their best recent work\, published or not.\nSource: https://highl
 ights-conference.org/2026/
LOCATION:Vienna\, Austria
URL:https://highlights-conference.org/2026/
CATEGORIES:Conference,Logic,Verification,Model Checking,Semantics
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:ictcs-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260907
DTEND;VALUE=DATE:20260910
SUMMARY:ICTCS 2026
DESCRIPTION:Italian Conference on Theoretical Computer Science\nSource: htt
 ps://ictcs2026.uniud.it/
LOCATION:Udine\, Italy
URL:https://ictcs2026.uniud.it/
CATEGORIES:Conference,Logic,Formal Methods,Verification,Quantum
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:lpnmr-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260907
DTEND;VALUE=DATE:20260912
SUMMARY:LPNMR 2026
DESCRIPTION:International Conference on Logic Programming and Non-monotonic
  Reasoning\nSource: https://lpnmr2026.aics.aau.at/
LOCATION:Klagenfurt\, Austria
URL:https://lpnmr2026.aics.aau.at/
CATEGORIES:Conference,Logic,PL,Theorem Proving
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fmcad-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260914
DTEND;VALUE=DATE:20260919
SUMMARY:FMCAD 2026
DESCRIPTION:Conference on Formal Methods in Computer-Aided Design\nSource: 
 https://fmcad.org/FMCAD26/
LOCATION:Graz\, Austria
URL:https://fmcad.org/FMCAD26/
CATEGORIES:Conference,Formal Methods,Verification,Model Checking
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:synasc-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260914
DTEND;VALUE=DATE:20260918
SUMMARY:SYNASC 2026
DESCRIPTION:International Symposium on Symbolic and Numeric Algorithms for 
 Scientific Computing\nSource: https://synasc.ro/2026/
LOCATION:Timisoara\, Romania
URL:https://synasc.ro/2026/
CATEGORIES:Symposium,Formal Methods,Theorem Proving,Logic
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:vstte-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260914
DTEND;VALUE=DATE:20260915
SUMMARY:VSTTE 2026
DESCRIPTION:International Conference on Verified Software\, Theories\, Tool
 s\, and Experiments\nColocated with FMCAD 2026\nSource: https://fmcad.org/
 FMCAD26/vstte/
LOCATION:Graz\, Austria
URL:https://fmcad.org/FMCAD26/vstte/
CATEGORIES:Conference,Verification,Formal Methods,Theorem Proving
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:from-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260915
DTEND;VALUE=DATE:20260918
SUMMARY:FROM 2026
DESCRIPTION:Working Formal Methods Symposium\n10th edition\, organised by t
 he West University of Timisoara and ILDS for researchers contributing theo
 retical results\, methods\, and tools in formal methods. Proceedings appea
 r in EPTCS.\nColocated with SYNASC 2026\nSource: https://from2026.uvt.ro/
LOCATION:Timisoara\, Romania
URL:https://from2026.uvt.ro/
CATEGORIES:Symposium,Formal Methods,Verification,Logic,Theorem Proving
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:gandalf-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260915
DTEND;VALUE=DATE:20260918
SUMMARY:GandALF 2026
DESCRIPTION:International Symposium on Games\, Automata\, Logics\, and Form
 al Verification\n17th edition\, hosted by the FICS research group at Aalbo
 rg University. Proceedings appear in EPTCS\, with selected papers invited 
 to a special issue of Logical Methods in Computer Science.\nSource: https:
 //gandalfsymposium.github.io/2026/
LOCATION:Aalborg\, Denmark
URL:https://gandalfsymposium.github.io/2026/
CATEGORIES:Symposium,Logic,Verification,Model Checking,Semantics
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:cicm-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260921
DTEND;VALUE=DATE:20260926
SUMMARY:CICM 2026
DESCRIPTION:Conference on Intelligent Computer Mathematics\n19th edition\, 
 covering formal mathematics\, interactive and automated theorem proving\, 
 proof systems\, and type theory.\nSource: https://cicm-conference.org/2026
 /cicm.php?event=&menu=cfp
LOCATION:Ljubljana\, Slovenia
URL:https://cicm-conference.org/2026/
CATEGORIES:Conference,Theorem Proving,Logic,Formal Methods,Types
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:lap-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260923
DTEND;VALUE=DATE:20260928
SUMMARY:LAP 2026
DESCRIPTION:International Conference on Logic and Applications\nSource: htt
 p://lap.math.hr/LAP2026/
LOCATION:Dubrovnik\, Croatia
URL:http://lap.math.hr/LAP2026/
CATEGORIES:Conference,Logic,Types,Theorem Proving,Concurrency
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:smls-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20260925
DTEND;VALUE=DATE:20260926
SUMMARY:SMLS 2026
DESCRIPTION:Southern and Midlands Logic Seminar\n16th meeting\, an afternoo
 n of talks on logic in computer science held at the University of Sussex\,
  with speakers from Surrey\, Sussex\, Birmingham\, Queen Mary\, and Inria.
 \nSource: https://taroccoesbrocco.github.io/SMLS/smls2026-sussex.html
LOCATION:Brighton\, United Kingdom
URL:https://taroccoesbrocco.github.io/SMLS/smls2026-sussex.html
CATEGORIES:Community meeting,Logic,Semantics
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:iict-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261002
DTEND;VALUE=DATE:20261004
SUMMARY:IICT 2026
DESCRIPTION:Workshop on Innovations in Compiler Technology\nThird edition\,
  an iPLAN event on compiler design\, implementation\, and optimisation\, i
 ncluding compilers for AI and ML\, domain-specific languages\, and emergin
 g hardware\, with research and practice tracks.\nSource: https://mail.cmi.
 ac.in/mailman3/hyperkitty/list/fmindia@cmi.ac.in/thread/S4AKGPW4IQTWQWESYB
 ZSCGMBIXOVVDUN/
LOCATION:Bengaluru\, India
URL:https://compilertech.org/
CATEGORIES:Workshop,Compilers,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:hatra-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261004
DTEND;VALUE=DATE:20261005
SUMMARY:HATRA 2026
DESCRIPTION:Workshop on Human Aspects of Types and Reasoning Assistants\nPr
 ogramming languages\, software engineering\, security\, and human-computer
  interaction together on what makes stronger safety properties usable by t
 he programmers who have to live with them.\nColocated with SPLASH 2026\nSo
 urce: https://conf.researchr.org/home/splash-issta-2026/hatra-2026
LOCATION:Oakland\, California\, United States
URL:https://conf.researchr.org/home/splash-issta-2026/hatra-2026
CATEGORIES:Workshop,Types,PL,Theorem Proving,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:splash-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261004
DTEND;VALUE=DATE:20261010
SUMMARY:SPLASH 2026
DESCRIPTION:ACM SIGPLAN Conference on Systems\, Programming\, Languages\, a
 nd Applications\nHosts OOPSLA and Onward!\, colocated with ISSTA 2026.\nSo
 urce: https://2026.splashcon.org/dates
LOCATION:Oakland\, California\, United States
URL:https://2026.splashcon.org/
CATEGORIES:Conference,PL,Program Analysis
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:ssnl-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261004
DTEND;VALUE=DATE:20261005
SUMMARY:SSNL 2026
DESCRIPTION:Workshop on Software Systems Across the National Laboratories\n
 First edition\, connecting programming languages and formal methods resear
 ch with systems work at the US national laboratories.\nColocated with SPLA
 SH 2026\nSource: https://conf.researchr.org/home/splash-issta-2026/ssnl-20
 26
LOCATION:Oakland\, California\, United States
URL:https://conf.researchr.org/home/splash-issta-2026/ssnl-2026
CATEGORIES:Workshop,Formal Methods,Verification,PL,Theorem Proving
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:rv-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261006
DTEND;VALUE=DATE:20261010
SUMMARY:RV 2026
DESCRIPTION:International Conference on Runtime Verification\n26th edition\
 , held at Queen's University.\nSource: https://rv2026.smithengineering.que
 ensu.ca/cfp/
LOCATION:Kingston\, Ontario\, Canada
URL:https://rv2026.smithengineering.queensu.ca/
CATEGORIES:Conference,Verification,Formal Methods,Program Analysis
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:sas-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261006
DTEND;VALUE=DATE:20261009
SUMMARY:SAS 2026
DESCRIPTION:Static Analysis Symposium\nColocated with SPLASH 2026\nSource: 
 https://conf.researchr.org/home/splash-issta-2026/sas-2026
LOCATION:Oakland\, California\, United States
URL:https://conf.researchr.org/home/splash-issta-2026/sas-2026
CATEGORIES:Symposium,Program Analysis,Verification,Semantics
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:specops-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261006
DTEND;VALUE=DATE:20261007
SUMMARY:SpecOps 2026
DESCRIPTION:International Workshop on Specification-Driven Development Life
  Cycle\nFirst edition\, on closing the specification gap when AI tools and
  autonomous agents turn specifications into the driver of the development 
 life cycle.\nColocated with SPLASH 2026\nSource: https://conf.researchr.or
 g/home/splash-issta-2026/specops-2026
LOCATION:Oakland\, California\, United States
URL:https://conf.researchr.org/home/splash-issta-2026/specops-2026
CATEGORIES:Workshop,Formal Methods,Verification,Synthesis,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:nsad-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261007
DTEND;VALUE=DATE:20261008
SUMMARY:NSAD 2026
DESCRIPTION:ACM SIGPLAN International Workshop on Numerical and Symbolic Ab
 stract Domains\n11th edition\, on the theory\, implementation\, and applic
 ation of abstract domains\, including their use for neural networks\, quan
 tum software\, blockchain\, and distributed systems.\nColocated with SPLAS
 H 2026\nSource: https://conf.researchr.org/home/splash-issta-2026/nsad-202
 6
LOCATION:Oakland\, California\, United States
URL:https://conf.researchr.org/home/splash-issta-2026/nsad-2026
CATEGORIES:Workshop,Program Analysis,Verification,Formal Methods,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:plss-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261008
DTEND;VALUE=DATE:20261009
SUMMARY:PLSS 2026
DESCRIPTION:Workshop on Programming Language Standardization and Specificat
 ion\nCross-pollination between researchers and industry practitioners who 
 write programming language specifications and standards.\nColocated with S
 PLASH 2026\nSource: https://conf.researchr.org/home/splash-issta-2026/plss
 -2026
LOCATION:Oakland\, California\, United States
URL:https://conf.researchr.org/home/splash-issta-2026/plss-2026
CATEGORIES:Workshop,PL,Semantics,Formal Methods
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:vmil-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261008
DTEND;VALUE=DATE:20261009
SUMMARY:VMIL 2026
DESCRIPTION:Workshop on Virtual Machines and Language Implementations\nColo
 cated with SPLASH 2026\nSource: https://conf.researchr.org/home/splash-iss
 ta-2026/vmil-2026
LOCATION:Oakland\, California\, United States
URL:https://conf.researchr.org/home/splash-issta-2026/vmil-2026
CATEGORIES:Workshop,PL,Compilers
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:iwaco-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261009
DTEND;VALUE=DATE:20261010
SUMMARY:IWACO 2026
DESCRIPTION:International Workshop on Aliasing\, Capabilities and Ownership
 \nTaming aliasing through ownership and capabilities: ownership types\, ca
 pabilities\, separation logic\, and linear logic.\nColocated with SPLASH 2
 026\nSource: https://conf.researchr.org/home/splash-issta-2026/iwaco-2026
LOCATION:Oakland\, California\, United States
URL:https://conf.researchr.org/home/splash-issta-2026/iwaco-2026
CATEGORIES:Workshop,Types,PL,Semantics,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:lmpl-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261009
DTEND;VALUE=DATE:20261010
SUMMARY:LMPL 2026
DESCRIPTION:International Workshop on Language Models and Programming Langu
 ages\n2nd edition\, on the meeting point of the two: language models appli
 ed to programming languages problems\, programming languages techniques ap
 plied to language model applications\, and benchmarks for both.\nColocated
  with SPLASH 2026\nSource: https://conf.researchr.org/home/splash-issta-20
 26/lmpl-2026
LOCATION:Oakland\, California\, United States
URL:https://conf.researchr.org/home/splash-issta-2026/lmpl-2026
CATEGORIES:Workshop,PL,Program Analysis,Synthesis
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:iwil-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261025
DTEND;VALUE=DATE:20261026
SUMMARY:IWIL 2026
DESCRIPTION:International Workshop on the Implementation of Logics\n16th ed
 ition\, on implementation techniques for automated reasoning programs\, th
 eorem provers\, and logic programming systems.\nColocated with LPAR-26\nSo
 urce: https://www.eprover.org/EVENTS/IWIL-2026.html
LOCATION:Spetses\, Greece
URL:https://www.eprover.org/EVENTS/IWIL-2026.html
CATEGORIES:Workshop,Logic,Theorem Proving,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:lpar-26-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261025
DTEND;VALUE=DATE:20261031
SUMMARY:LPAR-26
DESCRIPTION:International Conference on Logic for Programming\, Artificial 
 Intelligence and Reasoning\nHeld at the Anargyrios and Korgialenios School
  of Spetses. Covers automated reasoning\, computational logic\, and progra
 mming languages.\nSource: https://easychair.org/smart-program/LPAR-26/
LOCATION:Spetses\, Greece
URL:https://easychair.org/smart-program/LPAR-26/
CATEGORIES:Conference,Logic,Theorem Proving,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:ifl-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261028
DTEND;VALUE=DATE:20261031
SUMMARY:IFL 2026
DESCRIPTION:Symposium on Implementation and Application of Functional Langu
 ages\nSource: https://ifl26.cse.chalmers.se/cfp/
LOCATION:Gothenburg\, Sweden
URL:https://ifl26.cse.chalmers.se/
CATEGORIES:Symposium,Functional Programming,PL,Compilers
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:mwpls-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261106
DTEND;VALUE=DATE:20261107
SUMMARY:MWPLS 2026
DESCRIPTION:Midwest Programming Languages Summit\nNinth edition\, an inform
 al one-day meeting for anyone interested in programming languages and comp
 ilers\, including their application to systems\, software engineering\, an
 d HCI. Held at the University of Iowa's Old Capitol Museum.\nSource: https
 ://2026.mwpls.org/
LOCATION:Iowa City\, Iowa\, United States
URL:https://2026.mwpls.org/
CATEGORIES:Community meeting,PL,Compilers
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:ictac-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261111
DTEND;VALUE=DATE:20261114
SUMMARY:ICTAC 2026
DESCRIPTION:International Colloquium on Theoretical Aspects of Computing\nS
 ource: https://ictac2026.github.io/
LOCATION:Bariloche\, Argentina
URL:https://ictac2026.github.io/
CATEGORIES:Conference,Formal Methods,Semantics,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:njpls-2026-11-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261113
DTEND;VALUE=DATE:20261114
SUMMARY:NJPLS November 2026
DESCRIPTION:New Jersey Programming Languages and Systems Seminar\nA one-day
  regional meeting of research talks and discussion on programming language
 s and systems\, open to both finished and ongoing work.\nSource: https://n
 jpls.org/nov2026.html
LOCATION:New York City\, United States
URL:https://njpls.org/nov2026.html
CATEGORIES:Community meeting,PL,Compilers
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:eclaps-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261114
DTEND;VALUE=DATE:20261115
SUMMARY:ECLAPS 2026
DESCRIPTION:Eastern Canada Logic and Programming Seminar\nFourth edition\, 
 a one-day meeting of informal talks and discussion on programming language
 s and logic\, bringing together researchers from Eastern Canada and the No
 rtheastern United States.\nSource: https://llm.uqam.ca/en/eclaps/eclaps26/
LOCATION:Montreal\, Quebec\, Canada
URL:https://llm.uqam.ca/en/eclaps/
CATEGORIES:Community meeting,PL,Logic
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fmas-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261117
DTEND;VALUE=DATE:20261119
SUMMARY:FMAS 2026
DESCRIPTION:International Workshop on Formal Methods for Autonomous Systems
 \nEighth edition. Formal verification techniques for autonomous and roboti
 c systems.\nColocated with ICFEM 2026\nSource: https://fmasworkshop.github
 .io/FMAS2026/
LOCATION:Southampton\, United Kingdom
URL:https://fmasworkshop.github.io/FMAS2026/
CATEGORIES:Workshop,Formal Methods,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:icfem-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261117
DTEND;VALUE=DATE:20261121
SUMMARY:ICFEM 2026
DESCRIPTION:International Conference on Formal Engineering Methods\nSource:
  https://icfem2026.github.io/
LOCATION:Southampton\, United Kingdom
URL:https://icfem2026.github.io/
CATEGORIES:Conference,Formal Methods,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:nwpt-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261119
DTEND;VALUE=DATE:20261121
SUMMARY:NWPT 2026
DESCRIPTION:Nordic Workshop on Programming Theory\n36th edition\, an inform
 al forum for researchers in programming theory across the Nordic and Balti
 c countries: semantics\, type systems\, verification\, concurrency\, logic
 \, and program construction.\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
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:plas-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261119
DTEND;VALUE=DATE:20261120
SUMMARY:PLAS 2026
DESCRIPTION:Workshop on Programming Languages and Analysis for Security\n21
 st edition\, on programming language and program analysis techniques for s
 oftware security\, covering side channels\, isolation\, information flow\,
  fuzzing\, smart contracts\, and protocol verification.\nColocated with CC
 S 2026\nSource: https://plas26.github.io/
LOCATION:The Hague\, Netherlands
URL:https://plas26.github.io/
CATEGORIES:Workshop,Security,PL,Program Analysis,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:stars-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261123
DTEND;VALUE=DATE:20261124
SUMMARY:STARS 2026
DESCRIPTION:International Workshop on Static and Runtime Verification Syner
 gies\nFirst edition\, on combining static analysis with runtime verificati
 on. Full papers of up to fifteen pages in an LNCS-like style appear in for
 mal post-proceedings\; talk proposals may present new\, preliminary\, or p
 ublished work.\nColocated with SEFM 2026\nSource: https://stars-workshop.g
 ithub.io/
LOCATION:Valletta\, Malta
URL:https://stars-workshop.github.io/
CATEGORIES:Workshop,Verification,Formal Methods,Program Analysis
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:reacts-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261124
DTEND;VALUE=DATE:20261125
SUMMARY:ReacTS 2026
DESCRIPTION:International Workshop on Reconfigurable Transition Systems: Se
 mantics\, Logics and Applications\nColocated with SEFM 2026\nSource: https
 ://reacts-workshop.github.io/2026/
LOCATION:Valletta\, Malta
URL:https://reacts-workshop.github.io/2026/
CATEGORIES:Workshop,Formal Methods,Logic,Semantics
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:sefm-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261125
DTEND;VALUE=DATE:20261128
SUMMARY:SEFM 2026
DESCRIPTION:International Conference on Software Engineering and Formal Met
 hods\nSource: https://sefm-conference.github.io/2026/
LOCATION:Valletta\, Malta
URL:https://sefm-conference.github.io/2026/
CATEGORIES:Conference,Formal Methods,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:aplas-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261201
DTEND;VALUE=DATE:20261205
SUMMARY:APLAS 2026
DESCRIPTION:Asian Symposium on Programming Languages and Systems\nColocated
  with ATVA 2026\nSource: https://conf.researchr.org/home/aplas-atva-2026
LOCATION:Hong Kong\, China
URL:https://conf.researchr.org/track/aplas-atva-2026/aplas-2026
CATEGORIES:Symposium,PL,Types,Semantics
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:atva-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261201
DTEND;VALUE=DATE:20261205
SUMMARY:ATVA 2026
DESCRIPTION:International Symposium on Automated Technology for Verificatio
 n and Analysis\nColocated with APLAS 2026\nSource: https://conf.researchr.
 org/home/aplas-atva-2026
LOCATION:Hong Kong\, China
URL:https://conf.researchr.org/track/aplas-atva-2026/atva-2026
CATEGORIES:Symposium,Verification,Formal Methods,Model Checking
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:sbmf-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261201
DTEND;VALUE=DATE:20261205
SUMMARY:SBMF 2026
DESCRIPTION:Brazilian Symposium on Formal Methods\nSource: https://sbmf2026
 .github.io/
LOCATION:Rio de Janeiro\, Brazil
URL:https://sbmf2026.github.io/
CATEGORIES:Symposium,Formal Methods,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:spotlights-verification-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261201
DTEND;VALUE=DATE:20261202
SUMMARY:Spotlights 2026
DESCRIPTION:Spotlights of Verification\nShort talks of about ten minutes ac
 ross the theory and practice of computer-aided formal analysis\, modelled 
 on Highlights. Recently published\, forthcoming\, and ongoing work are all
  welcome.\nColocated with ATVA 2026\nSource: https://conf.researchr.org/tr
 ack/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
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:velcro-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261211
DTEND;VALUE=DATE:20261212
SUMMARY:VeLCrO 2026
DESCRIPTION:Workshop on Verification\, Logic\, and Cryptography\nA one-day 
 workshop of talks and discussion on formal verification\, logic\, cryptogr
 aphy\, and related areas of computer science\, held at the Chennai Mathema
 tical Institute.\nSource: https://aalok-thakkar.github.io/velcro/index.htm
 l
LOCATION:Chennai\, India
URL:https://aalok-thakkar.github.io/velcro/index.html
CATEGORIES:Workshop,Verification,Logic,Formal Methods,Security
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fsttcs-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261216
DTEND;VALUE=DATE:20261219
SUMMARY:FSTTCS 2026
DESCRIPTION:IARCS Annual Conference on Foundations of Software Technology a
 nd Theoretical Computer Science\n46th edition\, organised by IARCS in part
 nership with ACM India. Track B solicits work on programming languages and
  practical verification alongside theoretical results.\nSource: https://ww
 w.fsttcs.org.in/2026/
LOCATION:New Delhi\, India
URL:https://www.fsttcs.org.in/2026/
CATEGORIES:Conference,PL,Verification,Formal Methods,Logic
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:rhpl-2026-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261216
DTEND;VALUE=DATE:20261219
SUMMARY:RHPL 2026
DESCRIPTION:Workshop on Research Highlights in Programming Languages\nTalks
  on recent published or mature work and posters on early ideas across all 
 areas of programming languages\, organised by IARCS and iPLAN (the ACM SIG
 PLAN India chapter) to connect PL researchers with the FSTTCS community.\n
 Colocated with FSTTCS 2026\nSource: https://mail.cmi.ac.in/mailman3/hyperk
 itty/list/fmindia@cmi.ac.in/thread/BIZUX7XHLLETNKBONE5FOXESFQPDX3YN/
LOCATION:New Delhi\, India
URL:https://fmindia.cmi.ac.in/rhpl2026/
CATEGORIES:Workshop,PL,Verification,Program Analysis,Compilers
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:icla-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270106
DTEND;VALUE=DATE:20270109
SUMMARY:ICLA 2027
DESCRIPTION:Indian Conference on Logic and its Applications\n12th edition\,
  organised by the Association for Logic in India. Covers mathematical logi
 c\, modal and non-classical logics\, logic in computer science\, formal me
 thods and automated reasoning\, finite model theory\, and logic in AI\, al
 ongside systems of logic in the Indian tradition.\nSource: https://conf.re
 searchr.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
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:popl-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270110
DTEND;VALUE=DATE:20270117
SUMMARY:POPL 2027
DESCRIPTION:ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langu
 ages\nSource: https://popl27.sigplan.org/dates
LOCATION:Mexico City
URL:https://popl27.sigplan.org/
CATEGORIES:Symposium,PL,Semantics,Types,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:wave-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270110
DTEND;VALUE=DATE:20270111
SUMMARY:WAVE 2027
DESCRIPTION:Workshop on Auto-active Verification\n4th edition. Brings toget
 her developers and users of verification-aware languages and auto-active v
 erifiers such as Dafny\, SPARK\, F*\, Why3\, Viper\, and Whiley\, covering
  SMT automation\, industry-scale verification\, AI for verification\, and 
 verification in teaching.\nColocated with POPL 2027\nSource: https://popl2
 7.sigplan.org/home/wave-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/wave-2027
CATEGORIES:Workshop,Verification,Formal Methods,Theorem Proving,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:cpp-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270111
DTEND;VALUE=DATE:20270113
SUMMARY:CPP 2027
DESCRIPTION:International Conference on Certified Programs and Proofs\nColo
 cated with POPL 2027\nSource: https://popl27.sigplan.org/home/CPP-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/CPP-2027
CATEGORIES:Conference,Theorem Proving,Verification,Types
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:page-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270111
DTEND;VALUE=DATE:20270112
SUMMARY:PAgE 2027
DESCRIPTION:Workshop on Principles of Agentic Engineering\nThe formal metho
 ds and AI communities together on safe agentic engineering: tool-use speci
 fications\, agent verification and testing\, runtime systems\, and safety 
 for multi-agent systems.\nColocated with POPL 2027\nSource: https://popl27
 .sigplan.org/home/page-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/page-2027
CATEGORIES:Workshop,Formal Methods,Verification,PL,Synthesis
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:prisc-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270111
DTEND;VALUE=DATE:20270112
SUMMARY:PriSC 2027
DESCRIPTION:Workshop on Principles of Secure Compilation\n11th edition. An 
 informal workshop\, without published proceedings\, on compilers that pres
 erve security properties: attacker models\, secure compilation criteria\, 
 enforcement mechanisms\, language interoperability\, and formal verificati
 on of compilation chains.\nColocated with POPL 2027\nSource: https://popl2
 7.sigplan.org/home/prisc-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/prisc-2027
CATEGORIES:Workshop,Security,Compilers,Verification,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:vmcai-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270111
DTEND;VALUE=DATE:20270113
SUMMARY:VMCAI 2027
DESCRIPTION:International Conference on Verification\, Model Checking\, and
  Abstract Interpretation\nColocated with POPL 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
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fpbt-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270112
DTEND;VALUE=DATE:20270113
SUMMARY:FPBT 2027
DESCRIPTION:Workshop on the Future of Property-Based Testing\nTalk abstract
 s of two to six pages on where property-based testing goes next\, covering
  both research directions and how to teach it.\nColocated with POPL 2027\n
 Source: https://popl27.sigplan.org/home/fpbt-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/fpbt-2027
CATEGORIES:Workshop,PL,Verification,Functional Programming
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:pepm-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270112
DTEND;VALUE=DATE:20270113
SUMMARY:PEPM 2027
DESCRIPTION:Workshop on Partial Evaluation and Program Manipulation\nSemant
 ics-based program manipulation: partial evaluation\, metaprogramming\, sta
 ging\, optimisation\, analysis\, verification\, synthesis\, and transforma
 tion\, and their applications across scientific\, embedded\, distributed\,
  and web computing.\nColocated with POPL 2027\nSource: https://popl27.sigp
 lan.org/home/pepm-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/pepm-2027
CATEGORIES:Workshop,PL,Semantics,Program Analysis,Compilers
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:planqc-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270112
DTEND;VALUE=DATE:20270113
SUMMARY:PLanQC 2027
DESCRIPTION:International Workshop on Programming Languages for Quantum Com
 puting\n7th edition\, bringing programming languages research to quantum i
 nformation science: high-level quantum languages\, verification tools\, ci
 rcuit optimisation\, and error handling.\nColocated with POPL 2027\nSource
 : https://popl27.sigplan.org/home/planqc-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/planqc-2027
CATEGORIES:Workshop,Quantum,PL,Verification,Types
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:tpsa-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270112
DTEND;VALUE=DATE:20270113
SUMMARY:TPSA 2027
DESCRIPTION:Workshop on the Theory and Practice of Static Analysis\n4th edi
 tion. Work in progress\, prototype tools\, industrial case studies\, and t
 he interaction between static analysis and AI: static analysis work not ye
 t ready for POPL or VMCAI.\nColocated with POPL 2027\nSource: https://popl
 27.sigplan.org/home/tpsa-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/tpsa-2027
CATEGORIES:Workshop,Program Analysis,Verification,PL,Formal Methods
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:rocqpl-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270116
DTEND;VALUE=DATE:20270117
SUMMARY:RocqPL 2027
DESCRIPTION:Workshop on Rocq for Programming Languages\nFormerly CoqPL. For
 malisations of programming languages research in the Rocq proof assistant\
 , domain-specific libraries\, verification tools\, and experience reports.
 \nColocated with POPL 2027\nSource: https://popl27.sigplan.org/home/rocqpl
 -2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/rocqpl-2027
CATEGORIES:Workshop,Theorem Proving,PL,Verification,Semantics
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:waw-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270116
DTEND;VALUE=DATE:20270117
SUMMARY:WAW 2027
DESCRIPTION:WebAssembly Workshop\nA venue to brainstorm and discuss ongoing
  WebAssembly research\, and to learn about the successes and challenges of
  WebAssembly's design and specification from an industrial viewpoint.\nCol
 ocated with POPL 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
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:csl-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270125
DTEND;VALUE=DATE:20270130
SUMMARY:CSL 2027
DESCRIPTION:EACSL Annual Conference on Computer Science Logic\n35th edition
 \, held at the University of Sussex Falmer campus.\nSource: https://csl202
 7.github.io/
LOCATION:Brighton\, United Kingdom
URL:https://csl2027.github.io/
CATEGORIES:Conference,Logic,Semantics,Types
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:bob-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270226
DTEND;VALUE=DATE:20270227
SUMMARY:BOB 2027
DESCRIPTION:BOB Conference\nA practitioner conference on "what's best for a
  change": functional programming\, formal methods\, expressive type system
 s\, program synthesis\, and AI in real software projects. Solicits 45-minu
 te talks and 90-minute beginner tutorials\, in English or German.\nSource:
  https://bobkonf.de/2027/cfc.html
LOCATION:Berlin\, Germany
URL:https://bobkonf.de/2027/
CATEGORIES:Conference,Functional Programming,Formal Methods,Types,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:stacs-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270308
DTEND;VALUE=DATE:20270313
SUMMARY:STACS 2027
DESCRIPTION:International Symposium on Theoretical Aspects of Computer Scie
 nce\n44th edition. Track B covers automata\, logic\, semantics\, and theor
 y of programming\, including type systems\, program analysis\, specificati
 on and verification\, concurrency\, and rewriting\; Track A covers algorit
 hms and complexity.\nSource: https://mail.cmi.ac.in/mailman3/hyperkitty/li
 st/fmindia@cmi.ac.in/thread/CTMITL23QYFUV3XVGY53EUV4H2TYS4TM/
LOCATION:Göttingen\, Germany
URL:https://stacs2027.uni-goettingen.de/
CATEGORIES:Symposium,Logic,Semantics,Types,Program Analysis,Concurrency
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:tfpie-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270312
DTEND;VALUE=DATE:20270313
SUMMARY:TFPIE 2027
DESCRIPTION:International Workshop on Trends in Functional Programming in E
 ducation\n16th edition\, on teaching functional programming at every level
 \, including its use in the arts\, robotics\, AI\, computational thinking\
 , and engaging students in research.\nColocated with TFP 2027\nSource: htt
 ps://wiki.tfpie.science.ru.nl/TFPIE2027
LOCATION:Kyoto\, Japan
URL:https://wiki.tfpie.science.ru.nl/TFPIE2027
CATEGORIES:Workshop,Functional Programming,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:tfp-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270313
DTEND;VALUE=DATE:20270316
SUMMARY:TFP 2027
DESCRIPTION:International Symposium on Trends in Functional Programming\n28
 th edition\, organised by the SIG on Programming and Programming Languages
  of the Japan Society for Software Science and Technology. Held in Kyoto i
 n the same week as the ‹Programming› 2027 conference.\nColocated with 
 TFPIE 2027\nSource: https://trendsfp.github.io/2027/
LOCATION:Kyoto\, Japan
URL:https://trendsfp.github.io/2027/
CATEGORIES:Symposium,Functional Programming,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:programming-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270315
DTEND;VALUE=DATE:20270320
SUMMARY:Programming 2027
DESCRIPTION:International Conference on the Art\, Science\, and Engineering
  of Programming\nSource: https://2027.programming-conference.org/track/pro
 gramming-2027-papers
LOCATION:Kyoto\, Japan
URL:https://2027.programming-conference.org/
CATEGORIES:Conference,PL,Semantics
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:cc-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270320
DTEND;VALUE=DATE:20270325
SUMMARY:CC 2027
DESCRIPTION:ACM SIGPLAN International Conference on Compiler Construction\n
 Colocated with HPCA\, CGO and PPoPP 2027\nSource: https://conf.researchr.o
 rg/home/hpca-cgo-ppopp-cc-2027
LOCATION:Salt Lake City\, Utah\, United States
URL:https://conf.researchr.org/home/hpca-cgo-ppopp-cc-2027
CATEGORIES:Conference,Compilers,PL,Program Analysis
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:cgo-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270320
DTEND;VALUE=DATE:20270325
SUMMARY:CGO 2027
DESCRIPTION:IEEE/ACM International Symposium on Code Generation and Optimiz
 ation\nColocated with HPCA\, PPoPP and CC 2027\nSource: https://conf.resea
 rchr.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
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:ppopp-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270320
DTEND;VALUE=DATE:20270325
SUMMARY:PPoPP 2027
DESCRIPTION:ACM SIGPLAN Symposium on Principles and Practice of Parallel Pr
 ogramming\nColocated with HPCA\, CGO and CC 2027\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
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:sac-pl-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270405
DTEND;VALUE=DATE:20270410
SUMMARY:SAC-PL 2027
DESCRIPTION:ACM Symposium on Applied Computing\, Programming Languages Trac
 k\n34th year of the Programming Languages track at the 42nd ACM/SIGAPP SAC
 \, on the implementation and application of programming languages: compila
 tion\, DSLs\, formal semantics\, garbage collection\, and verification of 
 core languages.\nSource: https://acmsac.wp.txstate.edu/
LOCATION:Gwangju\, South Korea
URL:https://acmsac.wp.txstate.edu/
CATEGORIES:Symposium,PL,Compilers,Semantics,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:aila-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270408
DTEND;VALUE=DATE:20270411
SUMMARY:AILA 2027
DESCRIPTION:International Conference on Artificial Intelligence Logic and A
 pplications\nSixth edition\, on logic in artificial intelligence: logical 
 theories and formalisms\, automated reasoning\, neuro-symbolic systems\, k
 nowledge graphs\, verification\, and trustworthy AI.\nSource: http://ailas
 ym.com/AILA2027/AILA2027.html
LOCATION:Belfast\, United Kingdom
URL:http://ailasym.com/AILA2027/AILA2027.html
CATEGORIES:Conference,Logic,Theorem Proving,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:etaps-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270410
DTEND;VALUE=DATE:20270416
SUMMARY:ETAPS 2027
DESCRIPTION:European Joint Conferences on Theory and Practice of Software\n
 Joint conferences covering ESOP\, FoSSaCS\, TACAS and iFS. Satellite event
 s run on 10 and 11 April\, the main conferences from 12 to 15 April.\nSour
 ce: https://etaps.org/2027/cfp/
LOCATION:Copenhagen\, Denmark
URL:https://etaps.org/2027/
CATEGORIES:Conference,Formal Methods,PL,Semantics,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fmqc-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270410
DTEND;VALUE=DATE:20270411
SUMMARY:FMQC 2027
DESCRIPTION:Workshop on Formal Methods in Quantum Computing\nFormal methods
  applied to quantum computing\, including semantics\, verification\, and a
 nalysis of quantum programs and protocols.\nColocated with ETAPS 2027\nSou
 rce: https://etaps.org/2027/sat-events
LOCATION:Copenhagen\, Denmark
URL:https://etaps.org/2027/sat-events
CATEGORIES:Workshop,Quantum,Formal Methods,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:verifythis-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270410
DTEND;VALUE=DATE:20270412
SUMMARY:VerifyThis 2027
DESCRIPTION:VerifyThis Verification Competition\nAn on-site program verific
 ation competition: teams formalise\, implement\, and verify solutions to c
 hallenges given in natural language and pseudocode\, using any language or
  verification tool.\nColocated with ETAPS 2027\nSource: https://etaps.org/
 2027/sat-events
LOCATION:Copenhagen\, Denmark
URL:https://verifythis.github.io/onsite/
CATEGORIES:Colocated event,Verification,Formal Methods,Theorem Proving
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:asplos-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270411
DTEND;VALUE=DATE:20270416
SUMMARY:ASPLOS 2027
DESCRIPTION:International Conference on Architectural Support for Programmi
 ng Languages and Operating Systems\nSource: https://www.asplos-conference.
 org/asplos2027/cfp/
LOCATION:Heraklion\, Crete\, Greece
URL:https://www.asplos-conference.org/asplos2027/
CATEGORIES:Conference,PL,Compilers,Concurrency
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:coop-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270411
DTEND;VALUE=DATE:20270412
SUMMARY:COOP 2027
DESCRIPTION:Workshop on Cooperative Software Verification\nCombining verifi
 cation tools and techniques so that they cooperate by exchanging intermedi
 ate results such as witnesses\, invariants\, and partial proofs.\nColocate
 d with ETAPS 2027\nSource: https://etaps.org/2027/sat-events
LOCATION:Copenhagen\, Denmark
URL:https://etaps.org/2027/sat-events
CATEGORIES:Workshop,Verification,Formal Methods,Model Checking
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fmbc-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270411
DTEND;VALUE=DATE:20270412
SUMMARY:FMBC 2027
DESCRIPTION:Workshop on Formal Methods for Blockchains\nFormal methods for 
 blockchains and smart contracts: specification\, verification\, and analys
 is of contracts\, protocols\, and the languages used to write them.\nColoc
 ated with ETAPS 2027\nSource: https://etaps.org/2027/sat-events
LOCATION:Copenhagen\, Denmark
URL:https://etaps.org/2027/sat-events
CATEGORIES:Workshop,Formal Methods,Verification,Security,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:mars-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270411
DTEND;VALUE=DATE:20270412
SUMMARY:MARS 2027
DESCRIPTION:Workshop on Models for Formal Analysis of Real Systems\nEighth 
 edition. Formal models of real systems such as distributed and cyber-physi
 cal systems\, emphasising the modelling itself and large case studies rath
 er than new verification techniques.\nColocated with ETAPS 2027\nSource: h
 ttps://mars-workshop.org/mars2027/
LOCATION:Copenhagen\, Denmark
URL:https://mars-workshop.org/mars2027/
CATEGORIES:Workshop,Formal Methods,Model Checking,Concurrency
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:places-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270411
DTEND;VALUE=DATE:20270412
SUMMARY:PLACES 2027
DESCRIPTION:Workshop on Programming Language Approaches to Concurrency and 
 Communication-cEntric Software\nLanguage-based approaches to concurrent an
 d communicating systems\, including session and behavioural types\, actors
 \, and models of distributed programming.\nColocated with ETAPS 2027\nSour
 ce: https://etaps.org/2027/sat-events
LOCATION:Copenhagen\, Denmark
URL:https://etaps.org/2027/sat-events
CATEGORIES:Workshop,Concurrency,PL,Types,Semantics
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:formalise-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270426
DTEND;VALUE=DATE:20270428
SUMMARY:FormaliSE 2027
DESCRIPTION:International Conference on Formal Methods in Software Engineer
 ing\nColocated with ICSE 2027\nSource: https://conf.researchr.org/home/For
 malise-2027
LOCATION:Dublin\, Ireland
URL:https://conf.researchr.org/home/Formalise-2027
CATEGORIES:Conference,Formal Methods,Verification,Program Analysis
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:nfm-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270511
DTEND;VALUE=DATE:20270514
SUMMARY:NFM 2027
DESCRIPTION:NASA Formal Methods Symposium\n19th edition\, on formal methods
  for mission- and safety-critical systems: specification\, verification\, 
 validation\, and certification\, with applications in aerospace\, robotics
 \, and autonomous systems.\nSource: https://conf.researchr.org/home/nfm-20
 27
LOCATION:Houston\, Texas\, United States
URL:https://conf.researchr.org/home/nfm-2027
CATEGORIES:Symposium,Formal Methods,Verification,Theorem Proving,Model Chec
 king
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fsen-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270524
DTEND;VALUE=DATE:20270526
SUMMARY:FSEN 2027
DESCRIPTION:International Conference on Fundamentals of Software Engineerin
 g\nFormal methods for software engineering\, with an emphasis on applying 
 them in industry and integrating them with practical engineering technique
 s. Held at the University of Twente.\nSource: https://conf.researchr.org/h
 ome/fsen-2027
LOCATION:Enschede\, Netherlands
URL:https://conf.researchr.org/home/fsen-2027
CATEGORIES:Conference,Formal Methods,Verification,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:pldi-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270605
DTEND;VALUE=DATE:20270612
SUMMARY:PLDI 2027
DESCRIPTION:ACM SIGPLAN Conference on Programming Language Design and Imple
 mentation\nSource: https://conf.researchr.org/track/pldi-2027/pldi-2027-pa
 pers
LOCATION:Atlanta\, Georgia\, United States
URL:https://conf.researchr.org/home/pldi-2027
CATEGORIES:Conference,PL,Compilers,Program Analysis
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:types-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270607
DTEND;VALUE=DATE:20270612
SUMMARY:TYPES 2027
DESCRIPTION:International Conference on Types for Proofs and Programs\nSour
 ce: https://sites.google.com/view/thetypesconferences/next-types-meeting
LOCATION:Udine\, Italy
URL:https://sites.google.com/view/thetypesconferences/next-types-meeting
CATEGORIES:Conference,Types,Theorem Proving,Logic,Semantics
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:lics-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270621
DTEND;VALUE=DATE:20270625
SUMMARY:LICS 2027
DESCRIPTION:ACM/IEEE Symposium on Logic in Computer Science\nSource: https:
 //lics.siglog.org/lics27/
LOCATION:Montreal\, Canada
URL:https://lics.siglog.org/lics27/
CATEGORIES:Symposium,Logic,Semantics,Types
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:ecoop-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270628
DTEND;VALUE=DATE:20270703
SUMMARY:ECOOP 2027
DESCRIPTION:European Conference on Object-Oriented Programming\nSource: htt
 ps://2027.ecoop.org/dates
LOCATION:Turin\, Italy
URL:https://2027.ecoop.org/
CATEGORIES:Conference,PL,Types,Program Analysis
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:icalp-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270705
DTEND;VALUE=DATE:20270710
SUMMARY:ICALP 2027
DESCRIPTION:International Colloquium on Automata\, Languages and Programmin
 g\n54th edition\, the European Association for Theoretical Computer Scienc
 e flagship. Track B covers automata\, logic\, semantics\, and theory of pr
 ogramming: programming language semantics\, program verification and synth
 esis\, type systems\, concurrency models\, and formal aspects of security.
 \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
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fse-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270712
DTEND;VALUE=DATE:20270717
SUMMARY:FSE 2027
DESCRIPTION:ACM International Conference on the Foundations of Software Eng
 ineering\nSource: https://conf.researchr.org/track/fse-2027/fse-2027-paper
 s
LOCATION:Shenzhen\, China
URL:https://conf.researchr.org/home/fse-2027
CATEGORIES:Conference,Program Analysis,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:cav-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270719
DTEND;VALUE=DATE:20270724
SUMMARY:CAV 2027
DESCRIPTION:International Conference on Computer-Aided Verification\n39th e
 dition. The flagship venue for computer-aided verification\, spanning theo
 ry\, algorithms\, implementation techniques\, and applications across hard
 ware and software verification\, machine learning\, quantum verification\,
  autonomous systems\, and security.\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
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:cicm-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270719
DTEND;VALUE=DATE:20270724
SUMMARY:CICM 2027
DESCRIPTION:Conference on Intelligent Computer Mathematics\n20th edition\, 
 covering formal mathematics\, interactive and automated theorem proving\, 
 proof systems\, mathematical knowledge management\, and type theory.\nSour
 ce: https://cicm-conference.org/2027/cicm.php
LOCATION:Erlangen\, Germany
URL:https://cicm-conference.org/2027/cicm.php
CATEGORIES:Conference,Theorem Proving,Logic,Formal Methods,Types
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:cade-31-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270822
DTEND;VALUE=DATE:20270826
SUMMARY:CADE-31
DESCRIPTION:International Conference on Automated Deduction\nColocated with
  FSCD 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
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fscd-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270823
DTEND;VALUE=DATE:20270827
SUMMARY:FSCD 2027
DESCRIPTION:International Conference on Formal Structures for Computation a
 nd Deduction\n12th edition\, held at the Van der Valk Hotel in Nijmegen an
 d colocated with CADE-31 as FSCD-CADE 2027. FSCD workshops run on 21 and 2
 2 August.\nSource: https://fscd-cade.science.ru.nl/calls/workshops-and-tut
 orials
LOCATION:Nijmegen\, Netherlands
URL:https://fscd-cade.science.ru.nl/
CATEGORIES:Conference,Logic,Types,Theorem Proving,Semantics
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:csf-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270913
DTEND;VALUE=DATE:20270918
SUMMARY:CSF 2027
DESCRIPTION:IEEE Computer Security Foundations Symposium\n40th edition\, on
  the foundations of computer security: formal security models\, verificati
 on techniques\, language-based security\, information flow\, and security 
 protocols.\nSource: https://csf2027.ieee-security.org/
LOCATION:Tokyo\, Japan
URL:https://csf2027.ieee-security.org/
CATEGORIES:Symposium,Security,Formal Methods,Verification,PL
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:icfp-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270926
DTEND;VALUE=DATE:20271002
SUMMARY:ICFP 2027
DESCRIPTION:ACM SIGPLAN International Conference on Functional Programming\
 nHeld at the Van der Valk Hotel Nijmegen. The main conference runs Monday 
 to Wednesday\, with co-located events on the Sunday\, Thursday\, and Frida
 y.\nSource: https://icfp27.sigplan.org/dates
LOCATION:Nijmegen\, Netherlands
URL:https://icfp27.sigplan.org/
CATEGORIES:Conference,Functional Programming,PL,Types
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270927
DTEND;VALUE=DATE:20270930
SUMMARY:TABLEAUX 2027
DESCRIPTION:International Conference on Automated Reasoning with Analytic T
 ableaux and Related Methods\n36th edition\, on automated reasoning with an
 alytic tableaux\, sequent calculi\, and related proof methods for classica
 l and non-classical logics.\nColocated with FroCoS 2027\nSource: https://t
 ableaux-frocos27.lis-lab.fr/tableaux/
LOCATION:Marseille\, France
URL:https://tableaux-frocos27.lis-lab.fr/tableaux/
CATEGORIES:Conference,Logic,Theorem Proving
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:frocos-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20270929
DTEND;VALUE=DATE:20271002
SUMMARY:FroCoS 2027
DESCRIPTION:International Symposium on Frontiers of Combining Systems\n17th
  edition\, on combining and integrating logics\, decision procedures\, sol
 vers\, and reasoning systems\, including SMT and combinations of theories.
 \nColocated with TABLEAUX 2027\nSource: https://tableaux-frocos27.lis-lab.
 fr/frocos/
LOCATION:Marseille\, France
URL:https://tableaux-frocos27.lis-lab.fr/frocos/
CATEGORIES:Symposium,Logic,Theorem Proving,Verification
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:splash-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20271010
DTEND;VALUE=DATE:20271016
SUMMARY:SPLASH 2027
DESCRIPTION:ACM SIGPLAN Conference on Systems\, Programming\, Languages\, a
 nd Applications\nHosts OOPSLA and Onward!\, published in PACMPL.\nSource: 
 https://conf.researchr.org/track/splash-2027/splashoopsla2027
LOCATION:Prague\, Czechia
URL:https://2027.splashcon.org/
CATEGORIES:Conference,PL,Program Analysis,Compilers
TRANSP:TRANSPARENT
END:VEVENT
BEGIN:VEVENT
UID:fm-2027-event@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20271018
DTEND;VALUE=DATE:20271023
SUMMARY:FM 2027
DESCRIPTION:International Symposium on Formal Methods\n28th edition\, and t
 he first of the yearly autumn schedule the FME symposium moves to from 202
 7.\nSource: https://www.fmeurope.org/feature/upcoming_conferences/
LOCATION:Athens\, Greece
URL:https://www.fmeurope.org/symposia/
CATEGORIES:Symposium,Formal Methods,Verification
TRANSP:TRANSPARENT
END:VEVENT
END:VCALENDAR