Conferences in Theoretical Computer Science

WARNING

Deadline ahead

Conference City, Country Deadline Date Notification Submission format and comments
WISE Web Information Systems Engineering Doha, Qatar 30 June / 15 July 2024 2-5 December 2024 30 August 2024 LNCS, double-blind, 15 pages
ICTAI International Conference on Tools with Artificial Intelligence Herndon, Virginia, USA 15 July 2024 28-30 October 2024 25 August 2024 IEEE Transactions, double-blind, 8 pages
MIWAI Multi-Disciplinary International Conference on Artificial Intelligence Pattaya, Thailand 15 July 2024 11-15 November 2024 1 August 2024 LNCS, double-blind, 12 pages
JAF Journées sur les Arithmétiques Faibles Passau, Germany 15 July 2024 9-11 September 2024 15 August 2024 3 pages
VSTTE Verified Software: Theories, Tools, and Experiments Prague, Czech Republic 18 July 2024 14-15 October 2024 29 August 2024 LNCS, 16 pages long, 10 pages short, both excluding references; co-located with FMCAD
ALENEX Algorithm Engineering and Experiments New Orleans, Lousiana, USA 18 July 2024 12-13 January 2025 31 Ausust 2024 SIAM, double-blind, 10 pages excluding front matter and references; co-located with SODA
CSL Computer Science Logic Amsterdam, The Netherlands 18/23 July 2024 10-14 February 2025 27 October 2024 LIPIcs, double-blind, 15 pages excluding references
NMR Non-Monotonic Reasoning Hanoi, Vietnam 19 July 2024 2-4 November 2024 1 September 2024 CEUR, 10 pages including references full, 3 pages excluding referencesextended abstracts; co-located with KR
ICDCN International Conference on Distributed Computing and Networking Hyderabad, India 25 July 2024 4-7 January 2025 27 September 2024 ACMart, 10 pages regular, 5 pages short
TERMGRAPH Computing with Terms and Graphs post-proceedings 1 August 2024 7 April 2024 15 September 2024 EPTCS, 16 pages post-proceedings
Datalog 2.0 Datalog 2.0 Dallas, Texas, USA 1/8 August 2024 11-14 October 2024 5 September 2024 CEUR, 12 pages long, 5 pages short; part of LPNMR
KDD Knowledge Discovery and Data Mining ??? 1/8 August 2024
SOSA Symposium on Simplicity in Algorithms New Orleans, Lousiana, USA 5/8 August 2024 13-14 January 2025 October 2024 double-blind, no page limit; co-located with SODA
AAAI
 
Artificial Intelligence
Philadelphia, Pennsylvania, USA 7/15 August 2024 25 February - 4 March 2025 14 October 2024
9 December 2024
AAAI, double-blind, 7 pages excluding references
CPP Certified Programs and Proofs Denver, Colorado, USA 10/19 September 2024 20-21 January 2025 19 November 2024 ACMart, double-blind, 12 pages excluding references; co-located with POPL
SOFSEM Current Trends in Theory and Practice of Computer Science Bratislava, Slovakia 15 September 2024 20-23 January 2025 LNCS, 12 pages excluding references
WADT Workshop on Algebraic Development Techniques post-proceedings 16 September 2024 25 November 2024 dates for post-proceedings
WALCOM International Conference and Workshops on Algorithms and Computation Chengdu, China 22 September 2024 28 February - 2 March 2025 8 November 2024 LNCS, 14 pages
STACS Symposium on Theoretical Aspects of Computer Science Jena, Germany 26 September 2024 4-7 March 2025 16 December 2024 LIPIcs, double-blind, 15 pages excluding title page and references + 5 pages appendix
CALDAM Conference on Algorithms and Discrete Applied Mathematics Coimbatore, Tamilnadu, India 27 September 2024 13-15 February 2025 12 November 2024 LNCS, 12 pages
ALT Algorithmic Learning Theory Milan, Italy 1 October 2024 24-27 February 2025 20 December 2024 own format, double-blind, 12 pages excluding references
EUROCRYPT Theory and Applications of Cryptographic Techniques Madrid, Spain 2 October 2024 4-8 May 2025 31 January 2025 LNCS, 27 pages excluding references
AAMAS Autonomous Agents and Multiagent Systems Detroit, Michigan, USA 9/16 October 2024 19-23 May 2025 23 December 2024 AAMAS, double-blind, 8 pages excluding references
SIGMOD
 
