PL
Conferences
About
Ctrl
K
All
97
Conferences
46
Workshops
40
Symposia
11
Tags
Starred
All events
All
97
Submissions open
Open
18
sorted by next deadline ·
6
deadlines this week
26
May 2026
Tuesday
in 7 hours 18 minutes
1
event
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
27
May 2026
Wednesday
in 31 hours 18 minutes
5
events
ASE
’26
Software Engineering
International Conference on Automated Software Engineering
Munich, Germany
·
Oct 12 – 16, 2026
Dates & Deadlines
Paper
Mar 26
Rebuttal
May 27
Notification
Jun 18
Revisions
Jul 16
Camera-ready
Aug 3
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
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, United States
·
Aug 27 – 29, 2026
·
co-located
ICFP
Dates & Deadlines
Abstract
May 20
Paper
May 27
Notification
Jun 26
Camera-ready
Jul 8
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
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 11
28
May 2026
Thursday
tomorrow
5
events
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
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 28
Camera-ready
Jun 10
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
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
ESOP
’27
Semantics
Types
European Symposium on Programming
Copenhagen, Denmark
·
Apr 12 – 15, 2027
·
part of
ETAPS
Dates & Deadlines
Paper
May 28
Rebuttal
Jul 22
Notification
Aug 6
29
May 2026
Friday
in 2 days
2
events
HOPE
’26
Functional Programming
Semantics
Workshop on Higher-Order Programming with Effects
Indianapolis, United States
·
Aug 24, 2026
·
part of
ICFP
·
co-located
ICFP
Dates & Deadlines
Paper
May 29
Notification
Jun 26
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
30
May 2026
Saturday
in 3 days
2
events
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
SmP
’26
Logic
Semantics
Structure Meets Power 2026
Lisbon, Portugal
·
Jul 18, 2026
·
part of
FLoC
Dates & Deadlines
Abstract
May 15
Notification
May 30
31
May 2026
Sunday
in 4 days
1
event
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
1
June 2026
Monday
in 5 days
2
events
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
Jun 29
FMICS
’26
Formal Methods
Verification
Formal Methods for Industrial Critical Systems
Liverpool, UK
·
Sep 2 – 4, 2026
Dates & Deadlines
Abstract
Apr 24
Paper
May 1
Notification
Jun 1
Camera-ready
Jun 15
3
June 2026
Wednesday
in 7 days
4
events
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
ICFP
’26
Functional Programming
International Conference on Functional Programming
Indianapolis, United States
·
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
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
TyDe
’26
Types
Functional Programming
International Workshop on Type-Driven Development
Paris, France
·
Aug 26 – 27, 2026
·
co-located
ICFP
Dates & Deadlines
Paper
Jun 3
Abstract
Jun 24
Notification
Jul 10
Camera-ready
Jul 17
5
June 2026
Friday
in 9 days
3
events
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 5
Notification
Jul 10
Scheme
’26
Functional Programming
Scheme and Functional Programming Workshop
Indianapolis, United States
·
Aug 29, 2026
·
part of
ICFP
Dates & Deadlines
Paper
Jun 5
Notification
Jul 1
Camera-ready
Jul 7
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
Jun 5
Camera-ready
Jun 13
7
June 2026
Sunday
in 11 days
1
event
FROM
’26
Formal Methods
Tenth Working Formal Methods Symposium
Timisoara, Romania
·
Sep 15 – 17, 2026
Dates & Deadlines
Paper
Jun 7
Notification
Jul 5
Revisions
Aug 23
8
June 2026
Monday
in 12 days
1
event
ICTAC
’26
Formal Methods
Semantics
International Colloquium on Theoretical Aspects of Computing
Bariloche, Argentina
·
Nov 11 – 13, 2026
Dates & Deadlines
Abstract
Jun 8
Paper
Jun 15
Notification
Aug 10
Camera-ready
Aug 31
10
June 2026
Wednesday
in 2 weeks
1
event
OOPSLA
’26
Compilers
Program Analysis
Object-oriented Programming, Systems, Languages, and Applications
Oakland, California
·
Oct 3 – 9, 2026
·
part of
SPLASH
Dates & Deadlines
Paper
Mar 17
Rebuttal
May 22
Notification
Jun 10
Revisions
Jul 21
Camera-ready
Aug 14
11
June 2026
Thursday
in 2 weeks
1
event
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
14
June 2026
Sunday
in 3 weeks
3
events
ICTCS
’26
Logic
Automata
Italian Conference on Theoretical Computer Science
Udine, Italy
·
Sep 7 – 9, 2026
Dates & Deadlines
Paper
Jun 14
Notification
Jul 21
Camera-ready
Aug 5
NSAD
’26
Program Analysis
ACM SIGPLAN Workshop on Numerical and Symbolic Abstract Domains
Oakland, California
·
Oct 3 – 9, 2026
·
part of
SPLASH
·
co-located
SAS
Dates & Deadlines
Paper
Jun 14
Notification
Jul 31
RV
’26
Verification
Formal Methods
International Conference on Runtime Verification
Kingston, Canada
·
Oct 6 – 9, 2026
Dates & Deadlines
Paper
Jun 14
Notification
Jul 30
Camera-ready
Aug 10
16
June 2026
Tuesday
in 3 weeks
1
event
SEFM
’26
Software Engineering
Formal Methods
International Conference on Software Engineering and Formal Methods
Malta
·
Nov 23 – 27, 2026
Dates & Deadlines
Abstract
Jun 16
Paper
Jun 23
Notification
Sep 7
Camera-ready
Sep 21
18
June 2026
Thursday
in 3 weeks
1
event
SAS
’26
Program Analysis
Static Analysis Symposium
Oakland, California
·
Oct 6 – 8, 2026
·
part of
SPLASH
Dates & Deadlines
Paper
May 7
Rebuttal
Jun 18
Notification
Jul 3
Camera-ready
Jul 17
19
June 2026
Friday
in 3 weeks
1
event
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
20
June 2026
Saturday
in 3 weeks
2
events
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
PLAS
’26
Security
Program Analysis
21st Workshop on Programming Languages and Analysis for Security
The Hague, The Netherlands
·
Nov 15 – 19, 2026
Dates & Deadlines
Paper
Jun 20
Notification
Aug 7
22
June 2026
Monday
in 4 weeks
1
event
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
Jun 22
Camera-ready
Jul 24
23
June 2026
Tuesday
in 4 weeks
1
event
ICSE
’27
Software Engineering
International Conference on Software Engineering
Dublin, Ireland
·
Apr 25 – May 1, 2027
Dates & Deadlines
Abstract
Jun 23
Paper
Jun 30
Rebuttal
Sep 25
Notification
Oct 20
Revisions
Nov 17
Camera-ready
Nov 24
25
June 2026
Thursday
in 4 weeks
2
events
ISSTA
’26
Software Engineering
Program Analysis
International Symposium on Software Testing and Analysis
Oakland, California
·
Oct 3 – 9, 2026
Dates & Deadlines
Paper
Jan 29
Rebuttal
Mar 26
Conditional Acceptance
Apr 16
Revisions
May 21
Notification
Jun 25
Camera-ready
Jul 23
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
29
June 2026
Monday
in 5 weeks
1
event
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
3
July 2026
Friday
in 5 weeks
1
event
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
5
July 2026
Sunday
in 6 weeks
1
event
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
6
July 2026
Monday
in 6 weeks
1
event
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
8
July 2026
Wednesday
in 6 weeks
1
event
CSL
’27
Logic
Computer Science Logic
Brighton, United Kingdom
·
Jan 25 – 29, 2027
Dates & Deadlines
Abstract
Jul 8
Paper
Jul 15
Notification
Oct 15
Camera-ready
TBD
9
July 2026
Thursday
in 6 weeks
2
events
ASPLOS
’27
Round 1 / 2
Systems
Compilers
International Conference on Architectural Support for Programming Languages and Operating Systems
Crete, Greece
·
Apr 11 – 15, 2027
Dates & Deadlines
Round 1
active
Paper
Apr 15
Rebuttal
Jul 9
Notification
Jul 27
Round 2
next
Paper
Sep 9
Rebuttal
Dec 4
Notification
Dec 21
POPL
’27
Semantics
Types
ACM SIGPLAN Symposium on Principles of Programming Languages
Mexico City, Mexico
·
Jan 10 – 16, 2027
Dates & Deadlines
Paper
Jul 9
Rebuttal
Sep 10
Conditional Acceptance
Oct 5
Revisions
Oct 26
Notification
Nov 9
Camera-ready
Nov 20
12
July 2026
Sunday
in 7 weeks
1
event
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
17
September 2026
Thursday
in 4 months
1
event
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
2
October 2026
Friday
in 4 months
1
event
FSE
’27
Software Engineering
ACM International Conference on the Foundations of Software Engineering
Shenzhen, China
·
Jul 12 – 16, 2027
Dates & Deadlines
Paper
Oct 2
Rebuttal
Dec 18
Conditional Acceptance
Jan 22
Revisions
Mar 5
Notification
Mar 31
15
October 2026
Thursday
in 5 months
1
event
FoSSaCS
’27
Semantics
Logic
Foundations of Software Science and Computation Structures
Copenhagen, Denmark
·
Apr 12 – 15, 2027
·
part of
ETAPS
Dates & Deadlines
Paper
Oct 15
Rebuttal
Dec 9
Notification
Dec 22
Camera-ready
Jan 25
19
October 2026
Monday
in 5 months
1
event
FSEN
’27
Software Engineering
Formal Methods
International Conference on Fundamentals of Software Engineering
Enschede, Netherlands
·
May 24 – 25, 2027
Dates & Deadlines
Abstract
Oct 19
Paper
Oct 28
Notification
Dec 18
Camera-ready
Feb 22
No upcoming deadlines
44
events
3
May
2026
ARRAY
’26
Compilers
ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
Boulder, Colorado, United States
·
Jun 16, 2026
·
co-located
PLDI
Dates & Deadlines
Paper
Apr 6
Notification
Apr 26
Camera-ready
May 3
15
May
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
25
May
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
7
May
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
1
Apr
2026
CSF
’26
Security
Formal Methods
Computer Security Foundations
Lisbon, Portugal
·
Jul 26 – 29, 2026
·
part of
FLoC
Dates & Deadlines
Paper
Jul 24
Notification
Sep 25
20
May
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
Paper
May 13
Notification
May 20
3
Apr
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
27
Apr
2026
ECOOP
’26
Types
Program Analysis
European Conference on Object-Oriented Programming
Brussels, Belgium
·
Jun 29 – Jul 3, 2026
Dates & Deadlines
Paper
Nov 27
Rebuttal
Jan 16
Notification
Jan 29
17
Apr
2026
EGRAPHS
’26
Compilers
Program Analysis
EGRAPHS
Boulder, Colorado
·
Jun 15 – 19, 2026
·
co-located
PLDI
Dates & Deadlines
Paper
Apr 17
10
Apr
2027
ETAPS
’27
Formal Methods
Software Engineering
European Joint Conferences on Theory and Practice of Software
Copenhagen, Denmark
·
Apr 10 – 15, 2027
21
May
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
17
Jul
2026
FLoC
’26
Logic
Formal Methods
Federated Logic Conference
Lisbon, Portugal
·
Jul 17 – 29, 2026
2
Mar
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
15
May
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
30
Apr
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
23
Apr
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
14
May
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
14
May
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
Notification
May 14
4
May
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
23
May
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
23
May
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
22
Sep
2026
INFORMATIK
’26
Jahrestagung der Gesellschaft für Informatik
Dresden, Germany
·
Sep 22 – 25, 2026
24
May
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
3
May
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
17
May
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
15
May
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
16
Apr
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
Apr
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
25
May
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 25
23
Apr
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
11
Aug
2027
OOPSLA
’27
Compilers
Program Analysis
Object-oriented Programming, Systems, Languages, and Applications
Denver, CO, USA
·
Aug 11 – 13, 2027
·
part of
SPLASH
16
Apr
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
27
Mar
2027
PPoPP
’27
Concurrency
ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
Salt Lake City, UT, USA
·
Mar 27 – 31, 2027
15
May
2026
RC
’26
Quantum
Semantics
International Conference on Reversible Computation
Torino, Italy
·
Jul 9 – 10, 2026
Dates & Deadlines
Abstract
Feb 21
Paper
Feb 28
Notification
Apr 21
Camera-ready
May 15
14
May
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
23
May
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
TBD
11
May
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
3
May
2026
SOAP
’26
Program Analysis
ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Boulder, Colorado, United States
·
Jun 16, 2026
·
co-located
PLDI
Dates & Deadlines
Paper
Mar 10
Notification
Apr 15
Camera-ready
May 3
3
Oct
2026
SPLASH
’26
Software Engineering
ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Oakland, California
·
Oct 3 – 9, 2026
11
Aug
2027
SPLASH
’27
Software Engineering
ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Denver, CO, USA
·
Aug 11 – 13, 2027
23
Apr
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
19
Apr
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
Apr
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
20
May
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