Conferences in Theoretical Computer Science

WARNING

Deadline ahead

Conference City, Country Deadline Date Notification Submission format and comments
ECMFA
 
European Conference on Modelling Foundations and Applications
Koblenz, Germany 31 January / 7 February 2025 10-13 June 2025 28 March 2025
2 May 2025
JOT, 2nd round of submissions, part of STAF
KDD Knowledge Discovery and Data Mining Toronto, Ontario, Canada 3/10 February 2025 3-7 August 2025 16 May 2025 ACM, double-blind, 8 pages excluding references
EC
 
Economics and Computation
Stanford, California, USA 3/10 February 2025 7-12 July 2025 27 March 2025
17 May 2025
own format, double-blind, 18 pages excluding references
PODC
 
Principles of Distributed Computing
Huatulco, Mexico 4/8 February 2025 16-20 June 2025 17 April 2025 letter paper, 11-point font, single column, single-spaced format with 1-inch margins;
double-blind, no page limit regular, 5 pages brief announcements
CCC Computational Complexity Conference Toronto, Ontario, Canada 7 February 2025 5-8 August 2025 2 May 2025 LIPIcs, double-blind, no page limit but only first 10 pages read; at Fields Institute
OLA Optimization and Learning Dubai, United Arab Emirates 7 February 2025 23-25 April 2025 21 February 2025 LNCS, 12 pages research; own format 3 pages extended abstract & work in progress & position
SAFECOMP Computer Safety, Reliability and Security Stockholm, Sweden 7/14 February 2025 9-12 September 2025 12 April 2025 LNCS, 14 pages
ICALP International Colloquium on Automata, Languages and Programming Aarhus, Denmark 8 February 2025 8-11 July 2025 14 April 2025 LIPIcs, double-blind, 15 pages excluding references
FSCD Formal Structures for Computation and Deduction Birmingham, UK 10/17 February 2025 14-20 July 2025 30 April 2025 LIPIcs, 15 pages regular, 15 pages system descriptions, both excluding references
EMAS
 
Engineering Multi-Agent Systems
Denver, Colorado, USA 11 February 2025 19-20 May 2025 10 March 2025 LNCS, 16 pages regular, 8 pages short, 6 pages student, 4 pages tools and demo,
all excluding references; co-located with AAMAS
SPAA Symposium on Parallelism in Algorithms and Architectures Portland, Oregon, USA 11/18 February 2025 28 July - 1 August 2025 20 May 2025 ACM, 10 pages excluding references regular, 3 pages brief announcements
SPIN
 
International Symposium on Model Checking Software
Hamilton, Ontario, Canada 13 February 2025 7-8 May 2025 24 March 2025 LNCS, 16 pages full (full tool with mandatory artifact), 6 pages short,
all excluding references; co-located with ETAPS
WG Graph-Theoretic Concepts in Computer Science Otzenhausen, Germany 14/20 February 2025 11-13 June 2025 17 April 2025 LNCS, 12 pages excluding references
COORDINATION
 
Coordination Models and Languages
Lille, France 14/21 February 2025 16-20 June 2025 28 March 2025 LNCS, 15 pages regular, 25 pages survey, 15 pages tool, all excluding references;
part of DISCOTEC
DAIS
 
Distributed Applications and Interoperable Systems
Lille, France 14/21 February 2025 16-20 June 2025 28 March 2025 LNCS, 15 pages full, 6 pages work in progress, both +2 pages for references;
part of DISCOTEC
FORTE
 
Formal Techniques for Distributed Objects, Components, and Systems
Lille, France 14/21 February 2025 16-20 June 2025 28 March 2025 LNCS, 15 pages regular, 15 pages tool, 6 pages short, all excluding references;
part of DISCOTEC
CLAR International Conference on Logic and Argumentation Taiyuan, China 15 February 2025 14-16 June 2025 29 March 2025 LNCS, 16 pages excluding references
TASE Theoretical Aspects of Software Engineering Limassol, Cyprus 15/21 February 2025 14-16 July 2025 1 April 2025 LNCS, 16 pages long, 6 pages short, both excluding references
CADE
 
