Conferences in Theoretical Computer Science

WARNING

Deadline ahead

Conference City, Country Deadline Date Notification Submission format and comments
TASE Theoretical Aspects of Software Engineering Guiyang, China 17/24 February 2024 29 July - 1 August 2024 10 April 2024 LNCS, 16 pages long, 6 pages short, both excluding references
IWOCA International Workshop on Combinatorial Algorithms Ischia, Italy 19/26 February 2024 1-4 July 2024 15 April 2024 LNCS, 12 pages excluding references
ICGT International Conference on Graph Transformation Enschede, The Netherlands 20/27 February 2024 8-12 July 2024 23 April 2024 LNCS, 16 pages regular, 8 pages tools, 8 pages blue skies, all excluding references
DEBS
 
Distributed and Event-Based Systems
Lyon, France 23/29 February 2024 25-28 June 2024 12 April 2024
13 May 2024
ACM, 12 pages regular, 6 pages short and vision
CiE Computability in Europe Amsterdam, The Netherlands 24 February 2024 8-12 July 2024 20 April 2024 LNCS, 12 pages
FUN Fun With Algorithms La Maddalena Island, Sardinia, Italy 27 February 2024 4-8 June 2024 2 April 2024 LIPIcs, 20 pages
CPM Combinatorial Pattern Matching Fukuoka, Japan 28 February 2024 25-27 June 2024 10 April 2024 LIPIcs, 12 pages
ICFP International Conference on Functional Programming Milan, Italy 28 February 2024 2-7 September 2024 20 May 2024 ACM Small, double-blind, 25 pages full or Functional Perl, 12 pages experience report
TACL Topology, Algebra, and Categories in Logic Barcelona, Spain 29 February 2024 1-5 July 2024 20 April 2024 2 pages abstract; preceding summer school 25-28 June 2024
ISCO
 
International Symposium on Combinatorial Optimization
Tenerife, Canary Islands, Spain 29 February 2024
23:59 CET (UTC+01:00)
22-24 May 2024 15 March 2024 LNCS, 2 pages extended abstract, publication ONLY on conference webpage
DCFS Descriptional Complexity of Formal Systems Santa Clara, California, USA 1 March 2024 25-27 June 2024 2 April 2024 LNCS, 12 pages
RAMiCS Relational and Algebraic Methods in Computer Science Prague, Czech Republic 2/9 March 2024 19-23 August 2024 04 May 2024 LNCS, 16 pages; co-located with AiML
Euro-Par European Conference on Parallel and Distributed Computing Madrid, Spain 5/15 March 2024 26-30 August 2024 29 April 2024 LNCS, 14 pages
AofA Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms Bath, United Kingdom 6 March 2024 17-21 June 2024 28 April 2024 LIPIcs, 12 pages excluding references
DLT Developments in Language Theory Göttingen, Germany 8 March 2024 12-16 August 2024 3 May 2024 LNCS
SAT Theory and Applications of Satisfiability Testing Pune, India 8/15 March 2024 21-24 August 2024 22 May 2024 LIPIcs, 15 pages long, 8 pages short, 8 pages tools; preceded 18-20 August 2024 by Indian SAT+SMT School
AiML
 
Advances in Modal Logic
Prague, Czech Republic 8/15 March 2024 19-23 August 2024 20 May 2024 own format, 15 pages excluding references full + 5 pages appendix, 5 pages extended abstracts;
co-located with RAMiCS
ITP Interactive Theorem Proving Tbilisi, Georgia 11/18 March 2024 9-14 September 2024 20 May 2024 LIPIcs, 16 pages excluding references regular, 6 pages short/extended abstract
PATAT Practice and Theory of Automated Timetabling Lyngby, Denmark 15 March 2024 27-30 August 2024 3 May 2024 LNCS
DL Description Logics Bergen, Norway 18/25 March 2024 18-21 June 2024 8 May 2024 CEURART-DL, 11 pages regular, 4 pages extended abstracts, both excluding references
SCAI Scandinavian Conference on AI Jönköping, Sweden 22 March 2024 10-11 June 2024 26 April 2024 IEEE, 10 pages full, 2 pages extended abstracts
LOD Machine Learning, Optimization, Data Science Castiglione della Pescaia, Italy 23 March 2024 22-25 September 2024 23 May 2024 LNCS, 15 pages long, 11 pages short
CICM
 