International Conference on Management of Data
Berlin, Germany 10/17 October 2024 22-27 June 2025 28 November 2024
30 January 2025
ACM, double-blind, 12 pages excluding references, no appendix;
last round of submissions, co-located with PODS
EvoStar Evo* Trieste, Italy 1 November 2024 23-25 April 2025 federated conference including EuroGP, EvoAPPS, EvoCOP, and EvoMUSART
EuroGP European Conference on Genetic Programming Trieste, Italy 1 November 2024 23-25 April 2025 part of EvoStar
EvoAPPS Applications of Evolutionary Computation Trieste, Italy 1 November 2024 23-25 April 2025 part of EvoStar
EvoCOP Evolutionary Computation in Combinatorial Optimisation Trieste, Italy 1 November 2024 23-25 April 2025 part of EvoStar
EvoMUSART Artificial Intelligence in Music, Sound, Art and Design Trieste, Italy 1 November 2024 23-25 April 2025 part of EvoStar
PODS
 
Principles of Database Systems
Berlin, Germany 2/9 December 2024 22-27 June 2025 14 February 2025
7 March 2025
ACM, double-blind, 15 pages;
second round of submissions, co-located with SIGMOD
ICALP International Colloquium on Automata, Languages and Programming Aarhus, Denmark 7 February 2025 7-11 July 2025 14 April 2025 LIPIcs, double-blind, 15 pages excluding references
Conference City, Country Deadline Date Notification Submission format and comments

Running conferences

Conference City, Country Date Remark
GECCO Genetic and Evolutionary Computation Conference Melbourne, Australia 14-18 July 2024
ANTS Algorithmic Number Theory Symposium Cambridge, Massachusetts, USA 15-19 July 2024 no fee, but must register
FOIS Formal Ontology in Information Systems Enschede, The Netherlands 15-19 July 2024
Conference City, Country Date Remark

Future conferences with deadline over

Conference City, Country Date Notification Final version Early registration Remarks and other indications
ISSAC International Symposium on Symbolic and Algebraic Computation Raleigh, North Carolina, USA 16-19 July 2024 16/30 April 2024 21 May 2024 28 June 2024
ICDCS
 
International Conference on Distributed Computing Systems
Jersey City, New Jersey, USA 16-19 July 2024 12 April 2024 10 May 2024 24 May 2024 (author)
22 June 2024 (early)
CCCG Canadian Conference on Computational Geometry St. Catharines, Ontario, Canada 17-19 July 2024 17 May 2024 31 May 2024 31 May 2024
ICML International Conference on Machine Learning Vienna, Austria 21-27 July 2024 1 May 2024 29 May 2024 15 June 2024
AUTOMATA Cellular Automata and Discrete Complex Systems Durham, United Kingdom 22-24 July 2024 3 May 2024 17 May 2024 21 June 2024
CCC Computational Complexity Conference Ann Arbor, Michigan, USA 22-25 July 2024 5 May 2024 30 June 2024
CAV
 
Computer-Aided Verification
Montreal, Canada 22-27 July 2024 26 March 2024
10 May 2024
19 May 2024 15 June 2024 submissions updated until 26 January 2024
artifact submission: 8 April 2024 (mandatory for tool papers)
SEA Symposium on Experimental Algorithms Vienna, Austria 23-26 July 2024 27 March 2024 28 April 2024 31 May 2024
TASE
 
Theoretical Aspects of Software Engineering
Guiyang, China 29 July - 1 August 2024 10 April 2024 10 May 2024 20 May 2024 (author)
14 June 2024 (early)
IJCAI
 