Conference on Automated Deduction
Stuttgart, Germany 17/24 February 2025 28 July - 2 August 2025 28 April 2025 LNCS, 15 pages regular, 10 pages short, both excluding references;
deadline for satellite event proposals: 11 November 2024
WoLLIC Workshop on Logic, Language, Information and Computation Porto, Portugal 17/24 February 2025 14-17 July 2025 12 May 2025 LNCS, 12 pages + 5 pages references and appendix
CPM Combinatorial Pattern Matching Milan, Italy 21 February 2025 17-19 June 2025 21 March 2025 LIPIcs, 12 pages excluding title page and references; second round of sumbissions
WADS Toronto, Canada 21/28 February 2025 11-15 August 2025 15 April 2025 LIPIcs, 12 pages + 2 pages of references; colocated with CCCG
ICFP
 
International Conference on Functional Programming
Singapore 27 February 2025 12-18 October 2025 23 May 2025 ACM small, double-blind,
25 pages full or functional pearl, 12 pages experience report, all excluding references
IWOCA International Workshop on Combinatorial Algorithms Bozeman, Montana, USA 27 February 2025 21-24 July 2025 22 April 2025 LNCS, 12 pages excluding references
ECCO European Chapter on Combinatorial Optimization Marrakech, Morocco 28 February 2025 8-10 May 2025 14 March 2025 one page abstract
TYPES Types for Proofs and Programs Glasgow, Scotland, UK 3 March 2025 9-13 June 2025 11 April 2025 2 pages excluding references; post-proceedings LIPIcs
CALCO Conference on Algebra and Coalgebra in Computer Science Glasgow, Scotland, UK 3/6 March 2025 16-20 June 2025 16 April 2025 LIPIcs, 15 pages excluding references regular, 2 pages early ideas, 5 pages tools
COCOON Computing and Combinatorics Conference Chengdu, China 5 March 2025 15-17 August 2025 5 May 2025 LNCS, double-blind, 12 pages
CanaDAM Canadian Discrete and Algorithmic Mathematics Conference Ottawa, Ontario, Canada 10 March 2024 20-23 May 2024 24 March 2024
SoCS
 
Symposium on Combinatorial Search
Glasgow, Scotland, UK 12/19 March 2025 12-15 August 2025 16 May 2025 AAAI, double-blind, 8 pages long, 4 pages short, 2 pages extended abstract, all +1 page references;
co-located with SAT and CP
ITP
 
Interactive Theorem Proving
Reykjavik, Iceland 12/19 March 2025 27 September - 3 October 2025 23 May 2025 LIPIcs, double-blind, 16 pages regular, 6 pages short, both excluding references;
co-located with FroCoS, and TABLEAUX
TbiLLC Tbilisi Symposium on Logic, Language and Computation Kutaisi, Georgia 14 March 2025 8-12 September 2025 23 May 2025 3 pages + 1 page references; post-proceedings LNCS
CP
 
Principles and Practice of Constraint Programming
Glasgow, Scotland, UK 20/27 March 2025 10-15 August 2025 29 May 2025 LIPIcs, double-blind, 15 pages + 6 pages appendix full, 8 pages + 3 pages appendix short,
both excuding references; co-located with SAT and SoCS
SAT
 
Theory and Applications of Satisfiability Testing
Glasgow, Scotland, UK 20/27 March 2025 11-15 August 2025 29 May 2025 LIPIcs, 15 pages long, 8 pages short, 8 pages tool, all excluding references;
co-located with CP and SoCS
MFPS Mathematical Foundations of Programming Semantics Glasgow, Scotland, UK 27 March / 3 April 2025 16-20 June 2025 12 May 2025 own format, 15 pages excluding references
ICLP
 
International Conference on Logic Programming
Rende, Calabria, Italy 13/18 April 2025
15 June 2025
12-19 September 2025 25 May 2025
6 July 2025
TPLP and EPTCS; co-located with PPDP
MFCS Mathematical Foundations of Computer Science Warsaw, Poland 18 April 2025 25-29 August 2025 20 June 2025 LIPIcs, 12 pages excluding references
KI
 
German Conference on Artificial Intelligence
Potsdam, Germany 18/25 April 2025 16-19 September 2025 6 June 2025 LNCS, 12 pages full, 6 pages communications, 3 pages extended abstracts (deadline 16 May 2025),
all excluding references
FMCAD Formal Methods in Computer-Aided Design Menlo Park, California, USA 20/27 April 2025 6-10 October 2025 1 July 2025 IEEE Transactions, 8 pages long, 4 pages short, both excluding references
ESORICS European Symposium on Research in Computer Security Toulouse, France 22 April 2025 22-26 September 2025 13 June 2025 LNCS, 16 pages + 4 pages references and appendix; second round of submission
CICM
 
