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 2025 and 2026 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 |
|---|---|---|---|---|---|
| EvoStar Evo* | Toulouse, France | 1 November 2025 | 8-10 April 2026 | 10 January 2026 | federated conference including EuroGP, EvoAPPS, EvoCOP, and EvoMUSART |
| EuroGP European Conference on Genetic Programming | Toulouse, France | 1 November 2025 | 8-10 April 2026 | 10 January 2026 | LNCS, double-blind, 14 pages excluding references; part of EvoStar |
| EvoAPPS Applications of Evolutionary Computation | Toulouse, France | 1 November 2025 | 8-10 April 2026 | 10 January 2026 | LNCS, double-blind, 14 pages excluding references; part of EvoStar |
| EvoCOP Evolutionary Computation in Combinatorial Optimisation | Toulouse, France | 1 November 2025 | 8-10 April 2026 | 10 January 2026 | LNCS, double-blind, 14 pages excluding references; part of EvoStar |
| EvoMUSART Artificial Intelligence in Music, Sound, Art and Design | Toulouse, France | 1 November 2025 | 8-10 April 2026 | 10 January 2026 | LNCS, double-blind, 14 pages excluding references; part of EvoStar |
| RAMiCS Relational and Algebraic Methods in Computer Science | Będlewo, Poland | 1/6 November 2025 | 7-10 April 2026 | 20 January 2026 | LNCS, 16 pages |
| SIROCCO Structural Information and Communication Complexity | Durham, United Kingdom | 2/9 November 2025 | 9-11 June 2026 | 20 January 2026 | A4 paper (LNCS proceedings), 12 pages excluding references |
| CAiSE Advanced Information Systems Engineering | Verona, Italy | 14/28 November 2025 | 8-12 June 2026 | 19 February 2026 | LNCS, 14 pages excluding references |
| FM Formal Methods | Tokyo, Japan | 25 Nov. / 2 Dec. 2025 | 18-22 May 2026 | 30 January 2026 | LNCS, 15 pages regular, long tool, and case studies, 6 pages short and tool demonstration |
| PODS Principles of Database Systems |
Bengaluru, India | 3/19 December 2025 | 31 May - 5 June 2026 | 8 February 2026 1 March 2026 |
ACM, double-blind, 15 pages excluding references; co-located with SIGMOD |
| ICDCS International Conference on Distributed Computing Systems | South Korea | 5/12 December 2025 | 20-24 July 2026 | IEEE Transactions, double-blind, 11 pages | |
| FLOPS Functional and Logic Programming | Akita, Japan | 8/16 December 2025 | 26-28 May 2026 | 2 February 2026 | LNCS (?), 15 pages excluding references |
| OLA Optimization and Learning | Chania, Crete, Greece | 19 December 2025 | 28-30 April 2026 | 23 January 2026 | LNCS, 12 pages original research, own format, 3 pages extended abstract |
| NFM NASA Formal Methods | Los Angeles, California, USA | 10 January 2026 | 5-7 May 2026 | 10 March 2026 | LNCS, 18 pages regular, 6 pages short, both excluding references |
| LICS Logic in Computer Science | Lisbon, Portugal | 15/22 January 2026 | 20-23 July 2026 | 16 April 2026 | format not yet determined, double-blind, 12 pages; part of FLoC |
| ANTS Algorithmic Number Theory Symposium | Groningen, Netherlands | 17 January 2026 | 6-10 July 2026 | 20 April 2026 | AMSart, 20 pages excluding references |
| GECCO Genetic and Evolutionary Computation Conference | San José, Costa Rica | 19/26 January 2026 | 13-17 July 2026 | 20 March 2026 | ACMart, double-blind, 8 pages excluding references full papers, 4 pages poster papers |
| FLAIRS FLorida Artificial Intelligence Research Society Conference | Marco Island, Florida, USA | 19/26 January 2026 | 17-20 May 2026 | 9 March 2026 | |
| IJCAR International Joint Conference on Automated Reasoning | Lisbon, Portugal | 23/30 January 2026 | 26-29 July 2026 | 31 March 2026 | LNCS, 15 pages regular, 7 pages short, both excluding references; all dates are tentative, part of FLoC |
| CAV Computer-Aided Verification | Lisbon, Portugal | 28 January 2026 | 26-29 July 2026 | 17 April 2026 | part of FLoC |
| CSF Computer Security Foundations | Lisbon, Portugal | 29 January 2026 | 26-29 July 2026 | 1 April 2026 | IEEE Transactions, double-blind, 12 pages excluding references; part of FLoC |
| WG Graph-Theoretic Concepts in Computer Science | Kortrijk, Belgium | 1/4 February 2026 | 2-4 June 2026 | 3 April 2026 | |
| KDD Knowledge Discovery and Data Mining | Jeju Island, South Korea | 1/8 February 2026 | 9-13 August 2026 | 16 May 2026 | ACMart, double-blind (research track), single-blind (application track), 8 pages; second cycle |
| CCC Computational Complexity Conference | Lisbon, Portugal | 6 February 2026 | 3-6 August 2026 | 1 May 2026 | LIPIcs, double-blind, no page limit but only first 10 pages read |
| KR Principles of Knowledge Representation and Reasoning | Lisbon, Portugal | 8/13 February 2026 | 20-23 July 2026 | 13 April 2026 | part of FLoC |
| PODC Principles of Distributed Computing | Egham, England, UK | 11/16 February 2026 | 6-10 July 2026 | 29 April 2026 | ACMart, double-blind, no page limit but only first 10 pages read regular, 5 page brief announcemenst |
| ITP Interactive Theorem Proving | Lisbon, Portugal | 12/19 February 2026 | 26-29 July 2026 | 26 April 2026 | LIPIcs, double-blind, 16 pages regular, 6 pages short, both excluding references; part of FLoC |
| MATCH-UP Matching Under Preferences | Paris, France | 15 February 2026 | 1-3 July 2026 | 15 April 2026 | A4 paper, 18 pages excluding references |
| WoLLIC Workshop on Logic, Language, Information and Computation | Peru, Lima | 16/22 February 2026 | 3-6 August 2026 | 5 May 2026 | LNCS, 12 pages + 5 pages references and appendix |
| AiML Advances in Modal Logic | Amsterdam, Netherlands | 20/27 February 2026 | 29 June - 3 July 2026 | 24 April 2026 | |
| AofA Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms | Munich, Germany | end February 2026 | 22-26 June 2026 | mid April 2026 | |
| CONCUR Concurrency Theory | Liverpool, United Kingdom | 14/20 April 2026 | 1-5 September 2026 | 15 June 2026 | |
| FedCSIS Federated Conference on Computer Science and Information Systems | Riga, Latvia | 15 April 2026 | 23-26 August 2026 | 16 June 2026 | IEEEtrans, 12 pages full, 8 pages short |
| Conference | City, Country | Deadline | Date | Notification | Submission format and comments |
Running conferences
| Conference | City, Country | Date | Remark |
|---|---|---|---|
| IWAE International Workshop on Algorithms in Engineering | Taoyuan, Taiwan | 24-26 October 2025 | |
| FCAI Foundations and Future of Change in Artificial Intelligence | Bologna, Italy | 25-26 October 2025 | co-located with ECAI |
| ECAI European Conference on Artificial Intelligence | Bologna, Italy | 25-30 October 2025 | |
| Conference | City, Country | Date | Remark |
Future conferences with deadline over
| Conference | City, Country | Date | Notification | Final version | Early registration | Remarks and other indications |
|---|---|---|---|---|---|---|
| APLAS Asian Symposium on Programming Languages and Systems | Bengaluru, India | 27-30 October 2025 | 18 July 2025 | 31 August 2025 | 30 September 2025 | co-located with ATVA |
| ATVA Automated Technology for Verification and Analysis | Bengaluru, India | 27-30 October 2025 | 4 July 2025 | 7 August 2025 | 30 September 2025 | co-located with APLAS |
| DISC Distributed Computing | Berlin, Germany | 27-31 October 2025 | 7 August 2025 | 27 September 2025 | ||
| ICICS International Conference on Information and Communications Security | Nanjing, China | 29-31 October 2025 | 21 July 2025 | 15 September 2025 | ||
| ICTAI International Conference on Tools with Artificial Intelligence | Athens, Greece | 3-5 November 2025 | 20 August 2025 | 20 September 2025 | ||
| PACT Parallel Architectures and Compilation Techniques | Irvine, California, USA | 3-6 November 2025 | 28 July 2025 | 15 September 2025 | 23 September 2025 | |
| ICAPS International Conference on Automated Planning and Scheduling | Melbourne, Victoria, Australia | 9-15 November 2025 | 28 February 2025 | 3 September 2025 | co-located with CPAIOR and KR | |
| CPAIOR Integration of Constraint Programming, Artificial Intelligence, and Operations Research | Melbourne, Victoria, Australia | 10-13 November 2025 | 10 February 2025 | TBA | 3 September 2025 | co-located with KR and ICAPS |
| LAGOS Latin-American Algorithms, Graphs and Optimization Symposium | Buenos Aires, Argentina | 10-14 November 2025 | 30 July 2025 | 20 August 2025 | 7 October 2025 | |
| SEFM Software Engineering and Formal Methods | Toledo, Spain | 10-14 November 2025 | 11 August 2025 | 29 August 2025 | 30 September 2025 | |
| NMR Non-Monotonic Reasoning | Melbourne, Australia | 11-13 November 2025 | 28 August 2025 | 4 October 2025 | 8 September 2025 | co-located with KR |
| XLoKR Explainable Logic-Based Knowledge Representation | Melbourne, Australia | 11-13 November 2025 | 21 August 2025 | 10 October 2025 | 8 September 2025 | workshop of KR |
| KR Principles of Knowledge Representation and Reasoning | Melbourne, Victoria, Australia | 11-17 November 2025 | 10 July 2025 | 15 August 2025 | 8 September 2025 | co-located with CPAIOR and ICAPS |
| iFM Integrated Formal Methods | Paris, France | 17-21 November 2025 | 8 August 2025 | 26 Sptember 2025 | 25 October 2025 | 15/22 August 2025 artefact registration/submission, 24 September 2025 artefact notification |
| ICTAC International Colloquium on Theoretical Aspects of Computing | Marrakech, Morocco | 24-28 November 2025 | 30 August 2025 | 15 September 2025 | 5 October 2025 | |
| COCOA Conference on Combinatorial Optimization and Applications | Tianjin, China | 28-30 November 2025 | 25 September 2025 | 10 October 2025 | 10 November 2025 | |
| MIWAI Multi-Disciplinary International Conference on Artificial Intelligence | Saigon, Vietnam | 3-5 December 2025 | 15 September 2025 | 30 September 2025 | 1 October 2025 | |
| OPODIS On Principles of Distributed Systems | Iaşi, Romania | 3-5 December 2025 | 20 October 2025 | 31 October 2025 | 10 November 2025 | |
| ISAAC International Symposium on Algorithms and Computation | Tainan, Taiwan | 7-10 December 2025 | 30 August 2025 | 14 September 2025 | 24 October 2025 | |
| WINE Web and Internet Economics | New Brunswick, New Jersey, USA | 8-11 December 2025 | 15 September 2025 | 7 November 2025 | ||
| EISA Emerging Information Security and Applications | Hangzhou, China | 12-13 December 2025 | 30 October 2025 | 15 November 2025 | 25 November 2025 | |
| FOCS Foundations of Computer Science | Sydney, Australia | 14-17 December 2025 | 8 July 2025 | 21 November 2025 | ||
| PRIMA Principles and Practice of Multi-Agent Systems | Modena, Italy | 16-19 December 2025 | 29 September 2025 | 13 October 2025 | 24 October 2025 | |
| FSTTCS Foundations of Software Technology and Theoretical Computer Science | Goa, India | 17-19 December 2025 | 15 September 2025 | |||
| ICAA International Conference on Applied Algorithms |
Kolkata, India | 7-9 January 2026 | 24 October 2025 | 31 October 2025 | 31 October 2025 15 November 2025 |
first deadline for authors, second early |
| ALENEX Algorithm Engineering and Experiments | Vancouver, Canada | 11-12 January 2026 | October 2025 | 8 December 2025 | co-located with SODA | |
| SODA Symposium on Discrete Algorithms | Vancouver, Canada | 11-14 January 2026 | October 2025 | 8 December 2025 | ||
| POPL Principles of Programming Languages | Rennes, France | 11-17 January 2026 | 2 October 2025 | |||
| CPP Certified Programs and Proofs | Rennes, France | 11-17 January 2026 | 13 November 2025 | 1 December 2025 | co-located with POPL | |
| SOSA Symposium on Simplicity in Algorithms | Vancouver, Canada | 12-13 January 2026 | October 2025 | 8 December 2025 | ||
| AAAI Artificial Intelligence |
Singapore | 20-27 January 2026 | 8 September 2025 3 November 2025 |
16 November 2025 | deadline 4 August 2025 for supplementary material and code | |
| ITCS Innovations in Theoretical Computer Science |
Milano, Italy | 27-30 January 2026 | 10 November 2025 | |||
| SOFSEM Current Trends in Theory and Practice of Computer Science | Kraków, Poland | 9-13 February 2026 | 10 November 2025 | |||
| CALDAM Conference on Algorithms and Discrete Applied Mathematics | Dharwad, India | 12-14 February 2026 | 14 November 2025 | 28 November 2025 | ||
| ALT Algorithmic Learning Theory | Toronto, Canada | 23-26 February 2026 | 18 December 2025 | at Fields Institute | ||
| CSL Computer Science Logic | Paris, France | 23-28 February 2026 | 14 October 2025 | 30 November 2025 | ||
| WALCOM International Conference and Workshops on Algorithms and Computation | Perugia, Italy | 4-6 March 2026 | 7 November 2025 | 19 November 2025 | ||
| STACS Symposium on Theoretical Aspects of Computer Science | Grenoble, France | 9-13 March 2026 | 12 December 2025 | |||
| FoIKS Foundations of Information and Knowledge Systems | Hanover, Germany | 23-26 March 2026 | 13 December 2025 | 6 January 2026 | 13 February 2026 | |
| ETAPS European Joint Conferences on Theory & Practice of Software | Torino, Italy | 11-16 April 2026 | 22 December 2025 | 22 January 2026 | federated conference including ESOP, FASE, FoSSaCS, and TACAS | |
| ESOP European Symposium on Programming | Torino, Italy | 11-16 April 2026 | 22 December 2025 | 22 January 2026 | part of ETAPS | |
| FASE Fundamental Approaches to Software Engineering | Torino, Italy | 11-16 April 2026 | 22 December 2025 | 22 January 2026 | part of ETAPS | |
| FoSSaCS Foundations of Software Science and Computation Structures | Torino, Italy | 11-16 April 2026 | 22 December 2025 | 22 January 2026 | part of ETAPS | |
| TACAS Tools and Algorithms for the Construction and Analysis of Systems | Torino, Italy | 11-16 April 2026 | 22 December 2025 | 22 January 2026 | part of ETAPS | |
| LATIN Latin American Theoretical Informatics Symposium | Florianópolis, Brazil | 13-17 April 2026 | 9 January 2026 | early February 2026 | ||
| AAMAS Autonomous Agents and Multiagent Systems | Paphos, Cyprus | 25-29 May 2026 | 22 December 2025 | 11 February 2026 | 31 March 2026 | |
| IPDPS International Parallel & Distributed Processing Symposium |
New Orleans, Louisiana, USA | 25-29 May 2026 | 18 December 2025 2 February 2026 |
20 February 2026 | ||
| SIGMOD International Conference on Management of Data |
Bengaluru, India | 31 May - 5 June 2026 | 4 January 2026 23 February 2026 |
co-located with PODS | ||
| KDD Knowledge Discovery and Data Mining |
Jeju Island, South Korea | 9-13 August 2026 | 23 November 2025 16 May 2026 |
two submission cycles | ||
| CONFEST CONCUR & QEST & FORMATS | Liverpool, United Kingdom | 1-5 September 2026 | federated conference including CONCUR, FMICS, QEST, and FORMATS | |||
| 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 2025 and 2026 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 |
|---|---|---|---|---|---|
| ISSAC International Symposium on Symbolic and Algebraic Computation | 2026 | Oldenburg, Germany | 13 July 2026 | 16 July 2026 | |
| 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 |
| FSCD Formal Structures for Computation and Deduction | 2026 | Lisbon, Portugal | 20 July 2026 | 23 July 2026 | part of FLoC |
| 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-2025
Last modified: Sat, 25 Oct 2025 13:44:40 CEST