Conferences in Theoretical Computer Science

WARNING

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

  1. for planning conferences in the future,
  2. to indicate the planned (tentative) dates for a conference, and
  3. 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.


Flag Counter

Valid HTML 4.01 Strict Valid CSS!

© Miki Hermann (LIX, Ecole Polytechnique), 2015-2023

Last modified: Wed, 04 Oct 2023 16:07:46 CEST