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 |
|---|---|---|---|---|---|
| SoCG Symposium on Computational Geometry | Dallas, Texas, USA | 25 November / 2 December 2022 | 12-15 June 2023 | 7 February 2023 | LIPIcs, double-blind, 500 lines excluding front matter and references |
| CPAIOR Integration of Constraint Programming, Artificial Intelligence, and Operations Research | Nice, France | 25 November / 2 December 2022 | 29 May - 1 June 2023 | 25 January 2023 | LNCS, 15 pages long, 8 pages short, both excluding references |
| 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 |
| CIAC International Conference on Algorithms and Complexity | Larnaca, Cyprus | 2 December 2022 | 13-16 June 2023 | 29 January 2023 | LNCS, 15 pages excluding references and title page |
| 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 |
| ACDA Applied and Computational Discrete Algorithms | Seattle, Washington, USA | 9/16 January 2023 | 31 May - 2 June 2023 | 10 pages | |
| EuroCG European Workshop on Computational Geometry | Barcelona, Spain | 10 January 2023 | 29-31 March 2023 | 17 February 2023 | own format1 and own format2, 175 lines of text excluding title, references, and figures |
| IJCAI International Joint Conference on Artificial Intelligence | Cape Town, South Africa | 11/16/18 January 2023 | 19-25 August 2023 | 19 April 2023 | IJCAI, double-blind, 7 pages body + 2 pages references |
| 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 |
| LICS Logic in Computer Science | Boston, Massachusetts, USA | 18/23 January 2023 | 26-29 June 2023 | 5 April 2023 | IEEEtran, double-blind, 12 pages excluding references |
| IWOCA International Workshop on Combinatorial Algorithms | Tainan, Taiwan | 20/25 January 2023 | 6-9 June 2023 | 27 March 2023 | LNCS, 12 pages excluding references |
| ESORICS European Symposium on Research in Computer Security |
The Hague, The Netherlands | 22 January 2023 28 May 2023 |
25-29 September 2023 | 2 April 2023 30 July 2023 |
LNCS |
| 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 |
| ISSAC International Symposium on Symbolic and Algebraic Computation |
Tromsø, Norway | 24/31 January 2023 | 24-27 July 2023 | 18 April 2023 12 May 2023 |
ACM, two-column, 8 pages + 2 pages references |
| CPM Combinatorial Pattern Matching | Marne-la-Vallée, France | 27 January 2023 | 26-28 June 2023 | 27 March 2023 | LIPIcs, 15 pages excluding title page and references |
| ICFCA International Conference on Formal Concept Analysis | Kassel, Germany | 27 January / 3 February 2023 | 17-21 July 2023 | 30 March 2023 | LNCS, 16 pages |
| FSCD Formal Structures for Computation and Deduction | Rome, Italy | 30 January / 3 February 2023 | 3-6 July 2023 | 13 April 2023 | LIPIcs, 15 pages regular and system descriptions, both excluding references; co-located with CADE |
| FOIS Formal Ontology in Information Systems | Sherbrooke, Quebec, Canada | 31 January 2023 | 17-20 July 2023 | 10 April 2023 | 14 pages |
| CAV Computer-Aided Verification | Paris, France | 3 February 2023 | 17-22 July 2023 | 25 April 2023 | LNCS, 18 pages double-blind regular, 10 pages tools, 10 pages industrial experience reports & case studies |
| GECCO Genetic and Evolutionary Computation Conference | Lisbon, Portugal hybrid | 3/10 February 2023 | 15-19 July 2023 | 31 March 2023 | ACM for GECCO, double-blind, 8 pages excluding references full, 4 pages posters |
| TASE Theoretical Aspects of Software Engineering | Bristol, UK | 3/10 February 2023 | 4-6 July 2023 | 10 April 2023 | LNCS, 16 pages long, 6 pages short, both excluding references |
| SIROCCO Structural Information and Communication Complexity | Ávila, Spain | 4/10 February 2023 | 6-9 June 2023 | 21 March 2023 | LNCS |
| SAFECOMP Computer Safety, Reliability and Security | Toulouse, France | 6/13 February 2023 | 19-22 September 2023 | 22 April 2023 | LNCS, 14 pages regular, 8 pages practical experience reports & tool reports |
| CiE Computability in Europe | Batumi, Georgia | 8/15 February 2023 | 24-28 July 2023 | 20 April 2023 | LNCS, 12 pages |
| CCC Computational Complexity Conference | Warwick, UK | 10 February 2023 | 17-20 July 2023 | 1 May 2023 | LIPIcs, no page limit, but only first 10 pages read |
| 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 | LIPIcs, double-blind, 15 pages excluding references |
| 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 |
| WADS Algorithms and Data Structures Symposium | Montreal, Canada | 20 February 2023 | 31 July - 2 August 2023 | 17 April 2023 | LNCS, 12 pages + 2 pages references |
| WoLLIC Workshop on Logic, Language, Information and Computation | Halifax, Nova Scotia, Canada | 20/27 February 2023 | 11-14 July 2023 | 15 May 2023 | LNCS, 12 pages + 5 pages references and appendix |
| ICGT International Conference on Graph Transformation | Leicester, UK | 28 February / 7 March 2023 | 17-21 July 2023 | 25 April 2023 | |
| ICFP International Conference on Functional Programming |
Seattle, Washington, USA | 1 March 2023 | 4-9 September 2023 | 18 May 2023 29 June 2023 |
ACM small, 25 pages full, 12 pages experience report |
| DEON Deontic Logic and Normative Systems | Trois-Rivières, Quebec, Canada | 1/31 March 2023 | 5-7 July 2023 | format not available yet, double-blind, 15 pages excluding references & 250 words abstract | |
| KR Principles of Knowledge Representation and Reasoning | Rhodes, Greece | 7/14 March 2023 | 2-8 September 2023 | 18 May 2023 | 9 pages full, 4 pages short, both excluding references and acknowledgments |
| 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 |
|---|---|---|---|
| AIxIA Italian Association for Artificial Intelligence | Udine, Italy | 28 November - 2 December 2022 | |
| Conference | City, Country | Date | Remark |
Future conferences with deadline over
| Conference | City, Country | Date | Notification | Final version | Early registration and other indications | Remark |
|---|---|---|---|---|---|---|
| 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 | 12 November 2022 | ||
| OPODIS On Principles of Distributed Systems | Brussels, Belgium | 13-15 December 2022 | 21 October 2022 | 11 November 2022 | 18 November 2022 | |
| WABCT Workshop on Algorithms, Bioinformatics, and Computation Theory | Taoyuan, Taiwan | 15-17 December 2022 | 31 October 2022 | 15 November 2022 | part of ICS | HYBRID conference |
| FSTTCS Foundations of Software Technology and Theoretical Computer Science | Chennai (Madras), India | 18-20 December 2022 | 16 September 2022 | 10 November 2022 | ||
| ISAAC International Symposium on Algorithms and Computation | Seoul, Korea | 19-21 December 2022 | 31 August 2022 | 22 September 2022 | 31 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 | 8/22 November 2022 | |
| POPL Principles of Programming Languages |
Boston, Massachusetts, USA | 15-21 January 2023 | 27 September 2022 7 November 2022 |
10 November 2022 | 16 December 2022 | |
| CPP Certified Programs and Proofs | Boston, Massachusetts, USA | 15-21 January 2023 | 21 November 2022 | 21 December 2022 | 16 December 2022; co-located with POPL | |
| PADL Practical Aspects of Declarative Languages | Boston, Massachusetts, USA | 15-21 January 2023 | 15 November 2022 | 16 December 2022; co-located with POPL | ||
| ALENEX Algorithm Engineering and Experiments | Florence, Italy | 22-23 January 2022 | mid-October 2022 | 30 November 2022 | ||
| SODA Symposium on Discrete Algorithms | Florence, Italy | 22-25 January 2023 | 14 October 2022 | 30 November 2022 | 30 November 2022 | |
| SOSA Symposium on Simplicity in Algorithms | Florence, Italy | 23-24 January 2023 | mid-October 2022 | 30 November 2022 | 30 November 2022 | |
| APOCS Algorithmic Principles of Computer Systems | Florence, Italy | 25 January 2023 | mid-October 2022 | 30 November 2022 | 30 November 2022 | |
| AAAI Artificial Intelligence | Washington, D.C., USA | 7-14 February 2023 | 18 November 2022 | 1 December 2022 | ||
| CPML Bridge on Constraint Programming and Machine Learning | Washington, D.C., USA | 7-14 February 2023 | 2 December 2022 | |||
| CALDAM Conference on Algorithms and Discrete Applied Mathematics | Gandhinagar, India | 9-11 February 2023 | 11 November 2022 | 25 November 2022 | 31 December 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 | ||
| DCC Data Compression Conference | Snowbird, Utah, USA | 21-24 March 2023 | late December 2022 | |||
| 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 | ||
| RAMiCS Relational and Algebraic Methods in Computer Science | Augsburg, Germany | 3-6 April 2023 | 16 December 2022 | 6 January 2023 | ||
| Evo* evo* | Brno, Czech Republic | 12-14 April 2023 | federated conference including EuroGP, EvoAPPS, EvoCOP, and EvoMUSART | |||
| EuroGP European Conference on Genetic Programming | Brno, Czech Republic | 12-14 April 2023 | 18 January 2023 | 1 February 2023 | 27 February 2023 (author), 1 March 2023 (participant); part of Evo* | |
| EvoAPPS Applications of Evolutionary Computation | Brno, Czech Republic | 12-14 April 2023 | 18 January 2023 | 1 February 2023 | 27 February 2023 (author), 1 March 2023 (participant); part of Evo* | |
| EvoCOP Evolutionary Computation in Combinatorial Optimisation | Brno, Czech Republic | 12-14 April 2023 | 18 January 2023 | 1 February 2023 | 27 February 2023 (author), 1 March 2023 (participant); part of Evo* | |
| EvoMUSART Artificial Intelligence in Music, Sound, Art and Design | Brno, Czech Republic | 12-14 April 2023 | 18 January 2023 | 1 February 2023 | 27 February 2023 (author), 1 March 2023 (participant); part of Evo* | |
| EML Evolutionary Machine Learning | Brno, Czech Republic | 12-14 April 2023 | 18 January 2023 | 1 February 2023 | 27 February 2023 (author), 1 March 2023 (participant); part of Evo* | |
| RECOMB Research in Computational Molecular Biology | Istanbul, Turkey | 16-19 April 2023 | 20 November 2022 | 8 January 2023 | ||
| 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 | |
| ESOP European Symposium on Programming | Paris, France | 22-27 April 2023 | 22 December 2022 | 26 January 2023 | part of ETAPS | |
| FASE Fundamental Approaches to Software Engineering | Paris, France | 22-27 April 2023 | 22 December 2022 | 26 January 2023 | part of ETAPS | |
| FoSSaCS Foundations of Software Science and Computation Structures | Paris, France | 22-27 April 2023 | 22 December 2022 | 26 January 2023 | part of ETAPS | |
| TACAS Tools and Algorithms for the Construction and Analysis of Systems | Paris, France | 22-27 April 2023 | 22 December 2022 | 26 January 2023 | part of ETAPS | |
| EUROCRYPT Theory and Applications of Cryptographic Techniques |
Lyon, France | 23-27 April 2023 | 8 December 2022 31 January 2023 |
|||
| SDM Data Mining | Minneapolis, Minnesota, USA | 27-29 April 2023 | late December 2022 | 30 March 2023, 23:59 EDT (UTC-04:00) | ||
| IPDPS International Parallel & Distributed Processing Symposium |
St. Petersburg, Florida, USA | 15-19 May 2023 | 19 December 2022 31 January 2023 |
|||
| AAMAS Autonomous Agents and Multiagent Systems | London, UK | 29 May - 2 June 2023 | 4 January 2023 | 1 March 2023 | ||
| CAiSE Advanced Information Systems Engineering | Zaragoza, Spain | 12-16 June 2023 | 1 March 2023 | 28 March 2023 | ||
| FCRC Federated Computing Research Conference |
Orlando, Florida, USA | 16-23 June 2023 | federated conference including ISCA, PADS, PLDI, PODC, SIGMETRICS, SPAA, and STOC |
|||
| SIGMOD International Conference on Management of Data | Seattle, Washington, USA | 18-23 June 2023 | 20 December 2022 | 20 January 2023 | co-located with PODS | |
| STOC Symposium on Theory of Computing | Orlando, Florida, USA | 20-23 June 2023 | 6 February 2023 | part of FCRC | ||
| IPCO Integer Programming and Combinatorial Optimization | Madison, Wisconsin, USA | 21-23 June 2023 | 20 January 2023 | |||
| ICAPS International Conference on Automated Planning and Scheduling | Prague, Czech Republic | 8-13 July 2023 | 4 February 2023 | |||
| 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 |
|---|---|---|---|---|---|
| HALG Highlights of Algorithms | 2023 | Prague, Czech Republic | 2 June 2023 | 4 June 2023 | |
| CADE Conference on Automated Deduction | 2023 | Rome, Italy | 1 July 2023 | 4 July 2023 | co-located with FSCD |
| ITP Interactive Theorem Proving | 2023 | Białystok, Poland | 31 July 2023 | 4 August 2023 | |
| FCT Fundamentals of Computation Theory | 2023 | Trier, Germany | 18 September 2023 | 21 September 2023 | all dates are tentative |
| LAGOS Latin-American Algorithms, Graphs and Optimization Symposium | 2023 | Huatulco, Oaxaca, México | 18 September 2023 | 22 September 2023 | |
| ECAI European Conference on Artificial Intelligence | 2023 | Kraków, Poland | 1 October 2023 | 6 October 2023 | deadline late April 2023 |
| 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: Thu, 01 Dec 2022 14:35:35 CET