Conferences in Theoretical Computer Science

WARNING

Deadline ahead

Conference City, Country Deadline Date Notification Submission format and comments
ICTAC International Colloquium on Theoretical Aspects of Computing Bangkok, Thailand 23/30 June 2024 25-29 November 2024 1 September 2024 LNCS, 16 pages excluding references full, 8 pages short and tool
RP Reachability Problems Vienna, Austria 24/26 June 2024 25-27 September 2024 30 July 2024 LNCS, 12 pages excluding references
MLCS Machine Learning for Cybersecurity Vilnius, Lithuania 26 June 2024 9-13 September 2024 15 July 2024 LNCS, 16 pages regular, 6 pages short
IPEC International Symposium on Parameterized and Exact Computation Egham, United Kingdom 26/30 June 2024 4-6 September 2024 5 August 2024 LIPIcs, no page limit, but only first 12 pages read; part of ALGO
SEFM Software Engineering and Formal Methods Aveiro, Portugal 28 June 2024 4-8 November 2024 15 August 2024 LNCS, 16 pages excludinge references regular, 8 pages tool
IOTSMS Internet of Things: Systems, Management and Security Malmö, Sweden 28 June 2024 2-5 September 2024 15 July 2024 IEEE, 2 column, 8 pages full regular, 6 pages short, 3 pages posters and demos
ALGOWIN Algorithmic of Wireless Networks Egham, United Kingdom 28 June 2024 5-6 September 2024 1 August 2024 LNCS,12 pages excluding referenes; part of ALGO
ISAAC International Symposium on Algorithms and Computation Sydney, Australia 28 June 2024 8-12 December 2024 2 September 2024 LIPIcs, double-blind, 12 pages excluding references
WISE Web Information Systems Engineering Doha, Qatar 30 June 2024 2-5 December 2024 30 August 2024 LNCS, double-blind, 15 pages
LAP Logic and Applications Dubrovnik, Croatia 30 June 2024 23-27 September 2024 10 July 2024 own format
ATMOS Algorithmic Approaches for Transportation Modelling, Optimization, and Systems Egham, United Kingdom 30 June 2024 5-6 September 2024 31 July 2024 OASIcs, 12 pages excluding references regular, 6 pages short; part of ALGO
ALGOCLOUD Algorithms for Cloud-Based Systems Egham, United Kingdom 1 July 2024 2-3 September 2024 31 July 2024 LNCS, 12 pages excluding references regular, 8 pages short, 10 pages survey; part of ALGO
ICTAI International Conference on Tools with Artificial Intelligence Herndon, Virginia, USA 1 July 2024 28-30 October 2024 18 August 2024 IEEE Transactions, double-blind, 8 pages
WAOA Workshop on Approximation and Online Algorithms Egham, United Kingdom 3 July 2024 5-6 September 2024 31 July 2024 LNCS, double-blind, 10 pages excluding references; part of ALGO
LPNMR Logic Programming and Non-Monotonic Reasoning Dallas, Texas, USA 4/7 July 2024 11-14 October 2024 7 August 2024 LNCS, 13 pages long, 6 pages short
TIME Temporal Representation and Reasoning Montpellier, France 5 July 2024 28-30 October 2024 2 August 2024 LIPIcs, 12 pages excluding references + 5 pages appendix
FSTTCS Foundations of Software Technology and Theoretical Computer Science Gandhinagar, Gujarat, India 5 July 2024 16-18 December 2024 16 September 2024 LIPIcs, 15 pages excluding references
SODA
 
