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 |
|---|---|---|---|---|---|
| GECCO Genetic and Evolutionary Computation Conference | San José, Costa Rica | 19/26 January 2026 | 13-17 July 2026 | 20 March 2026 | ACMart, double-blind, 8 pages excluding references full papers, 4 pages poster papers |
| FLAIRS FLorida Artificial Intelligence Research Society Conference | Marco Island, Florida, USA | 19/26 January 2026 | 17-20 May 2026 | 9 March 2026 | 6 pages full, 4 pages short, 2 pages poster, all excluding references |
| Petri Nets Petri Nets | Hamburg, Germany | 21/30 January 2026 | 22-26 June 2026 | 8 March 2026 | LNCS, 20 pages regular, 10 pages toll, both excluding references |
| SPIN International Symposium on Model Checking Software |
Torino, Italy | 22/29 January 2026 | 15-116 April 2026 | 5 March 2026 | LNCS,
16 pages full research, 16 pages + artefact full tool, 6 pages short, all excluding references; co-located with ETAPS |
| ICML International Conference on Machine Learning | Seoul, South Korea | 23/28 January 2026 | 6-11 July 2026 | 30 April 2026 | own format, 8 pages excluding references |
| FSCD Formal Structures for Computation and Deduction | Lisbon, Portugal | 23/30 January 2026 | 20-23 July 2026 | 16 April 2026 | LIPIcs, 15 pages regular, 15 pages system descriptions, both excluding references; part of FLoC |
| ICLP International Conference on Logic Programming | Lisbon, Portugal | 24/31 January 2026 | 20-23 July 2026 | 17 April 2026 | TPLP regular, EPTCS short; part of FLoC |
| IWOCA International Workshop on Combinatorial Algorithms | Clermont-Ferrand, France | 26 January / 2 February 2026 | 8-12 June 2026 | 25 March 2026 | LNCS, double-blind, 12 pages |
| CAV Computer-Aided Verification |
Lisbon, Portugal | 28 January 2026 | 26-29 July 2026 | 4 March 2026 17 April 2026 |
LNCS,
18 pages + double-blind regular,
10 pages short tool,
10 pages + double-blind short application, 10 pages industrial experience & case study; part of FLoC |
| CSF Computer Security Foundations | Lisbon, Portugal | 29 January 2026 | 26-29 July 2026 | 1 April 2026 | IEEE Transactions, double-blind, 12 pages excluding references; part of FLoC |
| CiE Computability in Europe | Trier, Germany | 29 January / 3 February 2026 | 27-31 July 2026 | 27 April 2026 | LNCS, 15 pages |
| ISSAC International Symposium on Symbolic and Algebraic Computation | Oldenburg, Germany | 30 January / 6 February 2026 | 13-16 July 2026 | 1 May 2026 | ACM, two-column, 8 pages regular |
| COORDINATION Coordination Models and Languages | Urbino, Italy | 30 January / 6 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 | 30 January / 6 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 | 30 January / 6 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 |
| WRLA Workshop on Rewriting Logic and its Applications | Torino, Italy | 31 January 2026 | 11-12 April 2026 | 27 February 2026 | LNCS, 16 pages regular, 10 pages tool, 8 pages work in progress; part of ETAPS |
| WG Graph-Theoretic Concepts in Computer Science | Kortrijk, Belgium | 1/4 February 2026 | 2-4 June 2026 | 3 April 2026 | LIPIcs SoCG clone, double-blind, 500 lines |
| KDD Knowledge Discovery and Data Mining | Jeju Island, South Korea | 1/8 February 2026 | 9-13 August 2026 | 16 May 2026 | ACMart, double-blind (research track), single-blind (application track), 8 pages; second cycle |
| SEA Symposium on Experimental Algorithms | Copenhagen, Denmark | 2 February 2026 | 22–24 June 2026 | 31 March 2026 | LIPIcs, double-blind, 12 pages excluding references + 5 pages appendix; co-located with CPM and SWAT |
| EC Economics and Computation | Rome, Italy | 2/9 February 2026 | 6-10 July 2026 | 18 May 2026 | |
| ICALP International Colloquium on Automata, Languages and Programming | Egham, England, UK | 3/6 February 2026 | 7-10 July 2026 | 20 April 2026 | LIPIcs, double-blind, no page limit but only first 10 pages read, co-located with PODC and SPAA |
| COLT Conference on Learning Theory | San Diego, California, USA | 4 February 2026 | 29 June - 3 July 2026 | 4 May 2026 | own format, double-blind, 12 pages excluding references |
| CCC Computational Complexity Conference | Lisbon, Portugal | 6 February 2026 | 3-6 August 2026 | 1 May 2026 | LIPIcs, double-blind, no page limit but only first 10 pages read |
| IJCAR International Joint Conference on Automated Reasoning | Lisbon, Portugal | 6/13 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 |
| KR Principles of Knowledge Representation and Reasoning | Lisbon, Portugal | 8/13 February 2026 | 20-23 July 2026 | 13 April 2026 | double-blind, 9 pages regular, 4 pages short; 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 |
| CRYPTO CRYPTO | Santa Barbara, California, USA | 12 February 2026 | 17-20 August 2026 | ||
| 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 |
| CPM Combinatorial Pattern Matching | Copenhagen, Denmark | 13 February 2026 | 15-17 June 2026 | 1 April 2026 | LIPIcs, 12 pages excluding references; co-located with SEA and SWAT |
| 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 |
| TASE Theoretical Aspects of Software Engineering | Shanghai, China | 15/21 February 2026 | 4-6 July 2026 | 1 April 2026 | LNCS, 16 pages long, 6 pages short, both 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 | part of STAF |
| SAFECOMP Computer Safety, Reliability and Security | Valencia, Spain | 16/27 February 2026 | 22-25 September 2026 | 24 April 2026 | LNCS, 14 pages |
| 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 |
| 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 |
| 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 | 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 |
| 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 | |
| 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 |
| 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 |
| 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 | format not specified, 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, 8 pages short |
| 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) |
| MFCS Mathematical Foundations of Computer Science | Paris, France | 24 April 2026 | 24-28 August 2026 | 19 June 2026 | LIPIcs |
| FMCAD Formal Methods in Computer-Aided Design | Graz, Austria | 26 April / 3 May 2026 | 14-18 September 2026 | 28 June 2026 | |
| 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 |
| 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 |
| 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 |
|---|---|---|---|
| AAAI Artificial Intelligence | Singapore | 20-27 January 2026 | |
| Conference | City, Country | Date | Remark |
Future conferences with deadline over
| Conference | City, Country | Date | Notification | Final version | Early registration | Remarks and other indications |
|---|---|---|---|---|---|---|
| ITCS Innovations in Theoretical Computer Science |
Milano, Italy | 27-30 January 2026 | 10 November 2025 | 15 December 2025 | ||
| SOFSEM Current Trends in Theory and Practice of Computer Science | Kraków, Poland | 9-13 February 2026 | 10 November 2025 | 1 December 2025 | 19 January 2026 | |
| AISC Australasian Information Security Conference | Melbourne, Australia | 11-12 February 2026 | 20 January 2026 | 25 January 2026 | part of ACSW | |
| CALDAM Conference on Algorithms and Discrete Applied Mathematics | Dharwad, India | 12-14 February 2026 | 14 November 2025 | 28 November 2025 | 31 December 2025 | |
| FICS Fixed Points in Computer Science | Paris, France | 23-24 February 2026 | 27 January 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 | ||
| 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 | |||
| 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 | early February 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 | ||
| 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 | ||
| 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 | |
| SoCG Symposium on Computational Geometry | New Brunswick, New Jersey, USA | 2-5 June 2026 | 5 February 2026 | 24 March 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 | ||
| 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 | |||
| 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 | |
| ANTS Algorithmic Number Theory Symposium | Groningen, Netherlands | 6-10 July 2026 | 20 April 2026 | 5 June 2026 | post-proceedings | |
| LICS Logic in Computer Science | Lisbon, Portugal | 20-23 July 2026 | 16 April 2026 | part of FLoC | ||
| ICDCS International Conference on Distributed Computing Systems | Seoul, South Korea | 20-24 July 2026 | ||||
| KDD Knowledge Discovery and Data Mining |
Jeju Island, South Korea | 9-13 August 2026 | 23 November 2025 16 May 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 | |
| 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 |
| GD Graph Drawing | 2026 | Ontario, Canada | 19 Agust 2026 | 21 August 2026 | |
| 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 |
| CICM Conference on Intelligent Computer Mathematics | 2026 | Ljubljana, Slovenia | 21 September 2026 | 25 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: Mon, 26 Jan 2026 15:27:13 CET