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 |
|---|---|---|---|---|---|
| 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
- 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 |
|---|---|---|---|---|---|
| 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.
© Miki Hermann (LIX, Ecole Polytechnique), 2015-2024
Last modified: Sat, 14 Dec 2024 09:07:46 CET