Conferences in Theoretical Computer Science
WARNING
- If you wish your conference to be listed here … follow these instructions
- All information on this page is given without any warranty.
- When there are two dealine dates, the first is for the abstract, the second for the full paper.
- All deadlines are 23:59 Anywhere on Earth (AoE) (UTC-12:00) if not stated otherwise.
- Be aware that some special deadline times, others than AoE, might be one hour earlier, because of daylight saving time, even if the conference organizers indicated the time without the daylight saving time shift.
- Be also aware, that the daylight saving time starts and ends on different days in Europe and North America.
- The calendar for the years 2024 and 2025 can help you to consider the deadlines and dates.
- Your time zone is UTC
Deadline ahead
| Conference | City, Country | Deadline | Date | Notification | Submission format and comments |
|---|---|---|---|---|---|
| MIWAI Multi-Disciplinary International Conference on Artificial Intelligence | Pattaya, Thailand | 31 July 2024 | 11-15 November 2024 | 15 August 2024 | LNCS, double-blind, 12 pages |
| 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 | |||
| VSTTE Verified Software: Theories, Tools, and Experiments | Prague, Czech Republic | 3 August 2024 | 14-15 October 2024 | 24 August 2024 | LNCS, 16 pages long, 10 pages short, both excluding references; co-located with FMCAD |
| JAF Journées sur les Arithmétiques Faibles | Passau, Germany | 5 August 2024 | 9-11 September 2024 | 15 August 2024 | 3 pages |
| 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 |
| COCOA Conference on Combinatorial Optimization and Applications | Beijing, China | 15 August 2024 | 6-8 December 2024 | 20 September 2024 | LNCS, 12 pages |
| ICDCN International Conference on Distributed Computing and Networking | Hyderabad, India | 16 August 2024 | 4-7 January 2025 | 27 September 2024 | ACMart, 10 pages regular, 5 pages short |
| 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 |
| ESOP European Symposium on Programming |
Hamilton, Ontario, Canada | 10 October 2024 | 3-8 May 2025 | 19 December 2024 | LNCS, 25 pages research, 15 pages experience reports, 15 pages fresh perspectives, all excluding references; part of ETAPS |
| TACAS Tools and Algorithms for the Construction and Analysis of Systems | Hamilton, Ontario, Canada | 10 October 2024 | 3-8 May 2025 | 20 December 2024 | LNCS; part of ETAPS |
| FoSSaCS Foundations of Software Science and Computation Structures | Hamilton, Ontario, Canada | 10 October 2024 | 3-8 May 2025 | 20 December 2024 | LNCS; part of ETAPS |
| FASE Fundamental Approaches to Software Engineering | Hamilton, Ontario, Canada | 10 October 2024 | 3-8 May 2025 | 20 December 2024 | LNCS; part of ETAPS |
| 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 |
|---|---|---|---|
| ICML International Conference on Machine Learning | Vienna, Austria | 21-27 July 2024 | |
| CAV Computer-Aided Verification | Montreal, Canada | 22-27 July 2024 | |
| SEA Symposium on Experimental Algorithms | Vienna, Austria | 23-26 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 |
|---|---|---|---|---|---|---|
| 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 | ||
| ICTAI International Conference on Tools with Artificial Intelligence | 21 July 2024 | 28-30 October 2024 | 25 August 2024 | 23 September 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 | |
| NMR Non-Monotonic Reasoning | Hanoi, Vietnam | 2-4 November 2024 | 1 September 2024 | 4 October 2024 | co-located with KR | |
| 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 | ||
| WISE Web Information Systems Engineering | Doha, Qatar | 2-5 December 2024 | 30 August 2024 | 7 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 | |||
| ALENEX Algorithm Engineering and Experiments | New Orleans, Lousiana, USA | 12-13 January 2025 | 31 Ausust 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 | ||
| POPL Principles of Programming Languages | Denver, Colorado, USA | 19-25 January 2025 | ||||
| CSL Computer Science Logic | Amsterdam, The Netherlands | 10-14 February 2025 | 27 October 2024 | 24 November 2024 | ||
| ETAPS European Joint Conferences on Theory & Practice of Software | Hamilton, Ontario, Canada | 3-8 May 2025 | including ESOP, FASE, FoSSaCS, and TACAS | |||
| Conference | City, Country | Date | Notification | Final version | Early registration | Remarks and other indications |
Conference planning
This section serves
- for planning conferences in the future,
- to indicate the planned (tentative) dates for a conference, and
- 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 | |
| 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.
© Miki Hermann (LIX, Ecole Polytechnique), 2015-2024
Last modified: Fri, 26 Jul 2024 14:12:33 CEST