Symposium on Discrete Algorithms
New Orleans, Lousiana, USA 5 July 2024 12-15 January 2025 6 September 2024
early October 2024
double-blind, no page limit, but only first 10 pages read
CSCML Cyber Security, Cryptology and Machine Learning 6 or 7 July 2024 19-20 December 2024 13 August 2024 LNCS, 12-15+ pages regular, 6-11 pages short
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
ICLP International Conference on Logic Programming Dallas, Texas, USA 8 July 2024 11-17 October 2024 22 July 2024 EPTCS, 7 pages short, 3 pages recently published, 3 pages system demonstrations, 3 pages birds of a feather
POPL Principles of Programming Languages Denver, Colorado, USA 11 July 2024 19-25 January 2025 ACMart, double-blind, 25 pages excluding references
JAF Journées sur les Arithmétiques Faibles Passau, Germany 15 July 2024 9-11 September 2024 15 August 2024 3 pages
VSTTE Verified Software: Theories, Tools, and Experiments Prague, Czech Republic 18 July 2024 14-15 October 2024 29 August 2024 LNCS, 16 pages long, 10 pages short, both excluding references; co-located with FMCAD
ALENEX Algorithm Engineering and Experiments New Orleans, Lousiana, USA 18 July 2024 12-13 January 2025 31 Ausust 2024 SIAM, double-blind, 10 pages excluding front matter and references; co-located with SODA
CSL Computer Science Logic Amsterdam, The Netherlands 18/23 July 2024 10-14 February 2025 27 October 2024 LIPIcs, double-blind, 15 pages excluding references
ICDCN International Conference on Distributed Computing and Networking Hyderabad, India 25 July 2024 4-7 January 2025 27 September 2024 ACMart, 10 pages regular, 5 pages short
TERMGRAPH Computing with Terms and Graphs post-proceedings 1 August 2024 7 April 2024 15 September 2024 EPTCS, 16 pages post-proceedings
Datalog 2.0 Datalog 2.0 Dallas, Texas, USA 1/8 August 2024 11-14 October 2024 5 September 2024 CEUR, 12 pages long, 5 pages short; part of LPNMR
KDD Knowledge Discovery and Data Mining ??? 1/8 August 2024
SOSA Symposium on Simplicity in Algorithms New Orleans, Lousiana, USA 5/8 August 2024 13-14 January 2025 October 2024 double-blind, no page limit; co-located with SODA
WADT Workshop on Algebraic Development Techniques post-proceedings 16 September 2024 25 November 2024 dates for post-proceedings
WALCOM International Conference and Workshops on Algorithms and Computation Chengdu, China 22 September 2024 28 February - 2 March 2025 8 November 2024 LNCS, 14 pages
STACS Symposium on Theoretical Aspects of Computer Science Jena, Germany 26 September 2024 4-7 March 2025 16 December 2024 LIPIcs,
Conference City, Country Deadline Date Notification Submission format and comments

Running conferences

Conference City, Country Date Remark
STOC Symposium on Theory of Computing Vancouver, Canada 24-28 June 2024
Conference City, Country Date Remark

Future conferences with deadline over

Conference City, Country Date Notification Final version Early registration Remarks and other indications
CPM Combinatorial Pattern Matching Fukuoka, Japan 25-27 June 2024 10 April 2024 20 May 2024
DEBS
 
Distributed and Event-Based Systems
Lyon, France 25-28 June 2024 12 April 2024
13 May 2024
24 May 2024 13 June 2024
LOFT Logic and the Foundations of Game and Decision Theory Bayreuth, Germany 26-28 June 2024 beginning April
CILC Italian Conference on Computational Logic Rome, Italy 26-28 June 2024 22 May 2024 15 June 2024 4 June 2024
COLT Conference on Learning Theory Edmonton, Canada 30 June – 3 July 2024 10 May 2024 1 June 2024
QUANTIFY Workshop on Quantification Nancy, France 1 July 2024 30 May 2024 24 June 2024 co-located with IJCAR
IWOCA International Workshop on Combinatorial Algorithms Ischia, Italy 1-4 July 2024 15 April 2024 26 April 2024 3 May 2024
TACL Topology, Algebra, and Categories in Logic Barcelona, Spain 1-5 July 2024 20 April 2024 8 June 2024 preceding summer school 25-28 June 2024
IJCAR International Joint Conference on Automated Reasoning Nancy, France 1-6 July 2024 28 March 2024 28 April 2024 24 June 2024
ThEdu Theorem proving components for Educational software Nancy, France 2 July 2024 8 May 2024 24 June 2024 co-located with IJCAR
SC2 Satisfiability Checking and Symbolic Computation Nancy, France 2 July 2024 17 May 2024 31 May 2024 24 June 2024 co-located with IJCAR
UNIF Workshop on Unification Nancy, France 2 July 2024 23 May 2024 7 June 2024 24 June 2024 co-located with IJCAR
PAAR Practical Aspects of Automated Reasoning Nancy, France 2 July 2024 1 June 2024 14 June 2024 24 June 2024 co-located with IJCAR
ARQNL Automated Reasoning in Quantified Non-Classical Logics Nancy, France 2 July 2024 3 June 2024 17 June 2024 24 June 2024 co-located with IJCAR
WAIT Workshop on Automated (Co)Inductive Theorem Proving Nancy, France 2 July 2024 1 June 2024 24 June 2024 co-located with IJCAR
IPCO Integer Programming and Combinatorial Optimization Wrocław, Poland 3-5 July 2024 26 January 2024 15 March 2024 31 March 2024
EC Economics and Computation New Haven, Connecticut, USA 8-11 July 2024 18 May 2024 24 June 2024
LICS Logic in Computer Science Tallinn, Estonia 8-12 July 2024 15 April 2024 17 May 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 17 May 2024 co-located with LICS and FSCD
CiE Computability in Europe Amsterdam, The Netherlands 8-12 July 2024 20 April 2024 1 May 2024 20 May 2024
CSF Computer Security Foundations Enschede, The Netherlands 8-12 July 2024 7 April 2024 14 June 2024
WADT Workshop on Algebraic Development Techniques Enschede, The Netherlands 8-12 July 2024 17 May 2024 15 June 2024 part of STAF
ECMFA
 
