PLFM | Calendar

August 2026

August 2026
Mon	Tue	Wed	Thu	Fri	Sat	Sun
					1	2
3	4	5	6	7	8	9
10	11	12	13	14	15	16
17	18	19	20	21	22	23
24	25	26	27	28	29	30
31

Aug 3, 2026

Aug 6, 2026

Aug 10, 2026

Aug 11, 2026

Aug 14, 2026

Aug 17, 2026

Aug 21, 2026

Aug 22, 2026

Aug 24, 2026today

Aug 26, 2026

Aug 27, 2026

Aug 28, 2026

Aug 29, 2026

Aug 30, 2026

Aug 31, 2026

In August 2026

WoLLIC 2026

August 3 to 6, 2026

Workshop on Logic, Language, Information and Computation

Workshop · Logic · Semantics · Types · Lima, Peru

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

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

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

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

SLS 2026

August 21 to 23, 2026

Scandinavian Logic Symposium

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

Website

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

FPW 2026

August 24 to 28, 2026

Functional Programming Workshops

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

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

ICFP 2026

August 24 to 29, 2026

ACM SIGPLAN International Conference on Functional Programming

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

Website

MFCS 2026

August 24 to 28, 2026

International Symposium on Mathematical Foundations of Computer Science

Symposium · Logic · Semantics · Concurrency · Paris, France

Website

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

OCaml 2026

August 24, 2026

OCaml Users and Developers Workshop

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

Website

Colocated with ICFP 2026

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

TyDe 2026

August 26 to 27, 2026

Workshop on Type-Driven Development

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

Website

Colocated with FPW 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

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.

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

ICLA 2027

Paper: Aug 28, 2026in 5 days

Indian Conference on Logic and its Applications

Conference · Logic · Formal Methods · Verification · Theorem Proving · Bangalore, India

Website

ML 2026

August 28, 2026

ML Family Workshop

Workshop · Functional Programming · Types · PL · 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

Scheme 2026

August 29, 2026

Scheme and Functional Programming Workshop

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

Website

Colocated with ICFP 2026

AITP 2026

August 30 to September 4, 2026

Conference on Artificial Intelligence and Theorem Proving

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

Website

Summer School on Proof Assistants and Applications

August 31 to September 4, 2026

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

Website

Everything upcoming

86 entries

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

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

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

TyDe 2026

August 26 to 27, 2026

Workshop on Type-Driven Development

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

Website

Colocated with FPW 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

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.

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

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

ICLA 2027

Paper: Aug 28, 2026in 5 days

Indian Conference on Logic and its Applications

Conference · Logic · Formal Methods · Verification · Theorem Proving · Bangalore, India

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

Summer School on Proof Assistants and Applications

August 31 to September 4, 2026

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

Website

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

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

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

CPP 2027

Abstract: Sep 3, 2026 · 23:59 AoEin 11 days

International Conference on Certified Programs and Proofs

Conference · Theorem Proving · Verification · Types · Mexico City

Website

Colocated with POPL 2027

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

IFL 2026

Draft paper: Sep 4, 2026in 12 days

Symposium on Implementation and Application of Functional Languages

Symposium · Functional Programming · PL · Compilers · Gothenburg, Sweden

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

ASPLOS 2027

Sep 9, 2026 · 23:59 AoEin 17 days

International Conference on Architectural Support for Programming Languages and Operating Systems

Conference · PL · Compilers · Concurrency · Heraklion, Crete, Greece

Website

CGO 2027

Sep 10, 2026 · 23:59 AoEin 18 days

IEEE/ACM International Symposium on Code Generation and Optimization

Symposium · Compilers · PL · Program Analysis · Salt Lake City, Utah, United States

Website

Colocated with HPCA, PPoPP and CC 2027

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

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

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

VMCAI 2027

Sep 16, 2026 · 23:59 AoEin 24 days

International Conference on Verification, Model Checking, and Abstract Interpretation

Conference · Verification · Model Checking · Program Analysis · Mexico City

Website

