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 2024 and 2025 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 |
|---|---|---|---|---|---|
| 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 | CEUR-WS,15 pages full, 8 pages short, 2 pages abstracts, all excluding references; 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 |
| 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 |
| PAAR Practical Aspects of Automated Reasoning | Nancy, France | 19/26 April 2024 | 2 July 2024 | 1 June 2024 | CEURART, 15 pages regular, 8 pages extended abstracts; co-located with IJCAR |
| SC2 Satisfiability Checking and Symbolic Computation |
Nancy, France | 19 April 2024 3 May 2024 |
2 July 2024 | 17 May 2024 | CEUR-WG, 16 pages full, 4 pages extended abstracts, both excluding references,
2 pages presentation only; second deadline for ISSAC Fast-Track; co-located with IJCAR |
| ESA European Symposium on Algorithms | Egham, United Kingdom | 22 April 2024 | 2-4 September 2024 | 23 June 2024 | LIPIcs, double-blind, 12 pages excluding front matter and references; part of ALGO |
| WADT Workshop on Algebraic Development Techniques |
Enschede, The Netherlands | 22 April 2024 16 September 2024 |
during STAF | 29 April 2024 25 November 2024 |
second dates for post-proceedings |
| LOD Machine Learning, Optimization, Data Science | Castiglione della Pescaia, Italy | 23 April 2024 | 22-25 September 2024 | 23 May 2024 | LNCS, 15 pages long, 11 pages short |
| SCN Security and Cryptography for Networks | Amalfi (SA), Italy | 24 April 2024 | 11-13 September 2024 | 24 June 2024 | LNCS, 20 pages excluding references |
| 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 |
| UNIF Workshop on Unification | Nancy, France | 25 April 2024 | 2 July 2024 | 23 May 2024 | EPiC, 5 pages; co-located with IJCAR |
| 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, 12 pages excluding references |
| CILC Italian Conference on Computational Logic | Rome, Italy | 26 April 2024 | 26-28 June 2024 | 22 May 2024 | CEURART, 15 pages full, 8 pages short |
| 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 |
| CCS Computer and Communication Security | Salt Lake City, Utah, USA | 29 April 2024 | 14-18 October 2024 | ACM, 12 pages 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 |
TPLP,
14 pages regular; EPTCS, 7 pages short, 3 pages recently published, 3 pages system demonstrations, 3 pages birds of a feather |
| SmartData Smart Data | Copenhagen, Denmark | 1 May 2024 | 19-22 August 2024 | 1 June 2024 | IEEE Transactions, 8 pages regular, 6 pages workshop |
| MATCH-UP Matching Under Preferences | Oxford, United Kingdom | 1 May 2024 | 9-11 September 2024 | 1 July 2024 | 12 pages A4 |
| QUANTIFY Workshop on Quantification | Nancy, France | 1 May 2024 | 1 July 2024 | 21 May 2024 | LNCS, 15 pages full and tutorial, 2 pages talk abstracts, all excluding references; co-located with IJCAR |
| DSAA Data Science and Advanced Analytics | San Diego, California, USA | 2 May 2024 | 6-10 October 2024 | 24 July 2024 | IEEE, 2 columns, 10 pages |
| CIAA Conference on Implementation and Application of Automata | Akita, Japan | 3 May 2023 | 3-6 September 2024 | 7 June 2023 | LNCS, 12 pages |
| ICICS International Conference on Information and Communications Security | Mytilene, Lesvos, Greece | 3 May 2024 | 26-28 August 2024 | 24 June 2024 | LNCS, 20 pages |
| 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 |
| DISC Distributed Computing | Madrid, Spain | 7/14 May 2024 | 28 October - 1 November 2024 | 2 August 2024 | LIPIcs, double-blind, no page limit, but only first 15 pages read, 15 pages excluding references in proceedings |
| 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 Algorithmic Decision Theory | Piscataway, New Jersey, USA | 10/17 May 2024 | 14-16 October 2024 | 19 July 2024 | LNCS, 15 pages |
| PoS Pragmatics of SAT |
Pune, India | 13/18 May 2024 27 May 2024 5 June 2024 |
20 August 2024 | 23 June 2023 | CEURART, 1 column,
15 pages long, 8 pages short, both excluding references, 8 pages competition solver description; 3rd deadline for SAT fast track, last deadline for competition solver descriptions; satellite event of SAT |
| 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 Workshop on Algorithms in Bioinformatics | Egham, United Kingdom | 19 May 2024 | 2-4 September 2024 | 23 June 2024 | LIPIcs, 15 pages excluding front matter and references; part of ALGO |
| SAGT Symposium on Algorithmic Game Theory | Amsterdam, The Netherlands | 21 May 2024 | 3-6 September 2024 | 5 July 2024 | LNCS, 18 pages excluding references |
| 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 |
| GD Graph Drawing |
Vienna, Austria | 31 May / 7 June 2024 | 18-20 September 2024 | 20 July 2024 | LIPIcs
with own LaTeX class, double-blind,
500 lines regular, 225 lines short, both excluding front matter and references |
| LSFA Logical and Semantic Frameworks with Applications | Goiânia, Brazil | 31 May / 7 June 2024 | 18-20 September 2024 | EPTCS, 16 pages full, 6 pages short | |
| IOTSMS Internet of Things: Systems, Management and Security | Malmö, Sweden | 1 June 2024 | 2-5 September 2024 | 15 July 2024 | IEEE, 2 column, 8 pages full regular, 6 pages short, 3 pages posters and demos |
| JAF Journées sur les Arithmétiques Faibles | Passau, Germany | 2 June 2024 | 9-11 September 2024 | 2 July 2024 | 3 pages |
| iFM Integrated Formal Methods | Manchester, UK | 3/10 June 2024 | 13-15 November 2024 | 5 August 2024 | LNCS, 16 pages regular, 6 pages short |
| SEFM Software Engineering and Formal Methods | Aveiro, Portugal | 7/14 June 2024 | 4-8 November 2024 | 15 August 2024 | LNCS, 16 pages excludinge references regular, 8 pages tool |
| MLCS Machine Learning for Cybersecurity | Vilnius, Lithuania | 15 June 2024 | 9-13 September 2024 | 15 July 2024 | LNCS, 16 pages regular, 6 pages short |
| WISE Web Information Systems Engineering | Doha, Qatar | 20/30 June 2024 | 2-5 December 2024 | 30 August 2024 | LNCS, double-blind, 15 pages |
| TIME Temporal Representation and Reasoning | Montpellier, France | 21 June 2024 | 28-30 October 2024 | 2 August 2024 | LIPIcs, 12 pages excluding references + 5 pages appendix |
| LPNMR Logic Programming and Non-Monotonic Reasoning | Dallas, Texas, USA | 21/28 June 2024 | 11-14 October 2024 | 28 July 2024 | LNCS, 13 pages long, 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 |
| 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 |
| 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 |
| 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 |
| 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 | |||
| 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 |
| Conference | City, Country | Deadline | Date | Notification | Submission format and comments |
Running conferences
| Conference | City, Country | Date | Remark |
|---|---|---|---|
| SDM Data Mining | Houston, Texas, USA | 18-20 April 2023 | |
| Conference | City, Country | Date | Remark |
Future conferences with deadline over
| Conference | City, Country | Date | Notification | Final version | Early registration | Remarks and other indications |
|---|---|---|---|---|---|---|
| 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 | 11 April 2024 | |
| TAMC Theory and Applications of Models of Computation | Hong Kong, SAR China | 13-15 May 2024 | 1 February 2024 | 31 March 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 | 30 April 2024 | |
| ISCO International Symposium on Combinatorial Optimization | Tenerife, Canary Islands, Spain | 22-24 May 2024 | 15 March 2024 | 15 April 2024 | 31 March 2024 | school 20-21 May 2024 |
| EUROCRYPT Theory and Applications of Cryptographic Techniques |
Zurich, Switzerland | 26-30 May 2024 | 8 December 2023 31 January 2024 |
26 April 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 | 31 March 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 | 31 March 2024 | ||
| HALG Highlights of Algorithms | Warsaw, Poland | 3-5 June 2024 | 25 May 2024 | 1 May 2024 | ||
| NFM NASA Formal Methods | Moffett Field, California, USA | 4-6 June 2024 | 16 February 2024 | 15 March 2024 | ||
| FUN Fun With Algorithms | La Maddalena Island, Sardinia, Italy | 4-8 June 2024 | 2 April 2024 | 15 April 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 | |
| SCAI Scandinavian Conference on AI | Jönköping, Sweden | 10-11 June 2024 | 28 April 2024 | 12 May 2024 | ||
| WoLLIC Workshop on Logic, Language, Information and Computation | Bern, Switzerland | 10-13 June 2024 | 15 April 2024 | 29 April 2024 | 10 May 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 | |
| AofA Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms | Bath, United Kingdom | 17-21 June 2024 | 28 April 2024 | 19 May 2024 | 3 May 2024 | |
| DL Description Logics | Bergen, Norway | 18-21 June 2024 | 8 May 2024 | 3 June 2024 | 21 May 2024 | |
| 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 | 6 May 2024 | |
| CPM Combinatorial Pattern Matching | Fukuoka, Japan | 25-27 June 2024 | 10 April 2024 | |||
| DCFS Descriptional Complexity of Formal Systems | Santa Clara, California, USA | 25-27 June 2024 | 26 April 2024 | 10 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 | |||
| IWOCA International Workshop on Combinatorial Algorithms | Ischia, Italy | 1-4 July 2024 | 15 April 2024 | 26 April 2024 | ||
| TACL Topology, Algebra, and Categories in Logic | Barcelona, Spain | 1-5 July 2024 | 20 April 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 | 4 June 2024 | |
| ThEdu Theorem proving components for Educational software | Nancy, France | 2 July 2024 | 8 May 2024 | 4 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 | |
| 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 | |
| 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 | |||
| ECMFA European Conference on Modelling Foundations and Applications |
Enschede, The Netherlands | 8-12 July 2024 | 10 April 2024 5 June 2024 |
part of STAF | ||
| ICGT International Conference on Graph Transformation | Enschede, The Netherlands | 8-12 July 2024 | 23 April 2024 | 14 May 2024 | ||
| 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 | |||
| 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 | ||
| 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 | |
| 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 | |||
| 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 | ||
| TASE Theoretical Aspects of Software Engineering | Guiyang, China | 29 July - 1 August 2024 | 10 April 2024 | 10 May 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 | ||
| 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 | ||
| CRYPTO CRYPTO |
Santa Barbara, California, USA | 18-22 August 2024 | 7 April 2024 3 May 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 | |
| SAT Theory and Applications of Satisfiability Testing | Pune, India | 21-24 August 2024 | 22 May 2024 | 22 June 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 | |
| Euro-Par European Conference on Parallel and Distributed Computing | Madrid, Spain | 26-30 August 2024 | 29 April 2024 | 2 June 2024 | 30 June 2024 | |
| PATAT Practice and Theory of Automated Timetabling | Lyngby, Denmark | 27-30 August 2024 | 3 May 2024 | 24 June 2024 | 24 June 2024 | |
| SCSS Symbolic Computation in Software Science | Tokyo, Japan | 28-30 August 2024 | 1 May 2024 | 15 June 2024 | ||
| ALGO ALGO | Egham, United Kingdom | 2-6 September 2024 | federated conference including ALGOCLOUD, ESA, IPEC, ATMOS, WABI | |||
| ICFP International Conference on Functional Programming | Milan, Italy | 2-7 September 2024 | 20 May 2024 | |||
| QEST Quantitative Evaluation of SysTems | Calgary, Canada | 9-13 September 2024 | 31 May 2024 | 17 June 2024 | 22 April artifact submission; co-located with FORMATS | |
| FORMATS Formal Modeling and Analysis of Timed Systems | Calgary, Canada | 9-13 September 2024 | 31 May 2024 | 17 June 2024 | 22 April artifact submission; co-located with QEST | |
| ITP Interactive Theorem Proving | Tbilisi, Georgia | 9-14 September 2024 | 20 May 2024 | 10 June 2024 | ||
| 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 | |||
| FOCS Foundations of Computer Science | Chicago, Illinois, USA | 27-30 October 2024 | 1 July 2024 | |||
| Conference | City, Country | Date | Notification | Final version | Early registration | Remarks and other indications |
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 |
|---|---|---|---|---|---|
| ALGOCLOUD Algorithms for Cloud-Based Systems | 2024 | Egham, United Kingdom | 2 September 2024 | 3 September 2024 | part of ALGO |
| SYNASC Symbolic and Numeric Algorithms for Scientific Computing | 2024 | Timişoara, Romania | 16 September 2024 | 19 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 |
| 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-2024
Last modified: Thu, 18 Apr 2024 14:27:55 CEST