PL
Conferences
About
Ctrl
K
All
83
Conferences
40
Workshops
31
Symposia
12
Tags
Starred
All events
All
83
Submissions open
Open
5
sorted by next deadline ·
9
deadlines this week
16
July 2026
Thursday
in 20 hours 13 minutes
1
event
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
17
July 2026
Friday
tomorrow
3
events
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
Abstract
Jun 21
Paper
Jul 17
Notification
Aug 17
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
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
19
July 2026
Sunday
in 3 days
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
20
July 2026
Monday
in 4 days
2
events
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
SAS
’26
Program Analysis
Static Analysis Symposium
Oakland, California
·
Oct 6 – 8, 2026
·
part of
SPLASH
Dates & Deadlines
Paper
May 7
Rebuttal
Jun 19
Notification
Jul 4
Camera-ready
Jul 20
21
July 2026
Tuesday
in 5 days
3
events
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 21
Camera-ready
Aug 5
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
Scheme
’26
Round 1 / 2
Functional Programming
Scheme and Functional Programming Workshop
Indianapolis, United States
·
Aug 29, 2026
·
part of
ICFP
Dates & Deadlines
Round 1
active
Paper
Jun 5
Notification
Jul 1
Camera-ready
Jul 21
Round 2
active
Paper
Jun 19
Notification
Jul 14
Camera-ready
Jul 21
22
July 2026
Wednesday
in 6 days
1
event
ESOP
’27
Round 1 / 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
23
July 2026
Thursday
in 7 days
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
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
ML Family
’26
Functional Programming
Types
ML Family Workshop
Indianapolis, United States
·
Aug 28, 2026
·
part of
ICFP
Dates & Deadlines
Paper
Jul 1
Conditional Acceptance
Jul 23
Notification
Jul 30
24
July 2026
Friday
in 8 days
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
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
25
July 2026
Saturday
in 9 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
27
July 2026
Monday
in 11 days
1
event
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
1
August 2026
Saturday
in 2 weeks
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
7
August 2026
Friday
in 3 weeks
1
event
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
10
August 2026
Monday
in 4 weeks
1
event
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
28
August 2026
Friday
in 6 weeks
1
event
FSTTCS
’26
Logic
Automata
Foundations of Software Technology and Theoretical Computer Science
New Delhi, India
·
Dec 15 – 20, 2026
Dates & Deadlines
Abstract
Jul 4
Paper
Jul 11
Rebuttal
Aug 28
Notification
Sep 15
3
September 2026
Thursday
in 7 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
7
September 2026
Monday
in 8 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 23
Paper
Jun 30
Notification
Sep 7
Camera-ready
Sep 21
10
September 2026
Thursday
in 8 weeks
1
event
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
25
September 2026
Friday
in 2 months
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
2
October 2026
Friday
in 3 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 3 months
2
events
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
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 3 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
53
events
14
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
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
1
Jul
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
29
Jun
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
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
Abstract
May 13
Notification
May 20
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
15
Jun
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
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
26
May
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
3
Jul
2026
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
Jun 12
Notification
Jul 3
8
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
1
Jul
2026
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
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
19
Jun
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
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
28
Jun
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
23
Jun
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
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
17
Jun
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
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
8
Jul
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, United States
·
Aug 27 – 29, 2026
·
co-located
ICFP
Dates & Deadlines
Abstract
May 20
Paper
May 31
Notification
Jun 26
Camera-ready
Jul 8
2
Jul
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
27
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 27
26
Jun
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
Jun
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
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
25
Jun
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
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
24
Jun
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
10
Jul
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
Jul
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
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
14
Jun
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
30
May
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
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
15
Jun
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
28
May
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
31
May
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
13
Jun
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
25
Jun
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
14
Jul
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
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
29
Jun
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