BEGIN:VCALENDAR VERSION:2.0 PRODID:-//PLFM//Programming Languages and Formal Methods Calendar//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:PLFM: everything X-WR-CALDESC:Every deadline\, event\, and school tracked by PLFM. REFRESH-INTERVAL;VALUE=DURATION:P1D X-PUBLISHED-TTL:P1D BEGIN:VEVENT UID:ssft-2026-application@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260331 DTEND;VALUE=DATE:20260401 SUMMARY:SSFT 2026 application deadline DESCRIPTION:Summer School on Formal Techniques\nApplications close: Mar 31\ , 2026\nSchool: May 23 to 29\, 2026\nFunding: NSF funding covers travel\, food\, and lodging for selected US-based students\; others pay about $150 a day\nSource: https://www.sigplan.org/announce/2026-02-13-ssft-2026/ LOCATION:Atherton\, California\, United States URL:https://ssft-sri.github.io/ CATEGORIES:Summer School,Formal Methods,Verification,Theorem Proving,Securi ty,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:ssft-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260523 DTEND;VALUE=DATE:20260530 SUMMARY:SSFT 2026 DESCRIPTION:Summer School on Formal Techniques\n15th edition\, organised by SRI. Hands-on courses on Tamarin\, PVS\, Verus\, quantum compilers\, and privacy-preserving reasoning\, preceded by a two-day background course on logic and formal techniques.\nSource: https://www.sigplan.org/announce/202 6-02-13-ssft-2026/ LOCATION:Atherton\, California\, United States URL:https://ssft-sri.github.io/ CATEGORIES:Summer School,Formal Methods,Verification,Theorem Proving,Securi ty TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:iict-2026-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260701 DTEND;VALUE=DATE:20260702 SUMMARY:IICT 2026 deadline DESCRIPTION:Workshop on Innovations in Compiler Technology\nDeadline: Jul 1 \, 2026\nEvent: October 2 to 3\, 2026\nSource: https://mail.cmi.ac.in/mail man3/hyperkitty/list/fmindia@cmi.ac.in/thread/S4AKGPW4IQTWQWESYBZSCGMBIXOV VDUN/ LOCATION:Bengaluru\, India URL:https://compilertech.org/ CATEGORIES:Workshop,Compilers,PL,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID: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:esslli-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260803 DTEND;VALUE=DATE:20260815 SUMMARY:ESSLLI 2026 DESCRIPTION:European Summer School in Logic\, Language and Information\n37t h edition\, held at Charles University under the auspices of FoLLI. Around fifty foundational\, introductory\, and advanced courses and workshops ac ross logic and computation\, logic and language\, and language and computa tion.\nSource: https://2026.esslli.eu/ LOCATION:Prague\, Czechia URL:https://2026.esslli.eu/ CATEGORIES:Summer School,Logic,Semantics,Types 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:ppopp-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260803 DTEND;VALUE=DATE:20260804 SUMMARY:PPoPP 2027 deadline DESCRIPTION:ACM SIGPLAN Symposium on Principles and Practice of Parallel Pr ogramming\nDeadline: Aug 3\, 2026 · 23:59 AoE\nEvent: March 20 to 24\, 20 27\nSource: https://ppopp27.sigplan.org/track/PPoPP-2027-papers LOCATION:Salt Lake City\, Utah\, United States URL:https://ppopp27.sigplan.org/ CATEGORIES:Symposium,PL,Concurrency,Compilers,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:iwil-2026-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260810 DTEND;VALUE=DATE:20260811 SUMMARY:IWIL 2026 deadline DESCRIPTION:International Workshop on the Implementation of Logics\nDeadlin e: Aug 10\, 2026\nEvent: October 25\, 2026\nSource: https://www.eprover.or g/EVENTS/IWIL-2026.html LOCATION:Spetses\, Greece URL:https://www.eprover.org/EVENTS/IWIL-2026.html CATEGORIES:Workshop,Logic,Theorem Proving,PL,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:pls-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260810 DTEND;VALUE=DATE:20260815 SUMMARY:PLS 2026 DESCRIPTION:Summer School on Programming Languages\, Logic and Software Sec urity\nCourses on the Rocq proof assistant\, higher-order concurrent separ ation logic\, type theory\, and language-based security\, held at INCUBA K atrinebjerg.\nSource: https://conferences.au.dk/pls LOCATION:Aarhus\, Denmark URL:https://conferences.au.dk/pls CATEGORIES:Summer School,PL,Logic,Types,Verification,Security TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:marktoberdorf-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260811 DTEND;VALUE=DATE:20260823 SUMMARY:Marktoberdorf 2026 DESCRIPTION:Marktoberdorf Summer School on Engineering Secure and Dependabl e Software Systems\nOrganised by fortiss and the Department of Informatics at the Technical University of Munich\, and directed by Peter Müller (ET H Zurich) and Alexander Pretschner (TU Munich).\nSource: https://sites.goo gle.com/view/marktoberdorf2026 LOCATION:Herrsching am Ammersee\, Germany URL:https://sites.google.com/view/marktoberdorf2026 CATEGORIES:Summer School,Formal Methods,Verification,Security TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:fmas-2026-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260814 DTEND;VALUE=DATE:20260815 SUMMARY:FMAS 2026 abstract deadline DESCRIPTION:International Workshop on Formal Methods for Autonomous Systems \nAbstract deadline: Aug 14\, 2026 · 23:59 AoE\nEvent: November 17 to 18\ , 2026\nSource: https://fmasworkshop.github.io/FMAS2026/ LOCATION:Southampton\, United Kingdom URL:https://fmasworkshop.github.io/FMAS2026/ CATEGORIES:Workshop,Formal Methods,Verification,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:sbmf-2026-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260814 DTEND;VALUE=DATE:20260815 SUMMARY:SBMF 2026 deadline DESCRIPTION:Brazilian Symposium on Formal Methods\nDeadline: Aug 14\, 2026 · 23:59 AoE\nEvent: December 1 to 4\, 2026\nSource: https://sbmf2026.gith ub.io/ LOCATION:Rio de Janeiro\, Brazil URL:https://sbmf2026.github.io/ CATEGORIES:Symposium,Formal Methods,Verification,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:vmil-2026-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260814 DTEND;VALUE=DATE:20260815 SUMMARY:VMIL 2026 deadline DESCRIPTION:Workshop on Virtual Machines and Language Implementations\nDead line: Aug 14\, 2026 · 23:59 AoE\nEvent: October 8\, 2026\nSource: https:/ /conf.researchr.org/home/splash-issta-2026/vmil-2026 LOCATION:Oakland\, California\, United States URL:https://conf.researchr.org/home/splash-issta-2026/vmil-2026 CATEGORIES:Workshop,PL,Compilers,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:highlights-2026-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260817 DTEND;VALUE=DATE:20260818 SUMMARY:Highlights 2026 final registration deadline DESCRIPTION:Highlights of Logic\, Games and Automata\nFinal registration de adline: Aug 17\, 2026\nEvent: September 7 to 11\, 2026\nSource: https://hi ghlights-conference.org/2026/ LOCATION:Vienna\, Austria URL:https://highlights-conference.org/2026/ CATEGORIES:Conference,Logic,Verification,Model Checking,Semantics,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:lpar-26-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260817 DTEND;VALUE=DATE:20260818 SUMMARY:LPAR-26 short presentation papers deadline DESCRIPTION:International Conference on Logic for Programming\, Artificial Intelligence and Reasoning\nShort presentation papers deadline: Aug 17\, 2 026\nEvent: October 25 to 30\, 2026\nSource: https://easychair.org/smart-p rogram/LPAR-26/ LOCATION:Spetses\, Greece URL:https://easychair.org/smart-program/LPAR-26/ CATEGORIES:Conference,Logic,Theorem Proving,PL,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:nlss-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260817 DTEND;VALUE=DATE:20260821 SUMMARY:NLSS 2026 DESCRIPTION:Nordic Logic Summer School\nIntroductory and advanced courses i n logic and its applications\, organised by the Scandinavian Logic Society and held at DTU. Attendance carries 2.5 ECTS.\nSource: https://slss2026.c ompute.dtu.dk/ LOCATION:Copenhagen\, Denmark URL:https://slss2026.compute.dtu.dk/ CATEGORIES:Summer School,Logic,Semantics,Theorem Proving 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: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:aplas-2026-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260822 DTEND;VALUE=DATE:20260823 SUMMARY:APLAS 2026 src and posters deadline DESCRIPTION:Asian Symposium on Programming Languages and Systems\nSRC and p osters deadline: Aug 22\, 2026\nEvent: December 1 to 4\, 2026\nExtended ab stracts\, shared with ATVA 2026\nSource: https://conf.researchr.org/home/a plas-atva-2026 LOCATION:Hong Kong\, China URL:https://conf.researchr.org/track/aplas-atva-2026/aplas-2026 CATEGORIES:Symposium,PL,Types,Semantics,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID: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:plmw-icfp-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260824 DTEND;VALUE=DATE:20260825 SUMMARY:PLMW at ICFP 2026 DESCRIPTION:Programming Languages Mentoring Workshop at ICFP 2026\nTechnica l\, mentoring\, and social sessions for students considering research in p rogramming languages\, held at Indiana University Indianapolis.\nSource: h ttps://icfp26.sigplan.org/home/PLMW-ICFP-2026 LOCATION:Indianapolis\, Indiana\, United States URL:https://icfp26.sigplan.org/home/PLMW-ICFP-2026 CATEGORIES:Mentoring,PL,Functional Programming 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:reasoning-web-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260827 DTEND;VALUE=DATE:20260831 SUMMARY:RW 2026 DESCRIPTION:Reasoning Web Summer School\n22nd edition\, held as part of Dec larative AI 2026 alongside RuleML+RR and DecisionCAMP. Lectures cover rece nt advances in reasoning techniques across ontologies\, rules\, logic\, li nked data\, and knowledge graphs.\nSource: https://2026.declarativeai.net/ reasoning-web/registration LOCATION:Vilnius\, Lithuania URL:https://2026.declarativeai.net/reasoning-web/ CATEGORIES:Summer School,Logic,Semantics,Theorem Proving 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: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: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:proof-assistants-strasbourg-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260831 DTEND;VALUE=DATE:20260905 SUMMARY:Summer School on Proof Assistants and Applications DESCRIPTION:Summer School on Proof Assistants and Applications\nIntroductio n to proof assistants for mathematics and program certification\, covering type theory\, categorical logic\, homotopy theory\, and Lean.\nSource: ht tps://indico.math.cnrs.fr/event/16687/ LOCATION:Strasbourg\, France URL:https://indico.math.cnrs.fr/event/16687/ CATEGORIES:Summer School,Theorem Proving,Types,Logic 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:cpp-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260903 DTEND;VALUE=DATE:20260904 SUMMARY:CPP 2027 abstract deadline DESCRIPTION:International Conference on Certified Programs and Proofs\nAbst ract deadline: Sep 3\, 2026 · 23:59 AoE\nEvent: January 11 to 12\, 2027\n Source: https://popl27.sigplan.org/home/CPP-2027 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/CPP-2027 CATEGORIES:Conference,Theorem Proving,Verification,Types,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:ifl-2026-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260904 DTEND;VALUE=DATE:20260905 SUMMARY:IFL 2026 draft paper deadline DESCRIPTION:Symposium on Implementation and Application of Functional Langu ages\nDraft paper deadline: Sep 4\, 2026\nEvent: October 28 to 30\, 2026\n Source: https://ifl26.cse.chalmers.se/cfp/ LOCATION:Gothenburg\, Sweden URL:https://ifl26.cse.chalmers.se/ CATEGORIES:Symposium,Functional Programming,PL,Compilers,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID: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:stars-2026-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260908 DTEND;VALUE=DATE:20260909 SUMMARY:STARS 2026 full papers deadline DESCRIPTION:International Workshop on Static and Runtime Verification Syner gies\nFull papers deadline: Sep 8\, 2026 · 23:59 AoE\nEvent: November 23\ , 2026\nSource: https://stars-workshop.github.io/ LOCATION:Valletta\, Malta URL:https://stars-workshop.github.io/ CATEGORIES:Workshop,Verification,Formal Methods,Program Analysis,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:asplos-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260909 DTEND;VALUE=DATE:20260910 SUMMARY:ASPLOS 2027 deadline DESCRIPTION:International Conference on Architectural Support for Programmi ng Languages and Operating Systems\nDeadline: Sep 9\, 2026 · 23:59 AoE\nE vent: April 11 to 15\, 2027\nSource: https://www.asplos-conference.org/asp los2027/cfp/ LOCATION:Heraklion\, Crete\, Greece URL:https://www.asplos-conference.org/asplos2027/ CATEGORIES:Conference,PL,Compilers,Concurrency,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:cgo-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260910 DTEND;VALUE=DATE:20260911 SUMMARY:CGO 2027 deadline DESCRIPTION:IEEE/ACM International Symposium on Code Generation and Optimiz ation\nDeadline: Sep 10\, 2026 · 23:59 AoE\nEvent: March 20 to 24\, 2027\ nSource: https://conf.researchr.org/track/cgo-2027/cgo-2027-papers LOCATION:Salt Lake City\, Utah\, United States URL:https://2027.cgo.org/ CATEGORIES:Symposium,Compilers,PL,Program Analysis,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:cpp-2027-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260910 DTEND;VALUE=DATE:20260911 SUMMARY:CPP 2027 paper deadline DESCRIPTION:International Conference on Certified Programs and Proofs\nPape r deadline: Sep 10\, 2026 · 23:59 AoE\nEvent: January 11 to 12\, 2027\nSo urce: https://popl27.sigplan.org/home/CPP-2027 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/CPP-2027 CATEGORIES:Conference,Theorem Proving,Verification,Types,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:proof-computation-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260913 DTEND;VALUE=DATE:20260920 SUMMARY:Autumn School on Proof and Computation DESCRIPTION:Autumn School on Proof and Computation\n10th edition\, held at Aurachhof near Munich. Lecture series on predicative foundations\, constru ctive mathematics and type theory\, homotopy type theory\, computation in higher types\, coinduction\, and program extraction from proofs.\nSource: https://www.mathematik.uni-muenchen.de/~schwicht/pc26.php LOCATION:Fischbachau\, Germany URL:https://www.mathematik.uni-muenchen.de/~schwicht/pc26.php CATEGORIES:Doctoral School,Theorem Proving,Types,Logic,Semantics 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:icalp-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260915 DTEND;VALUE=DATE:20260916 SUMMARY:ICALP 2027 track b round 1 deadline DESCRIPTION:International Colloquium on Automata\, Languages and Programmin g\nTrack B round 1 deadline: Sep 15\, 2026 · 23:59 AoE\nEvent: July 5 to 9\, 2027\nSource: https://icalp.uj.edu.pl/track-b/ LOCATION:Kraków\, Poland URL:https://icalp.uj.edu.pl/ CATEGORIES:Conference,Logic,Semantics,Verification,Types,Concurrency,Deadli ne TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:stars-2026-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260915 DTEND;VALUE=DATE:20260916 SUMMARY:STARS 2026 talk proposals deadline DESCRIPTION:International Workshop on Static and Runtime Verification Syner gies\nTalk proposals deadline: Sep 15\, 2026 · 23:59 AoE\nEvent: November 23\, 2026\nSource: https://stars-workshop.github.io/ LOCATION:Valletta\, Malta URL:https://stars-workshop.github.io/ CATEGORIES:Workshop,Verification,Formal Methods,Program Analysis,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:reacts-2026-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260916 DTEND;VALUE=DATE:20260917 SUMMARY:ReacTS 2026 deadline DESCRIPTION:International Workshop on Reconfigurable Transition Systems: Se mantics\, Logics and Applications\nDeadline: Sep 16\, 2026 · 23:59 AoE\nE vent: November 24\, 2026\nSource: https://reacts-workshop.github.io/2026/ LOCATION:Valletta\, Malta URL:https://reacts-workshop.github.io/2026/ CATEGORIES:Workshop,Formal Methods,Logic,Semantics,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:anu-lss-2026-application@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260918 DTEND;VALUE=DATE:20260919 SUMMARY:ANU LSS 2026 application deadline DESCRIPTION:ANU Logic Summer School\nApplications close: Sep 18\, 2026\nSch ool: December 7 to 18\, 2026\nFunding: Travel and accommodation grants for students\, by application\nSource: https://comp.anu.edu.au/lss/grants/ LOCATION:Canberra\, Australia URL:https://comp.anu.edu.au/lss/ CATEGORIES:Summer School,Logic,Theorem Proving,Model Checking,Semantics,Dea dline 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: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: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:vmcai-2027-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260925 DTEND;VALUE=DATE:20260926 SUMMARY:VMCAI 2027 artifact registration deadline DESCRIPTION:International Conference on Verification\, Model Checking\, and Abstract Interpretation\nArtifact registration deadline: Sep 25\, 2026 · 23:59 AoE\nEvent: January 11 to 12\, 2027\nSource: https://conf.researchr .org/home/VMCAI-2027 LOCATION:Mexico City URL:https://conf.researchr.org/home/VMCAI-2027 CATEGORIES:Conference,Verification,Model Checking,Program Analysis,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:vmcai-2027-deadline-2@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20260930 DTEND;VALUE=DATE:20261001 SUMMARY:VMCAI 2027 paper and artifact submission deadline DESCRIPTION:International Conference on Verification\, Model Checking\, and Abstract Interpretation\nPaper and artifact submission deadline: Sep 30\, 2026 · 23:59 AoE\nEvent: January 11 to 12\, 2027\nSource: https://conf.r esearchr.org/home/VMCAI-2027 LOCATION:Mexico City URL:https://conf.researchr.org/home/VMCAI-2027 CATEGORIES:Conference,Verification,Model Checking,Program Analysis,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:programming-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261001 DTEND;VALUE=DATE:20261002 SUMMARY:Programming 2027 papers\, volume 12 issue 1 deadline DESCRIPTION:International Conference on the Art\, Science\, and Engineering of Programming\nPapers\, Volume 12 Issue 1 deadline: Oct 1\, 2026\nEvent: March 15 to 19\, 2027\nLast journal round feeding the 2027 conference\nSo urce: https://2027.programming-conference.org/track/programming-2027-paper s LOCATION:Kyoto\, Japan URL:https://2027.programming-conference.org/ CATEGORIES:Conference,PL,Semantics,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:fse-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261002 DTEND;VALUE=DATE:20261003 SUMMARY:FSE 2027 research papers deadline DESCRIPTION:ACM International Conference on the Foundations of Software Eng ineering\nResearch papers deadline: Oct 2\, 2026\nEvent: July 12 to 16\, 2 027\nSource: https://conf.researchr.org/track/fse-2027/fse-2027-papers LOCATION:Shenzhen\, China URL:https://conf.researchr.org/home/fse-2027 CATEGORIES:Conference,Program Analysis,Verification,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID: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:plmw-splash-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261004 DTEND;VALUE=DATE:20261005 SUMMARY:PLMW at SPLASH 2026 DESCRIPTION:Programming Languages Mentoring Workshop at SPLASH and ISSTA 20 26\nHeld at the Oakland Marriott City Center alongside SPLASH and ISSTA 20 26.\nSource: https://conf.researchr.org/track/splash-issta-2026/splash-iss ta-2026-plmw---splash-issta-26 LOCATION:Oakland\, California\, United States URL:https://conf.researchr.org/track/splash-issta-2026/splash-issta-2026-pl mw---splash-issta-26 CATEGORIES:Mentoring,PL,Program Analysis 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: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:splash-summer-school-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261005 DTEND;VALUE=DATE:20261007 SUMMARY:SPLASH/ISSTA Summer School 2026 DESCRIPTION:SPLASH/ISSTA Summer School\nTwo days of lectures for graduate a nd senior undergraduate students: proofs and programs\, language design fo r systems\, quantum software testing\, AI-assisted programming\, property- based testing\, and probabilistic reasoning.\nSource: https://conf.researc hr.org/track/splash-issta-2026/splash-issta-2026-summer-school LOCATION:Oakland\, California\, United States URL:https://conf.researchr.org/track/splash-issta-2026/splash-issta-2026-su mmer-school CATEGORIES:Summer School,PL,Verification,Probabilistic Programming,Quantum 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: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: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:mwpls-2026-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261009 DTEND;VALUE=DATE:20261010 SUMMARY:MWPLS 2026 talk and poster abstracts deadline DESCRIPTION:Midwest Programming Languages Summit\nTalk and poster abstracts deadline: Oct 9\, 2026\nEvent: November 6\, 2026\nSource: https://2026.mw pls.org/ LOCATION:Iowa City\, Iowa\, United States URL:https://2026.mwpls.org/ CATEGORIES:Community meeting,PL,Compilers,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:popl-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261009 DTEND;VALUE=DATE:20261010 SUMMARY:POPL 2027 tutorial proposals deadline DESCRIPTION:ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langu ages\nTutorial proposals deadline: Oct 9\, 2026\nEvent: January 10 to 16\, 2027\nSource: https://popl27.sigplan.org/dates LOCATION:Mexico City URL:https://popl27.sigplan.org/ CATEGORIES:Symposium,PL,Semantics,Types,Verification,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:nwpt-2026-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261010 DTEND;VALUE=DATE:20261011 SUMMARY:NWPT 2026 abstract deadline DESCRIPTION:Nordic Workshop on Programming Theory\nAbstract deadline: Oct 1 0\, 2026 · 23:59 AoE\nEvent: November 19 to 20\, 2026\nSource: https://ko du.ut.ee/~nester/nwpt-2026/main.html LOCATION:Tartu\, Estonia URL:https://kodu.ut.ee/~nester/nwpt-2026/main.html CATEGORIES:Workshop,PL,Semantics,Formal Methods,Types,Logic,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:stacs-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261011 DTEND;VALUE=DATE:20261012 SUMMARY:STACS 2027 deadline DESCRIPTION:International Symposium on Theoretical Aspects of Computer Scie nce\nDeadline: Oct 11\, 2026 · 23:59 AoE\nEvent: March 8 to 12\, 2027\nSo urce: https://mail.cmi.ac.in/mailman3/hyperkitty/list/fmindia@cmi.ac.in/th read/CTMITL23QYFUV3XVGY53EUV4H2TYS4TM/ LOCATION:Göttingen\, Germany URL:https://stacs2027.uni-goettingen.de/ CATEGORIES:Symposium,Logic,Semantics,Types,Program Analysis,Concurrency,Dea dline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:popl-2027-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261012 DTEND;VALUE=DATE:20261013 SUMMARY:POPL 2027 student research competition deadline DESCRIPTION:ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langu ages\nStudent research competition deadline: Oct 12\, 2026 · 23:59 AoE\nE vent: January 10 to 16\, 2027\nExtended abstracts of up to three pages\, b y a single student author\nSource: https://popl27.sigplan.org/dates LOCATION:Mexico City URL:https://popl27.sigplan.org/ CATEGORIES:Symposium,PL,Semantics,Types,Verification,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:splash-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261014 DTEND;VALUE=DATE:20261015 SUMMARY:SPLASH 2027 oopsla round 1 deadline DESCRIPTION:ACM SIGPLAN Conference on Systems\, Programming\, Languages\, a nd Applications\nOOPSLA round 1 deadline: Oct 14\, 2026 · 23:59 AoE\nEven t: October 10 to 15\, 2027\nSource: https://conf.researchr.org/track/splas h-2027/splashoopsla2027 LOCATION:Prague\, Czechia URL:https://2027.splashcon.org/ CATEGORIES:Conference,PL,Program Analysis,Compilers,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:csf-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261015 DTEND;VALUE=DATE:20261016 SUMMARY:CSF 2027 fall cycle deadline DESCRIPTION:IEEE Computer Security Foundations Symposium\nFall cycle deadli ne: Oct 15\, 2026 · 23:59 AoE\nEvent: September 13 to 17\, 2027\nSource: https://csf2027.ieee-security.org/ LOCATION:Tokyo\, Japan URL:https://csf2027.ieee-security.org/ CATEGORIES:Symposium,Security,Formal Methods,Verification,PL,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:etaps-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261015 DTEND;VALUE=DATE:20261016 SUMMARY:ETAPS 2027 paper deadline DESCRIPTION:European Joint Conferences on Theory and Practice of Software\n Paper deadline: Oct 15\, 2026 · 23:59 AoE\nEvent: April 10 to 15\, 2027\n ESOP round 2\, FoSSaCS\, TACAS and iFS\nSource: https://etaps.org/2027/cfp / LOCATION:Copenhagen\, Denmark URL:https://etaps.org/2027/ CATEGORIES:Conference,Formal Methods,PL,Semantics,Verification,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:sac-pl-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261016 DTEND;VALUE=DATE:20261017 SUMMARY:SAC-PL 2027 deadline DESCRIPTION:ACM Symposium on Applied Computing\, Programming Languages Trac k\nDeadline: Oct 16\, 2026\nEvent: April 5 to 9\, 2027\nSource: https://ac msac.wp.txstate.edu/ LOCATION:Gwangju\, South Korea URL:https://acmsac.wp.txstate.edu/ CATEGORIES:Symposium,PL,Compilers,Semantics,Verification,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:fsen-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261019 DTEND;VALUE=DATE:20261020 SUMMARY:FSEN 2027 abstract deadline DESCRIPTION:International Conference on Fundamentals of Software Engineerin g\nAbstract deadline: Oct 19\, 2026\nEvent: May 24 to 25\, 2027\nSource: h ttps://conf.researchr.org/home/fsen-2027 LOCATION:Enschede\, Netherlands URL:https://conf.researchr.org/home/fsen-2027 CATEGORIES:Conference,Formal Methods,Verification,PL,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:plmw-popl-2027-application@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261019 DTEND;VALUE=DATE:20261020 SUMMARY:PLMW at POPL 2027 application deadline DESCRIPTION:Programming Languages Mentoring Workshop at POPL 2027\nApplicat ions close: Oct 19\, 2026 · 23:59 AoE\nSchool: January 10\, 2027\nFunding : Scholarships covering airfare\, hotel\, and registration for PLMW and PO PL\, by application\nSource: https://popl27.sigplan.org/home/PLMW-POPL-202 7 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/PLMW-POPL-2027 CATEGORIES:Mentoring,PL,Semantics,Types,Verification,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:njpls-2026-11-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261020 DTEND;VALUE=DATE:20261021 SUMMARY:NJPLS November 2026 talk proposals deadline DESCRIPTION:New Jersey Programming Languages and Systems Seminar\nTalk prop osals deadline: Oct 20\, 2026\nEvent: November 13\, 2026\nSource: https:// njpls.org/nov2026.html LOCATION:New York City\, United States URL:https://njpls.org/nov2026.html CATEGORIES:Community meeting,PL,Compilers,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:prisc-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261022 DTEND;VALUE=DATE:20261023 SUMMARY:PriSC 2027 deadline DESCRIPTION:Workshop on Principles of Secure Compilation\nDeadline: Oct 22\ , 2026 · 23:59 AoE\nEvent: January 11\, 2027\nSource: https://popl27.sigp lan.org/home/prisc-2027 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/prisc-2027 CATEGORIES:Workshop,Security,Compilers,Verification,PL,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:fpbt-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261023 DTEND;VALUE=DATE:20261024 SUMMARY:FPBT 2027 deadline DESCRIPTION:Workshop on the Future of Property-Based Testing\nDeadline: Oct 23\, 2026 · 23:59 AoE\nEvent: January 12\, 2027\nSource: https://popl27. sigplan.org/home/fpbt-2027 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/fpbt-2027 CATEGORIES:Workshop,PL,Verification,Functional Programming,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:pepm-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261023 DTEND;VALUE=DATE:20261024 SUMMARY:PEPM 2027 deadline DESCRIPTION:Workshop on Partial Evaluation and Program Manipulation\nDeadli ne: Oct 23\, 2026 · 23:59 AoE\nEvent: January 12\, 2027\nSource: https:// popl27.sigplan.org/home/pepm-2027 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/pepm-2027 CATEGORIES:Workshop,PL,Semantics,Program Analysis,Compilers,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:rocqpl-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261023 DTEND;VALUE=DATE:20261024 SUMMARY:RocqPL 2027 deadline DESCRIPTION:Workshop on Rocq for Programming Languages\nDeadline: Oct 23\, 2026 · 23:59 AoE\nEvent: January 16\, 2027\nSource: https://popl27.sigpla n.org/home/rocqpl-2027 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/rocqpl-2027 CATEGORIES:Workshop,Theorem Proving,PL,Verification,Semantics,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID: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:mwpls-2026-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261026 DTEND;VALUE=DATE:20261027 SUMMARY:MWPLS 2026 registration deadline DESCRIPTION:Midwest Programming Languages Summit\nRegistration deadline: Oc t 26\, 2026\nEvent: November 6\, 2026\nSource: https://2026.mwpls.org/ LOCATION:Iowa City\, Iowa\, United States URL:https://2026.mwpls.org/ CATEGORIES:Community meeting,PL,Compilers,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:fsen-2027-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261028 DTEND;VALUE=DATE:20261029 SUMMARY:FSEN 2027 paper deadline DESCRIPTION:International Conference on Fundamentals of Software Engineerin g\nPaper deadline: Oct 28\, 2026\nEvent: May 24 to 25\, 2027\nSource: http s://conf.researchr.org/home/fsen-2027 LOCATION:Enschede\, Netherlands URL:https://conf.researchr.org/home/fsen-2027 CATEGORIES:Conference,Formal Methods,Verification,PL,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID: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:wave-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261028 DTEND;VALUE=DATE:20261029 SUMMARY:WAVE 2027 deadline DESCRIPTION:Workshop on Auto-active Verification\nDeadline: Oct 28\, 2026 · 23:59 AoE\nEvent: January 10\, 2027\nSource: https://popl27.sigplan.org /home/wave-2027 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/wave-2027 CATEGORIES:Workshop,Verification,Formal Methods,Theorem Proving,PL,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:etaps-2027-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261029 DTEND;VALUE=DATE:20261030 SUMMARY:ETAPS 2027 artifact deadline DESCRIPTION:European Joint Conferences on Theory and Practice of Software\n Artifact deadline: Oct 29\, 2026 · 23:59 AoE\nEvent: April 10 to 15\, 202 7\nMandatory for TACAS\nSource: https://etaps.org/2027/cfp/ LOCATION:Copenhagen\, Denmark URL:https://etaps.org/2027/ CATEGORIES:Conference,Formal Methods,PL,Semantics,Verification,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:tpsa-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261029 DTEND;VALUE=DATE:20261030 SUMMARY:TPSA 2027 deadline DESCRIPTION:Workshop on the Theory and Practice of Static Analysis\nDeadlin e: Oct 29\, 2026 · 23:59 AoE\nEvent: January 12\, 2027\nSource: https://p opl27.sigplan.org/home/tpsa-2027 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/tpsa-2027 CATEGORIES:Workshop,Program Analysis,Verification,PL,Formal Methods,Deadlin e TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:formalise-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261030 DTEND;VALUE=DATE:20261031 SUMMARY:FormaliSE 2027 abstract deadline DESCRIPTION:International Conference on Formal Methods in Software Engineer ing\nAbstract deadline: Oct 30\, 2026\nEvent: April 26 to 27\, 2027\nSourc e: https://conf.researchr.org/home/Formalise-2027 LOCATION:Dublin\, Ireland URL:https://conf.researchr.org/home/Formalise-2027 CATEGORIES:Conference,Formal Methods,Verification,Program Analysis,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:planqc-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261030 DTEND;VALUE=DATE:20261031 SUMMARY:PLanQC 2027 deadline DESCRIPTION:International Workshop on Programming Languages for Quantum Com puting\nDeadline: Oct 30\, 2026 · 23:59 AoE\nEvent: January 12\, 2027\nSo urce: https://popl27.sigplan.org/home/planqc-2027 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/planqc-2027 CATEGORIES:Workshop,Quantum,PL,Verification,Types,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:aila-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261031 DTEND;VALUE=DATE:20261101 SUMMARY:AILA 2027 abstract deadline DESCRIPTION:International Conference on Artificial Intelligence Logic and A pplications\nAbstract deadline: Oct 31\, 2026 · 23:59 AoE\nEvent: April 8 to 10\, 2027\nSource: http://ailasym.com/AILA2027/AILA2027.html LOCATION:Belfast\, United Kingdom URL:http://ailasym.com/AILA2027/AILA2027.html CATEGORIES:Conference,Logic,Theorem Proving,Verification,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:page-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261031 DTEND;VALUE=DATE:20261101 SUMMARY:PAgE 2027 deadline DESCRIPTION:Workshop on Principles of Agentic Engineering\nDeadline: Oct 31 \, 2026 · 23:59 AoE\nEvent: January 11\, 2027\nSource: https://popl27.sig plan.org/home/page-2027 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/page-2027 CATEGORIES:Workshop,Formal Methods,Verification,PL,Synthesis,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:eclaps-2026-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261101 DTEND;VALUE=DATE:20261102 SUMMARY:ECLAPS 2026 talk proposals deadline DESCRIPTION:Eastern Canada Logic and Programming Seminar\nTalk proposals de adline: Nov 1\, 2026\nEvent: November 14\, 2026\nSource: https://llm.uqam. ca/en/eclaps/eclaps26/ LOCATION:Montreal\, Quebec\, Canada URL:https://llm.uqam.ca/en/eclaps/ CATEGORIES:Community meeting,PL,Logic,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:njpls-2026-11-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261101 DTEND;VALUE=DATE:20261102 SUMMARY:NJPLS November 2026 registration deadline DESCRIPTION:New Jersey Programming Languages and Systems Seminar\nRegistrat ion deadline: Nov 1\, 2026\nEvent: November 13\, 2026\nSource: https://njp ls.org/nov2026.html LOCATION:New York City\, United States URL:https://njpls.org/nov2026.html CATEGORIES:Community meeting,PL,Compilers,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:bob-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261102 DTEND;VALUE=DATE:20261103 SUMMARY:BOB 2027 deadline DESCRIPTION:BOB Conference\nDeadline: Nov 2\, 2026\nEvent: February 26\, 20 27\nSource: https://bobkonf.de/2027/cfc.html LOCATION:Berlin\, Germany URL:https://bobkonf.de/2027/ CATEGORIES:Conference,Functional Programming,Formal Methods,Types,PL,Deadli ne TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:lafi-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261102 DTEND;VALUE=DATE:20261103 SUMMARY:LAFI 2027 deadline DESCRIPTION:Workshop on Languages for Inference\nDeadline: Nov 2\, 2026 · 23:59 AoE\nSource: https://popl27.sigplan.org/home/lafi-2027 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/lafi-2027 CATEGORIES:Workshop,Probabilistic Programming,PL,Semantics,Types,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:nwpt-2026-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261102 DTEND;VALUE=DATE:20261103 SUMMARY:NWPT 2026 registration deadline DESCRIPTION:Nordic Workshop on Programming Theory\nRegistration deadline: N ov 2\, 2026 · 23:59 AoE\nEvent: November 19 to 20\, 2026\nSource: https:/ /kodu.ut.ee/~nester/nwpt-2026/main.html LOCATION:Tartu\, Estonia URL:https://kodu.ut.ee/~nester/nwpt-2026/main.html CATEGORIES:Workshop,PL,Semantics,Formal Methods,Types,Logic,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:waw-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261103 DTEND;VALUE=DATE:20261104 SUMMARY:WAW 2027 deadline DESCRIPTION:WebAssembly Workshop\nDeadline: Nov 3\, 2026 · 23:59 AoE\nEven t: January 16\, 2027\nSource: https://popl27.sigplan.org/home/waw-2027 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/waw-2027 CATEGORIES:Workshop,PL,Semantics,Compilers,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:formalise-2027-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261106 DTEND;VALUE=DATE:20261107 SUMMARY:FormaliSE 2027 paper deadline DESCRIPTION:International Conference on Formal Methods in Software Engineer ing\nPaper deadline: Nov 6\, 2026\nEvent: April 26 to 27\, 2027\nSource: h ttps://conf.researchr.org/home/Formalise-2027 LOCATION:Dublin\, Ireland URL:https://conf.researchr.org/home/Formalise-2027 CATEGORIES:Conference,Formal Methods,Verification,Program Analysis,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID: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:frida-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261106 DTEND;VALUE=DATE:20261107 SUMMARY:FRIDA 2027 deadline DESCRIPTION:Workshop on Formal Reasoning in Distributed Algorithms\nDeadlin e: Nov 6\, 2026 · 23:59 AoE\nSource: https://popl27.sigplan.org/home/frid a-2027 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/frida-2027 CATEGORIES:Workshop,Concurrency,Verification,Formal Methods,Model Checking, Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:aila-2027-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261107 DTEND;VALUE=DATE:20261108 SUMMARY:AILA 2027 paper deadline DESCRIPTION:International Conference on Artificial Intelligence Logic and A pplications\nPaper deadline: Nov 7\, 2026 · 23:59 AoE\nEvent: April 8 to 10\, 2027\nSource: http://ailasym.com/AILA2027/AILA2027.html LOCATION:Belfast\, United Kingdom URL:http://ailasym.com/AILA2027/AILA2027.html CATEGORIES:Conference,Logic,Theorem Proving,Verification,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:eclaps-2026-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261108 DTEND;VALUE=DATE:20261109 SUMMARY:ECLAPS 2026 registration for non-presenters deadline DESCRIPTION:Eastern Canada Logic and Programming Seminar\nRegistration for non-presenters deadline: Nov 8\, 2026\nEvent: November 14\, 2026\nSource: https://llm.uqam.ca/en/eclaps/eclaps26/ LOCATION:Montreal\, Quebec\, Canada URL:https://llm.uqam.ca/en/eclaps/ CATEGORIES:Community meeting,PL,Logic,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:ictac-school-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261109 DTEND;VALUE=DATE:20261111 SUMMARY:ICTAC School 2026 DESCRIPTION:ICTAC Postgraduate School on Formal Methods for Mission-Critica l Software\nThree intensive courses on formal methods for building mission -critical software in the satellite\, aerospace\, and nuclear sectors\, ta ught by international researchers in formal methods and software engineeri ng.\nSource: https://ictac2026.github.io/ LOCATION:Bariloche\, Argentina URL:https://ictac2026.github.io/ CATEGORIES:Doctoral School,Formal Methods,Verification,Model Checking 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: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:pldi-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261112 DTEND;VALUE=DATE:20261113 SUMMARY:PLDI 2027 deadline DESCRIPTION:ACM SIGPLAN Conference on Programming Language Design and Imple mentation\nDeadline: Nov 12\, 2026 · 23:59 AoE\nEvent: June 5 to 11\, 202 7\nSource: https://conf.researchr.org/track/pldi-2027/pldi-2027-papers LOCATION:Atlanta\, Georgia\, United States URL:https://conf.researchr.org/home/pldi-2027 CATEGORIES:Conference,PL,Compilers,Program Analysis,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID: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:qcomical-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261116 DTEND;VALUE=DATE:20261121 SUMMARY:QCOMICAL 2026 DESCRIPTION:QCOMICAL School on Quantum Programming Languages and Semantics\ nSecond edition. Courses on quantum programming languages\, quantum proces s calculi\, computational quantum logic\, categories for quantum computing \, and quantum Bayesian networks\, plus a tool session on verifying quantu m protocols.\nSource: https://qcomical2026.github.io LOCATION:Pisa\, Italy URL:https://qcomical2026.github.io CATEGORIES:Doctoral School,Quantum,PL,Semantics,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:ecoop-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261119 DTEND;VALUE=DATE:20261120 SUMMARY:ECOOP 2027 round 1 deadline DESCRIPTION:European Conference on Object-Oriented Programming\nRound 1 dea dline: Nov 19\, 2026 · 23:59 AoE\nEvent: June 28 to July 2\, 2027\nSource : https://2027.ecoop.org/dates LOCATION:Turin\, Italy URL:https://2027.ecoop.org/ CATEGORIES:Conference,PL,Types,Program Analysis,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:tfpie-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261119 DTEND;VALUE=DATE:20261120 SUMMARY:TFPIE 2027 full papers deadline DESCRIPTION:International Workshop on Trends in Functional Programming in E ducation\nFull papers deadline: Nov 19\, 2026 · 23:59 AoE\nEvent: March 1 2\, 2027\nFormal review before the workshop\; 7 to 20 pages\nSource: https ://wiki.tfpie.science.ru.nl/TFPIE2027 LOCATION:Kyoto\, Japan URL:https://wiki.tfpie.science.ru.nl/TFPIE2027 CATEGORIES:Workshop,Functional Programming,PL,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID: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:ifl-2026-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261125 DTEND;VALUE=DATE:20261126 SUMMARY:IFL 2026 post-symposium paper deadline DESCRIPTION:Symposium on Implementation and Application of Functional Langu ages\nPost-symposium paper deadline: Nov 25\, 2026\nEvent: October 28 to 3 0\, 2026\nFull papers for the formal proceedings\, written up after the me eting\nSource: https://ifl26.cse.chalmers.se/cfp/ LOCATION:Gothenburg\, Sweden URL:https://ifl26.cse.chalmers.se/ CATEGORIES:Symposium,Functional Programming,PL,Compilers,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID: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:tfp-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261203 DTEND;VALUE=DATE:20261204 SUMMARY:TFP 2027 pre-symposium full paper deadline DESCRIPTION:International Symposium on Trends in Functional Programming\nPr e-symposium full paper deadline: Dec 3\, 2026 · 23:59 AoE\nEvent: March 1 3 to 15\, 2027\nFormally reviewed before the meeting\; notification 14 Jan uary 2027\nSource: https://trendsfp.github.io/2027/ LOCATION:Kyoto\, Japan URL:https://trendsfp.github.io/2027/ CATEGORIES:Symposium,Functional Programming,PL,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:cade-31-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261204 DTEND;VALUE=DATE:20261205 SUMMARY:CADE-31 workshop and tutorial proposals deadline DESCRIPTION:International Conference on Automated Deduction\nWorkshop and t utorial proposals deadline: Dec 4\, 2026\nEvent: August 22 to 25\, 2027\nU p to three pages\, by email to the workshop chair\nSource: https://fscd-ca de.science.ru.nl/calls/papers-cade LOCATION:Nijmegen\, Netherlands URL:https://fscd-cade.science.ru.nl/ CATEGORIES:Conference,Theorem Proving,Logic,Formal Methods,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:fscd-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261204 DTEND;VALUE=DATE:20261205 SUMMARY:FSCD 2027 workshop and tutorial proposals deadline DESCRIPTION:International Conference on Formal Structures for Computation a nd Deduction\nWorkshop and tutorial proposals deadline: Dec 4\, 2026\nEven t: August 23 to 26\, 2027\nUp to three pages\, by email to the workshop ch air\nSource: https://fscd-cade.science.ru.nl/calls/workshops-and-tutorials LOCATION:Nijmegen\, Netherlands URL:https://fscd-cade.science.ru.nl/ CATEGORIES:Conference,Logic,Types,Theorem Proving,Semantics,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:anu-lss-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261207 DTEND;VALUE=DATE:20261219 SUMMARY:ANU LSS 2026 DESCRIPTION:ANU Logic Summer School\n34th edition. An introductory first we ek on metalogic\, foundations\, CTL model checking\, and Isabelle\, follow ed by an advanced week with courses on logical relations\, proof theory of modal logics\, proofs in programming\, algorithmic information theory\, a nd infinite Ramsey theory.\nSource: https://comp.anu.edu.au/lss/grants/ LOCATION:Canberra\, Australia URL:https://comp.anu.edu.au/lss/ CATEGORIES:Summer School,Logic,Theorem Proving,Model Checking,Semantics 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:sat-smt-school-2026-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20261214 DTEND;VALUE=DATE:20261216 SUMMARY:SAT+SMT School 2026 DESCRIPTION:Indian SAT+SMT School\nAn IARCS winter school on SAT and SMT so lvers and their applications\, with tutorials by solver researchers and de velopers\, invited talks\, and short presentations. Aimed at students\, ac ademics\, and industry engineers.\nSource: https://sat-smt-org.gitlab.io LOCATION:New Delhi\, India URL:https://sat-smt.in CATEGORIES:Winter School,Formal Methods,Verification,Logic 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: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: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:plmw-popl-2027-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270110 DTEND;VALUE=DATE:20270111 SUMMARY:PLMW at POPL 2027 DESCRIPTION:Programming Languages Mentoring Workshop at POPL 2027\n15th edi tion. Technical sessions on current PL research combined with mentoring on preparing for a research career\, aimed at senior undergraduates and grad uate students considering PL research.\nSource: https://popl27.sigplan.org /home/PLMW-POPL-2027 LOCATION:Mexico City URL:https://popl27.sigplan.org/home/PLMW-POPL-2027 CATEGORIES:Mentoring,PL,Semantics,Types,Verification 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: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: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:cav-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270120 DTEND;VALUE=DATE:20270121 SUMMARY:CAV 2027 deadline DESCRIPTION:International Conference on Computer-Aided Verification\nDeadli ne: Jan 20\, 2027 · 23:59 AoE\nEvent: July 19 to 23\, 2027\nSource: https ://conferences.i-cav.org/2027/ LOCATION:Amsterdam\, Netherlands URL:https://conferences.i-cav.org/2027/ CATEGORIES:Conference,Verification,Model Checking,Formal Methods,Program An alysis,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:mars-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270122 DTEND;VALUE=DATE:20270123 SUMMARY:MARS 2027 deadline DESCRIPTION:Workshop on Models for Formal Analysis of Real Systems\nDeadlin e: Jan 22\, 2027\nEvent: April 11\, 2027\nSource: https://mars-workshop.or g/mars2027/ LOCATION:Copenhagen\, Denmark URL:https://mars-workshop.org/mars2027/ CATEGORIES:Workshop,Formal Methods,Model Checking,Concurrency,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:fse-2027-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270123 DTEND;VALUE=DATE:20270124 SUMMARY:FSE 2027 industry papers deadline DESCRIPTION:ACM International Conference on the Foundations of Software Eng ineering\nIndustry papers deadline: Jan 23\, 2027\nEvent: July 12 to 16\, 2027\nSource: https://conf.researchr.org/track/fse-2027/fse-2027-papers LOCATION:Shenzhen\, China URL:https://conf.researchr.org/home/fse-2027 CATEGORIES:Conference,Program Analysis,Verification,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID: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:csf-2027-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270128 DTEND;VALUE=DATE:20270129 SUMMARY:CSF 2027 winter cycle deadline DESCRIPTION:IEEE Computer Security Foundations Symposium\nWinter cycle dead line: Jan 28\, 2027 · 23:59 AoE\nEvent: September 13 to 17\, 2027\nSource : https://csf2027.ieee-security.org/ LOCATION:Tokyo\, Japan URL:https://csf2027.ieee-security.org/ CATEGORIES:Symposium,Security,Formal Methods,Verification,PL,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:tfp-2027-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270128 DTEND;VALUE=DATE:20270129 SUMMARY:TFP 2027 pre-symposium draft paper deadline DESCRIPTION:International Symposium on Trends in Functional Programming\nPr e-symposium draft paper deadline: Jan 28\, 2027 · 23:59 AoE\nEvent: March 13 to 15\, 2027\nNotification 4 February 2027\nSource: https://trendsfp.g ithub.io/2027/ LOCATION:Kyoto\, Japan URL:https://trendsfp.github.io/2027/ CATEGORIES:Symposium,Functional Programming,PL,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:tfpie-2027-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270204 DTEND;VALUE=DATE:20270205 SUMMARY:TFPIE 2027 draft papers deadline DESCRIPTION:International Workshop on Trends in Functional Programming in E ducation\nDraft papers deadline: Feb 4\, 2027 · 23:59 AoE\nEvent: March 1 2\, 2027\nExtended abstracts of 4 to 6 pages or full drafts\nSource: https ://wiki.tfpie.science.ru.nl/TFPIE2027 LOCATION:Kyoto\, Japan URL:https://wiki.tfpie.science.ru.nl/TFPIE2027 CATEGORIES:Workshop,Functional Programming,PL,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:ecoop-2027-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270211 DTEND;VALUE=DATE:20270212 SUMMARY:ECOOP 2027 round 2 deadline DESCRIPTION:European Conference on Object-Oriented Programming\nRound 2 dea dline: Feb 11\, 2027 · 23:59 AoE\nEvent: June 28 to July 2\, 2027\nSource : https://2027.ecoop.org/dates LOCATION:Turin\, Italy URL:https://2027.ecoop.org/ CATEGORIES:Conference,PL,Types,Program Analysis,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:cade-31-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270215 DTEND;VALUE=DATE:20270216 SUMMARY:CADE-31 abstract deadline DESCRIPTION:International Conference on Automated Deduction\nAbstract deadl ine: Feb 15\, 2027\nEvent: August 22 to 25\, 2027\nSource: https://fscd-ca de.science.ru.nl/calls/papers-cade LOCATION:Nijmegen\, Netherlands URL:https://fscd-cade.science.ru.nl/ CATEGORIES:Conference,Theorem Proving,Logic,Formal Methods,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:icalp-2027-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270215 DTEND;VALUE=DATE:20270216 SUMMARY:ICALP 2027 track b round 2 deadline DESCRIPTION:International Colloquium on Automata\, Languages and Programmin g\nTrack B round 2 deadline: Feb 15\, 2027\nEvent: July 5 to 9\, 2027\nEar ly-to-mid February 2027\; exact date not yet announced\nSource: https://ic alp.uj.edu.pl/track-b/ LOCATION:Kraków\, Poland URL:https://icalp.uj.edu.pl/ CATEGORIES:Conference,Logic,Semantics,Verification,Types,Concurrency,Deadli ne TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:cade-31-deadline-2@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270222 DTEND;VALUE=DATE:20270223 SUMMARY:CADE-31 paper deadline DESCRIPTION:International Conference on Automated Deduction\nPaper deadline : Feb 22\, 2027\nEvent: August 22 to 25\, 2027\nSource: https://fscd-cade. science.ru.nl/calls/papers-cade LOCATION:Nijmegen\, Netherlands URL:https://fscd-cade.science.ru.nl/ CATEGORIES:Conference,Theorem Proving,Logic,Formal Methods,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID:icfp-2027-deadline-0@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270225 DTEND;VALUE=DATE:20270226 SUMMARY:ICFP 2027 deadline DESCRIPTION:ACM SIGPLAN International Conference on Functional Programming\ nDeadline: Feb 25\, 2027\nEvent: September 26 to October 1\, 2027\nSource: https://icfp27.sigplan.org/dates LOCATION:Nijmegen\, Netherlands URL:https://icfp27.sigplan.org/ CATEGORIES:Conference,Functional Programming,PL,Types,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID: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:mgs-2027-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270405 DTEND;VALUE=DATE:20270410 SUMMARY:MGS 2027 DESCRIPTION:Midlands Graduate School in the Foundations of Computing Scienc e\nFive days of technical courses on introductory\, advanced\, and emergin g topics in the mathematical foundations of computing\, including category theory\, logic\, proof theory\, type theory\, and verification.\nSource: https://mgs2027.pages.dev LOCATION:Birmingham\, United Kingdom URL:https://mgs2027.pages.dev CATEGORIES:Doctoral School,Logic,Semantics,Types,Verification 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:splash-2027-deadline-1@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270407 DTEND;VALUE=DATE:20270408 SUMMARY:SPLASH 2027 oopsla round 2 deadline DESCRIPTION:ACM SIGPLAN Conference on Systems\, Programming\, Languages\, a nd Applications\nOOPSLA round 2 deadline: Apr 7\, 2027 · 23:59 AoE\nEvent : October 10 to 15\, 2027\nSource: https://conf.researchr.org/track/splash -2027/splashoopsla2027 LOCATION:Prague\, Czechia URL:https://2027.splashcon.org/ CATEGORIES:Conference,PL,Program Analysis,Compilers,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID: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:tfpie-2027-deadline-2@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270408 DTEND;VALUE=DATE:20270409 SUMMARY:TFPIE 2027 post-workshop papers deadline DESCRIPTION:International Workshop on Trends in Functional Programming in E ducation\nPost-workshop papers deadline: Apr 8\, 2027 · 23:59 AoE\nEvent: March 12\, 2027\nSource: https://wiki.tfpie.science.ru.nl/TFPIE2027 LOCATION:Kyoto\, Japan URL:https://wiki.tfpie.science.ru.nl/TFPIE2027 CATEGORIES:Workshop,Functional Programming,PL,Deadline TRANSP:TRANSPARENT END:VEVENT BEGIN:VEVENT UID: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:emw-2027-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270411 DTEND;VALUE=DATE:20270412 SUMMARY:EMW 2027 DESCRIPTION:ETAPS Mentoring Workshop\nTalks by computer science researchers at different career stages about the paths they took\, with discussion an d social events\, for master's and PhD students and postdocs.\nSource: htt ps://etaps.org/2027/sat-events LOCATION:Copenhagen\, Denmark URL:https://etaps.org/2027/sat-events/mentoring-workshop/ CATEGORIES:Mentoring,Formal Methods,PL,Verification 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:tfp-2027-deadline-2@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270429 DTEND;VALUE=DATE:20270430 SUMMARY:TFP 2027 post-symposium paper deadline DESCRIPTION:International Symposium on Trends in Functional Programming\nPo st-symposium paper deadline: Apr 29\, 2027 · 23:59 AoE\nEvent: March 13 t o 15\, 2027\nFull papers for the formal proceedings\, written up after the meeting\nSource: https://trendsfp.github.io/2027/ LOCATION:Kyoto\, Japan URL:https://trendsfp.github.io/2027/ CATEGORIES:Symposium,Functional Programming,PL,Deadline TRANSP:TRANSPARENT END:VEVENT 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:pliss-2027-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270516 DTEND;VALUE=DATE:20270523 SUMMARY:PLISS 2027 DESCRIPTION:Programming Language Implementation Summer School\n9th edition. Lectures\, discussion of current research and practice\, and mentoring se ssions that prepare students for advanced study in programming language im plementation.\nSource: https://pliss.org/2027/ LOCATION:Bertinoro\, Italy URL:https://pliss.org/2027/ CATEGORIES:Summer School,PL,Compilers 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:esslli-2027-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270802 DTEND;VALUE=DATE:20270814 SUMMARY:ESSLLI 2027 DESCRIPTION:European Summer School in Logic\, Language and Information\n38t h edition\, hosted by the University of Tartu at the Delta Centre. Around fifty foundational\, introductory\, and advanced courses and workshops at the interface of logic\, linguistics\, and computation.\nSource: https://d igits.ut.ee/esslli-2027/ LOCATION:Tartu\, Estonia URL:https://digits.ut.ee/esslli-2027/ CATEGORIES:Summer School,Logic,Semantics,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:fosad-2027-school@plfm DTSTAMP:20261025T090816Z DTSTART;VALUE=DATE:20270830 DTEND;VALUE=DATE:20270904 SUMMARY:FOSAD 2027 DESCRIPTION:International School on Foundations of Security Analysis and De sign\nA spectrum of current research in the foundations of cyber security\ , for graduate students and young researchers from academia or industry wh o intend to approach the field.\nSource: https://sites.google.com/uniurb.i t/fosad LOCATION:Bertinoro\, Italy URL:https://sites.google.com/uniurb.it/fosad CATEGORIES:Summer School,Security,Formal Methods,Verification 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