International Joint Conference on Artificial Intelligence
Jeju Island, South Korea 3-9 August 2024 22 February 2024
16 April 2024
4 June 2024 appendix and resubmission until 24 January 2024
CICM Conference on Intelligent Computer Mathematics Montréal, Québec, Canada 5-9 August 2024 28 May 2024 11 June 2024 15 July 2024
DLT Developments in Language Theory Göttingen, Germany 12-16 August 2024 3 May 2024 17 May 2024 20 July 2024
CRYPTO
 
CRYPTO
Santa Barbara, California, USA 18-22 August 2024 7 April 2024
3 May 2024
17 July 2024
SmartData Smart Data Copenhagen, Denmark 19-22 August 2024 1 June 2024 20 June 2024 20 June 2024
RAMiCS Relational and Algebraic Methods in Computer Science Prague, Czech Republic 19-23 August 2024 21 May 2024 22 June 2024 26 June 2024 co-located with AiML
AiML Advances in Modal Logic Prague, Czech Republic 19-23 August 2024 20 May 2024 21 June 2024 26 June 2024 co-located with RAMiCS
PoS Pragmatics of SAT Pune, India 20 August 2024 23 June 2023 14 July 2024 26 July 2024 satellite event of SAT
SAT Theory and Applications of Satisfiability Testing Pune, India 21-24 August 2024 22 May 2024 22 June 2024 26 July 2024 preceded 18-20 August 2024 by Indian SAT+SMT School
COCOON Computing and Combinatorics Conference Shanghai, China 23-25 August 2024 25 May 2024 10 June 2024 15 July 2024
KDD Knowledge Discovery and Data Mining Barcelona, Spain 25-29 August 2024 16 May 2024 4 June 2024 10 July 2024
ICICS
 