Conference on Intelligent Computer Mathematics
Montréal, Québec, Canada 25 March / 1 April 2024 5-9 August 2024 16 May 2024 LNCS, 15 pages regular, 15 pages project and survey, 5 pages system and dataset descriptions,
all excluding references
QEST Quantitative Evaluation of SysTems Calgary, Canada 26/31 March 2024 9-13 September 2024 LNCS, 14 pages regular, 7 pages short, both excluding references; 4 pages work in progress
HALG Highlights of Algorithms Warsaw, Poland 29 March 2024 3-5 June 2024
AUTOMATA International Workshop on Cellular Automata and Discrete Complex Systems Durham, United Kingdom 29 March 2024 22-24 July 2024 26 April 2024 LNCS, 12 pages full, 8 pages exploratory, 4 pages extended abstracts
PAAR Practical Aspects of Automated Reasoning Nancy, France 5/12 April 2024 2 July 2024 1 June 2024 CEURART, 15 pages regular, 8 pages extended abstracts; co-located with IJCAR
ThEdu Theorem proving components for Educational software Nancy, France 10 April 2024 2 July 2024 8 May 2024 own format, 10 pages; co-located with IJCAR
CILC Italian Conference on Computational Logic Rome, Italy 12 April 2024 26-28 June 2024 22 May 2024 CEURART, 15 pages full, 8 pages short
CCS Computer and Communication Security Salt Lake City, Utah, USA 14 April 2024 14-18 October 2024 ACM, 12 pages excluding references
WADT Workshop on Algebraic Development Techniques Enschede, The Netherlands 15 April 2024 during STAF 29 April 2024 post-proceedings
FM Formal Methods Milan, Italy 15/19 April 2024 9-13 September 2024 10 June 2024 LNCS, 15 pages regular, tool, and case study; 6 pages demonstration, 22 pages tutorial, all excluding references
ARQNL Automated Reasoning in Quantified Non-Classical Logics Nancy, France 15/22 April 2024 2 July 2024 3 June 2024 co-located with IJCAR
UNIF Workshop on Unification Nancy, France 18 April 2024 2 July 2024 23 May 2024 EPiC, 5 pages; co-located with IJCAR
CP Principles and Practice of Constraint Programming Girona, Catalonia, Spain 18/23 April 2024 2-6 September 2024 20 June 2024 LIPIcs, 15 pages full, 8 pages short, both excluding references
ICICS International Conference on Information and Communications Security Mytilene, Lesvos, Greece 19 April 2024 26-28 August 2024 24 June 2024 LNCS, 20 pages
ECAI European Conference on Artificial Intelligence Santiago de Compostela, Spain 19/25 April 2024 19-24 October 2024 4 July 2024 own format, 7 pages + 1 page references
ESA European Symposium on Algorithms Egham, United Kingdom 22 April 2024 2-4 September 2024 23 June 2024 part of ALGO
KR Principles of Knowledge Representation and Reasoning Hanoi, Vietnam 24 April / 1 May 2024 2-8 November 2024 10 July 2024 own format, 9 pages regular, 4 pages short, both excluding references; co-located with NMR
FMICS Formal Methods for Industrial Critical Systems Milan, Italy 25 April / 1 May 2024 9-11 September 2024 10 June 2024 LNCS, 15 pages excluding references; co-located with FM
MFCS Mathematical Foundations of Computer Science Bratislava, Slovakia 26 April 2024 26-30 August 2024 24 June 2024 LIPIcs,
FMCAD Formal Methods in Computer-Aided Design Prague, Czech Republic 28 April / 5 May 2024 14-18 October 2024 8 July 2024 own format, 8 pages long, 4 pages short, both excluding references
ICLP
 
