PL
Conferences
About
Ctrl
K
All
115
Conferences
49
Workshops
49
Symposia
17
Tags
Live events
Past events
past events · most recent first
September
2026
15
events
Tip: tap any heading to hide its events.
23
Sep
2026
LAP
’26
Logic
Types
Logic and Applications
Dubrovnik, Croatia
·
Sep 23 – 27, 2026
Dates & Deadlines
Abstract
Jul 10
Notification
Jul 15
Camera-ready
Jul 20
23
Sep
2026
WLP
’26
Logic Programming
Workshop on (Constraint and Functional) Logic Programming
Dresden, Germany
·
Sep 23, 2026
·
part of
INFORMATIK
Dates & Deadlines
Paper
May 21
Notification
Jul 6
Camera-ready
Jul 14
22
Sep
2026
INFORMATIK
’26
Jahrestagung der Gesellschaft für Informatik
Dresden, Germany
·
Sep 22 – 25, 2026
Dates & Deadlines
Paper
May 21
Camera-ready
Jul 26
21
Sep
2026
CICM
’26
Theorem Proving
Proof Assistants
19th Conference on Intelligent Computer Mathematics
Ljubljana, Slovenia
·
Sep 21 – 25, 2026
Dates & Deadlines
Abstract
Apr 8
Paper
Apr 15
Rebuttal
May 27
Notification
Jun 10
Camera-ready
Jul 1
15
Sep
2026
FROM
’26
Formal Methods
Tenth Working Formal Methods Symposium
Timisoara, Romania
·
Sep 15 – 17, 2026
Dates & Deadlines
Paper
Jul 6
Notification
Jul 25
Revisions
Aug 23
14
Sep
2026
FMCAD
’26
Verification
Model Checking
Formal Methods in Computer-Aided Design
Graz, Austria
·
Sep 14 – 18, 2026
Dates & Deadlines
Abstract
May 4
Paper
May 11
Rebuttal
Jul 5
Notification
Jul 19
Camera-ready
Aug 1
14
Sep
2026
SYNASC
’26
Formal Methods
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Timisoara, Romania
·
Sep 14 – 17, 2026
·
co-located
FROM
Dates & Deadlines
Paper
Jun 30
Notification
Jul 28
Revisions
Sep 4
Camera-ready
Nov 16
14
Sep
2026
VSTTE
’26
Verification
Formal Methods
International Conference on Verified Software: Theories, Tools, and Experiments
Graz, Austria
·
Sep 14, 2026
·
co-located
FMCAD
Dates & Deadlines
Abstract
Jul 17
Paper
Jul 24
Notification
Aug 22
Camera-ready
Oct 23
7
Sep
2026
ICTCS
’26
Logic
Automata
Italian Conference on Theoretical Computer Science
Udine, Italy
·
Sep 7 – 9, 2026
Dates & Deadlines
Abstract
Jun 20
Paper
Jun 28
Notification
Jul 26
Camera-ready
Aug 8
7
Sep
2026
LPNMR
’26
Logic Programming
Logic
International Conference on Logic Programming and Non-monotonic Reasoning
Klagenfurt, Austria
·
Sep 7 – 11, 2026
Dates & Deadlines
Abstract
May 10
Paper
May 17
Notification
Jun 11
Camera-ready
Jul 2
5
Sep
2026
RADICAL
’26
Concurrency
Logic
International Workshop on Recent Advances in Concurrency and Logic
Liverpool, UK
·
Sep 5, 2026
·
co-located
CONCUR
,
FMICS
Dates & Deadlines
Paper
Jun 12
Notification
Jul 10
3
Sep
2026
FMICS
’26
Formal Methods
Verification
Formal Methods for Industrial Critical Systems
Liverpool, UK
·
Sep 3 – 4, 2026
Dates & Deadlines
Abstract
Apr 24
Paper
May 1
Notification
Jun 1
Camera-ready
Jun 15
2
Sep
2026
QEST+FORMATS
’26
Formal Methods
Probabilistic
Model Checking
International Conferences on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Liverpool, UK
·
Sep 2 – 4, 2026
·
co-located
CONCUR
,
FMICS
Dates & Deadlines
Abstract
Apr 13
Paper
Apr 20
Notification
Jun 3
Camera-ready
Jun 24
1
Sep
2026
CONCUR
’26
Concurrency
International Conference on Concurrency Theory
Liverpool, UK
·
Sep 1 – 4, 2026
·
co-located
FMICS
Dates & Deadlines
Abstract
Apr 20
Paper
Apr 27
Rebuttal
Jun 3
Notification
Jun 15
Camera-ready
Jun 29
1
Sep
2026
TIME
’26
Verification
Model Checking
Logic
International Symposium on Temporal Representation and Reasoning
Cork, Ireland
·
Sep 1 – 3, 2026
Dates & Deadlines
Abstract
May 18
Paper
May 22
Notification
Jul 5
Camera-ready
Jul 24
August
2026
11
events
29
Aug
2026
Scheme
’26
Functional Programming
Scheme and Functional Programming Workshop
Indianapolis, Indiana
·
Aug 29, 2026
·
part of
ICFP
Dates & Deadlines
Round 1
done
Paper
Jun 5
Notification
Jul 1
Camera-ready
Jul 21
Round 2
done
Paper
Jun 19
Notification
Jul 14
Camera-ready
Jul 21
28
Aug
2026
Haskell
’26
Functional Programming
ACM SIGPLAN Haskell Symposium
Indianapolis, Indiana
·
Aug 28 – 29, 2026
·
part of
ICFP
Dates & Deadlines
Paper
May 21
Notification
Jun 30
Camera-ready
Jul 16
28
Aug
2026
ML Family
’26
Functional Programming
Types
ML Family Workshop
Indianapolis, Indiana
·
Aug 28, 2026
·
co-located
ICFP
,
FPW
Dates & Deadlines
Paper
Jul 1
Conditional Acceptance
Jul 23
Notification
Jul 30
27
Aug
2026
LOPSTR+PPDP
’26
Logic Programming
Program Synthesis
Symposium on Logic-Based Program Synthesis and Transformation, and Symposium on Principles and Practice of Declarative Programming
Indianapolis, Indiana
·
Aug 27 – 29, 2026
·
co-located
ICFP
Dates & Deadlines
Abstract
May 20
Paper
May 31
Notification
Jul 3
Camera-ready
Jul 24
26
Aug
2026
TyDe
’26
Types
Functional Programming
International Workshop on Type-Driven Development
Paris, France
·
Aug 26 – 27, 2026
·
part of
FPW
Dates & Deadlines
Paper
Jun 3
Abstract
Jun 24
Notification
Jul 10
Camera-ready
Jul 17
24
Aug
2026
FPW
’26
Functional Programming
Functional Programming Workshops
Paris, France
·
Aug 24 – 28, 2026
24
Aug
2026
HOPE
’26
Functional Programming
Semantics
Workshop on Higher-Order Programming with Effects
Indianapolis, Indiana
·
Aug 24, 2026
·
co-located
ICFP
,
FPW
Dates & Deadlines
Paper
Jun 12
Notification
Jul 3
24
Aug
2026
ICFP
’26
Functional Programming
International Conference on Functional Programming
Indianapolis, Indiana
·
Aug 24 – 29, 2026
Dates & Deadlines
Paper
Feb 19
Rebuttal
Apr 23
Conditional Acceptance
May 14
Revisions
Jun 3
Notification
Jun 10
Camera-ready
Jul 1
24
Aug
2026
MFCS
’26
Logic
Automata
International Symposium on Mathematical Foundations of Computer Science
Paris, France
·
Aug 24 – 28, 2026
Dates & Deadlines
Paper
Apr 24
Notification
Jun 19
Camera-ready
Jun 26
24
Aug
2026
RuleML+RR
’26
Logic Programming
Logic
International Joint Conference on Rules and Reasoning
Vilnius, Lithuania
·
Aug 24 – 26, 2026
Dates & Deadlines
Abstract
May 15
Paper
May 22
Notification
Jul 3
3
Aug
2026
WoLLIC
’26
Logic
Workshop on Logic, Language, Information and Computation
Lima, Peru
·
Aug 3 – 6, 2026
Dates & Deadlines
Abstract
Mar 2
Paper
Mar 2
Notification
May 5
Camera-ready
May 20
July
2026
39
events
26
Jul
2026
CAV
’26
Verification
Model Checking
Computer Aided Verification
Lisbon, Portugal
·
Jul 26 – 29, 2026
·
part of
FLoC
Dates & Deadlines
Paper
Jan 28
Rebuttal
Apr 2
Notification
Apr 17
Camera-ready
May 15
26
Jul
2026
CSF
’26
Security
Formal Methods
Computer Security Foundations
Lisbon, Portugal
·
Jul 26 – 29, 2026
·
part of
FLoC
Dates & Deadlines
Round 2
done
Paper
Oct 9
Notification
Dec 11
Round 3
done
Paper
Jan 29
Notification
Apr 1
26
Jul
2026
IJCAR
’26
Theorem Proving
Logic
International Joint Conference on Automated Reasoning
Lisbon, Portugal
·
Jul 26 – 29, 2026
·
part of
FLoC
Dates & Deadlines
Abstract
Feb 6
Paper
Feb 15
Rebuttal
Apr 3
Notification
Apr 14
Camera-ready
May 23
26
Jul
2026
ITP
’26
Theorem Proving
Proof Assistants
International Conference on Interactive Theorem Proving
Lisbon, Portugal
·
Jul 26 – 29, 2026
·
part of
FLoC
Dates & Deadlines
Abstract
Feb 12
Paper
Feb 19
Notification
Apr 26
Camera-ready
May 24
25
Jul
2026
FORCE
’26
Formal Methods
Verification
Workshop on Formal Reasoning for Compositional Systems Engineering
Lisbon, Portugal
·
Jul 25, 2026
·
part of
FLoC
·
co-located
CAV
Dates & Deadlines
Paper
May 11
Notification
May 15
24
Jul
2026
ARQNL
’26
Theorem Proving
Logic
International Workshop on Automated Reasoning in Quantified Non-Classical Logics
Lisbon, Portugal
·
Jul 24, 2026
·
part of
FLoC
·
co-located
IJCAR
Dates & Deadlines
Abstract
Apr 27
Paper
May 4
Notification
Jun 1
Camera-ready
Jul 14
24
Jul
2026
CI-BD-SOQE
’26
Logic
Theorem Proving
Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination
Lisbon, Portugal
·
Jul 24 – 25, 2026
·
part of
FLoC
Dates & Deadlines
Paper
May 11
Notification
May 25
24
Jul
2026
HYPER
’26
Verification
Security
5th Workshop on Hyperproperties: Advances in Theory and Applications
Lisbon, Portugal
·
Jul 24, 2026
·
part of
FLoC
Dates & Deadlines
Paper
May 8
24
Jul
2026
IMLA
’26
Logic
Workshop on Intuitionistic Modal Logic and Applications
Lisbon, Portugal
·
Jul 24 – 25, 2026
·
part of
FLoC
Dates & Deadlines
Abstract
Apr 30
Notification
May 23
Camera-ready
Jun 19
24
Jul
2026
IWC
’26
Logic
International Workshop on Confluence
Lisbon, Portugal
·
Jul 24, 2026
·
part of
FLoC
·
co-located
FSCD
,
IJCAR
Dates & Deadlines
Paper
May 4
Notification
May 28
Camera-ready
Jun 23
24
Jul
2026
LFMTP
’26
Logic
Proof Assistants
International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Lisbon, Portugal
·
Jul 24, 2026
·
part of
FLoC
·
co-located
FSCD
Dates & Deadlines
Abstract
Apr 21
Paper
May 1
Notification
May 27
Camera-ready
Jun 17
24
Jul
2026
PERR
’26
Verification
Semantics
Workshop on Program Equivalence and Relational Reasoning
Lisbon, Portugal
·
Jul 24, 2026
·
part of
FLoC
·
co-located
CAV
Dates & Deadlines
Paper
May 5
Notification
May 28
Camera-ready
Jun 25
24
Jul
2026
SD
’26
Logic
Semantics
Structures and Deduction
Lisbon, Portugal
·
Jul 24 – 25, 2026
·
part of
FLoC
Dates & Deadlines
Paper
May 1
Notification
May 23
Camera-ready
Jun 14
24
Jul
2026
THEMA
’26
Workshop on Theory and Methods for Abstraction
Lisbon, Portugal
·
Jul 24, 2026
·
part of
FLoC
·
co-located
KR
Dates & Deadlines
Paper
May 4
Notification
May 28
24
Jul
2026
UNIF
’26
Logic
Theorem Proving
40th International Workshop on Unification
Lisbon, Portugal
·
Jul 24, 2026
·
part of
FLoC
·
co-located
FSCD
,
IJCAR
Dates & Deadlines
Paper
May 15
Notification
May 28
Camera-ready
Jun 13
24
Jul
2026
WiL
’26
Logic
Women in Logic
Lisbon, Portugal
·
Jul 24 – 25, 2026
·
part of
FLoC
Dates & Deadlines
Abstract
May 10
Notification
May 18
Camera-ready
Jun 25
20
Jul
2026
CP
’26
Logic Programming
Principles and Practice of Constraint Programming
Lisbon, Portugal
·
Jul 20 – 23, 2026
·
part of
FLoC
Dates & Deadlines
Abstract
Mar 2
Paper
Mar 14
Rebuttal
Apr 20
Notification
Apr 30
Camera-ready
May 7
20
Jul
2026
FSCD
’26
Logic
Types
Formal Structures for Computation and Deduction
Lisbon, Portugal
·
Jul 20 – 23, 2026
·
part of
FLoC
Dates & Deadlines
Abstract
Jan 23
Paper
Jan 30
Rebuttal
Mar 27
Notification
Apr 16
Camera-ready
Apr 30
20
Jul
2026
ICLP
’26
Logic Programming
International Conference on Logic Programming
Lisbon, Portugal
·
Jul 20 – 23, 2026
·
part of
FLoC
Dates & Deadlines
Abstract
Jan 31
Paper
Feb 7
Revisions
Apr 3
Notification
May 4
20
Jul
2026
KR
’26
Logic
Principles of Knowledge Representation and Reasoning
Lisbon, Portugal
·
Jul 20 – 23, 2026
·
part of
FLoC
Dates & Deadlines
Abstract
Feb 8
Paper
Feb 13
Rebuttal
Mar 28
Notification
Apr 13
Camera-ready
May 3
20
Jul
2026
LICS
’26
Logic
Logic in Computer Science
Lisbon, Portugal
·
Jul 20 – 23, 2026
·
part of
FLoC
Dates & Deadlines
Abstract
Jan 15
Paper
Jan 22
Rebuttal
Mar 29
Notification
Apr 16
20
Jul
2026
SAT
’26
Logic
Theorem Proving
Theory and Applications of Satisfiability Testing
Lisbon, Portugal
·
Jul 20 – 23, 2026
·
part of
FLoC
Dates & Deadlines
Abstract
Mar 2
Paper
Mar 10
Rebuttal
Apr 18
Notification
Apr 30
Camera-ready
May 14
19
Jul
2026
DIALOCO
’26
Logic
Category Theory
Workshop on Diagrams in Logic and Computation
Lisbon, Portugal
·
Jul 19, 2026
·
part of
FLoC
·
co-located
LICS
Dates & Deadlines
Abstract
May 13
Notification
May 20
19
Jul
2026
TERMGRAPH
’26
Semantics
International Workshop on Computing with Terms and Graphs
Lisbon, Portugal
·
Jul 19, 2026
·
part of
FLoC
Dates & Deadlines
Abstract
May 6
Paper
May 11
Notification
May 27
Camera-ready
Jun 15
19
Jul
2026
WPTE
’26
Semantics
Compilers
International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Lisbon, Portugal
·
Jul 19, 2026
·
part of
FSCD
Dates & Deadlines
Paper
Apr 29
Notification
May 25
Camera-ready
Jun 29
18
Jul
2026
EULP
’26
Logic Programming
Workshop on End-User Logic Programming
Lisbon, Portugal
·
Jul 18, 2026
·
part of
FLoC
Dates & Deadlines
Paper
May 9
Notification
May 21
18
Jul
2026
GaLoP
’26
Semantics
Logic
Workshop on Games for Logic and Programming Languages
Lisbon, Portugal
·
Jul 18 – 19, 2026
·
part of
FLoC
Dates & Deadlines
Paper
May 15
Notification
May 26
18
Jul
2026
ITRS
’26
Types
Workshop on Intersection Types and Related Systems
Lisbon, Portugal
·
Jul 18, 2026
·
part of
FLoC
·
co-located
FSCD
,
TLLA
,
GaLoP
Dates & Deadlines
Paper
May 15
Notification
May 29
Camera-ready
Jun 28
18
Jul
2026
LCC
’26
Logic
International Workshop on Logic and Computational Complexity
Lisbon, Portugal
·
Jul 18 – 19, 2026
·
part of
FLoC
Dates & Deadlines
Paper
May 10
Notification
May 17
18
Jul
2026
LSFA
’26
Logic
Semantics
International Symposium on Logical and Semantic Frameworks with Applications
Lisbon, Portugal
·
Jul 18 – 19, 2026
·
part of
FLoC
·
co-located
FSCD
Dates & Deadlines
Abstract
Apr 20
Paper
Apr 28
Notification
May 27
18
Jul
2026
MSFP
’26
Functional Programming
Category Theory
Workshop on Mathematically Structured Functional Programming
Lisbon, Portugal
·
Jul 18, 2026
·
part of
FSCD
Dates & Deadlines
Paper
May 7
Notification
May 27
Camera-ready
Jun 24
18
Jul
2026
SmP
’26
Logic
Semantics
Structure Meets Power 2026
Lisbon, Portugal
·
Jul 18, 2026
·
part of
FLoC
Dates & Deadlines
Abstract
May 15
Notification
May 30
18
Jul
2026
TLLA
’26
Logic
International Workshop on Trends in Linear Logic and Applications
Lisbon, Portugal
·
Jul 18 – 19, 2026
·
part of
FLoC
Dates & Deadlines
Paper
May 15
Notification
May 25
Camera-ready
May 31
17
Jul
2026
FLoC
’26
Logic
Formal Methods
Federated Logic Conference
Lisbon, Portugal
·
Jul 17 – 29, 2026
13
Jul
2026
SC-Square
’26
Theorem Proving
Logic
International Workshop on Satisfiability Checking and Symbolic Computation
Oldenburg, Germany
·
Jul 13, 2026
Dates & Deadlines
Abstract
May 10
Paper
May 10
Notification
May 30
Camera-ready
Jun 20
9
Jul
2026
RC
’26
Quantum
Semantics
International Conference on Reversible Computation
Turin, Italy
·
Jul 9 – 10, 2026
Dates & Deadlines
Abstract
Feb 21
Paper
Feb 28
Notification
Apr 21
Camera-ready
May 15
6
Jul
2026
ACT
’26
Category Theory
International Conference on Applied Category Theory
Tallinn, Estonia
·
Jul 6 – 10, 2026
Dates & Deadlines
Abstract
Mar 24
Paper
Mar 30
Notification
May 15
Camera-ready
Jun 20
5
Jul
2026
FSE
’26
Software Engineering
ACM International Conference on the Foundations of Software Engineering
Montreal, Canada
·
Jul 5 – 9, 2026
Dates & Deadlines
Abstract
Sep 4
Paper
Sep 11
Rebuttal
Nov 25
Notification
Dec 22
Camera-ready
Apr 23
2
Jul
2026
SLE
’26
Software Engineering
Compilers
International Conference on Software Language Engineering
Rennes, France
·
Jul 2 – 3, 2026
Dates & Deadlines
Abstract
Feb 27
Paper
Mar 6
Notification
Apr 20
Camera-ready
May 11
June
2026
16
events
30
Jun
2026
UNSOUND
’26
Types
Verification
Workshop on Sources of Unsoundness in Type Systems and Verification
Brussels, Belgium
·
Jun 30, 2026
·
part of
ECOOP
Dates & Deadlines
Paper
Apr 14
Notification
Apr 19
30
Jun
2026
VORTEX
’26
Verification
9th International Workshop on Verification and Monitoring at Runtime Execution
Brussels, Belgium
·
Jun 30, 2026
Dates & Deadlines
Paper
Apr 10
Notification
Apr 15
Camera-ready
Apr 30
30
Jun
2026
WADT
’26
Round 2 / 2
Formal Methods
Semantics
Workshop on Algebraic Development Techniques
Rennes, France
·
Jun 30, 2026
Dates & Deadlines
Round 1
done
Abstract
Apr 30
Notification
May 7
Round 2
active
Paper
Sep 17
Notification
Oct 29
29
Jun
2026
ECOOP
’26
Types
Program Analysis
European Conference on Object-Oriented Programming
Brussels, Belgium
·
Jun 29 – Jul 3, 2026
Dates & Deadlines
Round 1
done
Paper
Nov 27
Rebuttal
Jan 16
Notification
Jan 29
Round 2
done
Paper
Feb 12
Rebuttal
Mar 27
Notification
Apr 9
Camera-ready
Apr 27
29
Jun
2026
GPCE
’26
Compilers
International Conference on Generative Programming: Concepts & Experiences
Brussels, Belgium
·
Jun 29 – Jul 3, 2026
·
co-located
ECOOP
Dates & Deadlines
Paper
Mar 12
Rebuttal
Apr 16
Notification
Apr 23
Camera-ready
May 14
17
Jun
2026
LIQCS
’26
Quantum
Logic
Workshop on Logic in Quantum Computer Science
Paris, France
·
Jun 17 – 19, 2026
Dates & Deadlines
Paper
Mar 20
Notification
Apr 20
16
Jun
2026
ARRAY
’26
Compilers
ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
Boulder, Colorado
·
Jun 16, 2026
·
co-located
PLDI
Dates & Deadlines
Paper
Apr 6
Notification
Apr 26
Camera-ready
May 3
16
Jun
2026
ISMM
’26
Systems
Compilers
International Symposium on Memory Management
Boulder, Colorado
·
Jun 16, 2026
·
co-located
PLDI
Dates & Deadlines
Paper
Apr 3
Notification
May 4
Camera-ready
May 15
16
Jun
2026
SOAP
’26
Program Analysis
ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Boulder, Colorado
·
Jun 16, 2026
·
co-located
PLDI
Dates & Deadlines
Paper
Mar 10
Notification
Apr 15
Camera-ready
May 3
15
Jun
2026
EGRAPHS
’26
Compilers
Program Analysis
EGRAPHS
Boulder, Colorado
·
Jun 15 – 19, 2026
·
co-located
PLDI
Dates & Deadlines
Paper
Apr 17
15
Jun
2026
LCTES
’26
Compilers
Systems
Languages, Compilers, Tools and Theory of Embedded Systems
Boulder, Colorado
·
Jun 15 – 16, 2026
·
co-located
PLDI
Dates & Deadlines
Abstract
Mar 13
Paper
Mar 20
Notification
May 1
Camera-ready
May 15
15
Jun
2026
PLDI
’26
Compilers
Program Analysis
Conference on Programming Language Design and Implementation
Boulder, Colorado
·
Jun 15 – 19, 2026
Dates & Deadlines
Paper
Nov 13
Rebuttal
Feb 22
Notification
Mar 5
Camera-ready
Apr 16
12
Jun
2026
ICE
’26
Concurrency
Interaction and Concurrency Experience
Urbino, Italy
·
Jun 12, 2026
·
part of
DisCoTec
Dates & Deadlines
Paper
Apr 9
Notification
Apr 30
Camera-ready
Jul 12
8
Jun
2026
DisCoTec
’26
Concurrency
Formal Methods
International Federated Conference on Distributed Computing Techniques
Urbino, Italy
·
Jun 8 – 12, 2026
Dates & Deadlines
Abstract
Feb 13
Paper
Feb 20
Notification
Mar 24
Camera-ready
Apr 3
4
Jun
2026
SSTT
’26
Types
Semantics
3rd Workshop on Syntax and Semantics of Type Theory
Ljubljana, Slovenia
·
Jun 4 – 5, 2026
Dates & Deadlines
Abstract
Apr 2
Notification
Apr 23
1
Jun
2026
MFPS
’26
Semantics
Category Theory
Mathematical Foundations of Programming Semantics
Ljubljana, Slovenia
·
Jun 1 – 3, 2026
·
co-located
SSTT
Dates & Deadlines
Paper
Mar 12
Notification
Apr 23
May
2026
2
events
26
May
2026
FLOPS
’26
Functional Programming
Logic Programming
Symposium on Functional and Logic Programming
Tsukuba, Japan
·
May 26 – 28, 2026
Dates & Deadlines
Abstract
Dec 8
Paper
Dec 16
Notification
Feb 2
Camera-ready
Mar 2
4
May
2026
TYPES
’26
Types
Proof Assistants
International Conference on Types for Proofs and Programs
Gothenburg, Sweden
·
May 4 – 8, 2026
Dates & Deadlines
Paper
Jan 20
Notification
Feb 20
Camera-ready
Apr 3
April
2026
6
events
13
Apr
2026
FoSSaCS
’26
Semantics
Logic
Foundations of Software Science and Computation Structures
Turin, Italy
·
Apr 13 – 16, 2026
·
part of
ETAPS
Dates & Deadlines
Paper
Oct 16
Rebuttal
Dec 10
Notification
Dec 22
Camera-ready
Jan 22
13
Apr
2026
RW
’26
Verification
Rust Verification Workshop
Turin, Italy
·
Apr 13 – 14, 2026
·
part of
ETAPS
Dates & Deadlines
Paper
Feb 13
Notification
Feb 20
12
Apr
2026
FORMALISE
’26
Formal Methods
Software Engineering
Conference on Formal Methods in Software Engineering
Rio de Janeiro, Brazil
·
Apr 12 – 13, 2026
Dates & Deadlines
Paper
Nov 6
Notification
Jan 5
Camera-ready
Jan 26
11
Apr
2026
ESOP
’26
Semantics
Types
European Symposium on Programming
Turin, Italy
·
Apr 11 – 16, 2026
·
part of
ETAPS
Dates & Deadlines
Round 1
done
Paper
Jun 3
Rebuttal
Jul 23
Notification
Aug 1
Round 2
done
Paper
Oct 16
Rebuttal
Dec 10
Notification
Dec 22
Camera-ready
Jan 22
11
Apr
2026
ETAPS
’26
Formal Methods
Verification
European Joint Conferences on Theory and Practice of Software
Turin, Italy
·
Apr 11 – 16, 2026
11
Apr
2026
WRLA
’26
Logic
Semantics
International Workshop on Rewriting Logic and its Applications
Turin, Italy
·
Apr 11 – 12, 2026
·
part of
ETAPS
Dates & Deadlines
Paper
Jan 16
Notification
Feb 27
Camera-ready
Mar 13
January
2026
7
events
31
Jan
2026
CC
’26
Compilers
International Conference on Compiler Construction
Sydney, Australia
·
Jan 31 – Feb 1, 2026
Dates & Deadlines
Paper
Nov 11
Rebuttal
Dec 4
Notification
Dec 10
Camera-ready
Dec 20
26
Jan
2026
TFP
’26
Functional Programming
International Symposium on Trends in Functional Programming
Odense, Denmark
·
Jan 26 – 29, 2026
Dates & Deadlines
Paper
Nov 13
Notification
Dec 11
17
Jan
2026
WITS
’26
Types
Compilers
Workshop on the Implementation of Type Systems
Rennes, France
·
Jan 17, 2026
·
part of
POPL
Dates & Deadlines
Abstract
Nov 6
Notification
Dec 1
13
Jan
2026
PEPM
’26
Compilers
Program Analysis
Workshop on Partial Evaluation and Program Manipulation
Rennes, France
·
Jan 13, 2026
·
part of
POPL
Dates & Deadlines
Paper
Oct 24
Notification
Nov 28
11
Jan
2026
POPL
’26
Semantics
Types
ACM SIGPLAN Symposium on Principles of Programming Languages
Rennes, France
·
Jan 11 – 17, 2026
11
Jan
2026
TPSA
’26
Program Analysis
Theory and Practice of Static Analysis
Rennes, France
·
Jan 11 – 17, 2026
·
part of
POPL
Dates & Deadlines
Abstract
Oct 31
Notification
Nov 20
11
Jan
2026
VMCAI
’26
Verification
Model Checking
Program Analysis
Conference on Verification, Model Checking, and Abstract Interpretation
Rennes, France
·
Jan 11 – 17, 2026
·
part of
POPL
Dates & Deadlines
Paper
Sep 10
Rebuttal
Sep 22
Notification
Nov 6
Camera-ready
Nov 20
October
2025
4
events
12
Oct
2025
HOPE
’25
Functional Programming
Semantics
Higher-Order Programming with Effects
Singapore
·
Oct 12, 2025
Dates & Deadlines
Paper
May 29
Notification
Jun 26
12
Oct
2025
ICFP
’25
Functional Programming
International Conference on Functional Programming
Singapore
·
Oct 12 – 18, 2025
Dates & Deadlines
Paper
Feb 27
Rebuttal
May 1
Conditional Acceptance
May 23
Revisions
Jun 12
Camera-ready
Jul 11
Notification
Jul 27
12
Oct
2025
OOPSLA
’25
Software Engineering
Program Analysis
Object-oriented Programming, Systems, Languages, and Applications
Singapore
·
Oct 12 – 18, 2025
Dates & Deadlines
6
Oct
2025
LSFA
’25
Logic
Semantics
Logical and Semantic Frameworks, with Applications
Brasília, Brazil
·
Oct 6 – 8, 2025
Dates & Deadlines
Abstract
May 30
Paper
Jun 1
Notification
Jun 27
Camera-ready
Jul 18
September
2025
4
events
27
Sep
2025
ITP
’25
Proof Assistants
Theorem Proving
International Conference on Interactive Theorem Proving
Reykjavik, Iceland
·
Sep 27 – Oct 3, 2025
Dates & Deadlines
Abstract
Mar 12
Paper
Mar 19
Notification
May 23
Camera-ready
Jun 27
12
Sep
2025
ICLP
’25
Logic Programming
International Conference on Logic Programming
Rende, Italy
·
Sep 12 – 19, 2025
Dates & Deadlines
Paper
Apr 25
Notification
May 25
10
Sep
2025
PPDP
’25
Functional Programming
Logic Programming
Principles and Practice of Declarative Programming
Rende, Italy
·
Sep 10 – 11, 2025
Dates & Deadlines
Abstract
May 26
Paper
Jun 2
Notification
Jul 7
Camera-ready
Jul 21
9
Sep
2025
LOPSTR
’25
Logic Programming
Program Synthesis
International Symposium on Logic-Based Program Synthesis and Transformation
Rende, Italy
·
Sep 9, 2025
Dates & Deadlines
Abstract
May 23
Paper
May 30
Notification
Jul 10
Camera-ready
Jul 17
July
2025
5
events
28
Jul
2025
CADE
’25
Theorem Proving
Logic
Conference on Automated Deduction
Stuttgart, Germany
·
Jul 28 – 31, 2025
Dates & Deadlines
Abstract
Feb 17
Paper
Feb 24
Rebuttal
Apr 18
Notification
Apr 28
Camera-ready
May 30
28
Jul
2025
SPAA
’25
Concurrency
Systems
ACM Symposium on Parallelism in Algorithms and Architectures
Portland, Oregon
·
Jul 28 – Aug 1, 2025
Dates & Deadlines
Abstract
Feb 21
Paper
Feb 28
Rebuttal
Apr 29
Notification
May 20
Camera-ready
Jun 20
19
Jul
2025
LFMTP
’25
Logic
Types
Logical Frameworks and Meta Languages
Birmingham, UK
·
Jul 19, 2025
Dates & Deadlines
Abstract
May 9
Paper
May 16
Notification
Jun 6
14
Jul
2025
FSCD
’25
Types
Logic
Formal Structures for Computation and Deduction
Birmingham, UK
·
Jul 14 – 20, 2025
Dates & Deadlines
Abstract
Feb 17
Paper
Feb 22
Rebuttal
Apr 11
Notification
Apr 30
Camera-ready
May 14
14
Jul
2025
UNIF
’25
Theorem Proving
Logic
The International Workshop on Unification
Birmingham, UK
·
Jul 14, 2025
Dates & Deadlines
Paper
May 17
Notification
May 29
Camera-ready
Jul 13
June
2025
3
events
23
Jun
2025
LICS
’25
Logic
Logic in Computer Science
Singapore
·
Jun 23 – 26, 2025
Dates & Deadlines
Abstract
Jan 16
Paper
Jan 23
Rebuttal
Mar 20
Notification
Apr 8
9
Jun
2025
TYPES
’25
Types
Proof Assistants
Types for Proofs and Programs
Glasgow, Scotland
·
Jun 9 – 13, 2025
Dates & Deadlines
Abstract
Mar 10
Notification
Apr 11
2
Jun
2025
TACT
’25
Category Theory
Transactions in Category Theory
Hybrid / Glasgow, Scotland
·
Jun 2, 2025
Dates & Deadlines
Abstract
Apr 25
Notification
May 9
May
2025
3
events
13
May
2025
ASL
’25
Logic
North American Annual Meeting of the Association for Symbolic Logic
Las Cruces, New Mexico
·
May 13 – 16, 2025
Dates & Deadlines
Abstract
Feb 13
5
May
2025
ESOP
’25
Semantics
Program Analysis
European Symposium on Programming
Hamilton, Canada
·
May 5 – 8, 2025
Dates & Deadlines
Paper
Oct 10
Rebuttal
Dec 5
Notification
Dec 20
Camera-ready
Jan 30
5
May
2025
FoSSaCS
’25
Semantics
Formal Methods
Foundations of Software Science and Computation Structures
Hamilton, Canada
·
May 5 – 8, 2025
Dates & Deadlines
Paper
Oct 10
Rebuttal
Dec 5
Notification
Dec 20
Camera-ready
Jan 30