Colocated with POPL 2027

CICM 2026

September 21 to 25, 2026

Conference on Intelligent Computer Mathematics

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

Website

LAP 2026

September 23 to 27, 2026

International Conference on Logic and Applications

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

Website

SPLASH 2026

October 3 to 9, 2026

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

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

Website

VMIL 2026

October 3 to 9, 2026

Workshop on Virtual Machines and Language Implementations

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

Website

Colocated with SPLASH 2026

FSE 2027

Research papers: Oct 2, 2026in 40 days

ACM International Conference on the Foundations of Software Engineering

Conference · Program Analysis · Verification · Shenzhen, China

Website

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

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 to 8, 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

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

POPL 2027

Student research competition: Oct 12, 2026 · 23:59 AoE

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Symposium · PL · Semantics · Types · Verification · Mexico City

Website

ETAPS 2027

Paper: Oct 15, 2026 · 23:59 AoE

European Joint Conferences on Theory and Practice of Software

Conference · Formal Methods · PL · Semantics · Verification · Copenhagen, Denmark

Website

FSEN 2027

Abstract: Oct 19, 2026

International Conference on Fundamentals of Software Engineering

Conference · Formal Methods · Verification · PL · Enschede, Netherlands

Website

FPBT 2027

Oct 23, 2026 · 23:59 AoE

Workshop on the Future of Property-Based Testing

Workshop · PL · Verification · Functional Programming · Mexico City

Website

Colocated with POPL 2027

LPAR-26

October 25 to 30, 2026

International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Conference · Logic · Theorem Proving · PL · Spetses, Greece

Website

IWIL 2026

October 25, 2026

International Workshop on the Implementation of Logics

Workshop · Logic · Theorem Proving · PL · Spetses, Greece

Website

Colocated with LPAR-26

TPSA 2027

Oct 29, 2026 · 23:59 AoE

Workshop on the Theory and Practice of Static Analysis

Workshop · Program Analysis · Verification · PL · Formal Methods · Mexico City

Website

Colocated with POPL 2027

FormaliSE 2027

Abstract: Oct 30, 2026

International Conference on Formal Methods in Software Engineering

Conference · Formal Methods · Verification · Program Analysis · Dublin, Ireland

Website

Colocated with ICSE 2027

PLanQC 2027

Oct 30, 2026 · 23:59 AoE

International Workshop on Programming Languages for Quantum Computing

Workshop · Quantum · PL · Verification · Types · Mexico City

Website

Colocated with POPL 2027

ICTAC School 2026

November 9 to 10, 2026

ICTAC Postgraduate School on Formal Methods for Mission-Critical Software

Doctoral School · Formal Methods · Verification · Model Checking · Bariloche, Argentina

Website

Open to: PhD, Postdocs

ICTAC 2026

November 11 to 13, 2026

International Colloquium on Theoretical Aspects of Computing

Conference · Formal Methods · Semantics · Verification · Bariloche, Argentina

Website

ICFEM 2026

November 17 to 20, 2026

International Conference on Formal Engineering Methods

Conference · Formal Methods · Verification · Southampton, United Kingdom

Website

FMAS 2026

November 17 to 18, 2026

International Workshop on Formal Methods for Autonomous Systems

Workshop · Formal Methods · Verification · Southampton, United Kingdom

Website

Colocated with ICFEM 2026

PLAS 2026

November 19, 2026

Workshop on Programming Languages and Analysis for Security

Workshop · Security · PL · Program Analysis · Verification · The Hague, Netherlands

Website

Colocated with CCS 2026

ECOOP 2027

Round 1: Nov 19, 2026 · 23:59 AoE

European Conference on Object-Oriented Programming

Conference · PL · Types · Program Analysis · Turin, Italy

Website

STARS 2026

November 23, 2026

International Workshop on Static and Runtime Verification Synergies

Workshop · Verification · Formal Methods · Program Analysis · Valletta, Malta

Website

Submission deadline: TBA · Colocated with SEFM 2026

ReacTS 2026