International Conference on Logic Programming
Dallas, Texas, USA 29 April / 6 May 2024
8 July 2024
11-17 October 2024 19 June 2024
22 July 2024
no format yet, full and short papers
LOPSTR Logic-Based Program Synthesis and Transformation Milan, Italy 6/10 May 2024 9-11 September 2024 26 June 2024 LNCS,15 pages regular, 8 pages short, both excluding references; co-located with FM and PPDP
PPDP
 
Principles and Practice of Declarative Programming
Milan, Italy 6/13 May 2024 9-11 September 2024 3 July 2024 ACM, 2 column, 12 pages excluding references regular, 10 pages system descriptions,
5 pages including references experience reports; co-located with FM and LOPSTR
TAP Tests and Proofs Milan, Italy 8/15 May 2024 9–10 September 2024 26 June 2024 LNCS, 16 pages regular + tools + case studies, 6 pages short, all excluding references; co-located with FM
FACS Formal Aspects of Component Software Milan, Italy 8/15 May 2024 9-10 September 2024 26 June 2024 LNCS, 16 pages full, 6 pages short, 16 pages special tract, all excluding references; co-located with FM
ADT Piscataway, New Jersey, USA 10/17 May 2024 14-16 October 2024 19 July 2024 LNCS, 15 pages
FedCSIS Federated Conference on Computer Science and Information Systems Belgrade, Serbia 14 May 2024 8-11 September 2024 18 June 2024 own format, 12 pages full, 6 pages short, 8 pages communication
WAIT Workshop on Automated (Co)Inductive Theorem Proving Nancy, France 15 May 2024 2 July 2024 1 June 2024 EasyChair, 2 pages; co-located with IJCAR
WABI Egham, United Kingdom 19 May 2024 2-4 September 2024 23 June 2024 part of ALGO
ICTAC International Colloquium on Theoretical Aspects of Computing Bangkok, Thailand 14/21 June 2024 25-29 November 2024 1 September 2024 LNCS, 16 pages excluding references full, 8 pages short and tool
WISE Web Information Systems Engineering Doha, Qatar 20/30 June 2024 2-5 December 2024 30 August 2024 LNCS, double-blind, 15 pages
NMR Non-Monotonic Reasoning Hanoi, Vietnam 7/12 July 2024 2-4 November 2024 1 September 2024 CEUR, 10 pages including references full, 3 pages excluding referencesextended abstracts; co-located with KR
TERMGRAPH Computing with Terms and Graphs post-proceedings 1 August 2024 7 April 2024 15 September 2024 EPTCS, 16 pages post-proceedings
KDD Knowledge Discovery and Data Mining ??? 1/8 August 2024
Conference City, Country Deadline Date Notification Submission format and comments

Running conferences

Conference City, Country Date Remark
AAAI Artificial Intelligence Vancouver, Canada 20-27 February 2024
Conference City, Country Date Remark

Future conferences with deadline over

Conference City, Country Date Notification Final version Early registration Remarks and other indications
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 15 February 2024
EuroCG European Workshop on Computational Geometry Ioannina, Greece 13-15 March 2024 12 February 2024 21 February 2024 21 February 2024
BICOB Bioinformatics and Computational Biology New Orleans, Louisiana, USA 18-19 March 2024 30 January 2024 15 February 2024 15 February 2024
WALCOM
 
International Conference and Workshops on Algorithms and Computation
Kanazawa, Japan 18-20 March 2024 4 November 2023 25 November 2023 25 November 2023
23:59 JST (UTC+09:00)
LATIN Latin American Theoretical Informatics Symposium Puerto Varas, Chile 18-22 March 2024 20 December 2023 8 January 2024 15 January 2024
ICDT International Conference on Database Theory Paestum, Italy 25-28 March 2024 29 November 2023 10 February 2024
EDBT
 