International Conference on Information and Communications Security
Mytilene, Lesvos, Greece 26-28 August 2024 24 June 2024 9 August 2024 30 June 2024
31 July 2024
first registration date for authors, second for attendees
Euro-Par European Conference on Parallel and Distributed Computing Madrid, Spain 26-30 August 2024 29 April 2024 2 June 2024 30 June 2024
MFCS Mathematical Foundations of Computer Science Bratislava, Slovakia 26-30 August 2024 24 June 2024 28 June 2024 25 July 2024
PATAT Practice and Theory of Automated Timetabling Lyngby, Denmark 27-30 August 2024 3 May 2024 24 June 2024 24 June 2024
APPROX Approximation Algorithms for Combinatorial Optimization Problems London, United Kingdom 28-30 August 2024 1 July 2024 15 July 2024 co-located with RANDOM
RANDOM Randomization and Computation London, United Kingdom 28-30 August 2024 1 July 2024 15 July 2024 co-located with APPROX
SCSS Symbolic Computation in Software Science Tokyo, Japan 28-30 August 2024 1 May 2024 15 June 2024
ALGOCLOUD Algorithms for Cloud-Based Systems Egham, United Kingdom 2-3 September 2024 31 July 2024 part of ALGO
ESA European Symposium on Algorithms Egham, United Kingdom 2-4 September 2024 23 June 2024 30 June 2024 part of ALGO
WABI Workshop on Algorithms in Bioinformatics Egham, United Kingdom 2-4 September 2024 30 June 2024 8 July 2024 part of ALGO
IOTSMS Internet of Things: Systems, Management and Security Malmö, Sweden 2-5 September 2024 15 July 2024 1 August 2025
ALGO Federated Conference on Algorithms Egham, United Kingdom 2-6 September 2024 federated conference including ALGOCLOUD, ALGOWIN, ATMOS, ESA, IPEC, WABI, WAOA
CP Principles and Practice of Constraint Programming Girona, Catalonia, Spain 2-6 September 2024 20 June 2024 1 July 2024 14 July 2024
ICFP International Conference on Functional Programming Milan, Italy 2-7 September 2024 20 May 2024
CIAA Conference on Implementation and Application of Automata Akita, Japan 3-6 September 2024 7 June 2023 21 June 2024
SAGT Symposium on Algorithmic Game Theory Amsterdam, The Netherlands 3-6 September 2024 5 July 2024 15 July 2024
IPEC International Symposium on Parameterized and Exact Computation Egham, United Kingdom 4-6 September 2024 5 August 2024 part of ALGO
ALGOWIN Algorithmic of Wireless Networks Egham, United Kingdom 5-6 September 2024 1 August 2024 30 August 2024 part of ALGO
ATMOS Algorithmic Approaches for Transportation Modelling, Optimization, and Systems Egham, United Kingdom 5-6 September 2024 31 July 2024 7 August 2024 part of ALGO
WAOA Workshop on Approximation and Online Algorithms Egham, United Kingdom 5-6 September 2024 31 July 2024 9 August 2024 part of ALGO
NCL Non-Classical Logics Łódż, Poland 5-8 September 2024 15 June 2024 10 July 2024
FedCSIS Federated Conference on Computer Science and Information Systems Belgrade, Serbia 8-11 September 2024 25 June 2024 23 July 2024
FACS Formal Aspects of Component Software Milan, Italy 9-10 September 2024 3 July 2024 17 July 2024 co-located with FM
TAP Tests and Proofs Milan, Italy 9–10 September 2024 5 July 2024 19 July 2024 co-located with FM
MATCH-UP Matching Under Preferences Oxford, United Kingdom 9-11 September 2024 1 July 2024 15 July 2024
FMICS Formal Methods for Industrial Critical Systems Milan, Italy 9-11 September 2024 10 June 2024 23 June 2024 co-located with FM
LOPSTR Logic-Based Program Synthesis and Transformation Milan, Italy 9-11 September 2024 26 June 2024 17 July 2024 co-located with FM and PPDP
PPDP Principles and Practice of Declarative Programming Milan, Italy 9-11 September 2024 5 July 2024 24 July 2024 co-located with FM and LOPSTR
FM Formal Methods Milan, Italy 9-13 September 2024 10 June 2024 1 July 2024
CONFEST CONCUR & QEST & FORMATS Calgary, Canada 9-13 September 2024 federated conference including CONCUR, QEST, and FORMATS
CONCUR Concurrency Theory Calgary, Canada 9-13 September 2024 21 June 2024 12 July 2024 updates possible until 29 April 2024; part of CONFEST
QEST Quantitative Evaluation of SysTems Calgary, Canada 9-13 September 2024 31 May 2024 17 June 2024 22 April artifact submission; part of CONFEST
FORMATS Formal Modeling and Analysis of Timed Systems Calgary, Canada 9-13 September 2024 31 May 2024 17 June 2024 22 April artifact submission; part of CONFEST
MLCS Machine Learning for Cybersecurity Vilnius, Lithuania 9-13 September 2024 15 July 2024 26 July 2024
ITP Interactive Theorem Proving Tbilisi, Georgia 9-14 September 2024 20 May 2024 10 June 2024 19 July 2024
ICTCS Italian Conference on Theoretical Computer Science Torino, Italy 11-13 September 2024 21 July 2024 25 August 2024
SCN Security and Cryptography for Networks Amalfi (SA), Italy 11-13 September 2024 2 July 2024 17 July 2024 31 July 2024 revisions possible until 9 May 2024
RuleML+RR International Joint Conference on Rules and Reasoning Bucharest, Romania 16-18 September 2024 19 July 2024
SAFECOMP Computer Safety, Reliability and Security Florence, Italy 17-20 September 2024 21 April 2024 1 June 2024
GD
 
Graph Drawing
Vienna, Austria 18-20 September 2024 20 July 2024 6 September 2024
LSFA Logical and Semantic Frameworks with Applications Goiânia, Brazil 18-20 September 2024 7 August 2024
AAIM Algorithmic Aspects in Information and Management Dallas, Texas. USA 21-23 September 2024 1 July 2024 10 July 2024 all times 23:59 CDT (UTC -05:00)
LOD Machine Learning, Optimization, Data Science Castiglione della Pescaia, Italy 22-25 September 2024 23 June 2024 23 July 202423 23 July 2024 early registration obligatory for authors
LAP Logic and Applications Dubrovnik, Croatia 23-27 September 2024 10 July 2024 16 July 2024
RP Reachability Problems Vienna, Austria 25-27 September 2024 30 July 2024 5 August 2024
KI German Conference on Artificial Intelligence Würzburg, Germany 25-27 September 2024 15 June 2024 10 July 2024
DSAA Data Science and Advanced Analytics San Diego, California, USA 6-10 October 2024 24 July 2024 21 August 2024
LPNMR Logic Programming and Non-Monotonic Reasoning Dallas, Texas, USA 11-14 October 2024 7 August 2024 15 August 2024
ICLP
 
