BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//PLFM//Programming Languages and Formal Methods Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:PLFM: schools
X-WR-CALDESC:Summer and winter schools\, doctoral schools\, and mentoring w
 orkshops\, with their application deadlines.
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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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
END:VCALENDAR