Conference on Intelligent Computer Mathematics
Brasilia, Brazil 28 April / 5 May 2025 6-11 October 2025 4 July 2025 LNCS, 15 pages regular, 15 pages project and survey, 5 pages system and dataset descriptions,
all excluding references; co-located with LSFA
ECAI European Conference on Artificial Intelligence Bologna, Italy 29 April / 6 May 2025 25-30 October 2025 10 July 2025 no format yet, double-blind
LAGOS Latin-American Algorithms, Graphs and Optimization Symposium Buenos Aires, Argentina 30 April 2025 10-14 November 2025 20 July 2025 own format, 8 pages
CCCG Canadian Conference on Computational Geometry Toronto, Ontario, Canada 2 May 2025 11-15 August 2025 13 June 2025 format not available yet, double-blind, 6 pages excluding references; co-located with WADS
JELIA European Conference on Logics in Artificial Intelligence Kutaisi, Georgia 2/9 May 2025 1-5 September 2025 1 July 2025 LNCS, 13 pages long, 6 pages short, excluding references
LSFA Logical and Semantic Frameworks with Applications Brasilia, Brazil 5/12 May 2025 6-11 October 2025 27 June 2025 EPTCS, 16 pages full, 6 pages short; co-located with CICM
FroCoS Frontiers of Combining Systems Reykjavik, Iceland 5/12 May 2025 27 September - 3 October 2025 23 June 2025 LNCS, 15 pages excluding references; co-located with ITP and TABLEAUX
TABLEAUX Automated Reasoning with Analytic Tableaux and Related Methods Reykjavik, Iceland 9/14 May 2025 27 September - 3 October 2025 9 July 2025 LNCS, 15 pages regular, 9 pages short, both excluding references; co-located with FroCoS, and ITP
PPDP
 
Principles and Practice of Declarative Programming
Rende, Calabria, Italy 18/30 May 2025 10-11 September 2025 7 July 2025 ACM, two column, 12 pages regular, 10 pages system descriptions, both excluding references,
5 pages experience reports; co-located with ICLP
JAF Journées sur les Arithmétiques Faibles Prague, Czech Republic 2 June 2025 8-10 September 2025 5 July 2025 3 pages PDF
RuleML+RR International Joint Conference on Rules and Reasoning İstanbul, Türkiye 2/9 June 2025 22-24 September 2025 28 July 2025 LNCS, 15 pages text + 2 pages references long, 8 pages text + 1 page references short
GD
 
Graph Drawing
Norrköping, Sweden 3/10 June 2025 24-26 September 2025 23 July 2025 own format and LIPIcs, double-blind, 500 lines and 15 pages full, 225 lines and 7 pages short,
80 lines and 3 pages poster, all lines counted without front matter
Conference City, Country Deadline Date Notification Submission format and comments

Running conferences

Conference City, Country Date Remark
Conference City, Country Date Remark

Future conferences with deadline over

Conference City, Country Date Notification Final version Early registration Remarks and other indications
CSL Computer Science Logic Amsterdam, The Netherlands 10-14 February 2025 27 October 2024 24 November 2024 10 January 2025
CALDAM Conference on Algorithms and Discrete Applied Mathematics Coimbatore, Tamilnadu, India 13-15 February 2025 12 November 2024 22 November 2024 31 December 2024
ALT Algorithmic Learning Theory Milan, Italy 24-27 February 2025 20 December 2024
AAAI
 
Artificial Intelligence
Philadelphia, Pennsylvania, USA 25 February - 4 March 2025 14 October 2024
9 December 2024
19 December 2024 19 December 2024 19 August 2024 supplementary material and code
WALCOM International Conference and Workshops on Algorithms and Computation Chengdu, China 28 February - 2 March 2025 8 November 2024 20 November 2024 30 December 2024
STACS Symposium on Theoretical Aspects of Computer Science Jena, Germany 4-7 March 2025 16 December 2024 January 2025 17 February 2025
BICOB Bioinformatics and Computational Biology San Francisco, California, USA 17-18 March 2025 31 January 2025 15 February 2025 15 February 2025 registration due for all at early date
ICDT International Conference on Database Theory Barcelona, Spain 25-28 March 2025 28 November 2024 24 February 2025 co-located with EDBT
EDBT
 
Extending Database Technology
Barcelona, Spain 25-28 March 2025 4 December 2024
5 February 2025
19 February 2025 24 February 2025 co-located with ICDT
SAC Symposium On Applied Computing Catania, Sicily, Italy 31 March - 4 April 2025 20 November 2024 29 November 2024 6 December 2024
EuroCG European Workshop on Computational Geometry Liblice Castle, Czech Republic 9-11 April 2025 21 February 2025 7 March 2025 5 March 2025
EvoStar
 