Extending Database Technology
Paestum, Italy 25-28 March 2024 7 December 2023
31 January 2024
10 February 2024
EvoStar evo* Aberystwyth, Wales, United Kingdom 3-5 April 2024 10 January 2024 24 January 2024 28 February 2024 federated conference including EuroGP, EvoAPPS, EvoCOP, and EvoMUSART
EuroGP European Conference on Genetic Programming Aberystwyth, Wales, United Kingdom 3-5 April 2024 10 January 2024 24 January 2024 28 February 2024 part of EvoStar
EvoAPPS Applications of Evolutionary Computation Aberystwyth, Wales, United Kingdom 3-5 April 2024 10 January 2024 24 January 2024 28 February 2024 part of EvoStar
EvoCOP Evolutionary Computation in Combinatorial Optimisation Aberystwyth, Wales, United Kingdom 3-5 April 2024 10 January 2024 24 January 2024 28 February 2024 part of EvoStar
EvoMUSART Artificial Intelligence in Music, Sound, Art and Design Aberystwyth, Wales, United Kingdom 3-5 April 2024 10 January 2024 24 January 2024 28 February 2024 part of EvoStar
WRLA Workshop on Rewriting Logic and its Applications Luxembourg City, Luxembourg 6-7 April 2024 26 February 2024 11 March 2024 6 March 2024 co-located with ETAPS
BLAST Boolean Algebras; Lattices, Algebraic Logic and Quantum Logic; Universal Algebra; Set Theory; Set-theoretic and Point-free Topology Denton, Texas, USA 6-9 April 2024 total eclipse observation in Dallas (TX) on 8 April 2024
ETAPS European Joint Conferences on Theory & Practice of Software Luxembourg City, Luxembourg 6-11 April 2024 21 December 2023 23 January 2024 6 March 2024 federated conference including ESOP, FASE, FoSSaCS, and TACAS
ESOP European Symposium on Programming Luxembourg City, Luxembourg 6-11 April 2024 21 December 2023 23 January 2024 6 March 2024 part of ETAPS
FASE Fundamental Approaches to Software Engineering Luxembourg City, Luxembourg 6-11 April 2024 21 December 2023 23 January 2024 6 March 2024 part of ETAPS
FoSSaCS Foundations of Software Science and Computation Structures Luxembourg City, Luxembourg 6-11 April 2024 21 December 2023 23 January 2024 6 March 2024 part of ETAPS
TACAS Tools and Algorithms for the Construction and Analysis of Systems Luxembourg City, Luxembourg 6-11 April 2024 21 December 2023 23 January 2024 6 March 2024 part of ETAPS
TERMGRAPH
Computing with Terms and Graphs
Luxembourg City, Luxembourg 7 April 2024 9 February 2024 17 March 2024 6 March 2024 satellite event of ETAPS
FoIKS Foundations of Information and Knowledge Systems Sheffield, United Kingdom 8-11 April 2024 29 January 2024 8 February 2024 8 March 2024
SAC Symposium On Applied Computing Avila, Spain 8-12 April 2024 17 November 2023 15 December 2023 5 January 2024
SPIN International Symposium on Model Checking Software Luxembourg City, Luxembourg 10-11 April 2024 26 February 2024 11 March 2024 6 March 2024 co-located with ETAPS
SDM Data Mining Houston, Texas, USA 18-20 April 2023 late December 2023 18 March 2024
RECOMB Research in Computational Molecular Biology Boston, Massachusetts, USA 29 April - 2 May 2024 22 December 2023 26 January 2024 15 March 2024
AAMAS Autonomous Agents and Multiagent Systems Auckland, New Zealand 6-10 May 2024 20 December 2023 8 February 2024
TAMC Theory and Applications of Models of Computation Hong Kong, SAR China 13-15 May 2024 1 February 2024
OLA Optimization and Learning Dubrovnik, Croatia 13-15 May 2024 9 February 2024 31 March 2024 early registration obligatory for authors
FLOPS Functional and Logic Programming Kumamoto, Japan 15-17 May 2024 26 January 2024 21 February 2024
ISCO International Symposium on Combinatorial Optimization Tenerife, Canary Islands, Spain 22-24 May 2024 15 March 2024 15 April 2024 31 March 2024
EUROCRYPT
 
