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 |
|---|---|---|---|---|---|
| SMT Satisfiability Modulo Theories | Glasgow, Scotland, UK | 16/22 May 2025 | 10-11 August 2025 | 11 June 2025 | CEURART, 12 pages excluding references original papers, 10 pages extended abstracts; workshop of SAT |
| PPDP Principles and Practice of Declarative Programming |
Rende, Calabria, Italy | 18/30 May 2025 | 10-11 September 2025 | 7 July 2025 | ACM, two column,
12 pages regular, 10 pages system descriptions, both excluding references, 5 pages experience reports; co-located with ICLP and LOPSTR |
| LSFA Logical and Semantic Frameworks with Applications | Brasilia, Brazil | 19/26 May 2025 | 6-11 October 2025 | 27 June 2025 | EPTCS, 16 pages full, 6 pages short; co-located with CICM |
| HOR Higher-Order Rewriting | Birmingham, UK | 20 May 2025 | 14 July 2025 | 6 June 2025 | EasyChair, 5 pages; part of FSCD |
| AAIM Algorithmic Aspects in Information and Management | Ulaanbaatar, Mongolia | 20 May 2025 | 23-25 June 2025 | 27 May 2025 | LNCS |
| TIME Temporal Representation and Reasoning | London, UK | 20/22 May 2025 | 27-29 August 2025 | 25 June 2025 | LIPIcs, 12 pages original, 12 pages survey, 4 pages extended abstract, all excluding references |
| DISC Distributed Computing | Berlin, Germany | 20/23 May 2025 | 27-31 October 2025 | 7 August 2025 | LIPIcs, double-blind, no page limit, but only first 15 pages read |
| SAGT Symposium on Algorithmic Game Theory | Bath, UK | 20/23 May 2025 | 2-5 September 2025 | 30 June 2025 | LNCS, 18 pages |
| LOPSTR Logic-Based Program Synthesis and Transformation | Rende, Calabria, Italy | 23/30 May 2025 | 9-10 September 2025 | 10 July 2025 | LNCS, 15 pages regular, 8 pages short, both excluding references; co-located with ICLP and PPDP |
| FedCSIS Federated Conference on Computer Science and Information Systems | Kraków, Poland | 25 May 2025 | 14-17 September 2025 | 1 July 2025 | IEEE Transactions with example, 12 pages full, 6 pages short, 8 pages communication |
| TAMC Theory and Applications of Models of Computation | Jinan, China | 25 May 2025 | 19-21 September 2025 | 1 July 2025 | LNCS, double-blind, 12 pages |
| SISAP Similarity Search and Applications | Reykjavik, Iceland | 25 May / 1 June 2025 | 1-3 October 2025 | 14 July 2025 | LNCS, double-blind, 14 pages regular, 8 pages short, demonstrations and doctoral symposium papers |
| JELIA European Conference on Logics in Artificial Intelligence | Kutaisi, Georgia | 26 May / 2 June 2025 | 1-5 September 2025 | 1 July 2025 | LNCS, 13 pages long, 6 pages short, excluding references |
| TLLA Trends in Linear Logic and Applications | Birmingham, UK | 28 May 2025 | 19-20 July 2025 | 4 June 2025 | ???; part of FSCD |
| SPIRE String Processing and Information Retrieval | London, UK | 29 May / 5 June 2025 | 8-11 September 2025 | 17 July 2025 | LNCS, 12 pages long, 6 pages short, both excluding references |
| DL Description Logics | Opole, Poland | 29 May / 6 June 2025 | 3-6 September 2025 | 27 June 2025 | CEURART clone, 11 pages regular, 4 pages extended abstracts, both excluding references |
| KI German Conference on Artificial Intelligence | Potsdam, Germany | 30 May 2025 | 16-19 September 2025 | 6 June 2025 | doctoral consortium, LNCS, 3 pages excluding references extended abstracts |
| HCVS Horn Clauses for Verification and Synthesis | Zagreb, Croatia | 30 May 2025 | 22 July 2025 | mid June 2025 | EPTCS, 12 pages excluding references regular, 4 pages tools, 3 pages extended abstracts; co-located with CAV |
| GandALF Games, Automata, Logics, and Formal Verification | Valletta, Malta | 30 May 2025 | 15-18 September 2025 | 4 July 2025 | EPTCS, 14 pages excluding references |
| iFM Integrated Formal Methods | Paris, France | 30 May / 6 June 2025 | 17-21 November 2025 | 8 August 2025 | LNCS, 16 pages regular, 6 pages short, both excluding references |
| PoS Pragmatics of SAT | Glasgow, Scotland, UK | 1 June 2025 | 11 August 2025 | 20 June 2025 | CEURART, 15 pages long, 8 pages short; SAT fast track only; workshop of SAT and CP |
| IWC International Workshop on Confluence | Leipzig, Germany | 1 June 2025 | 2-3 September 2025 | 30 June 2025 | EasyChair, 5 pages + 1 page references; co-located with WST |
| DaLí Dynamic Logic: new trends and applications | Xi'an, China | 1/5 June 2025 | 20-21 October 2025 | 15 July 2025 | LNCS, 15 pages + 2 pages references regular, 8 pages + 1 pages references short |
| JAF Journées sur les Arithmétiques Faibles | Prague, Czech Republic | 2 June 2025 | 8-10 September 2025 | 5 July 2025 | 3 pages PDF |
| RuleML+RR International Joint Conference on Rules and Reasoning | İstanbul, Türkiye | 2/9 June 2025 | 22-24 September 2025 | 28 July 2025 | LNCS, 15 pages text + 2 pages references long, 8 pages text + 1 page references short |
| GD Graph Drawing |
Norrköping, Sweden | 3/10 June 2025 | 24-26 September 2025 | 23 July 2025 | own format and
LIPIcs,
double-blind,
500 lines and 15 pages full, 225 lines and 7 pages short, 80 lines and 3 pages poster, all lines counted without front matter |
| ALGOWIN Algorithmic of Wireless Networks | Warsaw, Poland | 6 June 2025 | 18-19 September 2025 | 1 August 2025 | LNCS, 12 pages excluding references; part of ALGO |
| FROM Working Formal Methods Symposium | Iaşi, Romania | 7 June 2025 | 17-19 September 2025 | 15 July 2025 | ??? |
| ICTAI International Conference on Tools with Artificial Intelligence | Athens, Greece | 12 June 2025 | 3-5 November 2025 | 20 August 2025 | IEEE Transactions, 8 pages |
| DSAA Data Science and Advanced Analytics | Birmingham, UK | 14 June 2025 | 9-13 October 2025 | 24 July 2025 | IEEE, double-blind, 5 pages short |
| ICTAC International Colloquium on Theoretical Aspects of Computing | Marrakech, Morocco | 14/21 June 2025 | 24-28 November 2025 | 30 August 2025 | LNCS, 16 pages excluding references full, 8 pages short and tool |
| ICTCS Italian Conference on Theoretical Computer Science | Pescara, Italy | 15 June 2025 | 10-12 September 2025 | 21 July 2025 | CEUR-WS, 12 pages regular, 5 pages communications, both excluding references |
| ICLP International Conference on Logic Programming | Rende, Calabria, Italy | 15 June 2025 | 12-19 September 2025 | 6 July 2025 | TPLP,
14 pages regular,
EPTCS, 12 pages technical communications; IJCAI fast track papers; co-located with PPDP and LOPSTR |
| LAP Logic and Applications | Dubrovnik, Croatia | 15 June 2025 | 24-28 September 2025 | 1 July 2025 | 3 pages A4 |
| WST Workshop on Termination | Leipzig, Germany | 25 June 2025 | 2-3 September 2025 | 16 July 2025 | LIPIcs, 5 pages; co-located with IWC |
| RP Reachability Problems | Madrid, Spain | 27 June 2025 | 1-3 October 2025 | 13 August 2025 | LNCS, 12 pages excluding references |
| IPEC International Symposium on Parameterized and Exact Computation | Warsaw, Poland | 27/30 June 2025 | 17-19 September 2025 | 7 August 2025 | LIPIcs, double-blind, no page limit but only 12 pages read; part of ALGO |
| IWAE International Workshop on Algorithms in Engineering | Taoyuan, Taiwan | 30 June 2025 | 24-26 October 2025 | 1 September 2025 | own format, 2 pages |
| ATMOS Algorithmic Approaches for Transportation Modelling, Optimization, and Systems | Warsaw, Poland | 30 June 2025 | 18-19 September 2025 | 5 August 2025 | OASIcs, 15 pages (20 pages in proceedings) excluding references regular, 6 pages short; part of ALGO |
| ALGOCLOUD Algorithms for Cloud-Based Systems |
Warsaw, Poland | 1 July 2025 | 15-16 September 2025 | 1 August 2025 | LNCS,
12 pages excluding references regular, 8 pages short, 5-10 pages survay proposal (40 pages in proceedings); part of ALGO |
| WINE Web and Internet Economics |
New Brunswick, New Jersey, USA |
3 July 2025 | 8-11 December 2025 | 15 September 2025 | LNCS, double-blind, 12 pages excluding references (18 pages later in proceedings) |
| FSTTCS Foundations of Software Technology and Theoretical Computer Science | Goa, India | 4/11 July 2025 | 17-19 December 2025 | 15 September 2025 | |
| WAOA Workshop on Approximation and Online Algorithms | Warsaw, Poland | 6 July 2025 | 18-19 September 2025 | 7 August 2025 | double-blind, 10 pages A4 10 point font with 2cm margins excluding references (LNCS proceedings); part of ALGO |
| POPL Principles of Programming Languages | Rennes, France | 10 July 2025 | 11-17 January 2026 | 2 October 2025 | ACMart, double-blind, 25 pages excluding references |
| 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 |
| 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 |
| 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 |
| 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 |
| KDD Knowledge Discovery and Data Mining | Seoul, South Korea | 24/31 July 2025 | 16 November 2025 | first cycle | |
| 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 |
| 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 |
| 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 |
| Conference | City, Country | Deadline | Date | Notification | Submission format and comments |
Running conferences
| Conference | City, Country | Date | Remark |
|---|---|---|---|
| AAMAS Autonomous Agents and Multiagent Systems | Detroit, Michigan, USA | 19-23 May 2025 | |
| FLAIRS FLorida Artificial Intelligence Research Society Conference | Daytona Beach, Florida, USA | 20-23 May 2025 | |
| CanaDAM Canadian Discrete and Algorithmic Mathematics Conference | Ottawa, Ontario, Canada | 20-23 May 2024 | |
| Conference | City, Country | Date | Remark |
Future conferences with deadline over
| Conference | City, Country | Date | Notification | Final version | Early registration | Remarks and other indications |
|---|---|---|---|---|---|---|
| SIROCCO Structural Information and Communication Complexity | Delphi, Greece | 2-4 June 2025 | 17 January 2025 | 25 April 2025 | ||
| IPDPS International Parallel & Distributed Processing Symposium |
Milan, Italy | 3-7 June 2025 | 19 December 2024 4 February 2025 |
27 February 2024 | 31 March 2025 | |
| SAND Algorithmic Foundations of Dynamic Networks | Liverpool, United Kingdom | 9-11 June 2025 | 28 March 2025 | 11 April 2025 | 2 May 2025 | |
| TYPES Types for Proofs and Programs | Glasgow, Scotland, UK | 9-13 June 2025 | 11 April 2025 | 9 May 2025 | 12 May 2025 | post-proceedings LIPIcs |
| CIAC International Conference on Algorithms and Complexity | Rome, Italy | 10-12 June 2025 | 31 January 2025 | 14 February 2025 | 3 May 2025 | |
| ECMFA European Conference on Modelling Foundations and Applications |
Koblenz, Germany | 10-13 June 2025 | 28 March 2025 2 May 2025 |
10 May 2025 | part of STAF | |
| ICGT International Conference on Graph Transformation | Koblenz, Germany | 10-13 June 2025 | 25 March 2025 | 15 April 2025 | 10 May 2025 | part of STAF |
| IPCO Integer Programming and Combinatorial Optimization | Baltimore, Maryland, USA | 11-13 June 2025 | 22 January 2025 | 25 March 2025 | ||
| NFM NASA Formal Methods | Hampton Roads, Virginia, USA | 11-13 June 2025 | 14 February 2025 | 14 March 2025 | ||
| WG Graph-Theoretic Concepts in Computer Science | Otzenhausen, Germany | 11-13 June 2025 | 17 April 2025 | 4 July 2025 | 18 May 2025 | post-proceedings |
| CLAR International Conference on Logic and Argumentation | Taiyuan, China | 14-16 June 2025 | 29 March 2025 | 13 April 2025 | ||
| DisCoTec Distributed Computing Techniques | Lille, France | 16-20 June 2025 | 28 March 2025 | 23 April 2025 | 23 May 2025 | federated conference including COORDINATION, DAIS, and FORTE |
| COORDINATION Coordination Models and Languages | Lille, France | 16-20 June 2025 | 4 April 2025 | 23 April 2025 | 23 May 2025 | part of DISCOTEC |
| DAIS Distributed Applications and Interoperable Systems | Lille, France | 16-20 June 2025 | 4 April 2025 | 23 April 2025 | 23 May 2025 | part of DISCOTEC |
| FORTE Formal Techniques for Distributed Objects, Components, and Systems | Lille, France | 16-20 June 2025 | 4 April 2025 | 23 April 2025 | 23 May 2025 | part of DISCOTEC |
| CAiSE Advanced Information Systems Engineering | Vienna, Austria | 16-20 June 2025 | 28 February 2025 | 14 April 2025 | 14 April 2025 | |
| MFPS Mathematical Foundations of Programming Semantics | Glasgow, Scotland, UK | 16-20 June 2025 | 15 May 2025 | 24 May 2025 | 2 June 2025 | co-located with CALCO |
| CALCO Conference on Algebra and Coalgebra in Computer Science | Glasgow, Scotland, UK | 16-20 June 2025 | 16 April 2025 | 30 May 2025 | 2 June 2025 | co-located with MFPS |
| PODC Principles of Distributed Computing | Huatulco, Mexico | 16-20 June 2025 | 17 April 2025 | 31 May 2025 | ||
| CPM Combinatorial Pattern Matching | Milan, Italy | 17-19 June 2025 | 21 March 2025 | 20 May 2025 | ||
| SIGMOD International Conference on Management of Data |
Berlin, Germany | 22-27 June 2025 | 28 November 2024 30 January 2025 |
18 May 2025 | co-located with PODS | |
| PODS Principles of Database Systems |
Berlin, Germany | 22-27 June 2025 | 14 February 2025 7 March 2025 |
18 May 2025 | co-located with SIGMOD | |
| Petri Nets Petri Nets |
Paris, France | 22-27 June 2025 | 10 March 2025 | 24 March 2025 | 13 April 2025 15 May 2025 |
first registration deadline is for authors, second for early |
| LICS Logic in Computer Science | Singapore | 23-26 June 2025 | 8 April 2025 | |||
| STOC Symposium on Theory of Computing | Prague, Czech Republic | 23-27 June 2025 | 1 February 2025 | 31 March 2025 | 6 May 2025 | |
| SoCG Symposium on Computational Geometry | Kanazawa, Japan | 23-27 June 2025 | 6 February 2025 | 11 April 2025 | 30 April 2025 | |
| COLT Conference on Learning Theory |
Lyon, France | 30 June - 4 July 2025 | 2 May 2025 | 21 May 2025 | ||
| EC Economics and Computation |
Stanford, California, USA | 7-12 July 2025 | 27 March 2025 17 May 2025 |
|||
| ICALP International Colloquium on Automata, Languages and Programming | Aarhus, Denmark | 8-11 July 2025 | 14 April 2025 | 28 April 2025 | 16 May 2025 | |
| 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 | co-located with 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 | ||
| GECCO Genetic and Evolutionary Computation Conference | Málaga, Spain | 14-18 July 2025 | 19 March 2025 | 9 April 2025 | 15 May 2025 | |
| FSCD Formal Structures for Computation and Deduction | Birmingham, UK | 14-20 July 2025 | 30 April 2025 | 14 May 2025 | ||
| LFMTP Logical Frameworks and Meta Languages: Theory and Practice | Birmingham, UK | 19 July 2025 | 6 June 2025 | co-located with FSCD | ||
| WPTE Workshop on Rewriting Techniques for Program Transformations and Evaluation | Birmingham, UK | 20 July 2025 | 11 June 2025 | 30 June 2025 | 13 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 | |
| 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 | 14 June 2025 | |
| SC2 Satisfiability Checking and Symbolic Computation | Stuttgart, Germany | 2 August 2025 | 12 June 2025 | 27 June 2025 | 14 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 | |
| CP Principles and Practice of Constraint Programming | Glasgow, Scotland, UK | 10-15 August 2025 | 29 May 2025 | 9 June 2025 | co-located with SAT and SoCS | |
| PoS Pragmatics of SAT | Glasgow, Scotland, UK | 11 August 2025 | 20 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 | 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 | co-located with WADS | |
| WADS Algorithms and Data Structures | Toronto, Canada | 11-15 August 2025 | 15 April 2025 | co-located with CCCG | ||
| SoCS Symposium on Combinatorial Search | Glasgow, Scotland, UK | 12-15 August 2025 | 16 May 2025 | co-located with SAT and CP | ||
| COCOON Computing and Combinatorics Conference | Chengdu, China | 15-17 August 2025 | 5 May 2025 | 20 May 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 | ||
| 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 | |||
| TbiLLC Tbilisi Symposium on Logic, Language and Computation | Kutaisi, Georgia | 8-12 September 2025 | 23 May 2025 | post-proceedings LNCS | ||
| SAFECOMP Computer Safety, Reliability and Security | Stockholm, Sweden | 9-12 September 2025 | 12 April 2025 | 1 June 2025 | ||
| ICLP International Conference on Logic Programming |
Rende, Calabria, Italy | 12-19 September 2025 | 25 May 2025 6 July 2025 |
27 July 2025 | co-located with PPDP and LOPSTR | |
| FCT Fundamentals of Computation Theory | Wroclaw, Poland | 15-17 September 2025 | 30 June 2025 | 4 July 2025 | ||
| ESA European Symposium on Algorithms | Warsaw, Poland | 15-17 September 2025 | 23 June 2025 | 7 July 2025 | part of ALGO | |
| ALGO Federated Conference on Algorithms |
Warsaw, Poland | 15-19 September 2025 | federated conference including ALGOCLOUD, ALGOWIN, ATMOS, ESA, IPEC, and WAOA |
|||
| KI German Conference on Artificial Intelligence | Potsdam, Germany | 16-19 September 2025 | 6 June 2025 | 27 June 2025 | 14 June 2025 | |
| CIAA Conference on Implementation and Application of Automata | Palermo, Italy | 22-25 September 2025 | 23 June 2025 | 30 June 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 |
| 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 | |
| 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 | |
| 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 | |
| ECAI European Conference on Artificial Intelligence | Bologna, Italy | 25-30 October 2025 | 10 July 2025 | 26 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 | |
| FOCS Foundations of Computer Science | Sydney, Australia | 14-17 December 2025 | 8 July 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 |
|---|---|---|---|---|---|
| SOSA Symposium on Simplicity in Algorithms | 2026 | Vancouver, Canada | 12 January 2026 | 13 January 2026 | |
| SOFSEM Current Trends in Theory and Practice of Computer Science | 2026 | Kraków, Poland | 9 February 2026 | 13 February 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 |
| 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: Wed, 21 May 2025 08:07:15 CEST