Evo*
Trieste, Italy 23-25 April 2025 10 January 2025 24 January 2025 26 February 2025
19 March 2025
first registration date for authors, second early;
federated conference including EuroGP, EvoAPPS, EvoCOP, and EvoMUSART
EuroGP
 
European Conference on Genetic Programming
Trieste, Italy 23-25 April 2025 10 January 2025 24 January 2025 26 February 2025
19 March 2025
first registration date for authors, second early;
part of EvoStar
EvoAPPS
 
Applications of Evolutionary Computation
Trieste, Italy 23-25 April 2025 10 January 2025 24 January 2025 26 February 2025
19 March 2025
first registration date for authors, second early;
part of EvoStar
EvoCOP
 
Evolutionary Computation in Combinatorial Optimisation
Trieste, Italy 23-25 April 2025 10 January 2025 24 January 2025 26 February 2025
19 March 2025
first registration date for authors, second early;
part of EvoStar
EvoMUSART
 
Artificial Intelligence in Music, Sound, Art and Design
Trieste, Italy 23-25 April 2025 10 January 2025 24 January 2025 26 February 2025
19 March 2025
first registration date for authors, second early;
part of EvoStar
RECOMB Research in Computational Molecular Biology Seoul, Korea 26-29 April 2025 16 December 2024 24 January 2025 15 March 2025
SDM Data Mining Alexandria, Virginia, USA 1-3 May 2025 late December 2024 3 April 2025
ETAPS European Joint Conferences on Theory & Practice of Software Hamilton, Ontario, Canada 3-8 May 2025 10 October 2025 30 January 2025 28 February 2025 including ESOP, FASE, FoSSaCS, and TACAS
ESOP European Symposium on Programming Hamilton, Ontario, Canada 3-8 May 2025 19 December 2024 30 January 2025 28 February 2025 part of ETAPS
FASE Fundamental Approaches to Software Engineering Hamilton, Ontario, Canada 3-8 May 2025 20 December 2024 30 January 2025 28 February 2025 part of ETAPS
FoSSaCS Foundations of Software Science and Computation Structures Hamilton, Ontario, Canada 3-8 May 2025 20 December 2024 30 January 2025 28 February 2025 part of ETAPS
TACAS Tools and Algorithms for the Construction and Analysis of Systems Hamilton, Ontario, Canada 3-8 May 2025 20 December 2024 30 January 2025 28 February 2025 part of ETAPS
EUROCRYPT Theory and Applications of Cryptographic Techniques Madrid, Spain 4-8 May 2025 31 January 2025
AAMAS Autonomous Agents and Multiagent Systems Detroit, Michigan, USA 19-23 May 2025 23 December 2024 7 February 2025
FLAIRS FLorida Artificial Intelligence Research Society Conference Daytona Beach, Florida, USA 20-23 May 2025 10 March 2025 9 April 2025 2 April 2025 poster abstracts 17 March 2025
SIROCCO Structural Information and Communication Complexity Delphi, Greece 2-4 June 2025 17 January 2025
IPDPS
 
International Parallel & Distributed Processing Symposium
Milan, Italy 3-7 June 2025 19 December 2024
4 February 2025
27 February 2024
SAND Algorithmic Foundations of Dynamic Networks Liverpool, United Kingdom 9-11 June 2025 28 March 2025 11 April 2025
CIAC International Conference on Algorithms and Complexity Rome, Italy 10-12 June 2025 31 January 2025 14 February 2025
ECMFA
 
 
European Conference on Modelling Foundations and Applications
Koblenz, Germany 10-13 June 2025 17 January 2025
28 March 2025
2 May 2025
two rounds of submissions, part of STAF
IPCO Integer Programming and Combinatorial Optimization Baltimore, Maryland, USA 11-13 June 2025 22 January 2025 25 March 2025
NFM NASA Formal Methods Hampton Roads, Virginia, USA 11-13 June 2025 14 February 2025 14 March 2025
DisCoTec Distributed Computing Techniques Lille, France 16-20 June 2025 28 March 2025 23 April 2025 federated conference including COORDINATION, DAIS, and FORTE
CAiSE Advanced Information Systems Engineering Vienna, Austria 16-20 June 2025 28 February 2025 14 April 2025 14 April 2025
CPM Combinatorial Pattern Matching Milan, Italy 17-19 June 2025 23 December 2024
SIGMOD
 
