PLFM | Archive

Archive

58 archived entries

Events and calls

IWACO 2026

October 9, 2026

International Workshop on Aliasing, Capabilities and Ownership

Workshop · Types · PL · Semantics · Verification · Oakland, California, United States

Website

Colocated with SPLASH 2026

LMPL 2026

October 9, 2026

International Workshop on Language Models and Programming Languages

Workshop · PL · Program Analysis · Synthesis · Oakland, California, United States

Website

Colocated with SPLASH 2026

PLSS 2026

October 8, 2026

Workshop on Programming Language Standardization and Specification

Workshop · PL · Semantics · Formal Methods · Oakland, California, United States

Website

Colocated with SPLASH 2026

VMIL 2026

October 8, 2026

Workshop on Virtual Machines and Language Implementations

Workshop · PL · Compilers · Oakland, California, United States

Website

Colocated with SPLASH 2026

NSAD 2026

October 7, 2026

ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains

Workshop · Program Analysis · Verification · Formal Methods · PL · Oakland, California, United States

Website

Colocated with SPLASH 2026

RV 2026

October 6 to 9, 2026

International Conference on Runtime Verification

Conference · Verification · Formal Methods · Program Analysis · Kingston, Ontario, Canada

Website

SpecOps 2026

October 6, 2026

International Workshop on Specification-Driven Development Life Cycle

Workshop · Formal Methods · Verification · Synthesis · PL · Oakland, California, United States

Website

Colocated with SPLASH 2026

SAS 2026

October 6 to 8, 2026

Static Analysis Symposium

Symposium · Program Analysis · Verification · Semantics · Oakland, California, United States

Website

Colocated with SPLASH 2026

SPLASH 2026

October 4 to 9, 2026

ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications

Conference · PL · Program Analysis · Oakland, California, United States

Website

HATRA 2026

October 4, 2026

Workshop on Human Aspects of Types and Reasoning Assistants

Workshop · Types · PL · Theorem Proving · Verification · Oakland, California, United States

Website

Colocated with SPLASH 2026

SSNL 2026

October 4, 2026

Workshop on Software Systems Across the National Laboratories

Workshop · Formal Methods · Verification · PL · Theorem Proving · Oakland, California, United States

Website

Colocated with SPLASH 2026

IICT 2026

October 2 to 3, 2026

Workshop on Innovations in Compiler Technology

Workshop · Compilers · PL · Bengaluru, India

Website

SMLS 2026

September 25, 2026

Southern and Midlands Logic Seminar

Community meeting · Logic · Semantics · Brighton, United Kingdom

Website

LAP 2026

September 23 to 27, 2026

International Conference on Logic and Applications

Conference · Logic · Types · Theorem Proving · Concurrency · Dubrovnik, Croatia

Website

CICM 2026

September 21 to 25, 2026

Conference on Intelligent Computer Mathematics

Conference · Theorem Proving · Logic · Formal Methods · Types · Ljubljana, Slovenia

Website

GandALF 2026

September 15 to 17, 2026

International Symposium on Games, Automata, Logics, and Formal Verification

Symposium · Logic · Verification · Model Checking · Semantics · Aalborg, Denmark

Website

FROM 2026

September 15 to 17, 2026

Working Formal Methods Symposium

Symposium · Formal Methods · Verification · Logic · Theorem Proving · Timisoara, Romania

Website

Colocated with SYNASC 2026

FMCAD 2026

September 14 to 18, 2026

Conference on Formal Methods in Computer-Aided Design

Conference · Formal Methods · Verification · Model Checking · Graz, Austria

Website

VSTTE 2026

September 14, 2026

International Conference on Verified Software, Theories, Tools, and Experiments

Conference · Verification · Formal Methods · Theorem Proving · Graz, Austria

Website

Colocated with FMCAD 2026

SYNASC 2026

September 14 to 17, 2026

International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Symposium · Formal Methods · Theorem Proving · Logic · Timisoara, Romania

Website

Highlights 2026

September 7 to 11, 2026

Highlights of Logic, Games and Automata

Conference · Logic · Verification · Model Checking · Semantics · Vienna, Austria

Website

