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 |
|---|---|---|---|---|---|
| IJCAR International Joint Conference on Automated Reasoning | Lisbon, Portugal | 6/15 February 2026 | 26-29 July 2026 | 14 April 2026 | LNCS, 15 pages regular, 7 pages short, both excluding references; all dates are tentative, part of FLoC |
| PODC Principles of Distributed Computing |
Egham, England, UK | 11/16 February 2026 | 6-10 July 2026 | 29 April 2026 | ACMart,
double-blind, no page limit but only first 10 pages read regular, 5 page brief announcements; co-located with ICALP and SPAA |
| EMAS Engineering Multi-Agent Systems |
Paphos, Cyprus | 11/18 February 2026 | 25-26 May 2026 | 19 March 2026 | LNCS, 16 pages regular, 8 pages short, 6 pages student, 4 pages tools + demos + testbeds, all excluding references, post-proceedings; co-located with AAMAS |
| ITP Interactive Theorem Proving | Lisbon, Portugal | 12/19 February 2026 | 26-29 July 2026 | 26 April 2026 | LIPIcs, double-blind, 16 pages regular, 6 pages short, both excluding references; part of FLoC |
| COORDINATION Coordination Models and Languages | Urbino, Italy | 13/20 February 2026 | 8-12 June 2026 | 24 March 2026 | LNCS, 18 pages regular, 25 pages survey, 15 pages tool, all excluding references; part of DisCoTec |
| DAIS Distributed Applications and Interoperable Systems |
Urbino, Italy | 13/20 February 2026 | 8-12 June 2026 | 27 March 2026 | LNCS,
15 pages research, 15 pages experience reports, 6 pages work in progress, all +2 pages references; part of DisCoTec |
| FORTE Formal Techniques for Distributed Objects, Components, and Systems | Urbino, Italy | 13/20 February 2026 | 8-12 June 2026 | 27 March 2026 | LNCS, 15 pages regular, 15 pages tool, 6 pages short, all excluding references; part of DisCoTec |
| ECMFA European Conference on Modelling Foundations and Applications |
Rennes, France | 13/22 February 2026 | 29 June - 3 July 2026 | 10 April 2026 15 May 2026 |
JOT, 14 pages + 2 pages for secondary studies; part of STAF |
| MATCH-UP Matching Under Preferences | Paris, France | 15 February 2026 | 1-3 July 2026 | 15 April 2026 | A4 paper, 18 pages excluding references |
| SWAT Scandinavian Symposium and Workshops on Algorithm Theory | Copenhagen, Denmark | 16/20 February 2026 | 17-19 June 2026 | 10 April 2026 | LIPIcs, double-blind (?), 15 pages excluding references; co-located with CPM and SEA |
| WoLLIC Workshop on Logic, Language, Information and Computation | Lima, Peru | 16/22 February 2026 | 3-6 August 2026 | 5 May 2026 | LNCS, 12 pages + 5 pages references and appendix |
| ICGT International Conference on Graph Transformation |
Rennes, France | 16/23 February 2026 | 29 June - 3 July 2026 | 6 April 2026 | LNCS,
16 pages regular, 8 pages tool, 8 pages vision + challenges + case studies, all excluding references, 2 pages journal first; part of STAF |
| ICFP International Conference on Functional Programming | Indianapolis, Indiana, USA | 19 February 2026 | 24-29 August 2026 | 10 June 2026 | ACM, double-blind, 25 pages full, 12 pages experience report, both excluding references |
| SPAA Symposium on Parallelism in Algorithms and Architectures |
Egham, England, UK | 20/27 February 2026 | 6-10 July 2026 | 15 May 2026 | SIGconf,
double-column, 10 pages regular, 3 page brief announcements, both excluding references; co-located with ICALP and PODC |
| AiML Advances in Modal Logic | Amsterdam, Netherlands | 20/27 February 2026 | 29 June - 3 July 2026 | 24 April 2026 | EPTCS, 12 pages excluding references full, 3 pages short |
| TACL Topology, Algebra, and Categories in Logic | Kraków, Poland | 23 February 2026 | 27-31 July 2026 | 20 April 2026 | 2 pages |
| SAFECOMP Computer Safety, Reliability and Security | Valencia, Spain | 23 February / 2 March 2026 | 22-25 September 2026 | 1 May 2026 | LNCS, 14 pages |
| SAND Algorithmic Foundations of Dynamic Networks | Le Havre, France | 24 February 2026 | 1-3 July 2026 | mid-April 2026 | LIPIcs, 15 pages excluding references regular, 5 pages + 1 page references brief announcements |
| COCOON Computing and Combinatorics Conference | Singapore | 27 February 2026 | 23-25 July 2026 | 6 May 2026 | LNCS, double-blind, 12 pages |
| SAT Theory and Applications of Satisfiability Testing | Lisbon, Portugal | 27 February / 6 March 2026 | 20-23 July 2026 | 30 April 2026 | LIPIcs, 15 pages long, 8 pages short, 8 pages tool, all excluding references; part of FLoC |
| Euro-Par European Conference on Parallel and Distributed Computing | Pisa, Italy | 27 February / 6 March 2026 | 24-28 August 2026 | 30 April 2026 | LNCS, 14 pages |
| SCN Security and Cryptography for Networks | Amalfi (SA), Italy | 28 February 2026 | 14-16 September 2026 | 28 April 2028 | LNCS, 20 pages excluding references |
| CP Principles and Practice of Constraint Programming | Lisbon, Portugal | 28 February / 7 March 2026 | 20-23 July 2026 | 30 April 2026 | LIPIcs, double-blind, 15 pages full, 8 pages short, both excluding references; part of FLoC |
| AofA Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms | Munich, Germany | 1 March 2026 | 22-26 June 2026 | 20 April 2026 | LIPIcs, 15 pages excluding references + 5 pages appendix |
| TASE Theoretical Aspects of Software Engineering | Shanghai, China | 1/7 March 2026 | 4-6 July 2026 | 1 April 2026 | LNCS, 16 pages long, 6 pages short, both excluding references |
| CONCEPTS Conceptual Knowledge Structures | Montpellier, France | 1/8 March 2026 | 31 August - 4 September 2026 | 20 April 2026 | LNCS, regular track only, 16 pages long, 8 pages short |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| CCA Computability & Complexity in Analysis | Trier, Germany | 1 May 2026 | 29-31 July 2026 | 5 June 2026 | PDF, 2 pages; co-located with CiE |
| 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 |
| 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 |
| 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 |
| 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 |
|---|---|---|---|---|---|---|
| FICS Fixed Points in Computer Science | Paris, France | 23-24 February 2026 | 27 January 2026 | 9 February 2026 | satellite of CSL | |
| ALT Algorithmic Learning Theory | Toronto, Canada | 23-26 February 2026 | 18 December 2025 | at Fields Institute | ||
| CSL Computer Science Logic | Paris, France | 23-28 February 2026 | 14 October 2025 | 30 November 2025 | 9 February 2026 | |
| WALCOM International Conference and Workshops on Algorithms and Computation | Perugia, Italy | 4-6 March 2026 | 7 November 2025 | 19 November 2025 | 15 January 2026 | |
| STACS Symposium on Theoretical Aspects of Computer Science | Grenoble, France | 9-13 March 2026 | 12 December 2025 | 15 February 2026 | ||
| 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 | ||
| 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 | ||
| 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 | Akita, Japan | 26-28 May 2026 | 2 February 2026 | 2 March 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 | |||
| 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 | ||
| SEA Symposium on Experimental Algorithms | Copenhagen, Denmark | 22–24 June 2026 | 31 March 2026 | co-located with CPM and SWAT | ||
| 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 | |
| EC Economics and Computation | Rome, Italy | 6-10 July 2026 | 18 May 2026 | |||
| 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 | part of FLoC | ||
| FSCD Formal Structures for Computation and Deduction | Lisbon, Portugal | 20-23 July 2026 | 16 April 2026 | 30 April 2026 | part of FLoC | |
| ICLP International Conference on Logic Programming |
Lisbon, Portugal | 20-23 July 2026 | 12/27 March 2026 24 April 2026 |
part of FLoC | ||
| KR Principles of Knowledge Representation and Reasoning | Lisbon, Portugal | 20-23 July 2026 | 13 April 2026 | 3 May 2026 | part of FLoC | |
| ICDCS International Conference on Distributed Computing Systems | Seoul, South Korea | 20-24 July 2026 | ||||
| CAV Computer-Aided Verification |
Lisbon, Portugal | 26-29 July 2026 | 4 March 2026 17 April 2026 |
part of FLoC | ||
| CSF Computer Security Foundations | Lisbon, Portugal | 26-29 July 2026 | 1 April 2026 | part of FLoC | ||
| CCC Computational Complexity Conference | Lisbon, Portugal | 3-6 August 2026 | 1 May 2026 | end of May | ||
| 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 | ||
| 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 |
|---|---|---|---|---|---|
| DisCoTec Distributed Computing Techniques | 2026 | Urbino, Italy | 8 June 2026 | 12 June 2026 | federated conference including COORDINATION, DAIS, and FORTE |
| 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 |
| JAF Journées sur les Arithmétiques Faibles | 2026 | Warsaw, Poland | 16 September 2026 | 18 September 2026 | |
| 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 | |
| DISC Distributed Computing | 2026 | Rome, Italy | |||
| 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: Sun, 15 Feb 2026 07:38:52 CET