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 |
|---|---|---|---|---|---|
| WABI Workshop on Algorithms in Bioinformatics | L'Aquila, Italy | 14/21 May 2026 | 31 August - 4 September 2026 | 25 June 2026 | LIPIcs, 15 pages + 5 pages references and appendix; part of ALGO |
| RuleML+RR International Joint Conference on Rules and Reasoning | Vilnius, Lithuania | 15/22 May 2026 | 24-26 August 2026 | 3 July 2026 | LNCS, 15 pages + 2 pages references long, 8 pages + 1 page references short |
| TIME Temporal Representation and Reasoning | Cork, Ireland | 18/22 May 2026 | 1-3 September 2026 | 22 June 2026 | OASIcs, 15 pages original, 15 pages surey, 4 pages extended abstract, all excluding references |
| ADT Algorithmic Decision Theory | Paris, France | 18/25 May 2026 | 16-18 November 2026 | 27 July 2026 | LNCS, double-blind, 15 pages |
| ATVA Automated Technology for Verification and Analysis | Hong Kong, SAR China | 19/21 May 2026 | 1-5 December 2026 | 23 July 2026 | LNCS, double blind, 18 pages regular; single-blind, 18 pages tools |
| LOPSTR Logic-Based Program Synthesis and Transformation | Indianapolis, Indiana, USA | 20/27 May 2026 | 24-29 August 2026 | 26 June 2026 | LNCS, 15 pages long, 8 pages short, both excluding references, 10 pages system descriptions |
| PPDP Principles and Practice of Declarative Programming | Indianapolis, Indiana, USA | 20/27 May 2026 | 24-29 August 2026 | 26 June 2026 | LNCS, 15 pages long, 8 pages short, both excluding references, 10 pages system descriptions |
| EUMAS European Conference on Multi-Agent Systems | Malmö, Sweden | 24 May 2026 | 21-25 September 2026 | 30 June 2026 | LNCS, 15 pages main track, 15 pages toolkits, 5 pages demonstrators, all excluding references |
| NCL Non-Classical Logics | Toruń, Poland | 26/31 May 2026 | 26-28 October 2026 | 10 August 2026 | EPTCS, 12 pages excluding references full, 2 pages with references short |
| DISC Distributed Computing | Rome, Italy | 27 May / 1 June 2026 | 9-13 November 2026 | 5 August 2026 | LIPIcs, double-blind, no page limit but only first 15 pages read |
| ESOP European Symposium on Programming |
Copenhagen, Denmark | 28 May 2026 15 October 2026 |
10-15 April 2027 | 6 August 2026 22 December 2026 |
LNCS, 25 pages regular, 15 pages experience and fresh perspectives; part of ETAPS |
| MCU Machines, Computability, Universality | Trier, Germany | 31 May 2026 | 27-29 July 2026 | 29 June 2026 | LNCS, 15 pages; second round of submissions |
| JAF Journées sur les Arithmétiques Faibles | Warsaw, Poland | 1 June 2026 | 16-18 September 2026 | 22 June 2026 | |
| LPAR Logic for Programming, Artificial Intelligence and Reasoning | Spetses, Greece | 3/17 June 2026 | 25-30 October 2026 | 3 August 2026 | EasyChair, 15 pages regular, 8 pages experimental and tools, all excluding references |
| ICTAC International Colloquium on Theoretical Aspects of Computing | Bariloche, Argentina | 8/15 June 2026 | 11-13 November 2026 | 10 August 2026 | LNCS, 16 pages regular, 8 pages short or tool, all excluding references up to 2 pages |
| ICTCS Italian Conference on Theoretical Computer Science | Udine, Italy | 14 June 2026 | 7-9 September 2026 | 21 July 2026 | CEURART, 12 pages regular, 5 pages communications, both excluding references |
| APLAS Asian Symposium on Programming Languages and Systems | Hong Kong, SAR China | 15 June 2026 | 1-5 December 2026 | 28 July 2026 | LNCS, double-blind, 17 pages excluding references |
| AIxIA Italian Association for Artificial Intelligence | Perugia, Italy | 16/23 June 2026 | 6-9 October 2026 | 25 July 2026 | LNCS, 12 pages regular excluding references; CEUR, discussion, 4 pages excluding references |
| GandALF Games, Automata, Logics, and Formal Verification | Aalborg, Denmark | 18/22 June 2026 | 15-17 September 2026 | 3 August 2026 | EPTCS, 14 pages excluding references |
| SYNASC Symbolic and Numeric Algorithms for Scientific Computing |
Timișoara, Romania | 20 June 2026 | 14-17 September 2026 | 25 July 2026 | two-column,
8 pages regular, 8 pages system descriptions and experimental, 4 pages short, all excluding references |
| RP Reachability Problems | Turku, Finland | 21 June 2026 | 21-23 October 2026 | 3 August 2026 | LNCS, 12 pages excluding references |
| SPIRE String Processing and Information Retrieval | Hamilton, Ontario, Canada | 22/29 June 2026 | 13-16 October 2026 | 10 August 2026 | LNCS, 12 pages long, 6 pages short, both excluding references |
| ATMOS Workshop on Algorithms in Bioinformatics | L'Aquila, Italy | 26 June 2026 | 3-4 September 2026 | 4 September 2026 | OASIcs, 15 pages + 5 pages references and appendix regular, 6 pages short; part of ALGO |
| MIWAI Multi-Disciplinary International Conference on Artificial Intelligence | Halifax, Nova Scotia, Canada | 26 June 2026 | 10-12 October 2026 | 7 August 2026 | LNCS, double-blind, 12 pages |
| ISAAC International Symposium on Algorithms and Computation | Hangzhou, China | 26 June 2026 | 6-9 December 2026 | early September 2026 | LIPIcs, double-blind, 12 pages excluding references |
| WAOA Workshop on Approximation and Online Algorithms | L'Aquila, Italy | 28 June 2026 | 3-4 September 2026 | 4 August 2026 | A4 pager, 2 cm margins, 10-point font, double-blind, 10 pages excluding references; part of ALGO |
| IPEC International Symposium on Parameterized and Exact Computation | L'Aquila, Italy | 29 June 2026 | 31 August - 4 September 2026 | 2 August 2026 | LIPIcs, double-blind, no page limit but only first 500 lines read; part of ALGO |
| ALGOWIN Algorithmic of Wireless Networks | L'Aquila, Italy | 29 June 2026 | 3-4 September 2026 | 3 August 2026 | LNCS, 12 pages excluding references, post-proceedings; part of ALGO |
| ICTAI International Conference on Tools with Artificial Intelligence | Boca Raton, Florida, USA | 30 June 2026 | 2-4 November 2026 | 10 September 2026 | PDF, double-blind, double-column, 10-point font, 8 pages |
| WINE Web and Internet Economics | Hong Kong, SAR China | 2 July 2026 | 1-4 December 2026 | 10 September 2026 | LNCS, double-blind, 12 pages excluding references |
| ALGOCLOUD Algorithms for Cloud-Based Systems | L'Aquila, Italy | 3 July 2026 | 31 August - 4 September 2026 | 3 August 2026 | LNCS, 12 pages excluding references regular, 8 pages short, 10 pages survey; part of ALGO |
| FSTTCS Foundations of Software Technology and Theoretical Computer Science | New Delhi, India | 4/11 July 2026 | 16-18 December 2026 | 15 September 2026 | LIPIcs, double-blind, 15 pages excluding references |
| 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 |
| POPL Principles of Programming Languages |
Mexico City, Mexico | 9 July 2026 | 10-16 January 2027 | 5 October 2026 9 November 2026 |
ACMart, double-blind, 25 pages excluding references |
| SODA Symposium on Discrete Algorithms | Philadelphia, Pennsylvania, USA | 9 July 2026 | 24-27 January 2027 | ||
| VSTTE Verified Software: Theories, Tools, and Experiments | Graz, Austria | 10/17 July 2026 | 14 September 2026 | 22 August 2026 | LNCS, post-proceeding; co-located with FMCAD |
| SOFSEM Current Trends in Theory and Practice of Computer Science | Ioannina, Greece | 15/18 September 2026 | 2-5 February 2027 | 10 November 2026 | LNCS |
| WADT Workshop on Algebraic Development Techniques | 17 September 2026 | 29 June - 3 July 2026 | 29 October 2026 | post-proceedings | |
| 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 |
| Conference | City, Country | Deadline | Date | Notification | Submission format and comments |
Running conferences
| Conference | City, Country | Date | Remark |
|---|---|---|---|
| FLAIRS FLorida Artificial Intelligence Research Society Conference | Marco Island, Florida, USA | 17-20 May 2026 | |
| FM Formal Methods | Tokyo, Japan | 18-22 May 2026 | |
| FUN Fun With Algorithms | Porquerolles, France | 18-22 May 2026 | |
| Conference | City, Country | Date | Remark |
Future conferences with deadline over
| Conference | City, Country | Date | Notification | Final version | Early registration | Remarks and other indications |
|---|---|---|---|---|---|---|
| EMAS Engineering Multi-Agent Systems |
Paphos, Cyprus | 25-26 May 2026 | 27 March 2026 | 27 April 2026 | 31 March 2026 | co-located with AAMAS |
| 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 | 6 April 2026 | |
| FLOPS Functional and Logic Programming | Tsukuba, Japan | 26-28 May 2026 | 2 February 2026 | 2 March 2026 | 25 April 2026 | |
| CPAIOR Integration of Constraint Programming, Artificial Intelligence, and Operations Research | Rabat, Morocco | 26-29 May 2026 | 9 February 2026 | 17 April 2026 | ||
| RECOMB Research in Computational Molecular Biology | Thessaloniki, Greece | 26-29 May 2026 | 16 January 2026 | 25 February 2026 | 15 April 2026 | |
| PODS Principles of Database Systems |
Bengaluru, India | 31 May - 5 June 2026 | 8 February 2026 1 March 2026 |
31 March 2026 | co-located with SIGMOD | |
| SIGMOD International Conference on Management of Data |
Bengaluru, India | 31 May - 5 June 2026 | 4 January 2026 23 February 2026 |
31 March 2026 | co-located with PODS | |
| WG Graph-Theoretic Concepts in Computer Science | Kortrijk, Belgium | 2-4 June 2026 | 3 April 2026 | 4 May 2026 | 26 April 2026 | |
| SoCG Symposium on Computational Geometry |
New Brunswick, New Jersey, USA | 2-5 June 2026 | 5 February 2026 | 24 March 2026 | 30 April 2026 EDT (UTC-04:00) |
|
| HALG Highlights of Algorithms | Stockholm, Sweden | 8-10 June 2026 | early April | 4 May 2026 | no proceedings | |
| IWOCA International Workshop on Combinatorial Algorithms | Clermont-Ferrand, France | 8-12 June 2026 | 25 March 2026 | 6 April 2026 | 11 May 2026 | |
| CAiSE Advanced Information Systems Engineering | Verona, Italy | 8-12 June 2026 | 12 February 2026 | 3 May 2026 | ||
| DisCoTec Distributed Computing Techniques | Urbino, Italy | 8-12 June 2026 | 24 March 2026 | 3 April 2026 | 17 May 2026 | federated conference including COORDINATION, DAIS, and FORTE |
| COORDINATION Coordination Models and Languages | Urbino, Italy | 8-12 June 2026 | 24 March 2026 | 3 April 2026 | 17 May 2026 | part of DisCoTec |
| DAIS Distributed Applications and Interoperable Systems |
Urbino, Italy | 8-12 June 2026 | 27 March 2026 | 3 April 2026 | 17 May 2026 | part of DisCoTec |
| FORTE Formal Techniques for Distributed Objects, Components, and Systems | Urbino, Italy | 8-12 June 2026 | 27 March 2026 | 3 April 2026 | 17 May 2026 | part of DisCoTec |
| SIROCCO Structural Information and Communication Complexity | Durham, United Kingdom | 9-11 June 2026 | 20 January 2026 | 30 April 2026 | ||
| CPM Combinatorial Pattern Matching |
Copenhagen, Denmark | 15-17 June 2026 | 23 December 2025 1 April 2026 |
12 May 2025 | two submission rounds | |
| IPCO Integer Programming and Combinatorial Optimization | Padova, Italy | 17-19 June 2026 | 15 February 2026 | 25 March 2026 | 30 April 2026 | |
| SWAT Scandinavian Symposium and Workshops on Algorithm Theory | Copenhagen, Denmark | 17-19 June 2026 | 10 April 2026 | 17 April 2026 | 12 May 2026 | co-located with CPM and SEA |
| AAIM Algorithmic Aspects in Information and Management | Dallas, Texas, USA | 19-21 June 2026 | 6 May 2026 | 13 May 2026 | ||
| SEA Symposium on Experimental Algorithms | Copenhagen, Denmark | 22–24 June 2026 | 31 March 2026 | 12 May 2026 | co-located with CPM and SWAT | |
| AofA Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms | Munich, Germany | 22-26 June 2026 | 20 April 2026 | 4 May 2026 | 17 May 2026 | |
| Petri Nets Petri Nets | Hamburg, Germany | 22-26 June 2026 | 8 March 2026 | 22 March 2026 | ||
| STOC Symposium on Theory of Computing | Salt Lake City, Utah, USA | 22-26 June 2026 | 1 February 2026 | 31 March 2026 | 6 June 2026 | |
| DEBS Distributed and Event-Based Systems | Lisbon, Portugal | 23-26 June 2026 | 8 May 2026 | 15 May 2026 | 24 May 2026 | |
| LOFT Logic and the Foundations of Game and Decision Theory | London, United Kingdom | 24-26 June 2026 | 24 May 2026 | |||
| ICAPS International Conference on Automated Planning and Scheduling | Dublin, Ireland | 27 June - 2 July 2026 | 20 February 2026 | 5 May 2026 | ||
| COLT Conference on Learning Theory | San Diego, California, USA | 29 June - 3 July 2026 | 4 May 2026 | |||
| ECMFA European Conference on Modelling Foundations and Applications |
Rennes, France | 29 June - 3 July 2026 | 6 February 2026 10 April 2026 15 May 2026 |
1 June 2026 | part of STAF | |
| ICGT International Conference on Graph Transformation | Rennes, France | 29 June - 3 July 2026 | 6 April 2026 | part of STAF | ||
| AiML Advances in Modal Logic | Amsterdam, Netherlands | 29 June - 3 July 2026 | 24 April 2026 | 15 May 2026 | 22 May 2026 | |
| DLT Developments in Language Theory | Rouen, France | 30 June - 3 July 2026 | 10 April 2026 | 15 April 2026 | ||
| MATCH-UP Matching Under Preferences | Paris, France | 1-3 July 2026 | 15 April 2026 | 1 June 2026 | 15 May 2026 | |
| SAND Algorithmic Foundations of Dynamic Networks | Le Havre, France | 1-3 July 2026 | 21 April 2026 | 2 May 2026 | 10 June 2026 | |
| TASE Theoretical Aspects of Software Engineering | Shanghai, China | 4-6 July 2026 | 15 April 2026 | 1 May 2026 | 30 May / 20 June 2026 | first registration date for authors, second regular |
| SCML Symbolic Computation and Machine Learning | Hagenberg, Austria | 6-8 July 2026 | 25 May 2026 | 8/15 June 2026 | first registration date for presenters, second for non-presenters | |
| EC Economics and Computation | Rome, Italy | 6-10 July 2026 | 18 May 2026 | 29 May 2026 | ||
| PODC Principles of Distributed Computing | Egham, England, UK | 6-10 July 2026 | 29 April 2026 | 1 June 2026 | co-located with ICALP and SPAA | |
| SPAA Symposium on Parallelism in Algorithms and Architectures | Egham, England, UK | 6-10 July 2026 | 15 May 2026 | 5 June 2026 | 1 June 2026 | co-located with ICALP and PODC |
| ANTS Algorithmic Number Theory Symposium | Groningen, Netherlands | 6-10 July 2026 | 20 April 2026 | 5 June 2026 | 15 June 2026 | post-proceedings |
| ICML International Conference on Machine Learning | Seoul, South Korea | 6-11 July 2026 | 30 April 2026 | 15 June 2026 | registration cancellation deadline | |
| ICALP International Colloquium on Automata, Languages and Programming | Egham, England, UK | 7-10 July 2026 | 20 April 2026 | 11 May 2026 | 1 June 2026 | co-located with PODC and SPAA |
| 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 | |
| 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 | ||
| CIAA Conference on Implementation and Application of Automata | Kingston, Ontario, Canada | 5-8 August 2026 | 1 May 2026 | 8 May 2026 | ||
| DCFS Descriptional Complexity of Formal Systems | Kingston, Ontario, Canada | 9-11 August 2026 | 24 April 2026 | 1 May 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 | |
| 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 | 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 | ||
| 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 | |
| Euro-Par European Conference on Parallel and Distributed Computing | Pisa, Italy | 24-28 August 2026 | 30 April 2026 | 22 May 2026 | ||
| MFCS Mathematical Foundations of Computer Science | Paris, France | 24-28 August 2026 | 19 June 2026 | 26 June 2026 | ||
| ICFP International Conference on Functional Programming | Indianapolis, Indiana, USA | 24-29 August 2026 | 10 June 2026 | 1 July 2026 | ||
| PATAT Practice and Theory of Automated Timetabling | Nottingham, United Kingdom | 25-28 August 2026 | 15 May 2026 | 22 June 2026 | 22 June 2026 | |
| CONCEPTS Conceptual Knowledge Structures | Montpellier, France | 31 August - 4 September 2026 | 20 April 2026 | 15 May 2026 | ||
| ESA European Symposium on Algorithms | L'Aquila, Italy | 31 August - 2 September 2026 | 26 June 2026 | part of ALGO | ||
| CONFEST CONCUR & QEST & FORMATS | Liverpool, United Kingdom | 1-5 September 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 | part of CONFEST | |
| QEST Quantitative Evaluation of SysTems | Liverpool, United Kingdom | 2-4 September 2026 | 3 June 2026 | 24 June 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 | 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 | part of CONFEST | |
| 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 | |
| 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 | |
| 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 | ||
| WLP Workshop on (Constraint and Functional) Logic Programming | Dresden, Germany | 23 September 2026 | 6 July 2026 | 14 July 2026 | ||
| SAS Static Analysis Symposium | Oakland, California, USA | 3-9 October 2026 | 3 July 2026 | 17 July 2026 | part of SPLASH | |
| PACT Parallel Architectures and Compilation Techniques | Chicago, Illinois, USA | 19-22 October 2026 | 5 August 2026 | 2 October 2026 | ||
| FOCS Foundations of Computer Science |
New York City, New York, USA | 8-11 November 2026 | 3 July 2026 | |||
| SDM Data Mining | Salt Lake City, Utah, USA | 19-20 November 2026 | late July | 19 October 2026 | ||
| 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 |
| LAP Logic and Applications | 2026 | Dubrovnik, Croatia | 23 September 2026 | 27 September 2026 | |
| SPLASH Systems, Programming, Languages, and Applications: Software for Humanity | 2026 | Oakland, California, USA | 3 October 2026 | 9 October 2026 | |
| OPODIS On Principles of Distributed Systems | 2026 | Madrid, Spain | 9 December 2026 | 11 December 2026 | |
| ALENEX Algorithm Engineering and Experiments | 2027 | Philadelphia, Pennsylvania, USA | 24 January 2027 | 25 January 2027 | co-located with SODA |
| SOSA Symposium on Simplicity in Algorithms | 2027 | Philadelphia, Pennsylvania, USA | 25 January 2027 | 26 January 2027 | co-located with SODA |
| AAAI Artificial Intelligence | 2027 | Montreal, Canada | 16 February 2027 | 23 February 2027 | |
| STACS Symposium on Theoretical Aspects of Computer Science | 2027 | Göttingen, Germany | 8 March 2027 | 12 March 2027 | no proper web page yet |
| 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 | |
| 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 (LIX, Ecole Polytechnique), 2015-2026
Last modified: Mon, 18 May 2026 18:04:42 CEST