LPNMR 2026

September 7 to 11, 2026

International Conference on Logic Programming and Non-monotonic Reasoning

Conference · Logic · PL · Theorem Proving · Klagenfurt, Austria

Website

ICTCS 2026

September 7 to 9, 2026

Italian Conference on Theoretical Computer Science

Conference · Logic · Formal Methods · Verification · Quantum · Udine, Italy

Website

EXPRESS/SOS 2026

September 5, 2026

Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics

Workshop · Concurrency · Semantics · PL · Liverpool, United Kingdom

Website

Colocated with CONFEST 2026

RADICAL 2026

September 5, 2026

Workshop on Recent Advances in Concurrency and Logic

Workshop · Concurrency · Logic · Verification · Liverpool, United Kingdom

Website

Colocated with CONFEST 2026

FMICS 2026

September 3 to 4, 2026

International Conference on Formal Methods for Industrial Critical Systems

Conference · Formal Methods · Verification · Model Checking · Liverpool, United Kingdom

Website

Colocated with CONFEST 2026

QEST+FORMATS 2026

September 2 to 4, 2026

International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

Conference · Formal Methods · Verification · Model Checking · Probabilistic Programming · Liverpool, United Kingdom

Website

Colocated with CONFEST 2026

CONCUR 2026

September 1 to 5, 2026

International Conference on Concurrency Theory

Conference · Concurrency · Semantics · Formal Methods · Liverpool, United Kingdom

Website

Colocated with CONFEST 2026

TIME 2026

September 1 to 3, 2026

International Symposium on Temporal Representation and Reasoning

Symposium · Logic · Verification · Model Checking · Cork, Ireland

Website

AITP 2026

August 30 to September 4, 2026

Conference on Artificial Intelligence and Theorem Proving

Conference · Theorem Proving · Logic · Formal Methods · Aussois, France

Website

Scheme 2026

August 29, 2026

Scheme and Functional Programming Workshop

Workshop · Functional Programming · PL · Compilers · Indianapolis, Indiana, United States

Website

Colocated with ICFP 2026

FUNARCH 2026

August 29, 2026

Workshop on Functional Software Architecture

Workshop · Functional Programming · PL · Indianapolis, Indiana, United States

Website

Colocated with ICFP 2026

Erlang 2026

August 28, 2026

ACM SIGPLAN Erlang Workshop

Workshop · Functional Programming · Concurrency · PL · Indianapolis, Indiana, United States

Website

Colocated with ICFP 2026

Haskell 2026

August 28 to 29, 2026

ACM SIGPLAN International Haskell Symposium

Symposium · Functional Programming · PL · Types · Indianapolis, Indiana, United States

Website

Colocated with ICFP 2026

ML 2026

August 28, 2026

ML Family Workshop

Workshop · Functional Programming · Types · PL · Indianapolis, Indiana, United States

Website

Colocated with ICFP 2026

LOPSTR and PPDP 2026

August 27 to 29, 2026

Logic-Based Program Synthesis and Transformation, and Principles and Practice of Declarative Programming

Symposium · Logic · PL · Synthesis · Program Analysis · Indianapolis, Indiana, United States

Website

Colocated with ICFP 2026

TyDe 2026

August 26 to 27, 2026

Workshop on Type-Driven Development

Workshop · Types · Functional Programming · PL · Paris, France

Website

Colocated with FPW 2026

ICFP 2026

August 24 to 29, 2026

ACM SIGPLAN International Conference on Functional Programming

Conference · Functional Programming · PL · Types · Indianapolis, Indiana, United States

Website

FPW 2026

August 24 to 28, 2026

Functional Programming Workshops

Colocated event · Functional Programming · PL · Types · Paris, France

Website

Colocated with ICFP 2026

MFCS 2026

August 24 to 28, 2026

International Symposium on Mathematical Foundations of Computer Science

Symposium · Logic · Semantics · Concurrency · Paris, France

Website

OCaml 2026

August 24, 2026

OCaml Users and Developers Workshop

Workshop · Functional Programming · PL · Compilers · Indianapolis, Indiana, United States

Website

Colocated with ICFP 2026

FARM 2026