International Conference on Management of Data
Berlin, Germany 22-27 June 2025 28 November 2024
30 January 2025
co-located with PODS
PODS
 
Principles of Database Systems
Berlin, Germany 22-27 June 2025 14 February 2025
7 March 2025
co-located with SIGMOD
Petri Nets Petri Nets Paris, France 22-27 June 2025 10 March 2025 24 March 2025
LICS Logic in Computer Science Singapore 23-26 June 2025 8 April 2025
STOC Symposium on Theory of Computing Prague, Czech Republic 23-27 June 2025 1 February 2025 31 March 2025
SoCG Symposium on Computational Geometry Kanazawa, Japan 23-27 June 2025 6 February 2025 mid March 2025
COLT
 
Conference on Learning Theory
Lyon, France 30 June - 4 July 2025 2 May 2025
ICML International Conference on Machine Learning Vancouver, British Columbia, Canada 13-19 July 2025 1 May 2025
ICDCS International Conference on Distributed Computing Systems Glasgow, Scotland, UK 20-23 July 2025 2 April 2025 16 April 2025
CAV Computer-Aided Verification Zagreb, Croatia 21-25 July 2025 2 April 2025
SEA Symposium on Experimental Algorithms Venice, Italy 22-24 July 2025 31 March 2025 28 April 2025 1 April 2025
ISSAC
 
International Symposium on Symbolic and Algebraic Computation
Guanajuato, Mexico 28 July - 1 August 2025 23 April 2025
16 May 2025
10 June 2025
IJCAI
 
International Joint Conference on Artificial Intelligence
Montreal, Canada 16-22 August 2025 7 March 2025
28 April 2025
CONFEST CONCUR & QEST & FORMATS Aarhus, Denmark 25-30 August 2025 federated conference including CONCUR, FMICS, FORMATS, and QEST
ALGO Federated Conference on Algorithms Warsaw, Poland 15-19 September 2025 federated conference including ESA, ALGOWIN, ALGOCLOUD, IPEC, ATMOS, and WAOA
ESORICS European Symposium on Research in Computer Security Toulouse, France 22-26 September 2025 21 March 2025 14 April 2025
ICAPS International Conference on Automated Planning and Scheduling Melbourne, Victoria, Australia 9-15 November 2025 28 February 2025
CPAIOR Integration of Constraint Programming, Artificial Intelligence, and Operations Research Melbourne, Victoria, Australia 10-13 November 2025 10 February 2025 TBA co-located with KR and ICAPS
Conference City, Country Date Notification Final version Early registration Remarks and other indications

Conference planning

This section serves

  1. for planning conferences in the future,
  2. to indicate the planned (tentative) dates for a conference, and
  3. to inform organizers of other conferences about these dates to avoid scheduling clashes.

The calendar for the years 2025 and 2026 can help you to plan the conferences.

If you wish the tentative schedule of your conference to be listed here, send me an e-mail (change  _at_  to @ and  _dot_  twice to .) with the following template:

E-mail with a template for a planned conference

Conference Year City, Country Starting date Ending date Remark
AofA Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms 2025 Toronto, Ontario, Canada 5 May 2025 9 May 2025 at Fields Institute
DL Description Logics 2025 Opole, Poland 3 September 2025 5 September 2025
CIAA Conference on Implementation and Application of Automata 2025 Palermo, Italy 22 September 2025 25 September 2025
FLoC Federated Logic Conference 2026 Lisbon, Portugal 18 July 2026 29 July 2026 summer school 13-17 July 2026; includes CAV, CP, CSF, FSCD, ICLP, IJCAR, ITP, KR, LICS, SAT
Conference Year City, Country Starting date Ending date Remark

Instructions for listing your conference here

If you wish your conference to be listed here, send me an e-mail (change  _at_  to @ and  _dot_  twice to .) with one of the following templates:

E-mail with a template for a conference with its deadline ahead

E-mail with a template for a future conference with deadline over

This webpage is updated regularly, at least once a day. Only serious conferences in connection with theoretical computer science will be listed.

Following conferences are included in this list

Toggle list of included conferences with full names    

If you are an organizer of one of these conferences and you do not see that conference listed here. please send me a messsage using the aforementioned instructions.


Flag Counter

Valid HTML 4.01 Strict Valid CSS!

© Miki Hermann (LIX, Ecole Polytechnique), 2015-2025

Last modified: Fri, 07 Feb 2025 17:08:17 CET