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 |
|---|---|---|---|---|---|
| CP Principles and Practice of Constraint Programming | Lisbon, Portugal | 2/14 March 2026 | 20-23 July 2026 | 30 April 2026 | LIPIcs, double-blind, 15 pages full, 8 pages short, both excluding references; part of FLoC |
| Euro-Par European Conference on Parallel and Distributed Computing | Pisa, Italy | 6/13 March 2026 | 24-28 August 2026 | 30 April 2026 | LNCS, 14 pages |
| CONCEPTS Conceptual Knowledge Structures | Montpellier, France | 8/15 March 2026 | 31 August - 4 September 2026 | 20 April 2026 | LNCS, regular track only, 16 pages long, 8 pages short |
| SCN Security and Cryptography for Networks | Amalfi (SA), Italy | 14 March 2026 | 14-16 September 2026 | 28 April 2028 | LNCS, 20 pages excluding references |
| PATAT Practice and Theory of Automated Timetabling | Nottingham, United Kingdom | 17 March 2026 | 25-28 August 2026 | 15 May 2026 | LNCS clone, 12 pages full, 4 pages abstracts |
| HALG Highlights of Algorithms | Stockholm, Sweden | 3 April 2026 | 8-10 June 2026 | early April | no proceedings |
| QEST Quantitative Evaluation of SysTems | Liverpool, United Kingdom | 3/10 April 2026 | 2-4 September 2026 | 24 May 2026 | LNCS, 16 pages regular, 7 pages short, both excluding references; part of CONFEST |
| FORMATS Formal Modeling and Analysis of Timed Systems | Liverpool, United Kingdom | 3/10 April 2026 | 2-4 September 2026 | 24 May 2026 | LNCS, 16 pages regular, 7 pages short, both excluding references; part of CONFEST |
| DLT Developments in Language Theory | Rouen, France | 6 March 2026 | 30 June - 3 July 2026 | 3 April 2026 | LNCS, 12 pages excluding references |
| SAFECOMP Computer Safety, Reliability and Security | Valencia, Spain | 8/15 March 2026 | 22-25 September 2026 | 1 May 2026 | LNCS, 14 pages |
| DCFS Descriptional Complexity of Formal Systems | Kingston, Ontario, Canada | 13 March 2026 | 9-11 August 2026 | 17 April 2026 | LNCS, 12 pages excluding references |
| CiE Computability in Europe | Trier, Germany | 15 March 2026 | 27-31 July 2026 | 27 April 2026 | LNCS, 15 pages; 2nd round of submissions |
| CIAA Conference on Implementation and Application of Automata | Kingston, Ontario, Canada | 20 March 2026 | 5-8 August 2026 | 24 April 2026 | LNCS, 12 pages excluding references |
| CICM Conference on Intelligent Computer Mathematics | Ljubljana, Slovenia | 25 March / 1 April 2026 | 21-25 September 2026 | 10 June 2026 | LNCS, 15 pages regular, project and survey, 5 pages system and dataset descriptions, all excluding references |
| LSFA Logical and Semantic Frameworks with Applications | Lisbon, Portugal | 30 March / 4 April 2026 | 18-19 July 2026 | 4 May 2026 | EPTCS, 16 pages full, 6 pages short, both excluding references; part of FLoC |
| NMR Non-Monotonic Reasoning | Lisbon, Portugal | 3/10 April 2026 | 17-19 July 2026 | 18 May 2026 | CEURART, 14 pages full, 3 pages excluding references extended abstracts; part of FLoC |
| FMICS Formal Methods for Industrial Critical Systems | Liverpool, United Kingdom | 10/17 April 2026 | 2-4 September 2026 | 1 June 2026 | LNCS, 15 pages excluding references; part of CONFEST |
| CONCUR Concurrency Theory | Liverpool, United Kingdom | 14/20 April 2026 | 1-5 September 2026 | 15 June 2026 | LIPIcs, 15 pages excluding references; part of CONFEST |
| DL Description Logics | Lisbon, Portugal | 14/21 April 2026 | 17-19 July 2026 | 20 May 2026 | CEURART clone, 11 pages regular, 4 pages extended abstracts, both excluding references; part of FLoC |
| PAAR Practical Aspects of Automated Reasoning | Lisbon, Portugal | 14/21 April 2026 | 25 July 2026 | 12 May 2026 | CEURART, 15 pages regular, 8 pages extended abstract, both excluding references; workshop of FLoC |
| FedCSIS Federated Conference on Computer Science and Information Systems | Riga, Latvia | 15 April 2026 | 23-26 August 2026 | 16 June 2026 | IEEEtrans, 12 pages full, 6 pages short, 8 pages communication |
| ESORICS European Symposium on Research in Computer Security | Rome, Italy | 21 April 2026 | 21-? September 2026 | 12 June 2026 | LNCS, 16 pages excluding references (20 pages total) |
| ESA European Symposium on Algorithms | L'Aquila, Italy | 21/23 April 2026 | 31 August - 2 September 2026 | 26 June 2026 | LIPIcs with own class file, 500 lines excluding front matter and references; part of ALGO |
| LFMTP Logical Frameworks and Meta Languages: Theory and Practice |
Lisbon, Portugal | 21/28 April 2026 | 24 July 2026 | 28 May 2026 | EPTCS,
15 pages regular, 10 pages system descriptions, 8 pages work in progress, all excluding references; part of FLoC, workshop of FSCD |
| MFCS Mathematical Foundations of Computer Science | Paris, France | 24 April 2026 | 24-28 August 2026 | 19 June 2026 | LIPIcs, 12 pages excluding references |
| FMCAD Formal Methods in Computer-Aided Design | Graz, Austria | 26 April / 3 May 2026 | 14-18 September 2026 | 28 June 2026 | own format, 8 pages long, 4 pages short, both excluding references |
| SCML Symbolic Computation and Machine Learning | Hagenberg, Austria | 27 April 2026 | 6-8 July 2026 | 11 May 2026 | 2 pages extended abstract |
| TERMGRAPH Computing with Terms and Graphs | Lisbon, Portugal | 27 April 2026 | 18-19 July 2026 | 25 May 2026 | EPTCS, 15 pages, post-proceedings; workshop of FLoC |
| WST Workshop on Termination | Lisbon, Portugal | 28 April / 5 May 2026 | 25 July 2026 | 26 May 2026 | LIPIcs, 5 pages; workshop of FLoC |
| CCA Computability & Complexity in Analysis | Trier, Germany | 1 May 2026 | 29-31 July 2026 | 5 June 2026 | PDF, 2 pages; co-located with CiE |
| ADT Algorithmic Decision Theory | Paris, France | 4/11 May 2026 | 16-18 November 2026 | 13 July 2026 | LNCS, double-blind, 15 pages |
| GD Graph Drawing | St. Catharines, Ontario, Canada | 6/13 May 2026 | 17-21 August 2026 | 22 July 2026 | LIPIcs with wrapper, 500 lines long, 250 lines short, 80 lines poster |
| UNIF Workshop on Unification | Lisbon, Portugal | 7 May 2026 | 24 July 2026 | 29 May 2026 | EasyChair, 5 pages; workshop of FLoC |
| MCU Machines, Computability, Universality | Trier, Germany | 10 May 2026 | 27-29 July 2026 | 15 June 2026 | co-located with CiE |
| ML4SP Machine Learning for Solvers and Provers | Lisbon, Portugal | 15 May 2026 | 18 July 2026 | 25 May 2026 | LIPIcs, 15 pages full, 2 pages extended abstracts, both excluding references; part of FLoC |
| EUMAS European Conference on Multi-Agent Systems | Malmö, Sweden | 18 May 2026 | 21-25 September 2026 | 30 June 2026 | LNCS, 15 pages main track, 15 pages toolkits, 5 pages demonstrators, all excluding references |
| 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 |
| JAF Journées sur les Arithmétiques Faibles | Warsaw, Poland | 1 June 2026 | 16-18 September 2026 | 22 June 2026 | |
| 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 |
| 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 |
| IPEC International Symposium on Parameterized and Exact Computation | L'Aquila, Italy | 29 June 2026 | 31 August - 4 September 2026 | 2 August 2026 | part of ALGO |
| 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 |
| POPL Principles of Programming Languages |
Mexico City, Mexico | 9 July 2026 | 10-16 January 2027 | 5 October 2026 9 November 2026 |
|
| SODA Symposium on Discrete Algorithms | Philadelphia, Pennsylvania, USA | 9 July 2026 | 24-27 January 2027 | ||
| Conference | City, Country | Deadline | Date | Notification | Submission format and comments |
Running conferences
| Conference | City, Country | Date | Remark |
|---|---|---|---|
| STACS Symposium on Theoretical Aspects of Computer Science | Grenoble, France | 9-13 March 2026 | |
| Conference | City, Country | Date | Remark |
Future conferences with deadline over
| Conference | City, Country | Date | Notification | Final version | Early registration | Remarks and other indications |
|---|---|---|---|---|---|---|
| FoIKS Foundations of Information and Knowledge Systems | Hanover, Germany | 23-26 March 2026 | 13 December 2025 | 6 January 2026 | 13 February 2026 | |
| EDBT Extending Database Technology | Tampere, Finland | 24-27 March 2026 | 3 February 2026 | 17 February 2026 | 10 February 2026 | |
| ICDT International Conference on Database Theory | Tampere, Finland | 24-27 March 2026 | 1 December 2025 | 17 February 2026 | 10 February 2026 | |
| EuroCG European Workshop on Computational Geometry | Hagen, Germany | 25-27 March 2026 | 24 February 2026 | 10 March 2026 | 3 March 2026 | |
| RAMiCS Relational and Algebraic Methods in Computer Science | Będlewo, Poland | 7-10 April 2026 | 20 January 2026 | 10 February 2026 | ||
| EvoStar Evo* |
Toulouse, France | 8-10 April 2026 | 10 January 2026 | 24 January 2026 | 11 February 2026 4 March 2026 |
first registration date author, second early; federated conference including EuroGP, EvoAPPS, EvoCOP, and EvoMUSART |
| EuroGP European Conference on Genetic Programming |
Toulouse, France | 8-10 April 2026 | 10 January 2026 | 24 January 2026 | 11 February 2026 4 March 2026 |
first registration date author, second early; part of EvoStar |
| EvoAPPS Applications of Evolutionary Computation |
Toulouse, France | 8-10 April 2026 | 10 January 2026 | 24 January 2026 | 11 February 2026 4 March 2026 |
first registration date author, second early; part of EvoStar |
| EvoCOP Evolutionary Computation in Combinatorial Optimisation |
Toulouse, France | 8-10 April 2026 | 10 January 2026 | 24 January 2026 | 11 February 2026 4 March 2026 |
first registration date author, second early; part of EvoStar |
| EvoMUSART Artificial Intelligence in Music, Sound, Art and Design |
Toulouse, France | 8-10 April 2026 | 10 January 2026 | 24 January 2026 | 11 February 2026 4 March 2026 |
first registration date author, second early; part of EvoStar |
| NFM NASA Formal Methods | Los Angeles, California, USA | 5-7 May 2026 | 10 March 2026 | 30 March 2026 | ||
| EUROCRYPT Theory and Applications of Cryptographic Techniques | Rome, Italy | 10-14 May 2026 | 29 January 2026 | |||
| WRLA Workshop on Rewriting Logic and its Applications | Torino, Italy | 11-12 April 2026 | 27 February 2026 | 13 March 2026 | 10 March 2026 | part of ETAPS |
| ETAPS European Joint Conferences on Theory & Practice of Software | Torino, Italy | 11-16 April 2026 | 22 December 2025 | 22 January 2026 | 10 March 2026 | federated conference including ESOP, FASE, FoSSaCS, and TACAS |
| ESOP European Symposium on Programming | Torino, Italy | 11-16 April 2026 | 22 December 2025 | 22 January 2026 | 10 March 2026 | part of ETAPS |
| FASE Fundamental Approaches to Software Engineering | Torino, Italy | 11-16 April 2026 | 22 December 2025 | 22 January 2026 | 10 March 2026 | part of ETAPS |
| FoSSaCS Foundations of Software Science and Computation Structures | Torino, Italy | 11-16 April 2026 | 22 December 2025 | 22 January 2026 | 10 March 2026 | part of ETAPS |
| TACAS Tools and Algorithms for the Construction and Analysis of Systems | Torino, Italy | 11-16 April 2026 | 22 December 2025 | 22 January 2026 | 10 March 2026 | part of ETAPS |
| LATIN Latin American Theoretical Informatics Symposium | Florianópolis, Brazil | 13-17 April 2026 | 9 January 2026 | 9 February 2026 | 7 March 2026 | |
| SPIN International Symposium on Model Checking Software | Torino, Italy | 15-16 April 2026 | 5 March 2026 | artifact submission 5 February 2026; co-located with ETAPS | ||
| FLAIRS FLorida Artificial Intelligence Research Society Conference | Marco Island, Florida, USA | 17-20 May 2026 | 9 March 2026 | 6 April 2026 | 3 April 2026 | |
| FM Formal Methods | Tokyo, Japan | 18-22 May 2026 | 30 January 2026 | 2 March 2026 | ||
| FUN Fun With Algorithms | Porquerolles, France | 18-22 May 2026 | 17 February 2026 | 3 March 2026 | 3 March 2026 | |
| IDA Intelligent Data Analysis | Leiden, Netherlands | 22-24 April 2026 | 23 January 2026 | 6 February 2026 | 28 February 2026 | |
| OLA Optimization and Learning | Chania, Crete, Greece | 28-30 April 2026 | 23 January 2026 | 6 March 2026 | 14 March 2026 | |
| ISCO International Symposium on Combinatorial Optimization | Kuşadası, Turkey | 6-8 May 2026 | 15 February 2026 | 1 March 2026 | ||
| 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 | early March | ||
| 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 | ||
| 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 | federated conference including COORDINATION, DAIS, and FORTE | |
| COORDINATION Coordination Models and Languages | Urbino, Italy | 8-12 June 2026 | 24 March 2026 | 3 April 2026 | part of DisCoTec | |
| DAIS Distributed Applications and Interoperable Systems |
Urbino, Italy | 8-12 June 2026 | 27 March 2026 | 3 April 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 | part of DisCoTec | |
| SIROCCO Structural Information and Communication Complexity | Durham, United Kingdom | 9-11 June 2026 | 20 January 2026 | |||
| CPM Combinatorial Pattern Matching |
Copenhagen, Denmark | 15-17 June 2026 | 23 December 2025 1 April 2026 |
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 | co-located with CPM and SEA | |
| SEA Symposium on Experimental Algorithms | Copenhagen, Denmark | 22–24 June 2026 | 31 March 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 | ||
| ICAPS International Conference on Automated Planning and Scheduling | Dublin, Ireland | 27 June - 2 July 2026 | 20 February 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 | ||
| MATCH-UP Matching Under Preferences | Paris, France | 1-3 July 2026 | 15 April 2026 | 1 June 2026 | ||
| SAND Algorithmic Foundations of Dynamic Networks | Le Havre, France | 1-3 July 2026 | 21 April 2026 | 2 May 2026 | ||
| TASE Theoretical Aspects of Software Engineering | Shanghai, China | 4-6 July 2026 | 15 April 2026 | 1 May 2026 | ||
| EC Economics and Computation | Rome, Italy | 6-10 July 2026 | 18 May 2026 | |||
| PODC Principles of Distributed Computing |
Egham, England, UK | 6-10 July 2026 | 29 April 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 | co-located with ICALP and PODC | |
| ANTS Algorithmic Number Theory Symposium | Groningen, Netherlands | 6-10 July 2026 | 20 April 2026 | 5 June 2026 | post-proceedings | |
| ICML International Conference on Machine Learning | Seoul, South Korea | 6-11 July 2026 | 30 April 2026 | |||
| ICALP International Colloquium on Automata, Languages and Programming | Egham, England, UK | 7-10 July 2026 | 20 April 2026 | 11 May 2026 | co-located with PODC and SPAA | |
| ISSAC International Symposium on Symbolic and Algebraic Computation | Oldenburg, Germany | 13-16 July 2026 | 1 May 2026 | 8 May 2026 | ||
| GECCO Genetic and Evolutionary Computation Conference | San José, Costa Rica | 13-17 July 2026 | 20 March 2026 | 10 April 2026 | ||
| 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 | ||||
| COCOON Computing and Combinatorics Conference | Singapore | 23-25 July 2026 | 6 May 2026 | 29 May 2026 | ||
| 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 |
| 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 | |
| CCC Computational Complexity Conference | Lisbon, Portugal | 3-6 August 2026 | 1 May 2026 | end of May | ||
| WoLLIC Workshop on Logic, Language, Information and Computation | Lima, Peru | 3-6 August 2026 | 5 May 2026 | 20 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 | |
| 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 | ||
| ICFP International Conference on Functional Programming | Indianapolis, Indiana, USA | 24-29 August 2026 | 10 June 2026 | 1 July 2026 | ||
| CONFEST CONCUR & QEST & FORMATS | Liverpool, United Kingdom | 1-5 September 2026 | federated conference including CONCUR, FMICS, QEST, and FORMATS | |||
| ESORICS European Symposium on Research in Computer Security |
Rome, Italy | 21-? September 2026 | 10 March 2026 12 June 2026 |
two rounds of submission | ||
| 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 | |
| SDM Data Mining | 2026 | Salt Lake City, Utah, USA | 19 November 2026 | 20 November 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 |
| 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: Fri, 13 Mar 2026 11:44:42 CET