European Conference on Modelling Foundations and Applications
Enschede, The Netherlands 8-12 July 2024 10 April 2024
5 June 2024
15 June 2024 part of STAF
ICGT International Conference on Graph Transformation Enschede, The Netherlands 8-12 July 2024 23 April 2024 14 May 2024 15 June 2024 part of STAF
IWC International Workshop on Confluence Tallinn, Estonia 9 July 2024 17/31 May 2024 17 May 2024 co-located with FSCD
FSCD Formal Structures for Computation and Deduction Tallinn, Estonia 10-13 July 2024 22 April 2024 6 May 2024 17 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
FOIS
 
Formal Ontology in Information Systems
Enschede, The Netherlands 8-9 July 2024 (online)
15-19 July 2024 (on site)
10 May 2024 3 June 2024
ISSAC International Symposium on Symbolic and Algebraic Computation Raleigh, North Carolina, USA 16-19 July 2024 16/30 April 2024 21 May 2024 28 June 2024
ICDCS
 
International Conference on Distributed Computing Systems
Jersey City, New Jersey, USA 16-19 July 2024 12 April 2024 10 May 2024 24 May 2024 (author)
22 June 2024 (early)
CCCG Canadian Conference on Computational Geometry St. Catharines, Ontario, Canada 17-19 July 2024 17 May 2024 31 May 2024 31 May 2024
ICML International Conference on Machine Learning Vienna, Austria 21-27 July 2024 1 May 2024 29 May 2024 15 June 2024
AUTOMATA Cellular Automata and Discrete Complex Systems Durham, United Kingdom 22-24 July 2024 3 May 2024 17 May 2024 21 June 2024
CCC Computational Complexity Conference Ann Arbor, Michigan, USA 22-25 July 2024 5 May 2024 30 June 2024
CAV
 
Computer-Aided Verification
Montreal, Canada 22-27 July 2024 26 March 2024
10 May 2024
19 May 2024 15 June 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 31 May 2024
TASE
 
Theoretical Aspects of Software Engineering
Guiyang, China 29 July - 1 August 2024 10 April 2024 10 May 2024 20 May 2024 (author)
14 June 2024 (early)
IJCAI
 
International Joint Conference on Artificial Intelligence
Jeju Island, South Korea 3-9 August 2024 22 February 2024
16 April 2024
4 June 2024 appendix and resubmission until 24 January 2024
CICM Conference on Intelligent Computer Mathematics Montréal, Québec, Canada 5-9 August 2024 28 May 2024 11 June 2024
DLT Developments in Language Theory Göttingen, Germany 12-16 August 2024 3 May 2024 17 May 2024 20 July 2024
CRYPTO
 