Theory and Applications of Cryptographic Techniques
Zurich, Switzerland 26-30 May 2024 8 December 2023
31 January 2024
LPAR Logic for Programming, Artificial Intelligence and Reasoning Mauritius 26-31 May 2024 1 April 2024 5 April 2024 16 May 2024
SIROCCO Structural Information and Communication Complexity Vietri sul Mare, Salerno, Italy 27-29 May 2024 28 January 2024
CPAIOR Integration of Constraint Programming, Artificial Intelligence, and Operations Research Uppsala, Sweden 28-31 May 2024 1 February 2024 15 April 2024
ICAPS International Conference on Automated Planning and Scheduling Banf, Alberta, Canada 1-5 June 2024 12 February 2024 ?? March 2024
NFM NASA Formal Methods Moffett Field, California, USA 4-6 June 2024 16 February 2024 15 March 2024
SAND Algorithmic Foundations of Dynamic Networks Patras, Greece 5-7 June 2024 20 March 2024 2 April 2024
SoCS Symposium on Combinatorial Search Kananaskis, Alberta, Canada 6-8 June 2024 26 March 2024 10 April 2024 5 April 2024
PODS Principles of Database Systems Santiago, Chile 9-15 June 2024 4 March 2024 30 April 2024 co-located with SIGMOD
SIGMOD International Conference on Management of Data Santiago, Chile 9-15 June 2024 23 February 2024 30 April 2024 co-located with PODS
WoLLIC Workshop on Logic, Language, Information and Computation Bern, Switzerland 10-13 June 2024 15 April 2024 29 April 2024
SoCG Symposium on Computational Geometry Athens, Greece 11-14 June 2024 5 February 2024 20 March 2024 8 May 2024
SWAT Scandinavian Symposium and Workshops on Algorithm Theory Helsinki, Finland 12-14 June 2024 2 April 2024 18 May 2024
SPAA Symposium on Parallelism in Algorithms and Architectures Nantes, France 17-21 June 2024 7 April 2024 28 April 2024
PODC Principles of Distributed Computing Nantes, France 17-21 June 2024 22 April 2024
DisCoTec Distributed Computing Techniques Groningen, The Netherlands 17-21 June 2024 5 April 2024 24 April 2024 federated conference including COORDINATION, DAIS, and FORTE
COORDINATION Coordination Models and Languages Groningen, The Netherlands 17-21 June 2024 5 April 2024 24 April 2024 part of DisCoTec
DAIS Distributed Applications and Interoperable Systems Groningen, The Netherlands 17-21 June 2024 5 April 2024 24 April 2024 part of DisCoTec
FORTE Formal Techniques for Distributed Objects, Components, and Systems Groningen, The Netherlands 17-21 June 2024 5 April 2024 24 April 2024 part of DisCoTec
WG Graph-Theoretic Concepts in Computer Science Gozd Martuljek, Slovenia 19-21 June 2024 19 April 2024 12 July 2024 30 April 2024
STOC Symposium on Theory of Computing Vancouver, Canada 24-28 June 2024 11 February 2024 31 March 2024
LOFT Logic and the Foundations of Game and Decision Theory Bayreuth, Germany 26-28 June 2024 beginning April
IJCAR International Joint Conference on Automated Reasoning Nancy, France 1-6 July 2024 28 March 2024 28 April 2024
IPCO Integer Programming and Combinatorial Optimization Wrocław, Poland 3-5 July 2024 26 January 2024 15 March 2024
LICS Logic in Computer Science Tallinn, Estonia 8-12 July 2024 15 April 2024 co-located with ICALP and FSCD
ICALP International Colloquium on Automata, Languages and Programming Tallinn, Estonia 8-12 July 2024 14 April 2024 28 April 2024 co-located with LICS and FSCD
CSF Computer Security Foundations Enschede, The Netherlands 8-12 July 2024 7 April 2024
ECMFA
 
