PL
Conferences
About
Ctrl
K
All
63
Conferences
39
Workshops
11
Symposia
13
Tags
Starred
All events
All
63
Submissions open
Open
11
Archive
Past
90
sorted by next deadline ·
2
deadlines this week
10
August 2026
Monday
in 17 hours 1 minute
1
event
Tip: tap any heading to hide its events.
ICTAC
’26
Formal Methods
Semantics
International Colloquium on Theoretical Aspects of Computing
Bariloche, Argentina
·
Nov 11 – 13, 2026
Dates & Deadlines
Abstract
Jun 22
Paper
Jun 22
Notification
Aug 10
Camera-ready
Aug 31
12
August 2026
Wednesday
in 2 days
1
event
RV
’26
Verification
Formal Methods
International Conference on Runtime Verification
Kingston, Canada
·
Oct 6 – 9, 2026
Dates & Deadlines
Paper
Jun 16
Notification
Aug 1
Camera-ready
Aug 12
14
August 2026
Friday
in 4 days
2
events
Onward!
’26
Software Engineering
ACM SIGPLAN Conference on New Ideas, New Paradigms, and Reflections on Programming and Software
Oakland, California
·
Oct 3 – 9, 2026
·
part of
SPLASH
Dates & Deadlines
Paper
May 15
Conditional Acceptance
Jun 22
Revisions
Jul 27
Notification
Aug 14
Camera-ready
Aug 25
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
Conditional Acceptance
Jun 10
Revisions
Jul 21
Notification
Aug 7
Camera-ready
Aug 14
17
August 2026
Monday
in 7 days
1
event
NSAD
’26
Round 1 / 2
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
Round 1
active
Paper
Jun 21
Notification
Aug 17
Round 2
active
Paper
Jul 17
Notification
Aug 17
22
August 2026
Saturday
in 12 days
1
event
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
23
August 2026
Sunday
in 13 days
1
event
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
28
August 2026
Friday
in 3 weeks
1
event
FSTTCS
’26
Logic
Automata
Foundations of Software Technology and Theoretical Computer Science
New Delhi, India
·
Dec 16 – 18, 2026
Dates & Deadlines
Abstract
Jul 4
Paper
Jul 11
Rebuttal
Aug 28
Notification
Sep 15
3
September 2026
Thursday
in 3 weeks
1
event
CPP
’27
Proof Assistants
Verification
International Conference on Certified Programs and Proofs
Mexico City, Mexico
·
Jan 11 – 12, 2027
·
co-located
POPL
Dates & Deadlines
Abstract
Sep 3
Paper
Sep 10
Notification
Nov 10
Camera-ready
Nov 25
4
September 2026
Friday
in 4 weeks
1
event
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
7
September 2026
Monday
in 4 weeks
1
event
SEFM
’26
Software Engineering
Formal Methods
International Conference on Software Engineering and Formal Methods
Valletta, Malta
·
Nov 23 – 27, 2026
Dates & Deadlines
Abstract
Jun 23
Paper
Jun 30
Notification
Sep 7
Camera-ready
Sep 21
8
September 2026
Tuesday
in 4 weeks
2
events
APLAS
’26
Semantics
Types
Asian Symposium on Programming Languages and Systems
Hong Kong SAR, China
·
Dec 1 – 5, 2026
·
co-located
ATVA
Dates & Deadlines
Paper
Jun 22
Rebuttal
Jul 24
Notification
Aug 4
Camera-ready
Sep 8
ReacTS
’26
Logic
Formal Methods
International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
Valletta, Malta
·
Nov 24, 2026
·
co-located
SEFM
Dates & Deadlines
Abstract
Sep 8
Paper
Sep 13
Notification
Oct 16
Camera-ready
Nov 6
9
September 2026
Wednesday
in 4 weeks
1
event
ASPLOS
’27
Round 2 / 2
Systems
Compilers
International Conference on Architectural Support for Programming Languages and Operating Systems
Crete, Greece
·
Apr 11 – 15, 2027
Dates & Deadlines
Round 1
done
Paper
Apr 15
Rebuttal
Jul 9
Notification
Jul 27
Round 2
active
Paper
Sep 9
Rebuttal
Dec 4
Notification
Dec 21
10
September 2026
Thursday
in 4 weeks
3
events
ATVA
’26
Verification
Model Checking
International Symposium on Automated Technology for Verification and Analysis
Hong Kong SAR, China
·
Dec 1 – 5, 2026
·
co-located
APLAS
Dates & Deadlines
Abstract
May 19
Paper
May 21
Rebuttal
Jul 9
Notification
Jul 23
Camera-ready
Sep 10
CGO
’27
Round 2 / 2
Compilers
International Symposium on Code Generation and Optimization
Salt Lake City, Utah
·
Mar 20 – 24, 2027
Dates & Deadlines
Round 1
active
Paper
Jun 11
Rebuttal
Jul 23
Notification
Aug 3
Revisions
Sep 24
Round 2
next
Paper
Sep 10
Rebuttal
Oct 29
Notification
Nov 9
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
16
September 2026
Wednesday
in 5 weeks
1
event
VMCAI
’27
Verification
Model Checking
Program Analysis
Conference on Verification, Model Checking, and Abstract Interpretation
Mexico City, Mexico
·
Jan 11 – 12, 2027
·
part of
POPL
Dates & Deadlines
Paper
Sep 16
Notification
Nov 6
Camera-ready
Nov 20
25
September 2026
Friday
in 7 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
Conditional Acceptance
Oct 20
Revisions
Nov 17
Camera-ready
Nov 24
Notification
Dec 18
2
October 2026
Friday
in 8 weeks
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 2 months
5
events
CSL
’27
Logic
Computer Science Logic
Brighton, UK
·
Jan 25 – 29, 2027
Dates & Deadlines
Abstract
Jul 8
Paper
Jul 15
Notification
Oct 15
Camera-ready
TBD
ESOP
’27
Round 2 / 2
Semantics
Types
European Symposium on Programming
Copenhagen, Denmark
·
Apr 12 – 15, 2027
·
part of
ETAPS
Dates & Deadlines
Round 1
active
Paper
May 28
Rebuttal
Jul 22
Notification
Aug 6
Camera-ready
Jan 25
Round 2
next
Paper
Oct 15
Rebuttal
Dec 9
Notification
Dec 22
Camera-ready
Jan 25
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
iFS
’27
Formal Methods
Software Engineering
International Conference on Foundations and Formal Methods for Software and Systems
Copenhagen, Denmark
·
Apr 12 – 15, 2027
·
part of
ETAPS
Dates & Deadlines
Paper
Oct 15
Notification
Dec 22
Camera-ready
Jan 25
TACAS
’27
Verification
Model Checking
Formal Methods
Tools and Algorithms for the Construction and Analysis of Systems
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 2 months
1
event
FSEN
’27
Software Engineering
Formal Methods
International Conference on Fundamentals of Software Engineering
Enschede, The Netherlands
·
May 24 – 25, 2027
Dates & Deadlines
Abstract
Oct 19
Paper
Oct 28
Notification
Dec 18
Camera-ready
Feb 22
19
November 2026
Thursday
in 3 months
1
event
ECOOP
’27
Types
Program Analysis
European Conference on Object-Oriented Programming
Turin, Italy
·
Jun 28 – Jul 2, 2027
Dates & Deadlines
Paper
Nov 19
Rebuttal
Jan 15
Notification
Jan 28
15
February 2027
Monday
in 6 months
2
events
CADE
’27
Theorem Proving
Logic
Conference on Automated Deduction
Nijmegen, The Netherlands
·
Aug 24 – 27, 2027
·
co-located
FSCD
Dates & Deadlines
Abstract
Feb 15
Paper
Feb 22
Rebuttal
Apr 26
Notification
May 17
Camera-ready
May 31
FSCD
’27
Logic
Types
Formal Structures for Computation and Deduction
Nijmegen, The Netherlands
·
Aug 22 – 28, 2027
·
co-located
CADE
Dates & Deadlines
Abstract
Feb 15
Paper
Feb 22
Rebuttal
Apr 26
Notification
May 17
Camera-ready
May 31
Deadlines closed
· event ahead
34
events
12
Oct
2026
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
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
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
11
Aug
2026
Deduktionstreffen
’26
Theorem Proving
Logic
Annual Meeting of the Interest Group for Deduction Systems
Bremen, Germany
·
Aug 11, 2026
Dates & Deadlines
Abstract
Jul 12
10
Apr
2027
ETAPS
’27
Formal Methods
Software Engineering
European Joint Conferences on Theory and Practice of Software
Copenhagen, Denmark
·
Apr 10 – 15, 2027
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
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
24
Aug
2026
FPW
’26
Functional Programming
Functional Programming Workshops
Paris, France
·
Aug 24 – 28, 2026
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 7
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
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
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
3
Oct
2026
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
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
21
Jun
2027
LICS
’27
Logic
Logic in Computer Science
Montreal, Canada
·
Jun 21 – 24, 2027
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
Jun 26
Camera-ready
Jul 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
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
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
11
Aug
2027
OOPSLA
’27
Compilers
Program Analysis
Object-oriented Programming, Systems, Languages, and Applications
Denver, Colorado
·
Aug 11 – 13, 2027
·
part of
SPLASH
19
Nov
2026
PLAS
’26
Security
Program Analysis
21st Workshop on Programming Languages and Analysis for Security
The Hague, The Netherlands
·
Nov 19, 2026
Dates & Deadlines
Paper
Jun 26
Notification
Aug 7
5
Jun
2027
PLDI
’27
Compilers
Program Analysis
Conference on Programming Language Design and Implementation
Atlanta, Georgia
·
Jun 5 – 11, 2027
27
Mar
2027
PPoPP
’27
Concurrency
ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
Salt Lake City, Utah
·
Mar 27 – 31, 2027
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
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
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
6
Oct
2026
SAS
’26
Program Analysis
Static Analysis Symposium
Oakland, California
·
Oct 6 – 8, 2026
·
part of
SPLASH
Dates & Deadlines
Abstract
May 1
Paper
May 7
Rebuttal
Jun 19
Notification
Jul 4
Camera-ready
Jul 20
29
Aug
2026
Scheme
’26
Functional Programming
Scheme and Functional Programming Workshop
Indianapolis, Indiana
·
Aug 29, 2026
·
part of
ICFP
Dates & Deadlines
Paper
Jun 5
Notification
Jul 1
Camera-ready
Jul 21
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, Colorado
·
Aug 11 – 13, 2027
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
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
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