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 |
|---|---|---|---|---|---|
| CPP Certified Programs and Proofs | Denver, Colorado, USA | 10/17 September 2024 | 20-21 January 2025 | 19 November 2024 | ACMart, double-blind, 12 pages excluding references; co-located with POPL |
| ICDT International Conference on Database Theory | Barcelona, Spain | 12/19 September 2024 | 25-28 March 2025 | 28 November 2024 | LIPIcs, 15 pages regular, 4 pages database theory + X; co-located with EDBT |
| SOFSEM Current Trends in Theory and Practice of Computer Science | Bratislava, Slovakia | 15 September 2024 | 20-23 January 2025 | LNCS, 12 pages excluding references | |
| MLN Machine Learning for Networking | Reims, France | 15 September 2024 | 27-29 November 2024 | 20 October 2024 | LNCS (post-proceedings), double-blind, 20 pages |
| WADT Workshop on Algebraic Development Techniques | post-proceedings | 16 September 2024 | 25 November 2024 | dates for post-proceedings | |
| SAC Symposium On Applied Computing |
Catania, Sicily, Italy | 20 September 2024 | 31 March - 4 April 2025 | 30 October 2024 | Own format,
8+2 pages regular, 2+1 pages poster, 2 pages student research abstract, 1 page tutorial abstracts; +x pages with a fee |
| 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 |
| SDM Data Mining |
Alexandria, Virginia, USA | 27 September / 4 October 2024 23:59 PDT (UTC -07:00) |
1-3 May 2025 | late December 2024 | own format, double-blind, 8 pages excluding references |
| 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 |
| IPDPS International Parallel & Distributed Processing Symposium |
Milan, Italy | 3/10 October 2024 | 3-7 June 2025 | 19 December 2024 4 February 2025 |
IEEE, double-blind, 10 pages double-column, no appendix |
| PADL Practical Aspects of Declarative Languages | Denver, Colorado, USA | 4/11 October 2024 | 20-21 January 2025 | 11 November 2024 | LNCS, double-blind, 15 pages regular, 8 pages short, 3 pages extended abstracts; co-located with POPL |
| EDBT Extending Database Technology |
Barcelona, Spain | 9 October 2024 | 25-28 March 2025 | 4 December 2024 5 February 2025 |
ACM,
12 pages research, 12 pages experiments & analysis, 6 pages vision, all excluding references; third round of submissions, co-located with ICDT |
| 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 |
| FASE Fundamental Approaches to Software Engineering |
Hamilton, Ontario, Canada | 10 October 2024 | 3-8 May 2025 | 20 December 2024 | LNCS,
18 pages research,
18 pages empirical evaluation,
8 pages new ideas and emerging results, 8 pages tool demonstration and data showcase, all excluding references; 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, 18 pages excluding references research; 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 |
| 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 |
| ICAPS International Conference on Automated Planning and Scheduling | Melbourne, Victoria, Australia | 1 November 2024 | 9-15 November 2025 | 28 February 2025 | co-located with KR and CPAIOR |
| 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 | |
| SIROCCO Structural Information and Communication Complexity | Delphi, Greece | 1/8 November 2024 | 2-4 June 2025 | 17 January 2025 | LNCS, no page limit, but only first 14 pages read |
| STOC Symposium on Theory of Computing |
Prague, Czech Republic | 4 November 2024 19:59 EST (UTC -05:00) |
23-27 June 2025 | 1 February 2025 | double-blind, no page limit but only first 10 pages read |
| CAiSE Advanced Information Systems Engineering | Vienna, Austria | 22 November / 1 December 2024 | 16-20 June 2025 | 28 February 2025 | LNCS, 15 pages |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| Conference | City, Country | Deadline | Date | Notification | Submission format and comments |
Running conferences
| Conference | City, Country | Date | Remark |
|---|---|---|---|
| FedCSIS Federated Conference on Computer Science and Information Systems | Belgrade, Serbia | 8-11 September 2024 | |
| JAF Journées sur les Arithmétiques Faibles | Passau, Germany | 9-11 September 2024 | |
| MATCH-UP Matching Under Preferences | Oxford, United Kingdom | 9-11 September 2024 | |
| FMICS Formal Methods for Industrial Critical Systems | Milan, Italy | 9-11 September 2024 | co-located with FM |
| LOPSTR Logic-Based Program Synthesis and Transformation | Milan, Italy | 9-11 September 2024 | co-located with FM and PPDP |
| PPDP Principles and Practice of Declarative Programming | Milan, Italy | 9-11 September 2024 | co-located with FM and LOPSTR |
| FM Formal Methods | Milan, Italy | 9-13 September 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 | part of CONFEST |
| QEST Quantitative Evaluation of SysTems | Calgary, Canada | 9-13 September 2024 | part of CONFEST |
| FORMATS Formal Modeling and Analysis of Timed Systems | Calgary, Canada | 9-13 September 2024 | part of CONFEST |
| MLCS Machine Learning for Cybersecurity | Vilnius, Lithuania | 9-13 September 2024 | |
| ITP Interactive Theorem Proving | Tbilisi, Georgia | 9-14 September 2024 | |
| ICTCS Italian Conference on Theoretical Computer Science | Torino, Italy | 11-13 September 2024 | |
| SCN Security and Cryptography for Networks | Amalfi (SA), Italy | 11-13 September 2024 | |
| Conference | City, Country | Date | Remark |
Future conferences with deadline over
| Conference | City, Country | Date | Notification | Final version | Early registration | Remarks and other indications |
|---|---|---|---|---|---|---|
| RuleML+RR International Joint Conference on Rules and Reasoning | Bucharest, Romania | 16-18 September 2024 | 19 July 2024 | 21 August 2024 | ||
| ESORICS European Symposium on Research in Computer Security | Bydgoszcz, Poland | 16-20 September 2024 | 14 June 2024 | 28 June 2024 | 28 June 2024 | |
| SAFECOMP Computer Safety, Reliability and Security | Florence, Italy | 17-20 September 2024 | 21 April 2024 | 1 June 2024 | 14 July 2024 | |
| GD Graph Drawing | Vienna, Austria | 18-20 September 2024 | 20 July 2024 | 6 September 2024 | 20 August 2024 | |
| LSFA Logical and Semantic Frameworks with Applications | Goiânia, Brazil | 18-20 September 2024 | 7 August 2024 | 8 September 2024 | ||
| AAIM Algorithmic Aspects in Information and Management | Dallas, Texas. USA | 21-23 September 2024 | 1 July 2024 | 10 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 | 3 July 202423 | 23 July 2024 | early registration obligatory for authors |
| SPIRE String Processing and Information Retrieval | Puerto Vallarta, Jalisco, México | 23-25 September 2024 | 22 July 2024 | 29 July 2024 | 2 August 2024 | |
| 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 | 1 September 2024 | |
| KI German Conference on Artificial Intelligence | Würzburg, Germany | 25-27 September 2024 | 15 June 2024 | 10 July 2024 | 20 August 2024 | |
| DSAA Data Science and Advanced Analytics | San Diego, California, USA | 6-10 October 2024 | 24 July 2024 | 21 August 2024 | 28 August 2024 | |
| LPNMR Logic Programming and Non-Monotonic Reasoning | Dallas, Texas, USA | 11-14 October 2024 | 7 August 2024 | 15 August 2024 | 12 September 2024 | |
| Datalog 2.0 Datalog 2.0 | Dallas, Texas, USA | 11-14 October 2024 | 5 September 2024 | 24 September 2024 | 12 September 2024 | part of LPNMR |
| ICLP International Conference on Logic Programming |
Dallas, Texas, USA | 11-17 October 2024 | 19 June 2024 22 July 2024 |
5 August 2024 | 12 September 2024 | |
| PACT Parallel Architectures and Compilation Techniques | Long Beach, California, USA | 13-16 October 2024 | 1 July 2024 | 10 August 2024 | 16 September 2024 | |
| VSTTE Verified Software: Theories, Tools, and Experiments | Prague, Czech Republic | 14-15 October 2024 | 24 August 2024 | 3 October 2024 | 26 August 2024 | co-located with FMCAD |
| ADT Algorithmic Decision Theory | Piscataway, New Jersey, USA | 14-16 October 2024 | 19 July 2024 | 9 August 2024 | ||
| ASPOCP Answer Set Programming and Other Computing Paradigms | Dallas, Texas, USA | 14-17 October 2024 | 10 September 2024 | 12 September 2024 | workshop of ICLP | |
| FMCAD Formal Methods in Computer-Aided Design | Prague, Czech Republic | 14-18 October 2024 | 8 July 2024 | August 2024 | 26 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 | 19 August 2024 | ||
| SAS Static Analysis Symposium | Pasadena, California, USA | 20-22 October 2024 | 16 July 2024 | 12 August 2024 | 20 September 2024 | |
| SPLASH Systems, Programming, Languages, and Applications: Software for Humanity | Pasadena, California, USA | 20-25 October 2024 | 20 September 2024 | co-located with SAS | ||
| ATVA Automated Technology for Verification and Analysis | Kyoto, Japan | 21-24 October 2024 | 26 June 2024 | 22 August 2024 | 1 September 2024 | |
| APLAS Asian Symposium on Programming Languages and Systems | Kyoto, Japan | 22-25 October 2024 | 2 August 2024 | 31 August 2024 | 1 September 2024 | |
| FOCS Foundations of Computer Science | Chicago, Illinois, USA | 27-30 October 2024 | 4 July 2024 | 26 August 2024 | 23 September 2024 | |
| TIME Temporal Representation and Reasoning | Montpellier, France | 28-30 October 2024 | 14 August 2024 | 23 August 2024 | ||
| ICTAI International Conference on Tools with Artificial Intelligence | Herndon, Virginia, USA | 28-30 October 2024 | 3 September 2024 | 30 September 2024 | ||
| DISC Distributed Computing | Madrid, Spain | 28 October - 1 November 2024 | 2 August 2024 | 22 August 2024 | 27 September 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 | 20 Spetember 2024 | co-located with KR |
| KR Principles of Knowledge Representation and Reasoning | Hanoi, Vietnam | 2-8 November 2024 | 10 July 2024 | 31 July 2024 | 20 September 2024 | co-located with NMR |
| SEFM Software Engineering and Formal Methods | Aveiro, Portugal | 4-8 November 2024 | 22 August 2024 | artefact submission: 30 June 2024 | ||
| ReacTS Reconfigurable Transition Systems | Aveiro, Portugal | 5 November 2024 | 25 September 2024 | 20 October 2024 | sattelite event of SEFM | |
| MIWAI Multi-Disciplinary International Conference on Artificial Intelligence | Pattaya, Thailand | 11-15 November 2024 | 14 September 2024 | 21 September 2024 | 21 September 2024 | |
| iFM Integrated Formal Methods | Manchester, UK | 13-15 November 2024 | 5 August 2024 | 19 September 2024 | 19 October 2024 | |
| PRIMA Principles and Practice of Multi-Agent Systems | Kyoto, Japan | 18-24 November 2024 | 12 September 2024 | 25 September 2024 | 30 September 2024 | co-located with PRICAI |
| PRICAI Pacific Rim International Conference on Artificial Intelligence | Kyoto, Japan | 18-24 November 2024 | 7 August 2024 | 4 September 2024 | 8 September 2024 | co-located with PRIMA |
| AIxIA Italian Association for Artificial Intelligence | Bolzano, Italy | 25–28 November 2024 | 1 August 2024 | |||
| ICTAC International Colloquium on Theoretical Aspects of Computing | Bangkok, Thailand | 25-29 November 2024 | 1 September 2024 | 13 September 2024 | registration opens on 1st September 2024 | |
| WINE Web and Internet Economics | Edinburgh, United Kingdom | 2-5 December 2024 | 16 September 2024 | 8 October 2024 | in September | |
| WISE Web Information Systems Engineering | Doha, Qatar | 2-5 December 2024 | 30 August 2024 | 7 September 2024 | 20 September 2024 | |
| COCOA Conference on Combinatorial Optimization and Applications | Beijing, China | 6-8 December 2024 | 4 October 2024 | 10 October 2024 | 10 October 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 |
| OPODIS On Principles of Distributed Systems | Lucca, Italy | 11-13 December 2024 | 23 October 2024 | 8 November 2024 | ||
| 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 | |||
| ICDCN International Conference on Distributed Computing and Networking | Hyderabad, India | 4-7 January 2025 | 27 September 2024 | 30 October 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 | ||
| 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 | ||
| ICLA Indian Conference on Logic and its Applications | Kolkata, India | 3-5 February 2025 | 25 October 2024 | |||
| CSL Computer Science Logic | Amsterdam, The Netherlands | 10-14 February 2025 | 27 October 2024 | 24 November 2024 | ||
| AAAI Artificial Intelligence |
Philadelphia, Pennsylvania, USA | 25 February - 4 March 2025 | 14 October 2024 9 December 2024 |
19 December 2024 | 19 August 2024 supplementary material and code | |
| 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 | |
| NFM NASA Formal Methods | 2025 | Hampton Roads, Virginia, USA | Spring 2025 | Spring 2025 | |
| EuroCG European Workshop on Computational Geometry | 2025 | Liblice Castle, Czech Republic | 8 April 2025 | 11 April 2025 | |
| AofA Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms | 2025 | Toronto, Ontario, Canada | 5 May 2025 | 9 May 2025 | at Fields Institute |
| LICS Logic in Computer Science | 2025 | Singapore | 23 June 2025 | 26 June 2025 | deadline in January 2025 |
| ICML International Conference on Machine Learning | 2025 | Vancouver, British Columbia, Canada | 13 July 2025 | 19 July 2025 | |
| ISSAC International Symposium on Symbolic and Algebraic Computation | 2025 | Guanajuato, Mexico | 28 July 2025 | 1 August 2025 | |
| CADE Conference on Automated Deduction | 2025 | Stuttgart, Germany | 28 July 2025 | 2 August 2025 | |
| CCC Computational Complexity Conference | 2025 | Toronto, Ontario, Canada | 5 August 2025 | 8 August 2025 | at Fields Institute |
| ECAI European Conference on Artificial Intelligence | 2025 | Bologna, Italy | 27 October 2025 | 31 October 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.
© Miki Hermann (LIX, Ecole Polytechnique), 2015-2024
Last modified: Wed, 11 Sep 2024 10:18:20 CEST