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 2025 and 2026 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 |
|---|---|---|---|---|---|
| CAiSE Advanced Information Systems Engineering | Verona, Italy | 14/28 November 2025 | 8-12 June 2026 | 19 February 2026 | LNCS, 14 pages excluding references |
| FM Formal Methods | Tokyo, Japan | 25 Nov. / 2 Dec. 2025 | 18-22 May 2026 | 30 January 2026 | LNCS, 15 pages regular, long tool, and case studies, 6 pages short and tool demonstration |
| ICAPS International Conference on Automated Planning and Scheduling | Dublin, Ireland | 2/8 December 2025 | 27 June - 2 July 2026 | 20 February 2026 | AAAI, 8 pages long, 4 pages short, both excluding references |
| PODS Principles of Database Systems |
Bengaluru, India | 3/19 December 2025 | 31 May - 5 June 2026 | 8 February 2026 1 March 2026 |
ACM, double-blind, 15 pages excluding references; co-located with SIGMOD |
| ICDCS International Conference on Distributed Computing Systems | Seoul, South Korea | 5/12 December 2025 | 20-24 July 2026 | IEEE Transactions, double-blind, 11 pages | |
| AISC Australasian Information Security Conference |
Melbourne, Australia | 7/14 December 2025 14/21 December 2025 |
11-12 February 2026 | 15 January 2026 20 January 2026 |
ACM, 10 pages research, 6 pages industry; first deadlines for research, second for industry; part of ACSW |
| RAMiCS Relational and Algebraic Methods in Computer Science | Będlewo, Poland | 8/13 November 2025 | 7-10 April 2026 | 20 January 2026 | LNCS, 16 pages |
| FLOPS Functional and Logic Programming | Akita, Japan | 8/15 December 2025 | 26-28 May 2026 | 2 February 2026 | LNCS, 15 pages excluding references |
| OLA Optimization and Learning | Chania, Crete, Greece | 19 December 2025 | 28-30 April 2026 | 23 January 2026 | LNCS, 12 pages original research, own format, 3 pages extended abstract |
| NFM NASA Formal Methods | Los Angeles, California, USA | 10 January 2026 | 5-7 May 2026 | 10 March 2026 | LNCS, 18 pages regular, 6 pages short, both excluding references |
| IJCAI International Joint Conference on Artificial Intelligence |
Bremen, Germany | 12/19 January 2026 | 15-21 August 2026 | 4 March 2026 29 April 2026 |
joint with ECAI |
| LICS Logic in Computer Science | Lisbon, Portugal | 15/22 January 2026 | 20-23 July 2026 | 16 April 2026 | format not yet determined, double-blind, 12 pages; part of FLoC |
| WRLA Workshop on Rewriting Logic and its Applications | Torino, Italy | 16 January 2026 | 11-12 April 2026 | 27 February 2026 | LNCS, 16 pages regular, 10 pages tool, 8 pages work in progress; part of ETAPS |
| ANTS Algorithmic Number Theory Symposium | Groningen, Netherlands | 17 January 2026 | 6-10 July 2026 | 20 April 2026 | AMSart, 20 pages excluding references |
| 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 | |
| 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 |
| IJCAR International Joint Conference on Automated Reasoning | Lisbon, Portugal | 23/30 January 2026 | 26-29 July 2026 | 31 March 2026 | LNCS, 15 pages regular, 7 pages short, both excluding references; all dates are tentative, 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 | 17 April 2026 | 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 | |
| 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 |
| 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 |
| 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 |
| 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; second submission rounds |
| 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 |
| WoLLIC Workshop on Logic, Language, Information and Computation | Peru, Lima | 16/22 February 2026 | 3-6 August 2026 | 5 May 2026 | LNCS, 12 pages + 5 pages references and appendix |
| 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 | 13-17 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 |
| AofA Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms | Munich, Germany | end February 2026 | 22-26 June 2026 | mid April 2026 | |
| DLT Developments in Language Theory | Rouen, France | 6 March 2026 | 30 June - 3 July 2026 | 3 April 2026 | LNCS, 12 pages excluding references |
| CONCUR Concurrency Theory | Liverpool, United Kingdom | 14/20 April 2026 | 1-5 September 2026 | 15 June 2026 | |
| 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 |
| 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 |
|---|---|---|---|---|---|---|
| ICTAC International Colloquium on Theoretical Aspects of Computing | Marrakech, Morocco | 24-28 November 2025 | 30 August 2025 | 15 September 2025 | 5 October 2025 | |
| COCOA Conference on Combinatorial Optimization and Applications | Tianjin, China | 28-30 November 2025 | 25 September 2025 | 10 October 2025 | 10 November 2025 | |
| MIWAI Multi-Disciplinary International Conference on Artificial Intelligence | Saigon, Vietnam | 3-5 December 2025 | 15 September 2025 | 30 September 2025 | 1 October 2025 | |
| OPODIS On Principles of Distributed Systems | Iaşi, Romania | 3-5 December 2025 | 20 October 2025 | 31 October 2025 | 10 November 2025 | |
| ISAAC International Symposium on Algorithms and Computation | Tainan, Taiwan | 7-10 December 2025 | 30 August 2025 | 14 September 2025 | 24 October 2025 | |
| WINE Web and Internet Economics | New Brunswick, New Jersey, USA | 8-11 December 2025 | 15 September 2025 | 7 November 2025 | ||
| EISA Emerging Information Security and Applications | Hangzhou, China | 12-13 December 2025 | 30 October 2025 | 15 November 2025 | 25 November 2025 | |
| FOCS Foundations of Computer Science | Sydney, Australia | 14-17 December 2025 | 8 July 2025 | 21 November 2025 | ||
| PRIMA Principles and Practice of Multi-Agent Systems | Modena, Italy | 16-19 December 2025 | 29 September 2025 | 13 October 2025 | 24 October 2025 | |
| FSTTCS Foundations of Software Technology and Theoretical Computer Science | Goa, India | 17-19 December 2025 | 15 September 2025 | |||
| ICAA International Conference on Applied Algorithms |
Kolkata, India | 7-9 January 2026 | 24 October 2025 | 31 October 2025 | 31 October 2025 15 November 2025 |
first deadline for authors, second early |
| ALENEX Algorithm Engineering and Experiments | Vancouver, Canada | 11-12 January 2026 | October 2025 | 8 December 2025 | co-located with SODA | |
| SODA Symposium on Discrete Algorithms | Vancouver, Canada | 11-14 January 2026 | October 2025 | 8 December 2025 | ||
| POPL Principles of Programming Languages | Rennes, France | 11-17 January 2026 | 2 October 2025 | |||
| CPP Certified Programs and Proofs | Rennes, France | 11-17 January 2026 | 13 November 2025 | 1 December 2025 | co-located with POPL | |
| SOSA Symposium on Simplicity in Algorithms | Vancouver, Canada | 12-13 January 2026 | October 2025 | 8 December 2025 | ||
| AAAI Artificial Intelligence |
Singapore | 20-27 January 2026 | 8 September 2025 3 November 2025 |
16 November 2025 | deadline 4 August 2025 for supplementary material and code | |
| ITCS Innovations in Theoretical Computer Science |
Milano, Italy | 27-30 January 2026 | 10 November 2025 | |||
| SOFSEM Current Trends in Theory and Practice of Computer Science | Kraków, Poland | 9-13 February 2026 | 10 November 2025 | |||
| CALDAM Conference on Algorithms and Discrete Applied Mathematics | Dharwad, India | 12-14 February 2026 | 14 November 2025 | 28 November 2025 | ||
| 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 | ||
| STACS Symposium on Theoretical Aspects of Computer Science | Grenoble, France | 9-13 March 2026 | 12 December 2025 | |||
| 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 | |
| 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 |
| ETAPS European Joint Conferences on Theory & Practice of Software | Torino, Italy | 11-16 April 2026 | 22 December 2025 | 22 January 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 | part of ETAPS | |
| FASE Fundamental Approaches to Software Engineering | Torino, Italy | 11-16 April 2026 | 22 December 2025 | 22 January 2026 | part of ETAPS | |
| FoSSaCS Foundations of Software Science and Computation Structures | Torino, Italy | 11-16 April 2026 | 22 December 2025 | 22 January 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 | part of ETAPS | |
| LATIN Latin American Theoretical Informatics Symposium | Florianópolis, Brazil | 13-17 April 2026 | 9 January 2026 | early February 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 | ||
| SIGMOD International Conference on Management of Data |
Bengaluru, India | 31 May - 5 June 2026 | 4 January 2026 23 February 2026 |
co-located with PODS | ||
| 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 | ||
| KDD Knowledge Discovery and Data Mining |
Jeju Island, South Korea | 9-13 August 2026 | 23 November 2025 16 May 2026 |
two submission cycles | ||
| CONFEST CONCUR & QEST & FORMATS | Liverpool, United Kingdom | 1-5 September 2026 | federated conference including CONCUR, FMICS, QEST, and FORMATS | |||
| 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 2025 and 2026 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 |
|---|---|---|---|---|---|
| ICALP International Colloquium on Automata, Languages and Programming | 2026 | Egham, England, UK | 7 July 2026 | 10 July 2026 | co-located with PODC and SPAA |
| ISSAC International Symposium on Symbolic and Algebraic Computation | 2026 | Oldenburg, Germany | 13 July 2026 | 16 July 2026 | |
| 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 |
| CP Principles and Practice of Constraint Programming | 2026 | Lisbon, Portugal | 20 July 2026 | 23 July 2026 | part of FLoC |
| 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 |
| 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-2025
Last modified: Sat, 22 Nov 2025 20:07:18 CET