IICT 2026
October 2 to 3, 2026
Workshop on Innovations in Compiler Technology
| 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 |
Oct 1, 2026
Oct 2, 2026
Oct 4, 2026
Oct 5, 2026
Oct 6, 2026
Oct 7, 2026
Oct 8, 2026
Oct 9, 2026
Oct 10, 2026
Oct 11, 2026
Oct 12, 2026
Oct 14, 2026
Oct 15, 2026
Oct 16, 2026
Oct 19, 2026
Oct 20, 2026
Oct 22, 2026
Oct 23, 2026
Oct 25, 2026
Oct 26, 2026
Oct 28, 2026
Oct 29, 2026
Oct 30, 2026
Oct 31, 2026
In October 2026
HATRA 2026
October 4, 2026
Workshop on Human Aspects of Types and Reasoning Assistants
Colocated with SPLASH 2026
SPLASH 2026
October 4 to 9, 2026
ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications
SSNL 2026
October 4, 2026
Workshop on Software Systems Across the National Laboratories
Colocated with SPLASH 2026
PLMW at SPLASH 2026
October 4, 2026
Programming Languages Mentoring Workshop at SPLASH and ISSTA 2026
Open to: Students, PhD · Funding: Partial reimbursement of travel, housing, and registration by application
SPLASH/ISSTA Summer School 2026
October 5 to 6, 2026
SPLASH/ISSTA Summer School
Open to: Students, PhD · Funding: Travel and childcare support grants available
RV 2026
October 6 to 9, 2026
International Conference on Runtime Verification
SAS 2026
October 6 to 8, 2026
Static Analysis Symposium
Colocated with SPLASH 2026
SpecOps 2026
October 6, 2026
International Workshop on Specification-Driven Development Life Cycle
Colocated with SPLASH 2026
NSAD 2026
October 7, 2026
ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
Colocated with SPLASH 2026
PLSS 2026
October 8, 2026
Workshop on Programming Language Standardization and Specification
Colocated with SPLASH 2026
VMIL 2026
October 8, 2026
Workshop on Virtual Machines and Language Implementations
Colocated with SPLASH 2026
IWACO 2026
October 9, 2026
International Workshop on Aliasing, Capabilities and Ownership
Colocated with SPLASH 2026
LMPL 2026
October 9, 2026
International Workshop on Language Models and Programming Languages
Colocated with SPLASH 2026
IWIL 2026
October 25, 2026
International Workshop on the Implementation of Logics
Colocated with LPAR-26
LPAR-26
October 25 to 30, 2026
International Conference on Logic for Programming, Artificial Intelligence and Reasoning
MWPLS 2026
Registration: Oct 26, 2026in 2 days
Midwest Programming Languages Summit
FSEN 2027
Paper: Oct 28, 2026in 4 days
International Conference on Fundamentals of Software Engineering
IFL 2026
October 28 to 30, 2026
Symposium on Implementation and Application of Functional Languages
Submission deadline: Nov 25, 2026
WAVE 2027
Oct 28, 2026 · 23:59 AoEin 4 days
Workshop on Auto-active Verification
Colocated with POPL 2027
ETAPS 2027
Artifact: Oct 29, 2026 · 23:59 AoEin 5 days
European Joint Conferences on Theory and Practice of Software
TPSA 2027
Oct 29, 2026 · 23:59 AoEin 5 days
Workshop on the Theory and Practice of Static Analysis
Colocated with POPL 2027
FormaliSE 2027
Abstract: Oct 30, 2026in 6 days
International Conference on Formal Methods in Software Engineering
Colocated with ICSE 2027
PLanQC 2027
Oct 30, 2026 · 23:59 AoEin 6 days
International Workshop on Programming Languages for Quantum Computing
Colocated with POPL 2027
AILA 2027
Abstract: Oct 31, 2026 · 23:59 AoEin 7 days
International Conference on Artificial Intelligence Logic and Applications
PAgE 2027
Oct 31, 2026 · 23:59 AoEin 7 days
Workshop on Principles of Agentic Engineering
Colocated with POPL 2027
Everything upcoming
92 entries
LPAR-26
October 25 to 30, 2026
International Conference on Logic for Programming, Artificial Intelligence and Reasoning
IWIL 2026
October 25, 2026
International Workshop on the Implementation of Logics
Colocated with LPAR-26
MWPLS 2026
Registration: Oct 26, 2026in 2 days
Midwest Programming Languages Summit
IFL 2026
October 28 to 30, 2026
Symposium on Implementation and Application of Functional Languages
Submission deadline: Nov 25, 2026
FSEN 2027
Paper: Oct 28, 2026in 4 days
International Conference on Fundamentals of Software Engineering
WAVE 2027
Oct 28, 2026 · 23:59 AoEin 4 days
Workshop on Auto-active Verification
Colocated with POPL 2027
ETAPS 2027
Artifact: Oct 29, 2026 · 23:59 AoEin 5 days
European Joint Conferences on Theory and Practice of Software
TPSA 2027
Oct 29, 2026 · 23:59 AoEin 5 days
Workshop on the Theory and Practice of Static Analysis
Colocated with POPL 2027
FormaliSE 2027
Abstract: Oct 30, 2026in 6 days
International Conference on Formal Methods in Software Engineering
Colocated with ICSE 2027
PLanQC 2027
Oct 30, 2026 · 23:59 AoEin 6 days
International Workshop on Programming Languages for Quantum Computing
Colocated with POPL 2027
AILA 2027
Abstract: Oct 31, 2026 · 23:59 AoEin 7 days
International Conference on Artificial Intelligence Logic and Applications
PAgE 2027
Oct 31, 2026 · 23:59 AoEin 7 days
Workshop on Principles of Agentic Engineering
Colocated with POPL 2027
ECLAPS 2026
Talk proposals: Nov 1, 2026in 8 days
Eastern Canada Logic and Programming Seminar
NJPLS November 2026
Registration: Nov 1, 2026in 8 days
New Jersey Programming Languages and Systems Seminar
BOB 2027
Nov 2, 2026in 9 days
BOB Conference
NWPT 2026
Registration: Nov 2, 2026 · 23:59 AoEin 9 days
Nordic Workshop on Programming Theory
LAFI 2027
Nov 2, 2026 · 23:59 AoEin 9 days
Workshop on Languages for Inference
Colocated with POPL 2027
WAW 2027
Nov 3, 2026 · 23:59 AoEin 10 days
WebAssembly Workshop
Colocated with POPL 2027
FRIDA 2027
Nov 6, 2026 · 23:59 AoEin 13 days
Workshop on Formal Reasoning in Distributed Algorithms
Colocated with POPL 2027
ICTAC School 2026
November 9 to 10, 2026
ICTAC Postgraduate School on Formal Methods for Mission-Critical Software
Open to: PhD, Postdocs
ICTAC 2026
November 11 to 13, 2026
International Colloquium on Theoretical Aspects of Computing
PLDI 2027
Nov 12, 2026 · 23:59 AoEin 19 days
ACM SIGPLAN Conference on Programming Language Design and Implementation
QCOMICAL 2026
November 16 to 20, 2026
QCOMICAL School on Quantum Programming Languages and Semantics
Open to: Everyone · Funding: Free of charge, with lunches and coffee breaks; travel and accommodation are not covered
ICFEM 2026
November 17 to 20, 2026
International Conference on Formal Engineering Methods
FMAS 2026
November 17 to 18, 2026
International Workshop on Formal Methods for Autonomous Systems
Colocated with ICFEM 2026
PLAS 2026
November 19, 2026
Workshop on Programming Languages and Analysis for Security
Colocated with CCS 2026
ECOOP 2027
Round 1: Nov 19, 2026 · 23:59 AoEin 26 days
European Conference on Object-Oriented Programming
TFPIE 2027
Full papers: Nov 19, 2026 · 23:59 AoEin 26 days
International Workshop on Trends in Functional Programming in Education
Colocated with TFP 2027
STARS 2026
November 23, 2026
International Workshop on Static and Runtime Verification Synergies
Colocated with SEFM 2026
ReacTS 2026
November 24, 2026
International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
Colocated with SEFM 2026
SEFM 2026
November 25 to 27, 2026
International Conference on Software Engineering and Formal Methods
APLAS 2026
December 1 to 4, 2026
Asian Symposium on Programming Languages and Systems
Colocated with ATVA 2026
SBMF 2026
December 1 to 4, 2026
Brazilian Symposium on Formal Methods
ATVA 2026
December 1 to 4, 2026
International Symposium on Automated Technology for Verification and Analysis
Colocated with APLAS 2026
Spotlights 2026
December 1, 2026
Spotlights of Verification
Colocated with ATVA 2026
TFP 2027
Pre-symposium full paper: Dec 3, 2026 · 23:59 AoEin 40 days
International Symposium on Trends in Functional Programming
Colocated with TFPIE 2027
CADE-31
Workshop and tutorial proposals: Dec 4, 2026in 41 days
International Conference on Automated Deduction
Colocated with FSCD 2027
FSCD 2027
Workshop and tutorial proposals: Dec 4, 2026in 41 days
International Conference on Formal Structures for Computation and Deduction
ANU LSS 2026
December 7 to 18, 2026
ANU Logic Summer School
Application deadline: Sep 18, 2026 · Open to: Students, PhD, Postdocs, Everyone · Funding: Travel and accommodation grants for students, by application
VeLCrO 2026
December 11, 2026
Workshop on Verification, Logic, and Cryptography
SAT+SMT School 2026
December 14 to 15, 2026
Indian SAT+SMT School
Application deadline: Applications TBA · Open to: Students, PhD, Everyone
FSTTCS 2026
December 16 to 18, 2026
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
RHPL 2026
December 16 to 18, 2026
Workshop on Research Highlights in Programming Languages
Colocated with FSTTCS 2026
NFM 2027
Abstract: Jan 4, 2027 · 23:59 AoE
NASA Formal Methods Symposium
ICLA 2027
January 6 to 8, 2027
Indian Conference on Logic and its Applications
POPL 2027
January 10 to 16, 2027
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
PLMW at POPL 2027
January 10, 2027
Programming Languages Mentoring Workshop at POPL 2027
Application deadline: Oct 19, 2026 · 23:59 AoE · Open to: Students, PhD · Funding: Scholarships covering airfare, hotel, and registration for PLMW and POPL, by application
CPP 2027
January 11 to 12, 2027
International Conference on Certified Programs and Proofs
Colocated with POPL 2027
VMCAI 2027
January 11 to 12, 2027
International Conference on Verification, Model Checking, and Abstract Interpretation
Colocated with POPL 2027
PriSC 2027
January 11, 2027
Workshop on Principles of Secure Compilation
Colocated with POPL 2027
PEPM 2027
January 12, 2027
Workshop on Partial Evaluation and Program Manipulation
Colocated with POPL 2027
FPBT 2027
January 12, 2027
Workshop on the Future of Property-Based Testing
Colocated with POPL 2027
RocqPL 2027
January 16, 2027
Workshop on Rocq for Programming Languages
Colocated with POPL 2027
CAV 2027
Jan 20, 2027 · 23:59 AoE
International Conference on Computer-Aided Verification
MARS 2027
Jan 22, 2027
Workshop on Models for Formal Analysis of Real Systems
Colocated with ETAPS 2027
FSE 2027
Industry papers: Jan 23, 2027
ACM International Conference on the Foundations of Software Engineering
CSL 2027
January 25 to 29, 2027
EACSL Annual Conference on Computer Science Logic
CSF 2027
Winter cycle: Jan 28, 2027 · 23:59 AoE
IEEE Computer Security Foundations Symposium
ICALP 2027
Track B round 2: Feb 15, 2027
International Colloquium on Automata, Languages and Programming
ICFP 2027
Feb 25, 2027
ACM SIGPLAN International Conference on Functional Programming
STACS 2027
March 8 to 12, 2027
International Symposium on Theoretical Aspects of Computer Science
Programming 2027
March 15 to 19, 2027
International Conference on the Art, Science, and Engineering of Programming
CC 2027
March 20 to 24, 2027
ACM SIGPLAN International Conference on Compiler Construction
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
Colocated with HPCA, CGO and CC 2027
CGO 2027
March 20 to 24, 2027
IEEE/ACM International Symposium on Code Generation and Optimization
Colocated with HPCA, PPoPP and CC 2027
SAC-PL 2027
April 5 to 9, 2027
ACM Symposium on Applied Computing, Programming Languages Track
MGS 2027
April 5 to 9, 2027
Midlands Graduate School in the Foundations of Computing Science
Application deadline: Applications TBA · Open to: PhD, Students
SPLASH 2027
OOPSLA round 2: Apr 7, 2027 · 23:59 AoE
ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications
VerifyThis 2027
April 10 to 11, 2027
VerifyThis Verification Competition
Submission deadline: TBA · Colocated with ETAPS 2027
FMQC 2027
April 10, 2027
Workshop on Formal Methods in Quantum Computing
Submission deadline: TBA · Colocated with ETAPS 2027
EMW 2027
April 11, 2027
ETAPS Mentoring Workshop
Application deadline: Applications TBA · Open to: Students, PhD, Postdocs
ASPLOS 2027
April 11 to 15, 2027
International Conference on Architectural Support for Programming Languages and Operating Systems
COOP 2027
April 11, 2027
Workshop on Cooperative Software Verification
Submission deadline: TBA · Colocated with ETAPS 2027
FMBC 2027
April 11, 2027
Workshop on Formal Methods for Blockchains
Submission deadline: TBA · Colocated with ETAPS 2027
PLACES 2027
April 11, 2027
Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Submission deadline: TBA · Colocated with ETAPS 2027
PLISS 2027
May 16 to 22, 2027
Programming Language Implementation Summer School
Application deadline: Applications TBA · Open to: PhD, Students, Everyone · Funding: Financial support for students in need
TYPES 2027
June 7 to 11, 2027
International Conference on Types for Proofs and Programs
Submission deadline: TBA
LICS 2027
June 21 to 24, 2027
ACM/IEEE Symposium on Logic in Computer Science
Submission deadline: TBA
CICM 2027
July 19 to 23, 2027
Conference on Intelligent Computer Mathematics
Submission deadline: TBA
ESSLLI 2027
August 2 to 13, 2027
European Summer School in Logic, Language and Information
Application deadline: Applications TBA · Open to: Students, PhD, Postdocs
FOSAD 2027
August 30 to September 3, 2027
International School on Foundations of Security Analysis and Design
Application deadline: Applications TBA · Open to: PhD, Postdocs, Everyone
TABLEAUX 2027
September 27 to 29, 2027
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Submission deadline: TBA · Colocated with FroCoS 2027
FroCoS 2027
September 29 to October 1, 2027
International Symposium on Frontiers of Combining Systems
Submission deadline: TBA · Colocated with TABLEAUX 2027
FM 2027
October 18 to 22, 2027
International Symposium on Formal Methods
Submission deadline: TBA
DARE 2027
Applications TBA
ACM Europe Summer School on Distributed and Replicated Environments
Runs Dates TBA
EWSCS 2027
Applications TBA
Estonian Winter School in Computer Science
Runs Dates TBA · Open to: PhD, Students, Everyone
FLOLAC 2027
Applications TBA
Formosan Summer School on Logic, Language, and Computation
Runs Dates TBA · Open to: Students
Marktoberdorf 2027
Applications TBA
Marktoberdorf Summer School
Runs Dates TBA · Open to: PhD, Postdocs
OPLSS 2027
Applications TBA
Oregon Programming Languages Summer School
Runs Dates TBA · Open to: PhD, Students, Everyone
SPLV 2027
Applications TBA
Scottish Programming Languages and Verification Summer School
Runs Dates TBA · Open to: PhD
SSFT 2027
Applications TBA
Summer School on Formal Techniques
Runs Dates TBA · Open to: PhD, Postdocs
VTSA 2027
Applications TBA
Summer School on Verification Technology, Systems and Applications
Runs Dates TBA
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, summer school, or submission deadline that should be on PLFM? Spot an error? Write to bhumikamittal@gatech.edu.