CRYPTO
Santa Barbara, California, USA 18-22 August 2024 7 April 2024
3 May 2024
SmartData Smart Data Copenhagen, Denmark 19-22 August 2024 1 June 2024 20 June 2024 20 June 2024
RAMiCS Relational and Algebraic Methods in Computer Science Prague, Czech Republic 19-23 August 2024 21 May 2024 22 June 2024 co-located with AiML
AiML Advances in Modal Logic Prague, Czech Republic 19-23 August 2024 20 May 2024 21 June 2024 co-located with RAMiCS
PoS Pragmatics of SAT Pune, India 20 August 2024 23 June 2023 14 July 2024 15 July 2024 satellite event of SAT
SAT Theory and Applications of Satisfiability Testing Pune, India 21-24 August 2024 22 May 2024 22 June 2024 15 July 2024 preceded 18-20 August 2024 by Indian SAT+SMT School
COCOON Computing and Combinatorics Conference Shanghai, China 23-25 August 2024 25 May 2024 10 June 2024
KDD Knowledge Discovery and Data Mining Barcelona, Spain 25-29 August 2024 16 May 2024 4 June 2024 10 July 2024
ICICS
 
International Conference on Information and Communications Security
Mytilene, Lesvos, Greece 26-28 August 2024 24 June 2024 9 August 2024 30 June 2024
31 July 2024
first registration date for authors, second for attendees
Euro-Par European Conference on Parallel and Distributed Computing Madrid, Spain 26-30 August 2024 29 April 2024 2 June 2024 30 June 2024
MFCS Mathematical Foundations of Computer Science Bratislava, Slovakia 26-30 August 2024 24 June 2024 28 June 2024
PATAT Practice and Theory of Automated Timetabling Lyngby, Denmark 27-30 August 2024 3 May 2024 24 June 2024 24 June 2024
APPROX Approximation Algorithms for Combinatorial Optimization Problems London, United Kingdom 28-30 August 2024 1 July 2024 15 July 2024 co-located with RANDOM
RANDOM Randomization and Computation London, United Kingdom 28-30 August 2024 1 July 2024 15 July 2024 co-located with APPROX
SCSS Symbolic Computation in Software Science Tokyo, Japan 28-30 August 2024 1 May 2024 15 June 2024
ESA European Symposium on Algorithms Egham, United Kingdom 2-4 September 2024 23 June 2024 30 June 2024 part of ALGO
WABI Workshop on Algorithms in Bioinformatics Egham, United Kingdom 2-4 September 2024 30 June 2024 8 July 2024 part of ALGO
ALGO Federated Conference on Algorithms Egham, United Kingdom 2-6 September 2024 federated conference including ALGOCLOUD, ALGOWIN, ATMOS, ESA, IPEC, WABI, WAOA
CP Principles and Practice of Constraint Programming Girona, Catalonia, Spain 2-6 September 2024 20 June 2024 1 July 2024
ICFP International Conference on Functional Programming Milan, Italy 2-7 September 2024 20 May 2024
CIAA Conference on Implementation and Application of Automata Akita, Japan 3-6 September 2024 7 June 2023 21 June 2024
SAGT Symposium on Algorithmic Game Theory Amsterdam, The Netherlands 3-6 September 2024 5 July 2024 15 July 2024
NCL Non-Classical Logics Łódż, Poland 5-8 September 2024 15 June 2024 10 July 2024
FedCSIS Federated Conference on Computer Science and Information Systems Belgrade, Serbia 8-11 September 2024 25 June 2024 23 July 2024
FACS Formal Aspects of Component Software Milan, Italy 9-10 September 2024 3 July 2024 17 July 2024 co-located with FM
TAP Tests and Proofs Milan, Italy 9–10 September 2024 5 July 2024 19 July 2024 co-located with FM
MATCH-UP Matching Under Preferences Oxford, United Kingdom 9-11 September 2024 1 July 2024 15 July 2024
FMICS Formal Methods for Industrial Critical Systems Milan, Italy 9-11 September 2024 10 June 2024 23 June 2024 co-located with FM
LOPSTR Logic-Based Program Synthesis and Transformation Milan, Italy 9-11 September 2024 26 June 2024 17 July 2024 co-located with FM and PPDP
PPDP Principles and Practice of Declarative Programming Milan, Italy 9-11 September 2024 5 July 2024 24 July 2024 co-located with FM and LOPSTR
FM Formal Methods Milan, Italy 9-13 September 2024 10 June 2024 1 July 2024
CONFEST CONCUR & QEST & FORMATS Calgary, Canada 9-13 September 2024 federated conference including CONCUR, QEST, and FORMATS
CONCUR Concurrency Theory Calgary, Canada 9-13 September 2024 21 June 2024 12 July 2024 updates possible until 29 April 2024; part of CONFEST
QEST Quantitative Evaluation of SysTems Calgary, Canada 9-13 September 2024 31 May 2024 17 June 2024 22 April artifact submission; part of CONFEST
FORMATS Formal Modeling and Analysis of Timed Systems Calgary, Canada 9-13 September 2024 31 May 2024 17 June 2024 22 April artifact submission; part of CONFEST
ITP Interactive Theorem Proving Tbilisi, Georgia 9-14 September 2024 20 May 2024 10 June 2024 19 July 2024
ICTCS Italian Conference on Theoretical Computer Science Torino, Italy 11-13 September 2024 21 July 2024 25 August 2024
SCN Security and Cryptography for Networks Amalfi (SA), Italy 11-13 September 2024 2 July 2024 17 July 2024 31 July 2024 revisions possible until 9 May 2024
RuleML+RR International Joint Conference on Rules and Reasoning Bucharest, Romania 16-18 September 2024 19 July 2024
SAFECOMP Computer Safety, Reliability and Security Florence, Italy 17-20 September 2024 21 April 2024 1 June 2024
GD
 