August 24, 2026

Workshop on Functional Art, Music, Modelling and Design

Workshop · Functional Programming · PL · Indianapolis, Indiana, United States

Website

Colocated with ICFP 2026

HOPE 2026

August 24, 2026

Workshop on Higher-Order Programming with Effects

Workshop · Functional Programming · Semantics · Types · Indianapolis, Indiana, United States

Website

Colocated with ICFP 2026

miniKanren 2026

August 24, 2026

Workshop on miniKanren and Relational Programming

Workshop · PL · Functional Programming · Logic · Indianapolis, Indiana, United States

Website

Colocated with ICFP 2026

SLS 2026

August 21 to 23, 2026

Scandinavian Logic Symposium

Symposium · Logic · Semantics · Theorem Proving · Copenhagen, Denmark

Website

WoLLIC 2026

August 3 to 6, 2026

Workshop on Logic, Language, Information and Computation

Workshop · Logic · Semantics · Types · Lima, Peru

Website

FM Update 2026

July 2 to 3, 2026

Formal Methods Update Meeting

Community meeting · Formal Methods · Verification · Model Checking · Theorem Proving · Sri City, India

Website

Schools

SPLASH/ISSTA Summer School 2026

October 5 to 6, 2026

SPLASH/ISSTA Summer School

Summer School · PL · Verification · Probabilistic Programming · Quantum · Oakland, California, United States

Website

Open to: Students, PhD · Funding: Travel and childcare support grants available

PLMW at SPLASH 2026

October 4, 2026

Programming Languages Mentoring Workshop at SPLASH and ISSTA 2026

Mentoring · PL · Program Analysis · Oakland, California, United States

Website

Open to: Students, PhD · Funding: Partial reimbursement of travel, housing, and registration by application

Autumn School on Proof and Computation

September 13 to 19, 2026

Doctoral School · Theorem Proving · Types · Logic · Semantics · Fischbachau, Germany

Website

Open to: PhD, Postdocs · Funding: Accommodation and meals for applicants with funding difficulties

Summer School on Proof Assistants and Applications

August 31 to September 4, 2026

Summer School · Theorem Proving · Types · Logic · Strasbourg, France

Website

RW 2026

August 27 to 30, 2026

Reasoning Web Summer School

Summer School · Logic · Semantics · Theorem Proving · Vilnius, Lithuania

Website

Open to: Students, PhD, Postdocs · Funding: Grants are awarded as registration fee waivers of 240 EUR.

PLMW at ICFP 2026

August 24, 2026

Programming Languages Mentoring Workshop at ICFP 2026

Mentoring · PL · Functional Programming · Indianapolis, Indiana, United States

Website

Open to: Students, PhD · Funding: Travel, housing, and registration support by application

NLSS 2026

August 17 to 20, 2026

Nordic Logic Summer School

Summer School · Logic · Semantics · Theorem Proving · Copenhagen, Denmark

Website

Open to: Students, PhD, Postdocs

Marktoberdorf 2026

August 11 to 22, 2026

Marktoberdorf Summer School on Engineering Secure and Dependable Software Systems

Summer School · Formal Methods · Verification · Security · Herrsching am Ammersee, Germany

Website

Open to: PhD, Postdocs

PLS 2026

August 10 to 14, 2026

Summer School on Programming Languages, Logic and Software Security

Summer School · PL · Logic · Types · Verification · Security · Aarhus, Denmark

Website

ESSLLI 2026

August 3 to 14, 2026

European Summer School in Logic, Language and Information

Summer School · Logic · Semantics · Types · Prague, Czechia

Website

Open to: Students, PhD, Postdocs

SSFT 2026

May 23 to 29, 2026

Summer School on Formal Techniques

Summer School · Formal Methods · Verification · Theorem Proving · Security · Atherton, California, United States

Website

Application deadline: Mar 31, 2026 · Open to: PhD, Postdocs · Funding: NSF funding covers travel, food, and lodging for selected US-based students; others pay about $150 a day

Missing something?

Know of a conference, workshop, summer school, or submission deadline that should be on PLFM? Spot an error? Write to bhumikamittal@gatech.edu.