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 2023 and 2024 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 |
|---|---|---|---|---|---|
| ICTCS Italian Conference on Theoretical Computer Science | Palermo, Italy | 7/11 June 2023 | 13-15 September 2023 | 11 July 2023 | LNCS, 12 pages regular, 5 pages communications, both excluding references |
| SISAP Similarity Search and Applications | La Coruña, Spain | 7/18 June 2023 | 9-11 October 2023 | 24 July 2023 | LNCS, 14 pages full, 8 pages short |
| LOPSTR Logic-Based Program Synthesis and Transformation | Cascais near Lisbon, Portugal | 9 June 2023 | 23-24 October 2023 | 24 July 2023 | LNCS, 15 pages regular, 8 pages short, both excluding references; co-located with PPDP, part of SPLASH |
| NMR Non-Monotonic Reasoning | Rhodes, Greece | 9/16 June 2023 | 2-4 September 2023 | 17 July 2023 | CEURART, 10 pages full, 3 pages extended abstracts; co-located with KR |
| DL Description Logics | Rhodes, Greece | 9/16 June 2023 | 2-4 September 2023 | 26 July 2023 | CEURART, 11 pages regular, 4 pages extended abstract, both excluding references; co-located with KR |
| ALGOWIN Algorithmic of Wireless Networks | Amsterdam, The Netherlands | 11 June 2023 | 7-8 September 2023 | 1 August 2023 | LNCS, 12 pages excluding references; part of ALGO |
| ADG Automated Deduction in Geometry | Belgrade, Serbia | 12 June 2023 | 20-22 September 2023 | 10 July 2023 | LNCS, 12 pages |
| PRICAI Pacific Rim International Conference on Artificial Intelligence | Jakarta, Indonesia | 12 June 2023 | 17-19 November 2023 | 31 July 2023 | LNCS, double-blind, 12 pages excluding references |
| AIxIA Italian Association for Artificial Intelligence | Rome, Italy | 16/23 June 2023 | 6-9 November 2023 | 30 July 2023 | LNCS, 12 pages regular, 8 pages discussion, both excluding references |
| ICTAC International Colloquium on Theoretical Aspects of Computing | Lima, Peru | 16 June 2023 | 4-8 December 2023 | 10 September 2023 | LNCS, 16 pages + 2 pages references research, 8 pages short and tools |
| SEFM Software Engineering and Formal Methods | Eindhoven, The Netherlands | 16/23 June 2023 | 6-10 November 2023 | 18 August 2023 | LNCS, 16 pages regular + 2 pages references, 8 pages tools |
| RuleML+RR International Joint Conference on Rules and Reasoning | Oslo, Norway | 17 June 2023 | 18-20 September 2023 | 1 July 2023 | LNCS, double-blind, 15 pages long, 8 pages short |
| GandALF Games, Automata, Logics, and Formal Verification | Udine, Italy | 23/30 June 2023 | 18-20 September 2023 | 7 August 2023 | EPTCS, 14 pages excluding references |
| ALGOCLOUD Algorithms for Cloud-Based Systems | Amsterdam, The Netherlands | 25 June 2023 | 4-8 September 2023 | 1 August 2023 | LNCS, 12 pages excluding references regular, 8 pages short, 10 pages survey; part of ALGO |
| IPEC International Symposium on Parameterized and Exact Computation | Amsterdam, The Netherlands | 27/30 June 2023 | 6-8 September 2023 | 1 August 2023 | LIPIcs, double-blind, no page limit, but only first 10 pages read; part of ALGO |
| Data Science Competition Data Science and Advanced Analytics |
Thessaloniki, Greece | 28/30 June 2023 | 9-13 October 2023 | 15 July 2023 | IEEE Transactions, 4 pages |
| WAOA Workshop on Approximation and Online Algorithms | Amsterdam, The Netherlands | 29 June 2023 | 7-8 September 2023 | 31 July 2023 | LNCS, double-blind, 10 pages excluding references; part of ALGO |
| ATMOS Algorithmic Approaches for Transportation Modelling, Optimization, and Systems | Amsterdam, The Netherlands | 30 June 2023 | 7-8 September 2023 | 31 July 2023 | OASIcs, 12 pages regular excluding references, 6 pages short; part of ALGO |
| ISAAC International Symposium on Algorithms and Computation | Kyoto, Japan | 30 June 2023 | 3-6 December 2023 | 4 September 2023 | LIPIcs, 12 pages excluding references |
| COCOON Computing and Combinatorics Conference |
Hawaii, USA | 30 June 2023 23:59 CEST (UTC+02:00) |
15-17 December 2023 | 15 August 2023 | LNCS, 12 pages |
| JAF Journées sur les Arithmétiques Faibles | Samos, Greece | 30 June 2023 | 25-27 September 2023 | 30 July 2023 | 3 pages |
| POPL Principles of Programming Languages | London, UK | 11 July 2023 | 17-19 January 2023 | ACMart, double-blind, 25 pages excluding references | |
| ICDCN International Conference on Distributed Computing and Networking | Chennai, India | 26 July 2023 | 4-7 January 2024 | 28 September 2023 | ACM, double-column, 10 pages regular, 5 pages short |
| COCOA Conference on Combinatorial Optimization and Applications |
Dallas, Texas, USA virtual | 12/19 August 2023 23:59 CEST (UTC+02:00) |
11-13 December 2023 | 1 October 2023 | LNCS, 12 pages |
| SOFSEM Current Trends in Theory and Practice of Computer Science | Cochem, Germany | 28 August / 1 September 2023 | 19-23 February 2024 | in November 2023 | LNCS |
| VMCAI Verification, Model Checking, and Abstract Interpretation |
London, UK | 31 August 2023 | 15-16 January 2024 | 4 October 2023 | LNCS, 20 pages regular, 20 pages case studies, 12 pages tool descriptions, all excluding references; co-located with POPL |
| Conference | City, Country | Deadline | Date | Notification | Submission format and comments |
Running conferences
| Conference | City, Country | Date | Remark |
|---|---|---|---|
| LPAR Logic for Programming, Artificial Intelligence and Reasoning | Manizales, Colombia | 4-9 June 2023 | |
| SIROCCO Structural Information and Communication Complexity | Ávila, Spain | 6-9 June 2023 | |
| IWOCA International Workshop on Combinatorial Algorithms | Tainan, Taiwan | 6-9 June 2023 | |
| Conference | City, Country | Date | Remark |
Future conferences with deadline over
| Conference | City, Country | Date | Notification | Final version | Early registration and other indications | Remark |
|---|---|---|---|---|---|---|
| SoCG Symposium on Computational Geometry | Dallas, Texas, USA | 12-15 June 2023 | 7 February 2023 | 16 March 2022 | 15 April 2023 | |
| DLT Developments in Language Theory | Umeå, Sweden | 12-16 June 2023 | 1 April 2023 | 10 April 2023 | 30 April 2023 | |
| WORDS Combinatorics on Words | Umeå, Sweden | 12-16 June 2023 | 1 April 2023 | 10 April 2023 | 30 April 2023 | |
| CAiSE Advanced Information Systems Engineering | Zaragoza, Spain | 12-16 June 2023 | 1 March 2023 | 28 March 2023 | 1 May 2023 | |
| TYPES Types for Proofs and Programs | València, Spain | 12-17 June 2023 | 5 May 2023 | 12 May 2023 | 21 May 2023 | |
| CIAC International Conference on Algorithms and Complexity | Larnaca, Cyprus | 13-16 June 2023 | 29 January 2023 | 16 February 2023 | 1 May 2023 | |
| FCRC Federated Computing Research Conference |
Orlando, Florida, USA | 16-23 June 2023 | 18 May 2023; federated conference including ISCA, PADS, PLDI, PODC, SIGMETRICS, SPAA, and STOC |
|||
| SPAA Symposium on Parallelism in Algorithms and Architectures | Orlando, Florida, USA | 16-19 June 2023 | 22 March 2023 | 20 April 2023 | 18 May 2023; part of FCRC | |
| SIGMOD International Conference on Management of Data | Seattle, Washington, USA | 18-23 June 2023 | 20 December 2022 | 20 January 2023 | 1 May 2023; co-located with PODS | |
| PODS Principles of Database Systems | Seattle, Washington, USA | 18-23 June 2023 | 13 March 2023 | 1 May 2023; co-located with SIGMOD | ||
| SAND Algorithmic Foundations of Dynamic Networks | Pisa, Italy | 19-21 June 2023 | 23 March 2023 | 15 June 2023 | ||
| CIAA Conference on Implementation and Application of Automata | Famagusta, Cyprus | 19-22 September 2023 | 29 May 2023 | 9 June 2023 | ||
| DisCoTec Distributed Computing Techniques | Lisbon, Portugal | 19-23 June 2023 | 31 March 2023 | 30 April 2023 | federated conference including COORDINATION, DAIS, and FORTE | |
| COORDINATION Coordination Models and Languages | Lisbon, Portugal | 19-23 June 2023 | 7 April 2023 | 30 April 2023 | part of DisCoTec | |
| DAIS Distributed Applications and Interoperable Systems | Lisbon, Portugal | 19-23 June 2023 | 7 April 2023 | 30 April 2023 | part of DisCoTec | |
| FORTE Formal Techniques for Distributed Objects, Components, and Systems | Lisbon, Portugal | 19-23 June 2023 | 7 April 2023 | 30 April 2023 | part of DisCoTec | |
| PODC Principles of Distributed Computing | Orlando, Florida, USA | 19-23 June 2023 | 30 March 2023 | 18 May 2023; part of FCRC | ||
| CALCO Conference on Algebra and Coalgebra in Computer Science | Bloomington, Indiana, USA | 19-23 June 2023 | 28 April 2023 | 6 June 2023 | co-located with MFPS | |
| MFPS Mathematical Foundations of Programming Semantics | Bloomington, Indiana, USA | 19-23 June 2023 | 12 May 2023 | 26 May 2023 | co-located with CALCO | |
| STOC Symposium on Theory of Computing | Orlando, Florida, USA | 20-23 June 2023 | 6 February 2023 | 18 May 2023; part of FCRC | ||
| CTW Cologne-Twente Workshop on Graphs and Combinatorial Optimization |
Garmisch-Partenkirchen, Germany | 20-23 June 2023 | 3 April 2023 2 May 2023 |
16 May 2023 | ||
| IPCO Integer Programming and Combinatorial Optimization | Madison, Wisconsin, USA | 21-23 June 2023 | 20 January 2023 | 1 April 2023 | ||
| CPM Combinatorial Pattern Matching | Marne-la-Vallée, France | 26-28 June 2023 | 27 March 2023 | 28 May 2023 | ||
| LICS Logic in Computer Science | Boston, Massachusetts, USA | 26-29 June 2023 | 5 April 2023 | 12 May 2023 | ||
| DEBS Distributed and Event-Based Systems | Neuchâtel, Switzerland | 27-30 June 2023 | 27 April 2023 | 26 May 2023 | 13 June 2023 | |
| WG Graph-Theoretic Concepts in Computer Science | Fribourg, Switzerland | 28-30 June 2023 | 26 April 2023 | 21 July 2023 | 31 May 2023 | |
| CSCML Cyber Security, Cryptology and Machine Learning | virtual | 29-30 June 2023 | 14 March 2023 | 31 March 2023 | 29 June 2023, 07:00 IDT (UTC+03:00) - registration is FREE but obligatory | VIRTUAL |
| CADE Conference on Automated Deduction | Rome, Italy | 1-4 July 2023 | 3 May 2023 | 24 May 2023 | 31 May 2023; co-located with FSCD | |
| WPTE Workshop on Rewriting Techniques for Program Transformations and Evaluation | Rome, Italy | 1 July 2023 | 7 June 2023 | 18 June 2023 | 31 May 2023; workshop affiliated with FSCD and CADE | |
| LSFA Logical and Semantic Frameworks, with Applications | Rome, Italy | 1-2 July 2023 | 27 May 2023 | 10 June 2023 | 31 May 2023; workshop affiliated with FSCD | |
| DCM Developments in Computational Models | Rome, Italy | 2 July 2023 | 15 May 2023 | 31 May 2023; workshop affiliated with FSCD and CADE | ||
| UNIF Workshop on Unification | Rome, Italy | 2 July 2023 | 26 May 2023 | 9 June 2023 | 31 May 2023; part of FSCD | |
| FSCD Formal Structures for Computation and Deduction | Rome, Italy | 3-6 July 2023 | 13 April 2023 | 27 April 2023 | 31 May 2023; co-located with CADE | |
| HOR Higher-Order Rewriting | Rome, Italy | 4 July 2023 | 29 May 2023 | 12 June 2023 | 31 May 2023; workshop affiliated with FSCD | |
| TASE Theoretical Aspects of Software Engineering | Bristol, UK | 4-6 July 2023 | 10 April 2023 | 1 May 2023 | 14 June 2023 | |
| SAT Theory and Applications of Satisfiability Testing | Alghero, Italy | 4-8 July 2023 | 15 May 2023 | 4 June 2023 | 8 June 2023 | |
| ADEMAL Automated Deduction for Machine Learning | Rome, Italy | 5 July 2023 | 26 May 2023 | 31 May 2023 | 31 May 2023; workshop affiliated with CADE | |
| ThEdu Theorem proving components for Educational software | Rome, Italy | 5 July 2023 | 19 May 2023 | 31 May 2023; workshop affiliated with CADE | ||
| DEON Deontic Logic and Normative Systems | Trois-Rivières, Quebec, Canada | 5-7 July 2023 | 30 June 2023 | HYBRID | ||
| ICAPS International Conference on Automated Planning and Scheduling | Prague, Czech Republic | 8-13 July 2023 | 4 February 2023 | 5 May 2023 | ||
| EC Economics and Computation |
London, UK | 9-12 July 2023 | 6 March 2023 1 May 2023 |
19 May 2023 | ||
| ICLP International Conference on Logic Programming | London, UK | 9-15 July 2023 | 28 February 2023 | 26 May 2023 | 15 June 2023 (normal), 20 June 2023 (students), both 23:59 GMT (UTC+0:0) | |
| PLP Probabilistic Logic Programming | London, UK | 9-15 July 2023 | 8 June 2023 | 20 June 2023 | co-located with ICLP | |
| ASPOCP Answer Set Programming and Other Computing Paradigms | London, UK | 9-15 July 2023 | 12 June 2023 | 22 June 2023 | workshop affiliated with ICLP | |
| ISPDC International Symposium on Parallel and Distributed Computing | Bucharest, Romania | 10-12 July 2023 | 30 May 2023 | 28 June 2023 | 24 June 2023 (author), 27 June 2023 (early) | |
| ICALP International Colloquium on Automata, Languages and Programming | Paderborn, Germany | 10-14 July 2023 | 21 April 2023 | 5 May 2023 | 15 May 2023, 23:59 CEST (UTC+02:00) | |
| CSF Computer Security Foundations | Dubrovnik, Croatia | 10-14 July 2023 | 7 April 2023 | |||
| WoLLIC Workshop on Logic, Language, Information and Computation | Halifax, Nova Scotia, Canada | 11-14 July 2023 | 15 May 2023 | 5 June 2023 | 25 May 2023 | HYBRID |
| COLT Conference on Learning Theory | Bangalore, India | 12-15 July 2023 | 15 May 2023 | |||
| SoCS Symposium on Combinatorial Search | Prague, Czech Republic | 14-16 July 2023 | 27 April 2023 | 15 May 2023 | 17 May 2023 | |
| GECCO Genetic and Evolutionary Computation Conference | Lisbon, Portugal | 15-19 July 2023 | 31 March 2023 | 20 April 2023 | 10 May 2023 | HYBRID |
| CCC Computational Complexity Conference | Warwick, UK | 17-20 July 2023 | 1 May 2023 | mid May 2023 | ||
| FOIS Formal Ontology in Information Systems | Sherbrooke, Quebec, Canada | 17-20 July 2023 | 10 April 2023 | 1 May 2023 | 22 May 2023 | |
| ICFCA International Conference on Formal Concept Analysis | Kassel, Germany | 17-21 July 2023 | 30 March 2023 | 21 April 2023 | 15 June 2023 | |
| ICGT International Conference on Graph Transformation | Leicester, UK | 17-21 July 2023 | 25 April 2023 | 7 May 2023 | 14 June 2023 | |
| CAV Computer-Aided Verification | Paris, France | 17-22 July 2023 | 25 April 2023) | 29 May 2023 | 21 May 2023 | |
| ICDCS International Conference on Distributed Computing Systems | Hong Kong, SAR China | 18-21 July 2023 | 3 April 2023 | 8 May 2023 | 10 June 2023 (author), 20 June 2023 (early) | |
| TAP Tests and Proofs | Leicester, UK | 18-21 July 2023 | 21 April 2023 | 15 May 2023 | 14 June 2023 | |
| MIWAI Multi-Disciplinary International Conference on Artificial Intelligence | Hyderabad, India | 20-22 July 2023 | 5 April 2023 | 30 March 2023 | ||
| SEA Symposium on Experimental Algorithms | Barcelona, Spain | 24-26 July 2023 | 27 March 2023 | 28 April 2023 | 14 June 2023 | |
| ISSAC International Symposium on Symbolic and Algebraic Computation |
Tromsø, Norway | 24-27 July 2023 | 18 April 2023 2 May 2023 |
22 May 2023 | 4 June 2023 | |
| CiE Computability in Europe | Batumi, Georgia | 24-28 July 2023 | 20 April 2023 | 1 May 2023 | 18 June 2023 | HYBRID |
| WADS Algorithms and Data Structures | Montreal, Canada | 31 July - 2 August 2023 | 17 April 2023 | |||
| ITP Interactive Theorem Proving | Białystok, Poland | 31 July - 4 August 2023 | 17 April 2023 | 15 May 2023 | ||
| CCCG Canadian Conference on Computational Geometry | Montreal, Canada | 2-4 August 2023 | 2 June 2023 | 30 June 2023 | ||
| KDD Knowledge Discovery and Data Mining | Long Beach, California, USA | 6-10 August 2023 | 18 May 2023 | 10 June 2023 | 26 June 2023 (17:00 PDT (UTC-07:00)) | |
| CRYPTO CRYPTO | Santa Barbara, California, USA | 19-24 August 2023 | 5 May 2023 | |||
| IJCAI International Joint Conference on Artificial Intelligence |
Cape Town, South Africa Macao, SAR China |
19-25 August 2023 | 19 April 2023 | 19 June 2023 | ||
| PST Privacy, Security & Trust | Copenhagen, Denmark | 21-23 August 2023 | 9 June 2023 | 1 July 2023 | 1 July 2023 | |
| IWC International Workshop on Confluence | Obergurgl, Austria | 23 August 2023 | 15 June 2023 | |||
| ISPEC Information Security Practice and Experience | Lyngby, Denmark | 24-25 August 2023 | 1 July 2023 | 15 July 2023 | ||
| CP Principles and Practice of Constraint Programming | Toronto, Canada | 27-31 August 2023 | 3 July 2023 | 10 July 2023 | ||
| MFCS Mathematical Foundations of Computer Science | Bordeaux, France | 28 August - 1 September 2023 | 27 June 2023 | 18 July 2023 | ||
| Euro-Par European Conference on Parallel and Distributed Computing | Limassol, Cyprus | 28 August - 1 September 2023 | 30 April 2023 | 2 June 2023 | 24 July 2023 (author & early) | |
| Eurocomb European Conference on Combinatorics, Graph Theory and Applications | Prague, Czech Republic | 28 August - 1 September 2023 | 6 May 2023 | 30 May 2023 | 13 June 2023 | |
| KR Principles of Knowledge Representation and Reasoning | Rhodes, Greece | 2-8 September 2023 | 18 May 2023 | 9 June 2023 | ||
| SAGT Symposium on Algorithmic Game Theory | London, UK | 4-7 September 2023 | 1 July 2023 | 15 July 2023 | ||
| ALGO ALGO | Amsterdam, The Netherlands | 4-8 September 2023 | federated conference including ALGOCLOUD, ALGOWIN, ATMOS, IPEC, ESA, and WAOA | |||
| ESA European Symposium on Algorithms | Amsterdam, The Netherlands | 4-6 September 2023 | 23 June 2023 | 30 June 2023 | part of ALGO | |
| CICM Conference on Intelligent Computer Mathematics | Cambridge, UK | 4-8 September 2023 | 20 May 2023 | 12 June 2023 | HYBRID | |
| ICFP International Conference on Functional Programming |
Seattle, Washington, USA | 4-9 September 2023 | 18 May 2023 27 June 2023 |
|||
| EPIA Portuguese Conference on Artificial Intelligence | Faial Island, Azores, Portugal | 5-8 September 2023 | 5 June 2023 | 15 June 2023 | 7 July 2023 | |
| CLAR International Conference on Logic and Argumentation | Hangzhou, China | 10-12 September 2023 | 15 June 2023 | 30 June 2023 | ||
| APPROX Approximation Algorithms for Combinatorial Optimization Problems | Atlanta, Georgia, USA | 11-13 September 2023 | 26 June 2023 | 10 July 2023 | co-located with RANDOM | |
| RANDOM Randomization and Computation | Atlanta, Georgia, USA | 11-13 September 2023 | 26 June 2023 | 10 July 2023 | co-located with APPROX | |
| ICCS International Conference on Conceptual Structures | Berlin, Germany | 11-13 September 2023 | 7 June 2023 | 21 June 2023 | ||
| ASE Automated Software Engineering | Kirchberg, Luxembourg | 11-15 September 2023 | 17 July 2023 | 18 August 2023 | ||
| EUMAS European Conference on Multi-Agent Systems | Naples, Italy | 14-15 September 2023 | 5 July 2023 | 20 July 2023 | ||
| FedCSIS Federated Conference on Computer Science and Information Systems | Warsaw, Poland | 17-20 September 2023 | 11 July 2023 | 31 July 2023 | 31 July 2023 (author) | |
| TABLEAUX Automated Reasoning with Analytic Tableaux and Related Methods | Prague, Czech Republic | 18-21 September 2023 | 9 July 2023 | 23 July 2023 | co-located with FroCoS | |
| FCT Fundamentals of Computation Theory | Trier, Germany | 18-21 September 2023 | 17 July 2023 | 24 July 2023 | ||
| TbiLLC Tbilisi Symposium on Logic, Language and Computation | Telavi, Georgia | 18-22 September 2023 | 8 June 2023 | 10 July 2023 | 30 June 2023 | |
| LAGOS Latin-American Algorithms, Graphs and Optimization Symposium | Huatulco, Oaxaca, México | 18-22 September 2023 | 12 June 2023 | 26 June 2023 | ||
| Confest Confest | Antwerp, Belgium | 18-23 September 2023 | federated conference inclusing CONCUR, FMICS, FORMATS, and QEST | |||
| CONCUR Concurrency Theory | Antwerp, Belgium | 18-23 September 2023 | 28 June 2023 | 12 July 2023 | part of Confest | |
| QEST Quantitative Evaluation of SysTems | Antwerp, Belgium | 18-23 September 2023 | 29 June 2023 | part of Confest | ||
| FORMATS Formal Modeling and Analysis of Timed Systems | Antwerp, Belgium | 19-21 September 2023 | 16 June 2023 | 14 July 2023 | part of Confest | |
| SAFECOMP Computer Safety, Reliability and Security | Toulouse, France | 19-22 September 2023 | 22 April 2023 | 1 June 2023 | ||
| ECSQARU European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty | Arras, France | 19-22 September 2023 | 14 June 2023 | 4 July 2023 | ||
| FroCoS Frontiers of Combining Systems | Prague, Czech Republic | 20-22 September 2023 | 3 July 2023 | 21 July 2023 | co-located with TABLEAUX | |
| FMICS Formal Methods for Industrial Critical Systems | Antwerp, Belgium | 20-22 September 2023 | 21 July 2023 | 31 July 2023 | part of Confest | |
| JELIA European Conference on Logics in Artificial Intelligence | Dresden, Germany | 20-22 September 2023 | 10 July 2023 | 27 July 2023 | ||
| SEMANTICS Semantic Systems | Leipzig, Germany | 20-22 September 2023 | 20 June 2023 | 4 July 2023 | ||
| TIME Temporal Representation and Reasoning | Athens, Greece | 25-26 September 2023 | 30 June 2023 | 14 July 2023 | ||
| ESORICS European Symposium on Research in Computer Security | The Hague, The Netherlands | 25-29 September 2023 | 30 July 2023 | 20 August 2023 | ||
| 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 | |||
| ECAI European Conference on Artificial Intelligence | Kraków, Poland | 1-6 October 2023 | 15 July 2023 | 1 August 2023 | ||
| DISC Distributed Computing | L'Aquila, Italy | 9-13 October 2023 | 19 July 2023 | 8 August 2023 | ||
| DSAA Data Science and Advanced Analytics | Thessaloniki, Greece | 9-13 October 2023 | 24 July 2023 | 21 August 2023 | ||
| PPDP Principles and Practice of Declarative Programming | Cascais near Lisbon, Portugal | 22-23 October 2023 | 9 July 2023 | 30 July 2023 | co-located with LOPSTR, part of SPLASH | |
| FMCAD Formal Methods in Computer-Aided Design | Ames, Iowa, USA | 23-27 October 2023 | 8 July 2023 | 14 August 2023 | ||
| ATVA Automated Technology for Verification and Analysis | Singapore | 24-28 October 2023 | 30 June 2023 | 25 July 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 | |||
| Conference | City, Country | Date | Notification | Final version | Early registration and other indications | Remark |
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 |
|---|---|---|---|---|---|
| ANTS Algorithmic Number Theory Symposium | 2024 | Cambridge, Massachusetts, USA | 15 July 2024 | 19 July 2024 | |
| 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-2023
Last modified: Thu, 08 Jun 2023 08:33:14 CEST