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 2023 and 2024 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 |
|---|---|---|---|---|---|
| AAMAS Autonomous Agents and Multiagent Systems | Auckland, New Zealand | 2/9 October 2023 | 6-10 May 2024 | 20 December 2023 | own format, double-blind, 8 pages excluding references |
| PADL Practical Aspects of Declarative Languages | London, UK | 5 October 2023 | 17-19 January 2024 | 9 November 2023 | LNCS, 15 pages technical, 8 pages applications, 3 pages extended abstracts, all excluding references |
| EUROCRYPT Theory and Applications of Cryptographic Techniques |
Zurich, Switzerland | 6 October 2023 | 26-30 May 2024 | 8 December 2023 31 January 2024 |
LNCS, 27 pages excluding references |
| LATIN Latin American Theoretical Informatics Symposium | Puerto Varas, Chile | 9 October 2023 | 18-22 March 2024 | 20 December 2023 | LNCS, double-blind, 15 pages |
| ETAPS European Joint Conferences on Theory & Practice of Software | Luxembourg City, Luxembourg | 12 October 2023 | 6-11 April 2024 | 21 December 2023 | federated conference including ESOP, FASE, FoSSaCS, and TACAS |
| ESOP European Symposium on Programming | Luxembourg City, Luxembourg | 12 October 2023 | 6-11 April 2024 | 21 December 2023 | part of ETAPS |
| FASE Fundamental Approaches to Software Engineering | Luxembourg City, Luxembourg | 12 October 2023 | 6-11 April 2024 | 21 December 2023 | part of ETAPS |
| FoSSaCS Foundations of Software Science and Computation Structures | Luxembourg City, Luxembourg | 12 October 2023 | 6-11 April 2024 | 21 December 2023 | part of ETAPS |
| TACAS Tools and Algorithms for the Construction and Analysis of Systems | Luxembourg City, Luxembourg | 12 October 2023 | 6-11 April 2024 | 21 December 2023 | part of ETAPS |
| MLN Machine Learning for Networking | Paris, France | 13 October 2023 | 28-30 November 2023 | 20 October 2023 | LNCS, double-blind, 20 pages |
| SAC Symposium On Applied Computing | Avila, Spain | 13 October 2023 | 8-12 April 2024 | 30 October 2023 | ACMart, double-blind, 8 pages regular, 3 pages poster, 4 pages student research abstract |
| RECOMB Research in Computational Molecular Biology | Boston, Massachusetts, USA | 16/20 October 2023 | 29 April - 2 May 2024 | 18 December 2023 | LNCS, 10 pages excluding references |
| EvoStar evo* | Aberystwyth, Wales, UK | 1 November 2023 | 3-5 April 2024 | federated conference including EuroGP, EvoAPPS, EvoCOP, and EvoMUSART | |
| EuroGP European Conference on Genetic Programming | Aberystwyth, Wales, UK | 1 November 2023 | 3-5 April 2024 | LNCS, double-blind, 14 pages excluding references; part of EvoStar | |
| EvoAPPS Applications of Evolutionary Computation | Aberystwyth, Wales, UK | 1 November 2023 | 3-5 April 2024 | LNCS, double-blind, 14 pages excluding references; part of EvoStar | |
| EvoCOP Evolutionary Computation in Combinatorial Optimisation | Aberystwyth, Wales, UK | 1 November 2023 | 3-5 April 2024 | LNCS, double-blind, 14 pages excluding references; part of EvoStar | |
| EvoMUSART Artificial Intelligence in Music, Sound, Art and Design | Aberystwyth, Wales, UK | 1 November 2023 | 3-5 April 2024 | LNCS, double-blind, 14 pages excluding references; part of EvoStar | |
| IPCO Integer Programming and Combinatorial Optimization | Wrocław, Poland | 6 November 2023 | 3-5 July 2024 | 26 January 2024 | LNCS, 12 pages excluding references |
| STOC Symposium on Theory of Computing |
Vancouver, Canada | 9 November 2023 16:59 EST (UTC-05:00) |
24-28 June 2024 | 9 February 2024 | double-blind |
| FoIKS Foundations of Information and Knowledge Systems | Sheffield, UK | 24 November / 1 December 2023 | 8-11 April 2024 | 29 January 2024 | LNCS, 16 pages long, 10 pages short, both excluding references |
| CPAIOR Integration of Constraint Programming, Artificial Intelligence, and Operations Research | Uppsala, Sweden | 27 November / 4 December 2023 | 28-31 May 2024 | 1 February 2024 | LNCS, 15 pages long, 8 pages short, both excluding references |
| BICOB Bioinformatics and Computational Biology | New Orleans, Louisiana, USA | 30 November 2023 | 18-19 March 2024 | 30 January 2024 | EPiC, |
| ICAPS International Conference on Automated Planning and Scheduling | Banf, Alberta, Canada | 7/13 December 2023 | 1-5 June 2024 | 12 February 2024 | |
| OLA Optimization and Learning | Dubrovnik, Croatia | 16 December 2023 | 13-15 May 2024 | 9 February 2024 | LNCS, 12 pages; own format, 3 pages |
| EuroCG European Workshop on Computational Geometry | Ioannina, Greece | 10 January 2024 | 13-15 March 2024 | 12 February 2024 | own format and wrapper, 175 lines excluding title, references, and figures |
| ICDCS International Conference on Distributed Computing Systems |
New Jersey, USA | 14/21 January 2024 23:59 EST (UTC-05:00) |
18-21 July 2024 | 10 April 2024 | |
| SPIN International Symposium on Model Checking Software | Luxembourg City, Luxembourg | 15 January 2024 | 6-11 April 2024 | 26 February 2024 | LNCS, 16 pages full, 6 pages short, 16 pages special track, all excluding references; co-located with ETAPS |
| WoLLIC Workshop on Logic, Language, Information and Computation | Bern, Switzerland | 22/29 January 2024 | 10-13 June 2024 | 15 April 2024 | LNCS, 12 pages + 5 pages references and appendix |
| ANTS Algorithmic Number Theory Symposium | Cambridge, Massachusetts, USA | 19 January 2024 | 15-19 July 2024 | April 2024 | 20 pages excluding references |
| ISSAC International Symposium on Symbolic and Algebraic Computation | Raleigh, North Carolina, USA | 23/30 January 2023 | 16-19 July 2024 | 16/30 April 2024 | ACM, two-column, 8 pages |
| GECCO Genetic and Evolutionary Computation Conference | Melbourne, Australia | 25 January / 1 February 2024 | 14-18 July 2024 | 21 March 2024 | ACMart, double-blind, 8 pages excluding references full, 4 pages posters |
| CSF Computer Security Foundations | Enschede, The Netherlands | 3 February 2024 | 8-12 July 2024 | 7 April 2024 | IEEE Transactions, double-blind, 12 pages excluding references |
| FSCD Formal Structures for Computation and Deduction | Tallinn, Estonia | 5/12 February 2024 | 10-13 July 2024 | 22 April 2024 | LIPIcs, 15 pages regular, 15 pages system descriptions, both excluding references |
| CiE Computability in Europe | Amsterdam, The Netherlands | 10 February 2024 | 8-12 July 2024 | 20 April 2024 | LNCS, 12 pages |
| FM Formal Methods | Milan, Italy | 5/12 April 2024 | 9-13 September 2024 | 3 June 2024 | LNCS, 15 pages regular, tool, and case study; 6 pages demonstration, 22 pages tutorial, all excluding references |
| Conference | City, Country | Deadline | Date | Notification | Submission format and comments |
Running conferences
| Conference | City, Country | Date | Remark |
|---|---|---|---|
| ECAI European Conference on Artificial Intelligence | Kraków, Poland | 1-6 October 2023 | |
| Conference | City, Country | Date | Remark |
Future conferences with deadline over
| Conference | City, Country | Date | Notification | Final version | Early registration and other indications | Remark |
|---|---|---|---|---|---|---|
| SISAP Similarity Search and Applications | La Coruña, Spain | 9-11 October 2023 | 24 July 2023 | 28 August 2023 | 30 September 2023 | |
| DISC Distributed Computing | L'Aquila, Italy | 9-13 October 2023 | 19 July 2023 | 8 August 2023 | 10 September 2023 | |
| DSAA Data Science and Advanced Analytics | Thessaloniki, Greece | 9-13 October 2023 | 24 July 2023 | 21 August 2023 | 28 August 2023 | |
| Data Science Competition Data Science and Advanced Analytics |
Thessaloniki, Greece | 9-13 October 2023 | 15 July 2023 | 7 August 2023 | 28 August 2023; part of DSAA | |
| RP Reachability Problems | Nice, France | 11-13 October 2023 | 13 August 2023 | 20 August 2023 | 20 September 2023 | |
| PACT Parallel Architectures and Compilation Techniques | Vienna, Austria | 21-25 October 2023 | 15 August 2023 | 15 September 2023 | 3 September 2023 | |
| FTSCS Formal Techniques for Safety-Critical Systems | Cascais near Lisbon, Portugal | 22 October 2023 | 27 August 2023 | 10 September 2023 | 22 September 2023; part of SPLASH | |
| PPDP Principles and Practice of Declarative Programming | Cascais near Lisbon, Portugal | 22-23 October 2023 | 9 July 2023 | 30 July 2023 | 22 September 2023; co-located with LOPSTR, part of SPLASH | |
| LOPSTR Logic-Based Program Synthesis and Transformation | Cascais near Lisbon, Portugal | 23-24 October 2023 | 24 July 2023 | 18 August 2023 | 22 September 2023; co-located with PPDP, part of SPLASH | |
| FMCAD Formal Methods in Computer-Aided Design | Ames, Iowa, USA | 23-27 October 2023 | 8 July 2023 | 14 August 2023 | 28 September 2023 | |
| ATVA Automated Technology for Verification and Analysis | Singapore | 24-28 October 2023 | 30 June 2023 | 25 July 2023 | 1 October 2023 | |
| LORI Logic, Rationality and Interaction | Jinan, China | 26-29 October 2023 | ||||
| FOCS Foundations of Computer Science | Santa Cruz, California, USA | 6-9 November 2023 | 1 July 2023 | 30 October 2023 (author) | ||
| AIxIA Italian Association for Artificial Intelligence |
Rome, Italy | 6-9 November 2023 | 30 July 2023 8 September 2023 |
4 September 2023 20 October 2023 |
16 October 2023 | |
| SEFM Software Engineering and Formal Methods | Eindhoven, The Netherlands | 6-10 November 2023 | 18 August 2023 | 10 September 2023 | 10 October 2023 | |
| ILP Inductive Logic Programming | Bari, Italy | 13-15 November 2023 | 25 August 2023 | 8 September 2023 | ||
| PRICAI Pacific Rim International Conference on Artificial Intelligence | Jakarta, Indonesia | 17-19 November 2023 | 31 July 2023 | 31 August 2023 | 25 August 2023 | |
| APLAS Asian Symposium on Programming Languages and Systems | Taipei, Taiwan | 26-29 November 2023 | 14 August 2023 | 6 September 2023 | 25 October 2023 | |
| ISAAC International Symposium on Algorithms and Computation | Kyoto, Japan | 3-6 December 2023 | 4 September 2023 | 30 September 2023 | 15 October 2023 | |
| ICTAC International Colloquium on Theoretical Aspects of Computing | Lima, Peru | 4-8 December 2023 | 10 September 2023 | 25 September 2023 | 23 October 2023 | |
| WINE Web and Internet Economics | Shanghai, China | 4-8 December 2023 | 8 September 2023 | 31 October 2023 | ||
| K-CAP International Conference on Knowledge Capture | Pensacola, Florida, USA | 5-7 December 2023 | 25 September 2023 | 15 October 2023 | ||
| OPODIS On Principles of Distributed Systems | Tokyo, Japan | 6-8 December 2023 | 29 October 2023 | 9 November 2023 | ||
| IJCKG International Joint Conference on Knowledge Graphs | Tokyo, Japan | 8-9 December 2023 | 13 October 2023 | 20 October 2023 | HYBRID | |
| EISA Emerging Information Security and Applications | Hangzhou, China | 11-12 December 2023 | 10 October 2023 | 30 October 2023 | ||
| COCOON Computing and Combinatorics Conference |
Hawaii, USA | 15-17 December 2023 | 15 August 2023 | 31 August 2023 23:59 CEST (UTC+02:00) |
31 August 2023, 23:59 CEST (UTC+02:00) | |
| COCOA Conference on Combinatorial Optimization and Applications | Hawaii, USA | 15-17 December 2023 | 4 October 2023 | 10 October 2023 | 10 October 2023, 23:59 CEST (UTC+02:00) | |
| FSTTCS Foundations of Software Technology and Theoretical Computer Science | Hyderabad, India | 18-20 December 2023 | 22 September 2023 | 5 October 2023 | ||
| ICDCN International Conference on Distributed Computing and Networking | Chennai, India | 4-7 January 2024 | 5 October 2023 | 31 October 2023 | ||
| ALENEX Algorithm Engineering and Experiments | Alexandria, Virginia, USA | 7-8 January 2024 | mid-October 2023 | 4 December 2023; co-located with SODA | ||
| SODA Symposium on Discrete Algorithms | Alexandria, Virginia, USA | 7-10 January 2024 | mid-October 2023 | 4 December 2023, 23:59 EST (UTC-05:00) | ||
| SOSA Symposium on Simplicity in Algorithms | Alexandria, Virginia, USA | 8-9 January 2024 | mid-October 2023 | 4 December 2023; co-located with SODA | ||
| VMCAI Verification, Model Checking, and Abstract Interpretation | London, UK | 15-16 January 2024 | 11 October 2023 | 31 October 2023 | co-located with POPL | |
| CPP Certified Programs and Proofs | London, UK | 15-16 January 2024 | 21 November 2023 | co-located with POPL | ||
| POPL Principles of Programming Languages |
London, UK | 17-19 January 2024 | 2 October 2023 7 November 2023 |
10 November 2023 | ||
| CSL Computer Science Logic | Naples, Italy | 19-23 February 2024 | 27 October 2023 | 24 November 2023 | ||
| SOFSEM Current Trends in Theory and Practice of Computer Science | Cochem, Germany | 19-23 February 2024 | in November 2023 | |||
| AAAI Artificial Intelligence |
Vancouver, Canada | 20-27 February 2024 | 27 September 2023 9 December 2023 |
19 December 2023 | ||
| ALT Algorithmic Learning Theory | San Diego, California, USA | 25-28 February 2024 | mid-December 2023 | |||
| STACS Symposium on Theoretical Aspects of Computer Science | Clermont-Ferrand, France | 12-14 March 2024 | 13 December 2023 | 18 January 2024 | ||
| WALCOM International Conference and Workshops on Algorithms and Computation | Kanazawa, Japan | 18-20 March 2024 | 4 November 2023 | 25 November 2023 | ||
| ICDT International Conference on Database Theory | Paestum, Italy | 25-28 March 2024 | 29 November 2023 | |||
| EDBT Extending Database Technology |
Paestum, Italy | 25-28 March 2024 | 7 December 2023 31 January 2024 |
|||
| SDM Data Mining | Houston, Texas, USA | 18-20 April 2023 | late December 2023 | 18 March 2024 | ||
| 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 2023 and 2024 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 |
|---|---|---|---|---|---|
| AofA Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms | 2024 | Bath, UK | 17 June 2024 | 21 June 2024 | |
| IJCAR International Joint Conference on Automated Reasoning | 2024 | Nancy, France | 1 July 2024 | 6 July 2024 | LNCS, 16 pages regular, 7 pages system description, both excluding references |
| ICALP International Colloquium on Automata, Languages and Programming | 2024 | Tallinn, Estonia | 8 July 2024 | 12 July 2024 | tentative deadline: 16 February 2024; workshops 6-7 July 2024 |
| IJCAI International Joint Conference on Artificial Intelligence | 2024 | Jeju Island, South Korea | 3 August 2024 | 9 August 2024 | |
| SAT Theory and Applications of Satisfiability Testing | 2024 | Pune, India | 27 August 2024 | 31 August 2024 | preceded by Indian SAT+SMT School |
| ESA European Symposium on Algorithms | 2024 | London, UK | 2 September 2024 | 4 September 2024 | |
| ITP Interactive Theorem Proving | 2024 | Tbilisi, Georgia | 9 September 2024 | 14 September 2024 | |
| ICALP International Colloquium on Automata, Languages and Programming | 2025 | Aarhus, Denmark | 7 July 2025 | 11 July 2025 | |
| 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-2023
Last modified: Wed, 04 Oct 2023 16:07:46 CEST