Conferences in Theoretical Computer Science

WARNING

Deadline ahead

Conference City, Country Deadline Date Notification Submission format and comments
CPAIOR
 
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Melbourne, Victoria, Australia 8/15 December 2024 10-13 November 2025 TBA LNCS, 15 pages long, 8 pages short, both excluding references;
co-located with KR and ICAPS
ICDCS International Conference on Distributed Computing Systems Glasgow, Scotland, UK 11/18 December 2024 20-23 July 2025 2 April 2025 IEEE conference, 11 pages
NFM NASA Formal Methods Hampton Roads, Virginia, USA 13/22 December 2024 11-13 June 2025 14 February 2025 LNCS, 15 pages regular, 6 pages short, both excluding references
OLA
 
Optimization and Learning
Dubai, UAE 20 December 2024 23-25 April 2025 7 February 2025 LNCS, 12 pages original research;
free format, 3 pages extended abstracts and work-in-progress and position
BICOB Bioinformatics and Computational Biology San Francisco, California, USA 31 December 2024 17-18 March 2025 15 January 2025 LNCS
IJCAI International Joint Conference on Artificial Intelligence Montreal, Canada 16/23 January 2025 16-22 August 2025 28 April 2025 own format, double-blind, 9 pages (7 text + 2 references)
LICS Logic in Computer Science Singapore 16/23 January 2025 23-26 June 2025 8 April 2025 IEEE Transactions, double-blind, 12 pages excluding references
FLAIRS
 
FLAIRS
Daytona Beach, Florida, USA 20/27 January 2025 20-23 May 2025 10 March 2025 Florida Online Journals, 6 pages full, 4 pages short, 2 pages poster,
all excluding references
EuroCG European Workshop on Computational Geometry Liblice Castle, Czech Republic 21 January 2025 8-11 April 2025 21 February 2025 own format, 175 lines of text
SAND
 
Algorithmic Foundations of Dynamic Networks
Liverpool, United Kingdom 21 January 2025 9-11 June 2025 28 March 2025 LIPIcs, double-blind,
no page limit but only first 12 pages read regular and 5 pages read brief announcements
Petri Nets Petri Nets Paris, France 22 January 2025 25-27 June 2025 10 March 2025 LNCS, 20 pages excluding references
ICML International Conference on Machine Learning Vancouver, British Columbia, Canada 23/30 January 2025 13-19 July 2025 1 May 2025 own format, double-blind, 8 pages excluding references
ISSAC International Symposium on Symbolic and Algebraic Computation Guanajuato, Mexico 23/30 January 2025 28 July - 1 August 2025 16/30 April 2025 ACMart, 8 pages
SEA Symposium on Experimental Algorithms Venice, Italy 26 January 2025 22-24 July 2025 24 March 2025 LIPIcs, double-blind, 12 pages excluding references
CAV
 
Computer-Aided Verification
Zagreb, Croatia 31 January 2025 21-25 July 2025 2 April 2025 LNCS, 18 pages double-blind regular, 10 pages tool,
10 pages industrial experience reports & case studies, all excluding references
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
COORDINATION
 
Coordination Models and Languages
Lille, France 31 January / 7 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 31 January / 7 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 31 January / 7 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
TASE Theoretical Aspects of Software Engineering Limassol, Cyprus 1/7 February 2025 14-16 July 2025 1 April 2025 LNCS, 16 pages long, 6 pages short, both excluding references
KDD Knowledge Discovery and Data Mining Toronto, Ontario, Canada 1/8 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
COLT
 