European Conference on Modelling Foundations and Applications
Enschede, The Netherlands 8-12 July 2024 10 April 2024
5 June 2024
part of STAF
FSCD Formal Structures for Computation and Deduction Tallinn, Estonia 10-13 July 2024 22 April 2024 6 May 2024 co-located with ICALP and LICS
GECCO Genetic and Evolutionary Computation Conference Melbourne, Australia 14-18 July 2024 21 March 2024 11 April 2024 10 May 2024
ANTS Algorithmic Number Theory Symposium Cambridge, Massachusetts, USA 15-19 July 2024 April 2024
ISSAC
International Symposium on Symbolic and Algebraic Computation
Raleigh, North Carolina, USA 16-19 July 2024 16/30 April 2024 21 May 2024
ICDCS International Conference on Distributed Computing Systems Jersey City, New Jersey, USA 16-19 July 2024 12 April 2024 10 May 2024
ICML International Conference on Machine Learning Vienna, Austria 21-27 July 2024 1 May 2024 29 May 2024 15 June 2024
CCC Computational Complexity Conference Ann Arbor, Michigan, USA 22-25 July 2024 5 May 2024
CAV
 
Computer-Aided Verification
Montreal, Canada 22-27 July 2024 26 March 2024
10 May 2024
19 May 2024 submissions updated until 26 January 2024
artifact submission: 8 April 2024 (mandatory for tool papers)
SEA Symposium on Experimental Algorithms Vienna, Austria 23-26 July 2024 27 March 2024 28 April 2024
IJCAI
 
International Joint Conference on Artificial Intelligence
Jeju Island, South Korea 3-9 August 2024 22 February 2024
16 April 2024
appendix and resubmission until 24 January 2024
CRYPTO
 
CRYPTO
Santa Barbara, California, USA 18-22 August 2024 7 April 2024
3 May 2024
KDD Knowledge Discovery and Data Mining Barcelona, Spain 25-29 August 2024 May 2024
ALGO ALGO Egham, United Kingdom 2-6 September 2024 federated conference including ALGOCLOUD, ESA, IPEC, ATMOS, WABI
SAFECOMP Computer Safety, Reliability and Security Florence, Italy 17-20 September 2024 21 April 2024 1 June 2024
CCS Computer and Communication Security Salt Lake City, Utah, USA 14-18 October 2024 3 April 2024
Conference City, Country Date Notification Final version Early registration Remarks and other indications

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
ALGOCLOUD Algorithms for Cloud-Based Systems 2024 Egham, United Kingdom 2 September 2024 3 September 2024 part of ALGO
IPEC International Symposium on Parameterized and Exact Computation 2024 Egham, United Kingdom 4 September 2024 6 September 2024 deadline late June, notification late August; part of ALGO
ATMOS Algorithmic Approaches for Transportation Modelling, Optimization, and Systems 2024 Egham, United Kingdom 5 September 2024 6 September 2024 part of ALGO
JAF Journées sur les Arithmétiques Faibles 2024 Passau, Germany 9 September 2024 11 September 2024 tentative dates
SYNASC Symbolic and Numeric Algorithms for Scientific Computing 2024 Timişoara, Romania 16 September 2024 19 September 2024
GD Graph Drawing 2024 Vienna, Austria 18 September 2024 20 September 2024
SPLASH Systems, Programming, Languages, and Applications: Software for Humanity 2024 Pasadena, California, USA 20 October 2024 25 October 2024 co-located with SAS
DISC Distributed Computing 2024 Madrid, Spain 28 October 2024 1 November 2024 workshops 28 October and 1 November 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-2024

Last modified: Sat, 24 Feb 2024 14:11:09 CET