International Conference on Logic Programming
Dallas, Texas, USA 11-17 October 2024 19 June 2024
22 July 2024
5 August 2024
ADT Algorithmic Decision Theory Piscataway, New Jersey, USA 14-16 October 2024 19 July 2024 9 August 2024
FMCAD Formal Methods in Computer-Aided Design Prague, Czech Republic 14-18 October 2024 8 July 2024 August 2024 20 August 2024
PACT Parallel Architectures and Compilation Techniques Long Beach, California, USA 13-16 October 2024 1 July 2024 10 August 2024
CCS
 
Computer and Communication Security
Salt Lake City, Utah, USA 14-18 October 2024 29 May 2024
4 July 2024
12 September 2024
ECAI European Conference on Artificial Intelligence Santiago de Compostela, Spain 19-24 October 2024 4 July 2024
SAS Static Analysis Symposium Pasadena, California, USA 20-22 October 2024 16 July 2024 12 August 2024
SPLASH Systems, Programming, Languages, and Applications: Software for Humanity Pasadena, California, USA 20-25 October 2024 co-located with SAS
ATVA Automated Technology for Verification and Analysis Kyoto, Japan 21-24 October 2024 26 June 2024 22 August 2024
APLAS Asian Symposium on Programming Languages and Systems Kyoto, Japan 22-25 October 2024 2 August 2024 31 August 2024
FOCS Foundations of Computer Science Chicago, Illinois, USA 27-30 October 2024 4 July 2024 26 August 2024 15 August 2024
TIME Temporal Representation and Reasoning Montpellier, France 28-30 October 2024 2 August 2024 13 August 2024
DISC Distributed Computing Madrid, Spain 28 October - 1 November 2024 2 August 2024 22 August 2024 workshops: 28 October & 1 November; main conference: 29-31 October 2024
KR Principles of Knowledge Representation and Reasoning Hanoi, Vietnam 2-8 November 2024 10 July 2024 31 July 2024 co-located with NMR
SEFM Software Engineering and Formal Methods Aveiro, Portugal 4-8 November 2024 15 August 2024 artefact submission: 30 June 2024
iFM Integrated Formal Methods Manchester, UK 13-15 November 2024 5 August 2024 19 September 2024
ICTAC International Colloquium on Theoretical Aspects of Computing Bangkok, Thailand 25-29 November 2024 1 September 2024 13 September 2024
ISAAC International Symposium on Algorithms and Computation Sydney, Australia 8-12 December 2024 2 September 2024 30 September 2024 18 October 2024 no registration after 29 November 2024 AoE
FSTTCS Foundations of Software Technology and Theoretical Computer Science Gandhinagar, Gujarat, India 16-18 December 2024 16 September 2024 4 October 2024
CSCML Cyber Security, Cryptology and Machine Learning 19-20 December 2024 13 August 2024 31 August 2024
SODA
 
Symposium on Discrete Algorithms
New Orleans, Lousiana, USA 12-15 January 2025 6 September 2024
early October 2024
9 December 2024
POPL Principles of Programming Languages Denver, Colorado, USA 19-25 January 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
SYNASC Symbolic and Numeric Algorithms for Scientific Computing 2024 Timişoara, Romania 16 September 2024 19 September 2024
ETAPS European Joint Conferences on Theory & Practice of Software 2025 Hamilton, Ontario, Canada 3/5 May 2025 8 May 2025 including ESOP, FASE, FoSSaCS, and TACAS
CADE Conference on Automated Deduction 2025 Stuttgart, Germany July 2025 July 2025
ICAPS International Conference on Automated Planning and Scheduling 2025 Melbourne, Victoria, Australia 9 November 2025 15 November 2025 co-located with KR and CPAIOR
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: Mon, 15 Jul 2024 19:36:40 CEST