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 |
|---|---|---|---|---|---|
| NMR Non-Monotonic Reasoning | Melbourne, Australia | 10/17 July 2025 | 11-13 November 2025 | 21 August 2025 | CEURART, 10 pages full, 3 pages extended abstracts, excluding references for the latter; co-located with KR |
| FSTTCS Foundations of Software Technology and Theoretical Computer Science | Goa, India | 11 July 2025 | 17-19 December 2025 | 15 September 2025 | LIPIcs, double-blind, 15 pages excluding references |
| FCAI Foundations and Future of Change in Artificial Intelligence | Bologna, Italy | 13 July 2025 | 25-26 October 2025 | 13 August 2025 | CEURART, 18 pages full, 5 pages extended abstracts, both excluding references; co-located with ECAI |
| SODA Symposium on Discrete Algorithms | Vancouver, Canada | 14 July 2025 | 11-14 January 2025 | October 2025 | no page limit but only 10 pages read |
| VSTTE Verified Software: Theories, Tools, and Experiments | Menlo Park, California, USA | 14/18 July 2025 | 6-7 October 2025 | 31 August 2025 | LNCS, 16 pages long, 10 pages short, both excluding references; co-located with FMCAD |
| IWAE International Workshop on Algorithms in Engineering | Taoyuan, Taiwan | 15 July 2025 | 24-26 October 2025 | 1 September 2025 | own format, 2 pages |
| ICTAI International Conference on Tools with Artificial Intelligence | Athens, Greece | 15 July 2025 | 3-5 November 2025 | 20 August 2025 | IEEE Transactions, 8 pages |
| MIWAI Multi-Disciplinary International Conference on Artificial Intelligence | Saigon, Vietnam | 15 July 2025 | 3-5 December 2025 | 1 August 2025 | LNCS, double-blind, 12 pages |
| CSL Computer Science Logic | Paris, France | 15/21 July 2025 | 23-28 February 2026 | 14 October 2025 | LIPIcs, double-blind, 15 pages excluding references |
| PRIMA Principles and Practice of Multi-Agent Systems | Modena, Italy | 15/22 July 2025 | 15-19 December 2025 | 29 September 2025 | LNCS, double-blind, 16 pages |
| XLoKR Explainable Logic-Based Knowledge Representation | Melbourne, Australia | 17 July 2025 | 11-13 November 2025 | 21 August 2025 | LNCS, 2-5 pages excluding references; workshop of KR |
| KDD Knowledge Discovery and Data Mining | Jeju Island, South Korea | 24/31 July 2025 | 9-13 August 2026 | 23 November 2025 | ACMart, double-blind (research track), single-blind (application track), 8 pages; first cycle |
| AAAI Artificial Intelligence |
Singapore | 25 July / 1 August 2025 4 August 2025 |
20-27 January 2026 | 8 September 2025 3 November 2025 |
own format, double-blind, 7 pages excluding references; last deadline for supplementary material and code |
| RuleML+RR International Joint Conference on Rules and Reasoning | Istanbul, Türkiye | 31 July 2025 | 22-24 September 2025 | 16 August 2025 | rule challenge only, CEURart, 8-15 pages |
| SOSA Symposium on Simplicity in Algorithms | Vancouver, Canada | 7 August 2025 | 12-13 January 2026 | October 2025 | double-blind, no page limit |
| OPODIS On Principles of Distributed Systems | Iaşi, Romania | 22/29 August 2025 | 3-5 December 2025 | 20 October 2025 | LIPIcs, 15 pages excluding references |
| SOFSEM Current Trends in Theory and Practice of Computer Science | Kraków, Poland | 15/18 September 2025 | 9-13 February 2026 | 10 November 2025 | LNCS, 12 pages excluding references |
| FoIKS Foundations of Information and Knowledge Systems | Hanover, Germany | 18/25 September 2025 | 23-26 March 2026 | 20 December 2025 | LNCS, 16 pages long, 10 pages short, both excluding references, both 15 pages appendix |
| WALCOM International Conference and Workshops on Algorithms and Computation | Perugia, Italy | 21 September 2025 | 4-6 March 2026 | 7 November 2025 | LNCS, 14 pages |
| 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 |
| 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 |
| Conference | City, Country | Deadline | Date | Notification | Submission format and comments |
Running conferences
| Conference | City, Country | Date | Remark |
|---|---|---|---|
| EC Economics and Computation | Stanford, California, USA | 7-12 July 2025 | |
| ICALP International Colloquium on Automata, Languages and Programming | Aarhus, Denmark | 8-11 July 2025 | |
| Conference | City, Country | Date | Remark |
Future conferences with deadline over
| Conference | City, Country | Date | Notification | Final version | Early registration | Remarks and other indications |
|---|---|---|---|---|---|---|
| ICML International Conference on Machine Learning | Vancouver, British Columbia, Canada | 13-19 July 2025 | 1 May 2025 | 30 May 2025 | ||
| UNIF Workshop on Unification | Birmingham, UK | 14 July 2025 | 10 June 2025 | 27 June 2925 | 15 June 2025 | co-located with FSCD |
| HOR Higher-Order Rewriting | Birmingham, UK | 14 July 2025 | 6 June 2025 | 20 June 2025 | 15 June 2025 | part of FSCD |
| TASE Theoretical Aspects of Software Engineering |
Limassol, Cyprus | 14-16 July 2025 | 5 April 2025 | 1 May 2025 | 1 May 2025 1 June 2025 |
first date for authors, second date for early |
| WoLLIC Workshop on Logic, Language, Information and Computation | Porto, Portugal | 14-17 July 2025 | 12 May 2025 | 26 May 2025 | 20 June 2025 | |
| GECCO Genetic and Evolutionary Computation Conference | Málaga, Spain | 14-18 July 2025 | 19 March 2025 | 9 April 2025 | 15 May 2025 | |
| CiE Computability in Europe | Lisbon, Portugal | 14-18 July 2025 | 6 april 2025 | 13 April 2025 | 6 May 2025 | |
| FSCD Formal Structures for Computation and Deduction | Birmingham, UK | 14-20 July 2025 | 30 April 2025 | 14 May 2025 | 15 June 2025 | |
| LFMTP Logical Frameworks and Meta Languages: Theory and Practice | Birmingham, UK | 19 July 2025 | 6 June 2025 | 15 June 2025 | co-located with FSCD | |
| TLLA Trends in Linear Logic and Applications | Birmingham, UK | 19-20 July 2025 | 4 June 2025 | 1 July 2025 | 15 June 2025 | part of FSCD |
| WPTE Workshop on Rewriting Techniques for Program Transformations and Evaluation | Birmingham, UK | 20 July 2025 | 11 June 2025 | 30 June 2025 | 15 June 2025 | part of FSCD |
| ICDCS International Conference on Distributed Computing Systems | Glasgow, Scotland, UK | 20-23 July 2025 | 2 April 2025 | 16 April 2025 | 5 June 2025 | |
| IWOCA International Workshop on Combinatorial Algorithms | Bozeman, Montana, USA | 21-24 July 2025 | 22 April 2025 | 30 April 2025 | 30 May 2025 | |
| CAV Computer-Aided Verification | Zagreb, Croatia | 21-25 July 2025 | 2 April 2025 | 23 May 2025 | 22 June 2025 | |
| HCVS Horn Clauses for Verification and Synthesis | Zagreb, Croatia | 22 July 2025 | mid June 2025 | 22 June 2025 | co-located with CAV | |
| SEA Symposium on Experimental Algorithms | Venice, Italy | 22-24 July 2025 | 31 March 2025 | 28 April 2025 | 1 April 2025 | |
| ISSAC International Symposium on Symbolic and Algebraic Computation |
Guanajuato, Mexico | 28 July - 1 August 2025 | 23 April 2025 16 May 2025 |
10 June 2025 | 13 June 2025 | |
| SPAA Symposium on Parallelism in Algorithms and Architectures | Portland, Oregon, USA | 28 July - 1 August 2025 | 20 May 2025 | 20 June 2025 | ||
| CADE Conference on Automated Deduction | Stuttgart, Germany | 28 July - 2 August 2025 | 28 April 2025 | 30 May 2025 | 23 June 2025 | |
| SC2 Satisfiability Checking and Symbolic Computation | Stuttgart, Germany | 2 August 2025 | 12 June 2025 | 27 June 2025 | 23 June 2025 | wotkshop of CADE |
| KDD Knowledge Discovery and Data Mining | Toronto, Ontario, Canada | 3-7 August 2025 | 16 May 2025 | 18 June 2025 | ||
| CCC Computational Complexity Conference | Toronto, Ontario, Canada | 5-8 August 2025 | 2 May 2025 | end of May 2025 | at Fields Institute | |
| SMT Satisfiability Modulo Theories | Glasgow, Scotland, UK | 10-11 August 2025 | 11 June 2025 | 30 June 2025 | workshop of SAT | |
| CP Principles and Practice of Constraint Programming | Glasgow, Scotland, UK | 10-15 August 2025 | 29 May 2025 | 9 June 2025 | 30 June 2025 | co-located with SAT and SoCS |
| PoS Pragmatics of SAT | Glasgow, Scotland, UK | 11 August 2025 | 20 June 2025 | 30 June 2025 | workshop of SAT and CP | |
| APPROX Approximation Algorithms for Combinatorial Optimization Problems | Berkeley, California, USA | 11-13 August 2025 | 1 July 2025 | 15 July 2025 | co-located with RANDOM | |
| RANDOM Randomization and Computation | Berkeley, California, USA | 11-13 August 2025 | 1 July 2025 | 15 July 2025 | co-located with APPROX | |
| SAT Theory and Applications of Satisfiability Testing | Glasgow, Scotland, UK | 11-15 August 2025 | 29 May 2025 | 9 June 2025 | 30 June 2025 | co-located with CP and SoCS |
| CCCG Canadian Conference on Computational Geometry | Toronto, Ontario, Canada | 11-15 August 2025 | 13 June 2025 | 8 July 2025 | 15 July 2025 | co-located with WADS |
| WADS Algorithms and Data Structures | Toronto, Canada | 11-15 August 2025 | 15 April 2025 | 15 July 2025 | co-located with CCCG | |
| SoCS Symposium on Combinatorial Search | Glasgow, Scotland, UK | 12-15 August 2025 | 16 May 2025 | 30 June 2025 | co-located with SAT and CP | |
| COCOON Computing and Combinatorics Conference | Chengdu, China | 15-17 August 2025 | 5 May 2025 | 20 May 2025 | 30 June 2025 | |
| IJCAI International Joint Conference on Artificial Intelligence |
Montreal, Canada | 16-22 August 2025 | 7 March 2025 28 April 2025 |
15 June 2025 | ||
| DLT Developments in Language Theory | Seoul, South Korea | 19-22 August 2025 | 20 May 2025 | 7 June 2025 | 18 July 2025 | |
| WABI Workshop on Algorithms in Bioinformatics | College Park, Maryland, USA | 20-22 August 2025 | 16 June 2025 | 22 June 2025 | 20 July 2025 | |
| MFCS Mathematical Foundations of Computer Science | Warsaw, Poland | 25-29 August 2025 | 20 June 2025 | 27 June 2025 | ||
| CONFEST CONCUR & QEST & FORMATS | Aarhus, Denmark | 25-30 August 2025 | federated conference including CONCUR, FMICS, FORMATS, and QEST | |||
| JELIA European Conference on Logics in Artificial Intelligence | Kutaisi, Georgia | 1-5 September 2025 | 4 July 2025 | 10 July 2025 | 1 August 2025 | |
| IWC International Workshop on Confluence | Leipzig, Germany | 2-3 September 2025 | 7 July 2025 | 31 July 2025 | 23 July 2025 | co-located with WST |
| WST Workshop on Termination | Leipzig, Germany | 2-3 September 2025 | 16 July 2025 | 16 July 2025 | 23 July 2025 | co-located with IWC |
| SAGT Symposium on Algorithmic Game Theory | Bath, UK | 2-5 September 2025 | 30 June 2025 | 7 July 2025 | ||
| DL Description Logics | Opole, Poland | 3-6 September 2025 | 27 June 2025 | 18 July 2025 | 21 July 2025 | |
| JAF Journées sur les Arithmétiques Faibles | Prague, Czech Republic | 8-10 September 2025 | ??? 2025 | |||
| SPIRE String Processing and Information Retrieval | London, UK | 8-11 September 2025 | 17 July 2025 | |||
| TbiLLC Tbilisi Symposium on Logic, Language and Computation | Kutaisi, Georgia | 8-12 September 2025 | 23 May 2025 | post-proceedings LNCS | ||
| LOPSTR Logic-Based Program Synthesis and Transformation | Rende, Calabria, Italy | 9-10 September 2025 | 10 July 2025 | 17 July 2025 | 30 July 2025 | co-located with ICLP and PPDP |
| SAFECOMP Computer Safety, Reliability and Security | Stockholm, Sweden | 9-12 September 2025 | 12 April 2025 | 1 June 2025 | 14 July 2025 | |
| PPDP Principles and Practice of Declarative Programming | Rende, Calabria, Italy | 10-11 September 2025 | 7 July 2025 | 21 July 2025 | 30 July 2025 | co-located with ICLP and LOPSTR |
| ICTCS Italian Conference on Theoretical Computer Science | Pescara, Italy | 10-12 September 2025 | 21 July 2025 | 24 August 2025 | ||
| ICLP International Conference on Logic Programming |
Rende, Calabria, Italy | 12-19 September 2025 | 25 May 2025 6 July 2025 |
27 July 2025 | 30 July 2025 | co-located with PPDP and LOPSTR |
| FedCSIS Federated Conference on Computer Science and Information Systems | Kraków, Poland | 14-17 September 2025 | 8 July 2025 | 15 July 2025 | ||
| MLCS Machine Learning for Cybersecurity | Porto, Portugal | 15 September 2025 | 14 July 2025 | 25 July 2025 | ||
| ALGOCLOUD Algorithms for Cloud-Based Systems | Warsaw, Poland | 15-16 September 2025 | 1 August 2025 | 18 August 2025 | part of ALGO | |
| FCT Fundamentals of Computation Theory | Wroclaw, Poland | 15-17 September 2025 | 30 June 2025 | 14 July 2025 | ||
| ESA European Symposium on Algorithms | Warsaw, Poland | 15-17 September 2025 | 23 June 2025 | 7 July 2025 | 18 August 2025 | part of ALGO |
| ALGO Federated Conference on Algorithms |
Warsaw, Poland | 15-19 September 2025 | 18 August 2025 | federated conference including ALGOCLOUD, ALGOWIN, ATMOS, ESA, IPEC, and WAOA |
||
| GandALF Games, Automata, Logics, and Formal Verification | Valletta, Malta | 16-17 September 2025 | 4 July 2025 | 25 July 2025 | 25 July 2025 | |
| KI German Conference on Artificial Intelligence | Potsdam, Germany | 16-19 September 2025 | 6 June 2025 | 27 June 2025 | 14 June 2025 | |
| FROM Working Formal Methods Symposium | Iaşi, Romania | 17-19 September 2025 | 22 July 2025 | 29 August 2025 | 5 September 2025 | |
| IPEC International Symposium on Parameterized and Exact Computation | Warsaw, Poland | 17-19 September 2025 | 7 August 2025 | 10 October 2025 | 18 August 2025 | post-proceedings, part of ALGO |
| ALGOWIN Algorithmic of Wireless Networks | Warsaw, Poland | 18-19 September 2025 | 1 August 2025 | 29 August 2025 | 18 August 2025 | part of ALGO |
| ATMOS Algorithmic Approaches for Transportation Modelling, Optimization, and Systems | Warsaw, Poland | 18-19 September 2025 | 5 August 2025 | 24 August 2025 | 18 August 2025 | part of ALGO |
| WAOA Workshop on Approximation and Online Algorithms | Warsaw, Poland | 18-19 September 2025 | 7 August 2025 | 12 August 2025 | 18 August 2025 | part of ALGO |
| TAMC Theory and Applications of Models of Computation | Jinan, China | 19-21 September 2025 | 1 July 2025 | 15 July 2025 | 31 August 2025 | |
| RuleML+RR International Joint Conference on Rules and Reasoning | Istanbul, Türkiye | 22-24 September 2025 | 28 July 2025 | |||
| CIAA Conference on Implementation and Application of Automata | Palermo, Italy | 22-25 September 2025 | 23 June 2025 | 30 June 2025 | 21 July 2025 | |
| ESORICS European Symposium on Research in Computer Security |
Toulouse, France | 22-26 September 2025 | 24 March 2025 13 June 2025 |
14 April 2025 27 June 2025 |
25 July 2025 | two rounds of submission/notification |
| GD Graph Drawing | Norrköping, Sweden | 24-26 September 2025 | 23 July 2025 | |||
| LAP Logic and Applications | Dubrovnik, Croatia | 24-28 September 2025 | 10 July 2025 | 16 July 2025 | ||
| TIME Temporal Representation and Reasoning | London, UK | 27-29 August 2025 | 25 June 2025 | 1 August 2025 | 18 August 2025 | |
| ITP Interactive Theorem Proving | Reykjavik, Iceland | 27 September - 3 October 2025 | 23 May 2025 | 27 June 2025 | co-located with FroCoS, and TABLEAUX | |
| FroCoS Frontiers of Combining Systems | Reykjavik, Iceland | 27 September - 3 October 2025 | 23 June 2025 | 7 July 2025 | co-located with ITP and TABLEAUX | |
| TABLEAUX Automated Reasoning with Analytic Tableaux and Related Methods | Reykjavik, Iceland | 27 September - 3 October 2025 | 30 June 2025 | 14 July 2025 | co-located with FroCoS, and ITP | |
| EPIA Portuguese Conference on Artificial Intelligence | Faro, Portugal | 1-3 October 2025 | 4 July 2025 | 14 July 2025 | 18 July 2025 | |
| SISAP Similarity Search and Applications | Reykjavik, Iceland | 1-3 October 2025 | 14 July 2025 | 31 July 2025 | ||
| RP Reachability Problems | Madrid, Spain | 1-3 October 2025 | 13 August 2025 | |||
| FMCAD Formal Methods in Computer-Aided Design | Menlo Park, California, USA | 6-10 October 2025 | 1 July 2025 | co-located with VSTTE | ||
| CICM Conference on Intelligent Computer Mathematics | Brasilia, Brazil | 6-11 October 2025 | 4 July 2025 | 18 July 2025 | co-located with LSFA | |
| LSFA Logical and Semantic Frameworks with Applications | Brasilia, Brazil | 6-11 October 2025 | 27 June 2025 | 18 July 2025 | co-located with CICM | |
| DSAA Data Science and Advanced Analytics | Birmingham, UK | 9-13 October 2025 | 24 July 2025 | 21 August 2025 | ||
| ICFP International Conference on Functional Programming | Singapore | 12-18 October 2025 | 23 May 2025 | |||
| SAS Static Analysis Symposium | Singapore | 13-15 October 2025 | 11 July 2025 | 31 July 2025 | part of SPLASH | |
| DaLí Dynamic Logic: new trends and applications | Xi'an, China | 20-21 October 2025 | 25 July 2025 | 20 July 2025 | ||
| ECAI European Conference on Artificial Intelligence | Bologna, Italy | 25-30 October 2025 | 10 July 2025 | 26 August 2025 | ||
| DISC Distributed Computing | Berlin, Germany | 27-31 October 2025 | 7 August 2025 | |||
| PACT Parallel Architectures and Compilation Techniques | Irvine, California, USA | 3-6 November 2025 | 28 July 2025 | 15 September 2025 | ||
| ICAPS International Conference on Automated Planning and Scheduling | Melbourne, Victoria, Australia | 9-15 November 2025 | 28 February 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 | 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 | |
| KR Principles of Knowledge Representation and Reasoning | Melbourne, Victoria, Australia | 11-17 November 2025 | 10 July 2025 | 15 August 2025 | co-located with CPAIOR and ICAPS | |
| iFM Integrated Formal Methods | Paris, France | 17-21 November 2025 | 8 August 2025 | 26 Sptember 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 | ||
| ISAAC International Symposium on Algorithms and Computation | Tainan, Taiwan | 7-10 December 2025 | 30 August 2025 | 14 September 2025 | ||
| WINE Web and Internet Economics | New Brunswick, New Jersey, USA | 8-11 December 2025 | 15 September 2025 | |||
| FOCS Foundations of Computer Science | Sydney, Australia | 14-17 December 2025 | 8 July 2025 | 21 November 2025 | ||
| POPL Principles of Programming Languages | Rennes, France | 11-17 January 2026 | 2 October 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 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 |
|---|---|---|---|---|---|
| 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-2025
Last modified: Fri, 11 Jul 2025 14:28:51 CEST