Graph Drawing
Vienna, Austria 18-20 September 2024 20 July 2024 6 September 2024
LSFA Logical and Semantic Frameworks with Applications Goiânia, Brazil 18-20 September 2024 7 August 2024
AAIM Algorithmic Aspects in Information and Management Dallas, Texas. USA 21-23 September 2024 1 July 2024 10 July 2024 all times 23:59 CDT (UTC -05:00)
LOD Machine Learning, Optimization, Data Science Castiglione della Pescaia, Italy 22-25 September 2024 23 June 2024 23 July 202423 23 July 2024 early registration obligatory for authors
KI German Conference on Artificial Intelligence Würzburg, Germany 25-27 September 2024 15 June 2024 10 July 2024
DSAA Data Science and Advanced Analytics San Diego, California, USA 6-10 October 2024 24 July 2024 21 August 2024
ICLP
 
International Conference on Logic Programming
Dallas, Texas, USA 11-17 October 2024 19 June 2024
22 July 2024
5 August 2024
ADT Algorithmic Decision Theory Piscataway, New Jersey, USA 14-16 October 2024 19 July 2024 9 August 2024
FMCAD Formal Methods in Computer-Aided Design Prague, Czech Republic 14-18 October 2024 8 July 2024 August 2024 20 August 2024
PACT Parallel Architectures and Compilation Techniques Long Beach, California, USA 13-16 October 2024 1 July 2024 10 August 2024
CCS
 
Computer and Communication Security
Salt Lake City, Utah, USA 14-18 October 2024 29 May 2024
4 July 2024
12 September 2024
ECAI European Conference on Artificial Intelligence Santiago de Compostela, Spain 19-24 October 2024 4 July 2024
SAS Static Analysis Symposium Pasadena, California, USA 20-22 October 2024 16 July 2024 12 August 2024
SPLASH Systems, Programming, Languages, and Applications: Software for Humanity Pasadena, California, USA 20-25 October 2024 co-located with SAS
ATVA Automated Technology for Verification and Analysis Kyoto, Japan 21-24 October 2024 26 June 2024 22 August 2024
APLAS Asian Symposium on Programming Languages and Systems Kyoto, Japan 22-25 October 2024 2 August 2024 31 August 2024
FOCS Foundations of Computer Science Chicago, Illinois, USA 27-30 October 2024 4 July 2024 26 August 2024 15 August 2024
DISC Distributed Computing Madrid, Spain 28 October - 1 November 2024 2 August 2024 22 August 2024 workshops: 28 October & 1 November; main conference: 29-31 October 2024
KR Principles of Knowledge Representation and Reasoning Hanoi, Vietnam 2-8 November 2024 10 July 2024 31 July 2024 co-located with NMR
iFM Integrated Formal Methods Manchester, UK 13-15 November 2024 5 August 2024 19 September 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
SYNASC Symbolic and Numeric Algorithms for Scientific Computing 2024 Timişoara, Romania 16 September 2024 19 September 2024
SOFSEM Current Trends in Theory and Practice of Computer Science 2025 Bratislava, Slovakia 20 January 2025 23 January 2025
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: Mon, 24 Jun 2024 14:08:58 CEST