November 24, 2026

International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications

Workshop · Formal Methods · Logic · Semantics · Valletta, Malta

Website

Submission deadline: TBA · Colocated with SEFM 2026

SEFM 2026

November 25 to 27, 2026

International Conference on Software Engineering and Formal Methods

Conference · Formal Methods · Verification · Valletta, Malta

Website

APLAS 2026

December 1 to 5, 2026

Asian Symposium on Programming Languages and Systems

Symposium · PL · Types · Semantics · Hong Kong, China

Website

Colocated with ATVA 2026

SBMF 2026

December 1 to 4, 2026

Brazilian Symposium on Formal Methods

Symposium · Formal Methods · Verification · Rio de Janeiro, Brazil

Website

ATVA 2026

December 1 to 5, 2026

International Symposium on Automated Technology for Verification and Analysis

Symposium · Verification · Formal Methods · Model Checking · Hong Kong, China

Website

Colocated with APLAS 2026

FSTTCS 2026

December 16 to 18, 2026

IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

Conference · PL · Verification · Formal Methods · Logic · New Delhi, India

Website

CSL 2027

January 25 to 29, 2027

EACSL Annual Conference on Computer Science Logic

Conference · Logic · Semantics · Types · Brighton, United Kingdom

Website

Programming 2027

March 15 to 19, 2027

International Conference on the Art, Science, and Engineering of Programming

Conference · PL · Semantics · Kyoto, Japan

Website

Submission deadline: TBA

CC 2027

March 20 to 24, 2027

ACM SIGPLAN International Conference on Compiler Construction

Conference · Compilers · PL · Program Analysis · Salt Lake City, Utah, United States

Website

Submission deadline: TBA · Colocated with HPCA, CGO and PPoPP 2027

PPoPP 2027

March 20 to 24, 2027

ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Symposium · PL · Concurrency · Compilers · Salt Lake City, Utah, United States

Website

Colocated with HPCA, CGO and CC 2027

PLDI 2027

June 5 to 11, 2027

ACM SIGPLAN Conference on Programming Language Design and Implementation

Conference · PL · Compilers · Program Analysis · Atlanta, Georgia, United States

Website

Submission deadline: TBA

TYPES 2027

June 7 to 11, 2027

International Conference on Types for Proofs and Programs

Conference · Types · Theorem Proving · Logic · Semantics · Udine, Italy

Website

Submission deadline: TBA

LICS 2027

June 21 to 24, 2027

ACM/IEEE Symposium on Logic in Computer Science

Symposium · Logic · Semantics · Types · Montreal, Canada

Website

Submission deadline: TBA

SPLASH 2027

August 11 to 13, 2027

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

Conference · PL · Program Analysis · Compilers · Denver, Colorado, United States

Website

Submission deadline: TBA

FSCD 2027

August 23 to 26, 2027

International Conference on Formal Structures for Computation and Deduction

Conference · Logic · Types · Theorem Proving · Semantics · Nijmegen, Netherlands

Website

Submission deadline: TBA

CADE-31

August 24 to 27, 2027

International Conference on Automated Deduction

Conference · Theorem Proving · Logic · Formal Methods · Nijmegen, Netherlands

Website

Submission deadline: TBA · Colocated with FSCD 2027

FM 2027

October 18 to 22, 2027

International Symposium on Formal Methods

Symposium · Formal Methods · Verification · Athens, Greece

Website

Submission deadline: TBA

NSAD 2026

Dates TBA

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

IWACO 2026

Dates TBA

International Workshop on Aliasing, Capabilities and Ownership

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

Website

Colocated with SPLASH 2026

LMPL 2026

Dates TBA

International Workshop on Language Models and Programming Languages

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

Website

Colocated with SPLASH 2026

HATRA 2026

Dates TBA

Workshop on Human Aspects of Types and Reasoning Assistants

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

Website

Colocated with SPLASH 2026

Inclusion is not an endorsement. Always confirm dates and eligibility on the official page before you rely on them.

Missing something?

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