Conferences in Theoretical Computer Science

WARNING

Deadline ahead

Conference City, Country Deadline Date Notification Submission format and comments
SDM
 
Data Mining
Houston, Texas, USA 15/22 September 2023
23:59 PDT (UTC-07:00)
18-20 April 2023 SIAM, 2 column, 9 pages, 300 words abstract, 6 keywords
ALT Algorithmic Learning Theory San Diego, California, USA 26 September 2023 25-28 February 2024 mid-December 2023 own format, 12 pages excluding references
STACS Symposium on Theoretical Aspects of Computer Science Clermont-Ferrand, France 28 September 2023 12-14 March 2024 13 December 2023 LIPIcs, double-blind, 15 pages excluding references and title page
WALCOM International Conference and Workshops on Algorithms and Computation Kanazawa, Japan 29 September 2023 18-20 March 2024 4 November 2023 LNCS, 14 pages
MLN Machine Learning for Networking Paris, France 29 September 2023 28-30 November 2023 13 October 2023 LNCS, double-blind, 20 pages
SAC Symposium On Applied Computing Avila, Spain 29 September 2023 8-12 April 2024 30 October 2023 ACMart, double-blind, 8 pages regular, 3 pages poster, 4 pages student research abstract
LATIN Latin American Theoretical Informatics Symposium Puerto Varas, Chile 2 October 2023 18-22 March 2024 20 December 2023 LNCS, double-blind, 15 pages
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
EDBT Extending Database Technology Paestum, Italy 3 October 2023 25-28 March 2024 own format, 12 pages regular, 6 pages short and visionary, both 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
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
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
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
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
TbiLLC Tbilisi Symposium on Logic, Language and Computation Telavi, Georgia 18-22 September 2023
LAGOS Latin-American Algorithms, Graphs and Optimization Symposium Huatulco, Oaxaca, México 18-22 September 2023
Confest Confest Antwerp, Belgium 18-23 September 2023 federated conference including CONCUR, FMICS, FORMATS, and QEST
CONCUR Concurrency Theory Antwerp, Belgium 18-23 September 2023 part of Confest
QEST Quantitative Evaluation of SysTems Antwerp, Belgium 18-23 September 2023 part of Confest
CIAA Conference on Implementation and Application of Automata Famagusta, Cyprus 19-22 September 2023
SAFECOMP Computer Safety, Reliability and Security Toulouse, France 19-22 September 2023
ECSQARU European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty Arras, France 19-22 September 2023
FroCoS Frontiers of Combining Systems Prague, Czech Republic 20-22 September 2023 co-located with TABLEAUX
FMICS Formal Methods for Industrial Critical Systems Antwerp, Belgium 20-22 September 2023 part of Confest
JELIA European Conference on Logics in Artificial Intelligence Dresden, Germany 20-22 September 2023
SEMANTICS Semantic Systems Leipzig, Germany 20-22 September 2023
ADG Automated Deduction in Geometry Belgrade, Serbia 20-22 September 2023
Conference City, Country Date Remark

Future conferences with deadline over

Conference City, Country Date Notification Final version Early registration and other indications Remark
TIME Temporal Representation and Reasoning Athens, Greece 25-26 September 2023 30 June 2023 14 July 2023
JAF Journées sur les Arithmétiques Faibles Samos, Greece 25-27 September 2023 30 July 2023
ESORICS European Symposium on Research in Computer Security The Hague, The Netherlands 25-29 September 2023 30 July 2023 20 August 2023 23 August 2023 (author and early)
SPIRE String Processing and Information Retrieval Pisa, Italy 26-28 September 2023 24 July 2023 25 July 2023 31 July 2023
KI German Conference on Artificial Intelligence Berlin, Germany 26-29 September 2023 26 June 2023 26 August 2023, 23:59 CEST (UTC+02:00)
ECAI European Conference on Artificial Intelligence Kraków, Poland 1-6 October 2023 15 July 2023 1 August 2023 15 August 2023
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
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
WINE Web and Internet Economics Shanghai, China 4-8 December 2023 8 September 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
ICDT International Conference on Database Theory Paestum, Italy 25-28 March 2024 29 November 2023
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
CiE Computability in Europe 2024 Amsterdam, The Netherlands 8 July 2024 12 July 2024
ANTS Algorithmic Number Theory Symposium 2024 Cambridge, Massachusetts, USA 15 July 2024 19 July 2024
IJCAI International Joint Conference on Artificial Intelligence 2024 Jeju Island, South Korea 3 August 2024 9 August 2024
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: Fri, 22 Sep 2023 07:15:43 CEST