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 2026 and 2027 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 |
|---|---|---|---|---|---|
| ALGOWIN Algorithmic of Wireless Networks | L'Aquila, Italy | 9/13 July 2026 | 3-4 September 2026 | 3 August 2026 | LNCS, 12 pages excluding references, post-proceedings; part of ALGO |
| CSL Computer Science Logic | Brighton, United Kingdom | 8/15 July 2026 | 25-29 January 2027 | 15 October 2026 | LIPIcs, double-blind, 15 pages excluding references |
| VSTTE Verified Software: Theories, Tools, and Experiments | Graz, Austria | 17/24 July 2026 | 14 September 2026 | 22 August 2026 | LNCS, post-proceeding; co-located with FMCAD |
| ALENEX Algorithm Engineering and Experiments | Philadelphia, Pennsylvania, USA | 20 July 2026 | 24-25 January 2027 | early September 2026 | double-blind, double-column, 10 pages excluding abstract and references; co-located with SODA |
| ICTAI International Conference on Tools with Artificial Intelligence | Boca Raton, Florida, USA | 21 July 2026 | 2-4 November 2026 | 10 September 2026 | PDF, double-blind, double-column, 10-point font, 8 pages |
| AAAI Artificial Intelligence |
Montreal, Canada | 21/28 July 2026 | 16-23 February 2027 | 24 September 2026 30 November 2026 |
own format, double-blind, 7 pages excluding references |
| SOSA Symposium on Simplicity in Algorithms | Philadelphia, Pennsylvania, USA | 6 August 2026 | 25-26 January 2027 | early October 2026 | no page limit; co-located with SODA |
| OPODIS On Principles of Distributed Systems | Madrid, Spain | 31 August / 3 September 2026 | 9-11 December 2026 | 29 October 2026 | LIPIcs, double-blind, 15 pages excluding references |
| ICAA International Conference on Applied Algorithms | Kolkata, India | 1 September 2026 | 6-8 January 2027 | 25 October 2026 | LNCS, 12 pages |
| SOFSEM Current Trends in Theory and Practice of Computer Science | Ioannina, Greece | 15/18 September 2026 | 2-5 February 2027 | 10 November 2026 | LNCS, 12 pages excluding references |
| WADT Workshop on Algebraic Development Techniques | 17 September 2026 | 29 June - 3 July 2026 | 29 October 2026 | post-proceedings | |
| STACS Symposium on Theoretical Aspects of Computer Science | Göttingen, Germany | 11 October 2026 | 8-12 March 2027 | 22 December 2026 | LIPIcs |
| ESOP European Symposium on Programming | Copenhagen, Denmark | 15 October 2026 | 10-15 April 2027 | 22 December 2026 | LNCS, 25 pages regular, 15 pages experience and fresh perspectives; part of ETAPS |
| FoSSaCS Foundations of Software Science and Computation Structures | Copenhagen, Denmark | 15 October 2026 | 10-15 April 2027 | 22 December 2026 | LNCS, 18 pages regular; part of ETAPS |
| iFS Foundations and Formal Methods for Software and Systems | Copenhagen, Denmark | 15 October 2026 | 10-15 April 2027 | 22 December 2026 | LNCS, 16 pages + 2 pages references long, 8 pages + 1 page references short; part of ETAPS |
| TACAS Tools and Algorithms for the Construction and Analysis of Systems | Copenhagen, Denmark | 15 October 2026 | 10-15 April 2027 | 22 December 2026 | LNCS, 18 pages regular, 6 pages tool demonstrations; part of ETAPS |
| EuroGP European Conference on Genetic Programming | Mainz, Germany | 1 November 2026 | 31 March - 2 April 2027 | 10 January 2027 | LNCS, double-blind, 14 pages excluding references; part of EvoStar |
| EvoAPPS Applications of Evolutionary Computation | Mainz, Germany | 1 November 2026 | 31 March - 2 April 2027 | 10 January 2027 | LNCS, double-blind, 14 pages excluding references; part of EvoStar |
| EvoCOP Evolutionary Computation in Combinatorial Optimisation | Mainz, Germany | 1 November 2026 | 31 March - 2 April 2027 | 10 January 2027 | LNCS, double-blind, 14 pages excluding references; part of EvoStar |
| EvoLearn Evolutionary Computation and Learning | Mainz, Germany | 1 November 2026 | 31 March - 2 April 2027 | 10 January 2027 | LNCS, double-blind, 14 pages excluding references; part of EvoStar |
| EvoMUSART Artificial Intelligence in Music, Sound, Art and Design | Mainz, Germany | 1 November 2026 | 31 March - 2 April 2027 | 10 January 2027 | LNCS, double-blind, 14 pages excluding references; part of EvoStar |
| TAMC Theory and Applications of Models of Computation | Bern, Switzerland | 23 November 2026 | 20-22 April 2027 | end of 2026 | LNCS, 15 pages |
| IWOCA International Workshop on Combinatorial Algorithms | Prague, Czech Republic | 8/15 February 2027 | 21-25 June 2027 | 12 April 2027 | LNCS, double-blind, 12 pages excluding references |
| 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 |
|---|---|---|---|---|---|---|
| SC2 Satisfiability Checking and Symbolic Computation | Oldenburg, Germany | 13 July 2026 | 22 May 2026 | 1 June 2026 | 14June 2026 | co-located with ISSAC |
| ISSAC International Symposium on Symbolic and Algebraic Computation | Oldenburg, Germany | 13-16 July 2026 | 1 May 2026 | 8 May 2026 | 14 June 2026 | |
| GECCO Genetic and Evolutionary Computation Conference | San José, Costa Rica | 13-17 July 2026 | 20 March 2026 | 10 April 2026 | 11 May 2026 | |
| NMR Non-Monotonic Reasoning | Lisbon, Portugal | 17-19 July 2026 | 18 May 2026 | 17 June 2026 | 15 May 2026 | part of FLoC |
| DL Description Logics | Lisbon, Portugal | 17-19 July 2026 | 20 May 2026 | 21 June 2026 | 15 May 2026 | part of FLoC |
| ASPOCP Answer Set Programming and Other Computing Paradigms | Lisbon, Portugal | 18 July 2026 | 31 Mai 2026 | 1 June 2026 | workshop of FLoC | |
| ML4SP Machine Learning for Solvers and Provers | Lisbon, Portugal | 18 July 2026 | 25 May 2026 | 2 July 2026 | 1 June 2026 | workshop of FLoC |
| LSFA Logical and Semantic Frameworks with Applications | Lisbon, Portugal | 18-19 July 2026 | 25 May 2026 | 15 May 2026 | part of FLoC | |
| Proof Complexity Workshop on Proof Complexity | Lisbon, Portugal | 18-19 July 2026 | 20 May 2026 | 1 June 2026 | part of FLoC, workshop of SAT | |
| TLLA Trends in Linear Logic and Applications | Lisbon, Portugal | 18-19 July 2026 | 25 May 2026 | 31 May 2026 | 1 June 2026 | workshop of FLoC |
| QBF Quantified Boolean Formulas and Beyond | Lisbon, Portugal | 19 July 2026 | 27 May 2026 | 1 June 2026 | workshop of FLoC, | |
| WPTE Workshop on Rewriting Techniques for Program Transformations and Evaluation | Lisbon, Portugal | 19 July 2026 | 25 May 2026 | 29 June 2026 | 1 June 2026 | part of FLoC, workshop of FSCD |
| ThEdu Theorem proving components for Educational software | Lisbon, Portugal | 19 July 2026 | 1 June 2026 | 1 June 2026 | workshop of FLoC | |
| TERMGRAPH Computing with Terms and Graphs | Lisbon, Portugal | 19 July 2026 | 27 May 2026 | 11 June 2026 | 1 June 2026 | workshop of FLoC |
| CP Principles and Practice of Constraint Programming | Lisbon, Portugal | 20-23 July 2026 | 30 April 2026 | 7 May 2026 | 15 May 2026 | part of FLoC |
| LICS Logic in Computer Science | Lisbon, Portugal | 20-23 July 2026 | 16 April 2026 | 15 May 2026 | part of FLoC | |
| FSCD Formal Structures for Computation and Deduction | Lisbon, Portugal | 20-23 July 2026 | 16 April 2026 | 30 April 2026 | 15 May 2026 | part of FLoC |
| ICLP International Conference on Logic Programming |
Lisbon, Portugal | 20-23 July 2026 | 12/27 March 2026 24 April 2026 |
15 May 2026 | part of FLoC | |
| KR Principles of Knowledge Representation and Reasoning | Lisbon, Portugal | 20-23 July 2026 | 13 April 2026 | 3 May 2026 | 15 May 2026 | part of FLoC |
| SAT Theory and Applications of Satisfiability Testing | Lisbon, Portugal | 20-23 July 2026 | 30 April 2026 | 14 May 2026 | 15 May 2026 | part of FLoC |
| ICDCS International Conference on Distributed Computing Systems | Seoul, South Korea | 20-24 July 2026 | 15 May 2026 | |||
| COCOON Computing and Combinatorics Conference |
Singapore | 23-25 July 2026 | 6 May 2026 | 29 May 2026 | 31 May 2026 23:59 (UTC+08) |
|
| UNIF Workshop on Unification | Lisbon, Portugal | 24 July 2026 | 5 June 2026 | 13 June 2026 | 1 June 2026 | workshop of FLoC |
| LFMTP Logical Frameworks and Meta Languages: Theory and Practice | Lisbon, Portugal | 24 July 2026 | 28 May 2026 | 10 June 2026 | 1 June 2026 | part of FLoC, workshop of FSCD |
| ARQNL Automated Reasoning in Quantified Non-Classical Logics | Lisbon, Portugal | 24 July 2026 | 1 June 2026 | 29 June 2026 | 1 June 2026 | workshop of FLoC |
| IWC International Workshop on Confluence | Lisbon, Portugal | 24 July 2026 | 28 May 2026 | 23 June 2026 | 1 June 2026 | workshop of FLoC |
| PAAR Practical Aspects of Automated Reasoning | Lisbon, Portugal | 25 July 2026 | 20 May 2026 | 1 July 2026 | 15 May 2026 | workshop of FLoC |
| WST Workshop on Termination | Lisbon, Portugal | 25 July 2026 | 26 May 2026 | 26 June 2026 | 1 June 2026 | workshop of FLoC |
| CAV Computer-Aided Verification |
Lisbon, Portugal | 26-29 July 2026 | 4 March 2026 17 April 2026 |
15 May 2026 | part of FLoC | |
| CSF Computer Security Foundations | Lisbon, Portugal | 26-29 July 2026 | 1 April 2026 | 15 May 2026 | part of FLoC | |
| IJCAR International Joint Conference on Automated Reasoning | Lisbon, Portugal | 26-29 July 2026 | 14 April 2026 | 15 June 2026 | 15 May 2026 | part of FLoC |
| ITP Interactive Theorem Proving | Lisbon, Portugal | 26-29 July 2026 | 26 April 2026 | 24 May 2026 | 15 May 2026 | part of FLoC |
| MCU Machines, Computability, Universality | Trier, Germany | 27-29 July 2026 | 15 June 2026 | 30 June 2026 | co-located with CiE | |
| TACL Topology, Algebra, and Categories in Logic | Kraków, Poland | 27-31 July 2026 | 27 April 2026 | 31 May 2026 | summer school 21-25 July 2026 | |
| CiE Computability in Europe | Trier, Germany | 27-31 July 2026 | 27 April 2026 | 4 May 2026 | 30 June 2026 | |
| CCA Computability & Complexity in Analysis | Trier, Germany | 29-31 July 2026 | 5 June 2026 | 26 June 2026 | 30 June 2026 | co-located with CiE |
| CCC Computational Complexity Conference | Lisbon, Portugal | 3-6 August 2026 | 1 May 2026 | end of May | 10 July 2026 | |
| WoLLIC Workshop on Logic, Language, Information and Computation | Lima, Peru | 3-6 August 2026 | 5 May 2026 | 20 May 2026 | 20 June 2026 | |
| CIAA Conference on Implementation and Application of Automata | Kingston, Ontario, Canada | 5-8 August 2026 | 1 May 2026 | 8 May 2026 | 1 July 2026 | |
| DCFS Descriptional Complexity of Formal Systems | Kingston, Ontario, Canada | 9-11 August 2026 | 24 April 2026 | 1 May 2026 | 1 July 2026 | |
| KDD Knowledge Discovery and Data Mining |
Jeju Island, South Korea | 9-13 August 2026 | 23 November 2025 16 May 2026 |
17 June 2026 | two submission cycles | |
| KI German Conference on Artificial Intelligence | Bremen, Germany | 11-14 August 2026 | 22 May 2026 | 29 May 2026 | 15 June 2026 | |
| CCCG Canadian Conference on Computational Geometry | Orillia, Ontario, Canada | 12-14 August 2026 | 12 June 2026 | 30 June 2026 | 15 July 2026 | |
| SoCS Symposium on Combinatorial Search | Bremerhaven, Germany | 14-16 August 2026 | 16 May 2026 | 5 June 2026 | 31 May 2026 | |
| IJCAI International Joint Conference on Artificial Intelligence |
Bremen, Germany | 15-21 August 2026 | 4 March 2026 29 April 2026 |
15 May 2026 | 15 June 2026 | joint with ECAI |
| CRYPTO CRYPTO | Santa Barbara, California, USA | 17-20 August 2026 | 4 May 2026 | 8 June 2026 | ||
| GD Graph Drawing | St. Catharines, Ontario, Canada | 17-21 August 2026 | 24 June 2026 | 29 July 2026 | 24 July 2026 | |
| APPROX Approximation Algorithms for Combinatorial Optimization Problems | Boston, Massachusetts, USA | 19-21 August 2026 | 25 June 2026 | 12 July 2026 | co-located with RANDOM | |
| RANDOM Randomization and Computation | Boston, Massachusetts, USA | 19-21 August 2026 | 25 June 2026 | 12 July 2026 | co-located with APPROX | |
| FedCSIS Federated Conference on Computer Science and Information Systems | Riga, Latvia | 23-26 August 2026 | 6 June 2026 | 19 June 2026 | 19 June 2026 | |
| RuleML+RR International Joint Conference on Rules and Reasoning | Vilnius, Lithuania | 24-26 August 2026 | 3 July 2026 | 15 July 2026 | ||
| Euro-Par European Conference on Parallel and Distributed Computing | Pisa, Italy | 24-28 August 2026 | 30 April 2026 | 22 May 2026 | 30 June 2026 | |
| MFCS Mathematical Foundations of Computer Science | Paris, France | 24-28 August 2026 | 19 June 2026 | 26 June 2026 | 6 July 2026 | |
| ICFP International Conference on Functional Programming | Indianapolis, Indiana, USA | 24-29 August 2026 | 10 June 2026 | 1 July 2026 | ||
| LOPSTR Logic-Based Program Synthesis and Transformation | Indianapolis, Indiana, USA | 24-29 August 2026 | 26 June 2026 | 8 July 2026 | co-located with PPDP | |
| PPDP Principles and Practice of Declarative Programming | Indianapolis, Indiana, USA | 24-29 August 2026 | 26 June 2026 | 8 July 2026 | co-located with LOPSTR | |
| PATAT Practice and Theory of Automated Timetabling | Nottingham, United Kingdom | 25-28 August 2026 | 15 May 2026 | 22 June 2026 | 22 June 2026 | |
| ALGOCLOUD Algorithms for Cloud-Based Systems | L'Aquila, Italy | 31 August - 1 September 2026 | 3 August 2026 | 20 August 2026 | 23 August 2026 | part of ALGO |
| CONCEPTS Conceptual Knowledge Structures | Montpellier, France | 31 August - 4 September 2026 | 20 April 2026 | 15 May 2026 | 15 July 2026 | |
| ESA European Symposium on Algorithms | L'Aquila, Italy | 31 August - 2 September 2026 | 26 June 2026 | 23 August 2026 | part of ALGO | |
| WABI Workshop on Algorithms in Bioinformatics | L'Aquila, Italy | 31 August - 2 September 2026 | 25 June 2026 | 2 July 2026 | 23 August 2026 | part of ALGO |
| TIME Temporal Representation and Reasoning | Cork, Ireland | 1-3 September 2026 | 22 June 2026 | 24 July 2026 | 10 July 2026 | also author registration deadline |
| CONFEST CONCUR & QEST & FORMATS | Liverpool, United Kingdom | 1-5 September 2026 | 31 July 2026 | federated conference including CONCUR, FMICS, QEST, and FORMATS | ||
| CONCUR Concurrency Theory | Liverpool, United Kingdom | 1-5 September 2026 | 15 June 2026 | 29 June 2026 | 31 July 2026 | part of CONFEST |
| IPEC International Symposium on Parameterized and Exact Computation | L'Aquila, Italy | 2-4 September 2026 | 2 August 2026 | end of September | 23 August 2026 | part of ALGO |
| QEST Quantitative Evaluation of SysTems | Liverpool, United Kingdom | 2-4 September 2026 | 3 June 2026 | 24 June 2026 | 31 July 2026 | artifact submission 27 April 2026; part of CONFEST |
| FORMATS Formal Modeling and Analysis of Timed Systems | Liverpool, United Kingdom | 2-4 September 2026 | 3 June 2026 | 24 June 2026 | 31 July 2026 | artifact submission 27 April 2026; part of CONFEST |
| FMICS Formal Methods for Industrial Critical Systems | Liverpool, United Kingdom | 2-4 September 2026 | 1 June 2026 | 15 June 2026 | 31 July 2026 | part of CONFEST |
| WAOA Workshop on Approximation and Online Algorithms | L'Aquila, Italy | 3-4 September 2026 | 4 August 2026 | 15 August 2026 | 23 August 2026 | part of ALGO |
| ATMOS Algorithmic Approaches for Transportation Modelling, Optimization, and Systems | L'Aquila, Italy | 3-4 September 2026 | 4 September 2026 | 11 September 2026 | 23 August 2026 | part of ALGO |
| ICTCS Italian Conference on Theoretical Computer Science | Udine, Italy | 7-9 September 2026 | 21 July 2026 | 5 August 2026 | 5 August 2026 | |
| LPNMR Logic Programming and Non-Monotonic Reasoning | Klagenfurt, Austria | 7-11 September 2026 | 11 June 2026 | 2 July 2026 | ||
| SCN Security and Cryptography for Networks | Amalfi (SA), Italy | 14-16 September 2026 | 28 April 2028 | 15 May 2026 | 15 May 2026 | |
| SYNASC Symbolic and Numeric Algorithms for Scientific Computing |
Timișoara, Romania | 14-17 September 2026 | 25 July 2026 | 4 September 2026 | ||
| FMCAD Formal Methods in Computer-Aided Design | Graz, Austria | 14-18 September 2026 | 19 July 2026 | 1 August 2026 | 1 August 2026 | |
| ESORICS European Symposium on Research in Computer Security | Rome, Italy | 14-18 September 2026 | 12 June 2026 | 26 June 2026 | 26 June 2026 | |
| GandALF Games, Automata, Logics, and Formal Verification | Aalborg, Denmark | 15-17 September 2026 | 3 August 2026 | 7 September 2026 | 15 August 2026 | |
| JAF Journées sur les Arithmétiques Faibles | Warsaw, Poland | 16-18 September 2026 | 22 June 2026 | 31 July 2026 | ||
| EUMAS European Conference on Multi-Agent Systems | Malmö, Sweden | 21-25 September 2026 | 30 June 2026 | 19 July 2026 | 31 July 2026 | |
| CICM Conference on Intelligent Computer Mathematics | Ljubljana, Slovenia | 21-25 September 2026 | 10 June 2026 | 1 July 2026 | ||
| SAFECOMP Computer Safety, Reliability and Security | Valencia, Spain | 22-25 September 2026 | 1 May 2026 | 7 June 2026 | 14 July 2026 | |
| WLP Workshop on (Constraint and Functional) Logic Programming | Dresden, Germany | 23 September 2026 | 6 July 2026 | 14 July 2026 | ||
| LAP Logic and Applications | Dubrovnik, Croatia | 23-27 September 2026 | 10 July 2026 | 15 July 2026 | ||
| SAS Static Analysis Symposium | Oakland, California, USA | 3-9 October 2026 | 3 July 2026 | 17 July 2026 | part of SPLASH | |
| AIxIA Italian Association for Artificial Intelligence | Perugia, Italy | 6-9 October 2026 | 25 July 2026 | 5/25 August | 4 September 2026 | |
| RV Runtime Verification | Kingston, Canada | 6-9 October 2026 | 1 August 2026 | 12 August 2026 | ||
| DSAA Data Science and Advanced Analytics | New Delhi, India | 6-9 October 2026 | 10 August 2026 | 30 August 2026 | ||
| MIWAI Multi-Disciplinary International Conference on Artificial Intelligence |
Halifax, Nova Scotia, Canada | 10-12 October 2026 | 1 August 2026 | 14 August 2026 | 14 August 2026 4 September 2026 |
first early, second deadline |
| SPIRE String Processing and Information Retrieval | Hamilton, Ontario, Canada | 13-16 October 2026 | 10 August 2026 | 20 August 2026 | ||
| PACT Parallel Architectures and Compilation Techniques | Chicago, Illinois, USA | 19-22 October 2026 | 5 August 2026 | 2 October 2026 | ||
| RP Reachability Problems | Turku, Finland | 21-23 October 2026 | 3 August 2026 | 21 September 2026 | ||
| LPAR Logic for Programming, Artificial Intelligence and Reasoning | Spetses, Greece | 25-30 October 2026 | 3 August 2026 | 17 September 2026 | 17 September 2026 | |
| NCL Non-Classical Logics | Toruń, Poland | 26-28 October 2026 | 10 August 2026 | 20 August 2026 | ||
| FOCS Foundations of Computer Science | New York City, New York, USA | 8-11 November 2026 | 3 July 2026 | |||
| DISC Distributed Computing | Rome, Italy | 9-13 November 2026 | 5 August 2026 | 19 August 2026 | ||
| ICTAC International Colloquium on Theoretical Aspects of Computing | Bariloche, Argentina | 11-13 November 2026 | 10 August 2026 | 31 August 2026 | ||
| CCS Computer and Communication Security | The Hague, Netherlands | 15-19 November 2026 | 17 July 2026 | 17 September 2026 | ||
| ADT Algorithmic Decision Theory | Paris, France | 16-18 November 2026 | 27 July 2026 | 25 August 2026 | 1 October 2026 | |
| SDM Data Mining | Salt Lake City, Utah, USA | 19-20 November 2026 | late July | 19 October 2026 | ||
| WINE Web and Internet Economics | Hong Kong, SAR China | 1-4 December 2026 | 10 September 2026 | 30 September 2026 | ||
| APLAS Asian Symposium on Programming Languages and Systems | Hong Kong, SAR China | 1-5 December 2026 | 4 August 2026 | 8 September 2026 | co-located with ATVA | |
| ATVA Automated Technology for Verification and Analysis | Hong Kong, SAR China | 1-5 December 2026 | 23 July 2026 | 10 September 2026 | co-located with APLAS | |
| ISAAC International Symposium on Algorithms and Computation | Hangzhou, China | 6-9 December 2026 | 7 September 2026 | |||
| FSTTCS Foundations of Software Technology and Theoretical Computer Science | New Delhi, India | 16-18 December 2026 | 15 September 2026 | |||
| POPL Principles of Programming Languages |
Mexico City, Mexico | 10-16 January 2027 | 5 October 2026 9 November 2026 |
|||
| SODA Symposium on Discrete Algorithms | Philadelphia, Pennsylvania, USA | 24-27 January 2027 | October 2026 | |||
| ESOP European Symposium on Programming |
Copenhagen, Denmark | 10-15 April 2027 | 6 August 2026 22 December 2026 |
25 January 2027 | part of ETAPS | |
| 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 2026 and 2027 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 |
| ALGO Federated Conference on Algorithms | 2026 | L'Aquila, Italy | 31 August 2026 | 4 September 2026 | federated conference including ALGOCLOUD, ALGOWIN, ATMOS, ESA, IPEC, WABI, and WAOA |
| SPLASH Systems, Programming, Languages, and Applications: Software for Humanity | 2026 | Oakland, California, USA | 3 October 2026 | 9 October 2026 | |
| EDBT Extending Database Technology | 2027 | Lille, France | 6 April 2027 | 9 April 2027 | |
| ICDT International Conference on Database Theory | 2027 | Lille, France | 6 April 2027 | 9 April 2027 | |
| EuroCG European Workshop on Computational Geometry | 2027 | Norrköping, Sweden | 6 April 2027 | 9 April 2027 | |
| EvoStar Evo* | 2027 | Mainz, Germany | 31 March 2027 | 2 April 2027 | federated conference including EuroGP, EvoAPPS, EvoCOP, EvoLearn, and EvoMUSART |
| ETAPS European Joint Conferences on Theory & Practice of Software | 2027 | Copenhagen, Denmark | 10 April 2027 | 15 April 2027 | federated conference including ESOP, FoSSaCS, iFS, and TACAS |
| 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 & Martin Krejca (LIX, Ecole Polytechnique), 2015-2026
Last modified: Sun, 12 Jul 2026 14:15:57 CEST (UTC+0200)