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 2022 and 2023 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 | |
|---|---|---|---|---|---|---|
| SDM Data Mining |
Minneapolis, Minnesota, USA | 30 September / 7 October 2022 23:59 PDT (UTC-07:00) |
27-29 April 2023 | SIAM, double column, 9 pages and 300 words abstract | ||
| PADL Practical Aspects of Declarative Languages | Boston, Massachusetts, USA | 2/9 October 2022 | 15-21 January 2023 | 5 November 2022 | LNCS, 15 pages technical, 8 pages applications, 3 pages extended abstracts; co-located with POPL | |
| WABCT Workshop on Algorithms, Bioinformatics, and Computation Theory | Taoyuan, Taiwan hybrid | 7 October 2022 | 15-17 December 2022 | 31 October 2022 | LNCS, 12 pages; part of ICS | |
| RECOMB Research in Computational Molecular Biology | Istanbul, Turkey | 7/14 October 2022 | 16-19 April 2023 | 20 November 2022 | LNCS, 10 pages | |
| RAMiCS Relational and Algebraic Methods in Computer Science | Augsburg, Germany | 7/14 October 2022 | 3-6 April 2023 | 16 December 2022 | LNCS, 16 pages | |
| ESOP European Symposium on Programming | Paris, France | 13 October 2022 | 22-27 April 2023 | 22 December 2022 | LNCS, double-blind, 25 pages research excluding references; part of ETAPS | |
| FASE Fundamental Approaches to Software Engineering |
Paris, France | 13 October 2022 | 22-27 April 2023 | 22 December 2022 | LNCS,
double-blind,
18 pages research and empirical evaluation, 8 pages new ideas and emerging results, 6 pages tool demonstrations, all excluding references; part of ETAPS |
|
| FoSSaCS Foundations of Software Science and Computation Structures | Paris, France | 13 October 2022 | 22-27 April 2023 | 22 December 2022 | LNCS, 18 pages research excluding references; part of ETAPS | |
| TACAS Tools and Algorithms for the Construction and Analysis of Systems |
Paris, France | 13 October 2022 | 22-27 April 2023 | 22 December 2022 | LNCS, double-blind,
16 pages regular, case studies, and tools, 6 pages tool demonstrations, all excluding references; part of ETAPS |
|
| SIGMOD International Conference on Management of Data | Seattle, Washington, USA | 15 October 2022 | 18-23 June 2023 | 20 December 2022 | ACM Proceedings, double-blind, two column, 13 pages excuding references; co-located with PODS | |
| AAMAS Autonomous Agents and Multiagent Systems | London, UK | 21/28 October 2022 | 29 May - 2 June 2023 | 4 January 2023 | own format, double-blind, 8 pages excluding references; all dates are tentative | |
| EuroGP European Conference on Genetic Programming | Brno, Czech Republic | 1 November 2022 | 12-14 April 2023 | 18 January 2023 | LNCS, double-blind, 16 pages; part of Evo* | |
| EvoAPPS Applications of Evolutionary Computation | Brno, Czech Republic | 1 November 2022 | 12-14 April 2023 | 18 January 2023 | LNCS, double-blind, 16 pages; part of Evo* | |
| EvoCOP Evolutionary Computation in Combinatorial Optimisation | Brno, Czech Republic | 1 November 2022 | 12-14 April 2023 | 18 January 2023 | LNCS, double-blind, 16 pages; part of Evo* | |
| EvoMUSART Artificial Intelligence in Music, Sound, Art and Design | Brno, Czech Republic | 1 November 2022 | 12-14 April 2023 | 18 January 2023 | LNCS, double-blind, 16 pages; part of Evo* | |
| STOC Symposium on Theory of Computing |
Orlando, Florida, USA | 4 November 2022 16:59 EDT (UTC-04:00) |
20-23 June 2023 | 6 February 2023 | double-blind, no page limit but only first 10 pages read; part of FCRC | |
| IPCO Integer Programming and Combinatorial Optimization | Madison, Wisconsin, USA | 6 November 2022 | 21-23 June 2023 | 20 January 2023 | LNCS, 12 pages excluding references | |
| CIAC International Conference on Algorithms and Complexity | Batumi, Georgia | 16 November 2022 | 13-16 June 2023 | 16 January 2023 | LNCS, 15 page excluding references, special instruction for the first page, link to web page not available yet | |
| CAiSE Advanced Information Systems Engineering | Zaragoza, Spain | 22/29 November 2022 | 12-16 June 2023 | 1 March 2023 | LNCS, 15 pages | |
| ICAPS International Conference on Automated Planning and Scheduling | Prague, Czech Republic | 25/30 November 2022 | 8-13 July 2023 | 4 February 2023 | AAAI, 8 pages + 1 page references long, 4 pages + 1 page references short | |
| PODS Principles of Database Systems | Seattle, Washington, USA | 28 November / 5 December 2022 | 18-23 June 2023 | 13 March 2023 | ACM Proceedings, double-blind, 8 pages excluding references; co-located with SIGMOD | |
| OLA Optimization and Learning | Malaga, Spain | 16 December 2022 | 3-5 May 2023 | 17 February 2023 | CCIS, 12 pages original research, 3 pages extended abstract | |
| PODC Principles of Distributed Computing | Orlando, Florida, USA | 6/10 January 2023 | 19-23 June 2023 | 30 March 2023 | ACMart, double-blind, two-column, 10 pages regular, 3 pages brief announcements; part of FCRC | |
| SPAA Symposium on Parallelism in Algorithms and Architectures | Orlando, Florida, USA | 12/16 January 2023 | 16-19 June 2023 | ACM SIGCONF, double-blind, double-column, 10 pages regular, 3 pages brief announcements; part of FCRC | ||
| ICDCS International Conference on Distributed Computing Systems |
Hong Kong, SAR China | 14/21 January 2023 23:59 EST (UTC-05:00) |
18-21 July 2023 | 3 April 2023 | IEEE Conference, 11 pages | |
| SAND Algorithmic Foundations of Dynamic Networks | Pisa, Italy | 23 January 2023 | 19-21 June 2023 | 23 March 2023 | LIPIcs, double-blind, 15 pages excluding references regular, 3 pages brief announcements | |
| ICALP International Colloquium on Automata, Languages and Programming |
Paderborn, Germany | 10 February 2023 11:00 CET (UTC+01:00) |
10-14 July 2023 | 21 April 2023 | ||
| WG Graph-Theoretic Concepts in Computer Science | Fribourg, Switzerland | 13/20 February 2023 | 28-30 June 2023 | 26 April 2023 | LNCS, 12 pages excluding references | |
| COCOA Conference on Combinatorial Optimization and Applications |
Dallas, Texas, USA virtual | 12/19 August 2023 23:59 CEST (UTC+02:00) |
11-13 December 2023 | 1 October 2023 | LNCS, 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 and other indications | Remark |
|---|---|---|---|---|---|---|
| PACT Parallel Architectures and Compilation Techniques | Chicago, Illinois, USA | 10-12 October 2022 | 29 July 2022 | 26 August 2022 | 21 September 2022 | |
| VSTTE Verified Software: Theories, Tools, and Experiments | Trento, Italy | 17-18 October 2022 | 5 September 2022 | 5 October 2022 | 15 September 2022; co-located with FMCAD | |
| RP Reachability Problems | Kaiserslautern, Germany | 17-21 October 2022 | 17 August 2022 | 24 August 2022 | ||
| FMCAD Formal Methods in Computer-Aided Design | Trento, Italy | 18-21 October 2022 | 8 July 2022 | 16 August 2022 | 15 September 2022; co-located with VSTTE | |
| COCOON Computing and Combinatorics Conference | Shenzhen, China | 22-24 October 2022 | 15 August 2022 | 31 August 2022 | 30 September 2022 (author) | |
| DISC Distributed Computing | Augusta, Georgia, USA | 25-27 October 2022 | 25 July 2022 | 12 August 2022 | 24 September 2022 | |
| ATVA Automated Technology for Verification and Analysis | Beijing, China | 25-28 October 2022 | 1 July 2022 | 29 July 2022 | ||
| EISA Emerging Information Security and Applications | Wuhan, China | 29-30 October 2022 | 15 September 2022 | 30 September 2022 | ||
| FOCS Foundations of Computer Science | Denver, Colorado, USA | 31 October - 3 November 2022 | 4 July 2022 | 3 October 2022 | ||
| TIME Temporal Representation and Reasoning | online | 7-9 November 2022 | 1 August 2022 | 25 August 2022 | ONLINE conference | |
| LATIN Latin American Theoretical Informatics Symposium | Guanajuato, Mexico | 7-11 November 2022 | 29 July 2022 | 19 August 2022 | 20 September 2022 | |
| FACS Formal Aspects of Component Software | Oslo, Norway | 10-11 November 2022 | 5 September 2022 | 26 September 2022 | ONLINE conference | |
| PRIMA Principles and Practice of Multi-Agent Systems | Valencia, Spain | 16-18 November 2022 | 7 September 2022 | 20 September 2022 | 23 September 2022 | HYBRID conference |
| MIWAI Multi-Disciplinary International Conference on Artificial Intelligence | Phuket, Thailand | 17-19 November 2022 | 10 June 2022 | 1 September 2022 (authors) | ONLINE conference | |
| AIxIA Italian Association for Artificial Intelligence | Udine, Italy | 28 November - 2 December 2022 | 30 September 2022 | |||
| SPLASH Systems, Programming, Languages, and Applications: Software for Humanity |
Auckland, New Zealand | 5-10 December 2022 | 30 June 2022 1 September 2022 |
16 September 2022 | 15 November 2022; co-located with APLAS and SAS | HYBRID conference |
| SAS Static Analysis Symposium | Auckland, New Zealand | 5-10 December 2022 | 15 July 2022 | 16 September 2022 | 15 November 2022; co-located with SPLASH | |
| APLAS Asian Symposium on Programming Languages and Systems | Auckland, New Zealand | 5-10 December 2022 | 15 August 2022 | 15 November 2022; co-located with SPLASH | ||
| FTSCS Formal Techniques for Safety-Critical Systems | Auckland, New Zealand | 7 December 2022 | 10 October 2022 | 24 October 2022 | 15 November 2022; part of SPLASH | |
| WINE Web and Internet Economics | Troy, New York, USA | 12-16 December 2022 | 7 September 2022 | |||
| OPODIS On Principles of Distributed Systems | Brussels, Belgium | 13-15 December 2022 | 21 October 2022 | 11 November 2022 | ||
| FSTTCS Foundations of Software Technology and Theoretical Computer Science | Chennai (Madras), India | 18-20 December 2022 | 16 September 2022 | |||
| ISAAC International Symposium on Algorithms and Computation | Seoul, Korea | 19-21 December 2022 | 31 August 2022 | 22 September 2022 | 22 October 2022 | HYBRID conference |
| ITCS Innovations in Theoretical Computer Science |
Cambridge, Massachusetts, USA | 11-13 January 2023 | 1 November 2022 | |||
| SOFSEM Current Trends in Theory and Practice of Computer Science | Nový Smokovec, Slovakia | 15-19 January 2023 | 30 September 2022 | 14 October 2022 | ||
| POPL Principles of Programming Languages |
Boston, Massachusetts, USA | 15-21 January 2023 | 27 September 2022 7 November 2022 |
10 November 2022 | ||
| CPP Certified Programs and Proofs | Boston, Massachusetts, USA | 15-21 January 2023 | 21 November 2022 | 21 December 2022 | co-located with POPL | |
| ALENEX Algorithm Engineering and Experiments | Florence, Italy | 22-23 January 2022 | mid-October 2022 | |||
| SODA Symposium on Discrete Algorithms | Florence, Italy | 22-25 January 2023 | 14 October 2022 | |||
| SOSA Symposium on Simplicity in Algorithms | Florence, Italy | 23-24 January 2023 | mid-October 2022 | |||
| APOCS Algorithmic Principles of Computer Systems | Florence, Italy | 25 January 2023 | mid-October 2022 | |||
| AAAI Artificial Intelligence | Washington, D.C., USA | 7-14 February 2023 | 18 November 2022 | 1 December 2022 | ||
| CALDAM Conference on Algorithms and Discrete Applied Mathematics | Gandhinagar, India | 9-11 February 2023 | 11 November 2022 | 25 November 2022 | ||
| CSL Computer Science Logic | Warsaw, Poland | 13-16 February 2023 | 30 September 2022 | 30 October 2022 | ||
| ALT Algorithmic Learning Theory | Singapore | 20-23 February 2023 | 21 December 2022 | |||
| FM Formal Methods | Lübeck, Germany | 6-10 March 2023 | 15 November 2022 | 11 December 2022 | ||
| STACS Symposium on Theoretical Aspects of Computer Science | Hamburg, Germany | 7-10 March 2023 | 4 December 2022 | 8 January 2023 | ||
| WALCOM International Conference and Workshops on Algorithms and Computation | Hsinchu, Taiwan | 22-24 March 2022 | 28 November 2022 | 10 December 2022 | HYBRID conference | |
| EDBT Extending Database Technology | Ioannina, Greece | 28-31 March 2023 | 1 December 2022 | co-located with ICDT | ||
| ICDT International Conference on Database Theory | Ioannina, Greece | 28-31 March 2023 | 7 December 2022 | co-located with EDBT | ||
| Evo* evo* | Brno, Czech Republic | 12-14 April 2023 | federated conference including EuroGP, EvoAPPS, EvoCOP, and EvoMUSART | |||
| ETAPS European Joint Conferences on Theory & Practice of Software | Paris, France | 22-27 April 2023 | 22 December 2022 | 26 January 2023 | federated conference including ESOP, FASE, FoSSaCS, and TACAS | |
| EUROCRYPT Theory and Applications of Cryptographic Techniques |
Lyon, France | 23-27 April 2023 | 8 December 2022 31 January 2023 |
|||
| IPDPS International Parallel & Distributed Processing Symposium |
St. Petersburg, Florida, USA | 15-19 May 2023 | 19 December 2022 31 January 2023 |
|||
| FCRC Federated Computing Research Conference |
Orlando, Florida, USA | 16-23 June 2023 | federated conference including ISCA, PADS, PLDI, PODC, SIGMETRICS, SPAA, and STOC |
|||
| Conference | City, Country | Date | Notification | Final version | Early registration and other indications | Remark |
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 2022 and 2023 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 |
|---|---|---|---|---|---|
| CCC Computational Complexity Conference | 2023 | Warwick, UK | 17 July 2023 | 20 July 2023 | |
| ISSAC International Symposium on Symbolic and Algebraic Computation | 2023 | Tromsø, Norway | 24 July 2023 | 27 July 2023 | |
| FSCD Formal Structures for Computation and Deduction | 2023 | Rome, Italy | July 2023 | July 2023 | |
| IJCAI International Joint Conference on Artificial Intelligence | 2023 | Cape Town, South Africa | August 2023 | August 2023 | |
| FCT Fundamentals of Computation Theory | 2023 | Trier, Germany | 18 September 2023 | 21 September 2023 | all dates are tentative |
| LAGOS Latin and American Algorithms, Graphs and Optimization Symposium | 2023 | Huatulco, México | |||
| 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-2022
Last modified: Fri, 07 Oct 2022 16:12:14 CEST