Conference on Learning Theory
Lyon, France 6 February 2025
17:00 EST (UTC -05:00)
30 June - 4 July 2025 2 May 2025 PMLR, double-blind, 12 pages excluding references
ICALP International Colloquium on Automata, Languages and Programming Aarhus, Denmark 7 February 2025 8-11 July 2025 14 April 2025 LIPIcs, double-blind, 15 pages excluding references
SAFECOMP Computer Safety, Reliability and Security Stockholm, Sweden 7/14 February 2025 9-12 September 2025 12 April 2025 LNCS, 14 pages
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
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
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
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
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
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
CICM Conference on Intelligent Computer Mathematics Brasilia, Brazil 28 April / 5 May 2025 6-11 October 2025 4 July 2025
ECAI European Conference on Artificial Intelligence Bologna, Italy 29 April / 6 May 2025 27-30 October 2025 10 July 2025
LAGOS Latin-American Algorithms, Graphs and Optimization Symposium Buenos Aires, Argentina 30 April 2025 10-14 November 2025 20 Juy 2025
TABLEAUX Automated Reasoning with Analytic Tableaux and Related Methods Reykjavik, Iceland 9/14 May 2025 29 September - 3 October 2025 9 July 2025 co-located with FroCoS, and ITP
JAF Journées sur les Arithmétiques Faibles Prague, Czech Republic 2 June 2025 8-10 September 2025 5 July 2025 3 pages PDF
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
FSTTCS Foundations of Software Technology and Theoretical Computer Science Gandhinagar, Gujarat, India 16-18 December 2024 16 September 2024 4 October 2024 15 November 2024
CSCML Cyber Security, Cryptology and Machine Learning 19-20 December 2024 13 August 2024 31 August 2024
ICDCN
 
International Conference on Distributed Computing and Networking
Hyderabad, India 4-7 January 2025 27 September 2024 30 October 2024 8 November 2024
20 December 2024
first registration date for authors, second for general audience
ITCS Innovations in Theoretical Computer Science Columbia University, New York, USA 7-10 January 2025 2 November 2024
ALENEX Algorithm Engineering and Experiments New Orleans, Lousiana, USA 12-13 January 2025 31 August 2024 9 December 2024 co-located with SODA
SODA
 
Symposium on Discrete Algorithms
New Orleans, Lousiana, USA 12-15 January 2025 6 September 2024
early October 2024
9 December 2024
SOSA Symposium on Simplicity in Algorithms New Orleans, Lousiana, USA 13-14 January 2025 October 2024 9 December 2024 co-located with SODA
POPL
 
Principles of Programming Languages
Denver, Colorado, USA 19-25 January 2025 8 October 2024
7 November 2024
14 November 2024 20 December 2024
CPP Certified Programs and Proofs Denver, Colorado, USA 20-21 January 2025 19 November 2024 mid December 2024 20 December 2024 co-located with POPL
PADL Practical Aspects of Declarative Languages Denver, Colorado, USA 20-21 January 2025 11 November 2024 24 November 2024 20 December 2024 co-located with POPL
SOFSEM Current Trends in Theory and Practice of Computer Science Bratislava, Slovakia 20-23 January 2025 12 November 2024 20 December 2024
ICLA Indian Conference on Logic and its Applications Kolkata, India 3-5 February 2025 25 October 2024 11 January 2025
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
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
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
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 including ESOP, FASE, FoSSaCS, and TACAS
ESOP European Symposium on Programming Hamilton, Ontario, Canada 3-8 May 2025 19 December 2024 30 January 2025 part of ETAPS
FASE Fundamental Approaches to Software Engineering Hamilton, Ontario, Canada 3-8 May 2025 20 December 2024 30 January 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 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 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
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
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
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
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
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
ICAPS International Conference on Automated Planning and Scheduling Melbourne, Victoria, Australia 9-15 November 2025 28 February 2025
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 2023 and 2024 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
CCC Computational Complexity Conference 2025 Toronto, Ontario, Canada 5 August 2025 8 August 2025 at Fields Institute
WADS Algorithms and Data Structures 2025 Toronto, Ontario, Canada 11 August 2025 15 August 2025 co-located with CCCG
CCCG Canadian Conference on Computational Geometry 2025 Toronto, Ontario, Canada 11 August 2025 15 August 2025 co-located with WADS
DL Description Logics 2025 Opole, Poland 3 September 2025 5 September 2025
GD Graph Drawing 2025 Norrköping, Sweden 24 September 2025 26 September 2025
CIAA Conference on Implementation and Application of Automata 2025 Palermo, Italy 23 September 2025 26 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-2024

Last modified: Sat, 14 Dec 2024 09:07:46 CET