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 2022 and 2023 can help you to consider the deadlines and dates.
- Your time zone is UTC
Deadline ahead
| Conference | City, Country | Deadline | Date | Notification of acceptance | Submission format and comments |
|---|---|---|---|---|---|
| FACS Formal Aspects of Component Software | Oslo, Norway online | 24 June / 4 July 2022 | 10-11 November 2022 | 5 September 2022 | LNCS, 16 pages full, 6 pages short, 4 pages journal-first, all excluding references |
| TIME Temporal Representation and Reasoning | online | 26 June / 3 July 2022 | 7-9 November 2022 | 1 August 2022 | LIPIcs, 12 pages excluding references + 5 pages appendix |
| ALGOCLOUD Algorithms for Cloud-Based Systems | Potsdam, Germany | 27 June 2022 | 5-6 September 2022 | 27 July 2022 | LNCS, 12 pages excluding references regular, 8 pages short, 10 pages survey; part of ALGO |
| ISAAC International Symposium on Algorithms and Computation | Seoul, Korea hybrid | 27 June 2022 | 19-21 December 2022 | 31 August 2022 | LIPIcs, 12 pages excluding references |
| onto4FAIR Ontologies for FAIR and FAIR Ontologies | Vienna, Austria | 27 June 2022 | 13 September 2022 | 30 July 2022 | LNCS, 12 pages full, 6 pages short; co-located with SEMANTICS |
| RP Reachability Problems | Kaiserslautern, Germany | 28 June 2022 | 17-21 October 2022 | 1 August 2022 | LNCS, 14 pages excluding references |
| ALGOSENSORS Algorithmic Aspects of Wireless Networks | Potsdam, Germany | 30 June 2022 | 8-9 September 2022 | 1 August 2022 | LNCS, 12 pages excluding references; part of ALGO |
| COCOON Computing and Combinatorics Conference | Shenzhen, China | 30 June 2022 | 22-24 October 2022 | 15 August 2022 | LNCS, 12 pages |
| BLAST Boolean Algebras; Lattices, Algebraic Logic and Quantum Logic; Universal Algebra; Set Theory; Set-theoretic and Point-free Topology | Orange, California, USA | 30 June 2022 | 8-12 August 2022 | 2 pages | |
| WAOA Workshop on Approximation and Online Algorithms | Potsdam, Germany | 1 July 2022 | 8-9 September 2022 | 31 July 2022 | LNCS, double-blind, 11 pages excluding title page and references; part of ALGO |
| LAP Logic and Applications | Dubrovnik, Croatia | 1 July 2022 | 26-29 September 2022 | 8 July 2022 | own format, 3 pages |
| PRIMA Principles and Practice of Multi-Agent Systems | Valencia, Spain | 1 July 2022 | 16-18 November 2022 | 7 September 2022 | LNCS, 16 pages regular and survey, 8 pages blue-sky, 4 pages demo |
| Datalog 2.0 Datalog 2.0 | Genova Nervi, Italy | 1/8 July 2022 | 5 September 2022 | 1 August 2022 | CEURART, 12 pages long, 5 pages short |
| ATMOS Algorithmic Approaches for Transportation Modelling, Optimization, and Systems | Potsdam, Germany | 7 July 2022 | 8-9 September 2022 | 29 July 2022 | OASICS, 12 pages regular excluding references, 6 pages short; part of ALGO |
| WINE Web and Internet Economics |
Troy, New York, USA | 7 July 2022 23:59 PDT (UTC-07:00) |
12-16 December 2022 | 7 September 2022 | LNCS, 18 pages |
| POPL Principles of Programming Languages |
Boston, Massachusetts, USA | 7 July 2022 | 15-21 January 2023 | 26 September 2022 31 October 2022 |
PACMPL, double-blind, 25 pages excluding references |
| FROM Working Formal Methods Symposium | Iaşi, Romania | 8/15 July 2022 | 19-20 September 2022 | 25 August 2022 | EPTCS, 16 pages |
| SYNASC Symbolic and Numeric Algorithms for Scientific Computing | Timisoara, Romania | 10 July 2022 | 12-15 September 2022 | 5 September 2022 | two-column, 8 pages regular, 4 pages short and system descriptions and experimental and work in progress |
| SODA Symposium on Discrete Algorithms | Florence, Italy | 10/14 July 2022 | 22-25 January 2023 | 14 October 2022 | double-blind, no page limit but only first 10 pages read |
| FSTTCS Foundations of Software Technology and Theoretical Computer Science | Chennai (Madras), India | 14 July 2022 | 18-20 December 2022 | 16 September 2022 | LIPIcs, 15 pages excluding references |
| VSTTE Verified Software: Theories, Tools, and Experiments | Trento, Italy | 15/22 July 2022 | 17-18 October 2022 | 5 September 2022 | LNCS, 16 pages long, 10 pages short, both excluding references |
| EISA Emerging Information Security and Applications | Wuhan, China | 20 July 2022 | 29-30 October 2022 | 30 August 2022 | LNCS, 18 pages regular, 12 pages short |
| SOFSEM Current Trends in Theory and Practice of Computer Science | Nový Smokovec, Slovakia | 25 July / 1 August 2022 | 15-19 January 2023 | 30 September 2022 | LNCS, 12 pages |
| AAAI Artificial Intelligence | Washington, D.C., USA | 8/15 August 2022 | 7-14 February 2023 | ||
| OPODIS On Principles of Distributed Systems | Brussels, Belgium | 26 August / 2 September 2022 | 13-15 December 2022 | 21 October 2022 | LIPIcs, double-blind, 15 pages excluding references |
| CALDAM Conference on Algorithms and Discrete Applied Mathematics | Gandhinagar, India | 30 September 2022 | 9-11 February 2023 | 11 November 2022 | LNCS, 12 pages |
| ETAPS European Joint Conferences on Theory & Practice of Software | Paris, France | 13 October 2022 | 22-27 April 2023 | 22 December 2022 | federated conference including ESOP, FASE, FoSSaCS, and TACAS |
| ESOP European Symposium on Programming | Paris, France | 13 October 2022 | 22-27 April 2023 | 22 December 2022 | |
| FASE Fundamental Approaches to Software Engineering | Paris, France | 13 October 2022 | 22-27 April 2023 | 22 December 2022 | double-blind |
| FoSSaCS Foundations of Software Science and Computation Structures | Paris, France | 13 October 2022 | 22-27 April 2023 | 22 December 2022 | |
| TACAS Tools and Algorithms for the Construction and Analysis of Systems | Paris, France | 13 October 2022 | 22-27 April 2023 | 22 December 2022 | |
| AAMAS Autonomous Agents and Multiagent Systems | London, UK | 21/28 October 2022 | 29 May - 2 June 2023 | 4 January 2023 | own format, double-blind, 8 pages excluding references; all dates are tentative |
| Conference | City, Country | Deadline | Date | Notification of acceptance | Submission format and comments |
Running conferences
| Conference | City, Country | Date | Remark |
|---|---|---|---|
| Conference | City, Country | Date | Remark |
Future conferences with deadline over
| Conference | City, Country | Date | Notification of acceptance | Final version | Early registration and other indications | Remark |
|---|---|---|---|---|---|---|
| SIROCCO Structural Information and Communication Complexity | Paderborn, Germany | 27-29 June 2022 | 30 January 2022 | 16 May 2022 | ||
| IPCO Integer Programming and Combinatorial Optimization | Eindhoven, The Netherlands | 27-29 June 2022 | 31 January 2022 | 1 May 2022 | ||
| CPM Combinatorial Pattern Matching | Prague, Czech Republic | 27-29 June 2022 | 29 March 2022 | 12 April 2022 | 22 May 2022 | HYBRID conference |
| SWAT Scandinavian Symposium and Workshops on Algorithm Theory | Tórshavn, Faroe Islands, Denmark | 27-29 June 2022 | 10 April 2022 | |||
| DEBS Distributed and Event-Based Systems | Copenhagen, Denmark | 27 June - 1 July 2022 | 6 May 2022 | 31 May 2022 | 13 June 2022 | |
| WADT Workshop on Algebraic Development Techniques | Aveiro, Portugal | 28-30 June 2022 | 25 April 2022 | 20 May 2022 | ||
| CIAA Conference on Implementation and Application of Automata | Rouen, France | 28 June - 1 July 2022 | 11 April 2022 | 20 April 2022 | ||
| CSCML Cyber Security, Cryptology and Machine Learning | Be'er Sheva, Israel | 30 June - 1 July 2022 | 14 March 2022 | FREE but need to register | VIRTUAL conference | |
| EURO EURO | Espoo, Finland | 3-6 July 2022 | 4 April 2022 | 8 April 2022 (obligatory for authors) | ||
| LearnAut Learning and Automata | Paris, France | 4 July 2022 | 5 May 2022 | HYBRID conference | ||
| ISSAC International Symposium on Symbolic and Algebraic Computation | Lille, France | 4-7 July 2022 | 8 May 2022 | 15 May 2022 | 15 June 2022 | |
| ICALP International Colloquium on Automata, Languages and Programming | Paris, France | 4-8 July 2022 | 11 April 2022 | 25 April 2022 | 11 May 2022 | HYBRID conference |
| STAF Software Technologies: Applications and Foundations | Nantes, France | 4-8 July 2022 | 1 June 2022; federates conference including ECMFA, ICGT, and TAP | |||
| ECMFA European Conference on Modelling Foundations and Applications | Nantes, France | 4-8 July 2022 | 22 April 2022 | 1 June 2022; part of STAF | ||
| TAP Tests and Proofs | Nantes, France | 4-8 July 2022 | 9 May 2022 | 16 May 2022 | 1 June 2022; part of STAF | |
| ICGT Graph Theory International Conference on Graph Theory |
Montpellier, France | 4-8 July 2022 | 22 April 2022 | 13 May 2022 | ||
| ICGT Graph Transformation International Conference on Graph Transformation |
Nantes, France | 7-8 July 2022 | 18 April 2022 | 9 May 2022 | 1 June 2022; part of STAF | |
| TASE Theoretical Aspects of Software Engineering | Cluj-Napoca, Romania | 8-10 July 2022 | 10 April 2022 | 1 May 2022 | 15 June 2022 | |
| GECCO Genetic and Evolutionary Computation Conference | Boston, Massachusetts, USA | 9-13 July 2022 | 25 March 2022 | 14 April 2022 | 2 May 2022 | |
| ICDCS International Conference on Distributed Computing Systems |
Bologna, Italy | 10-13 July 2022 | 4 April 2022 | 10 June 2022 23:59 CEST (UTC+02:00) |
||
| ISPDC International Symposium on Parallel and Distributed Computing | Basel, Switzerland | 11-13 July 2022 | 30 May 2022 | 15 June 2022 | 16 June 2022 | |
| SPAA Symposium on Parallelism in Algorithms and Architectures | Philadelphia, Pennsylvania, USA | 11-14 July 2022 | 6 May 2022 | 27 May 2022 | around June 2022 | |
| CiE Computability in Europe | Swansea, UK | 11-15 July 2022 | 11 April 2022 | 25 April 2022 | 31 May 2022 | |
| EC Economics and Computation |
Boulder, Colorado, USA | 11-15 July 2022 | 8 May 2022 | 18 May 2022 23:59 EDT (UTC-04) |
8 June 2022 | |
| ICML International Conference on Machine Learning |
Baltimore, Maryland, USA | 17-23 July 2022 | 11 March 2002 14 May 2022 |
16 June 2022 | ||
| OLA Optimization and Learning | Syracuse, Sicilia, Italy | 18-20 July 2022 | 25 March 2022 | 13 May 2022 | ||
| LOFT Logic and the Foundations of Game and Decision Theory | Groningen, The Netherlands | 20-22 July 2022 | 15 April 2020 | 1 July 2022 | rescheduled | |
| CCC Computational Complexity Conference | Philadelphia, Pennsylvania, USA | 21-23 July 2022 | 30 April 2022 | mid May 2022 | 26 June 2022 | |
| SoCS Symposium on Combinatorial Search | Vienna, Austria | 21-23 July 2022 | 2 May 2022 | 23 May 2022 | 24 June 2022 | |
| IJCAI ECAI International Joint Conference on Artificial Intelligence European Conference on Artificial Intelligence |
Vienna, Austria | 23-29 July 2022 | 20 April 2022 | 30 April 2022 | 30 May 2022 | |
| SEA Symposium on Experimental Algorithms | Heidelberg, Germany | 25-27 July 2022 | End of March 2022 | 29 April 2022 | 13 June 2022 | |
| PODC Principles of Distributed Computing | Salerno, Italy | 25-29 July 2022 | 3 May 2022 | 24 May 2022 | 24 June 2022 | |
| FLoC Federated Logic Conference |
Haifa, Israel | 31 July - 12 August 2022 | 20 June 2022; federated conference of logic including CAV, CP, CSF, DL, FSCD, ICLP, IJCAR, ITP, KR, LICS, NMR, SAT |
|||
| ASPOCP Answer Set Programming and Other Computing Paradigms | Haifa, Israel | 31 July 2022 | 15 June 2022 | 24 June 2022 | 20 June 2022; part of FLoC | |
| CELT Connections between Epistemic Logic and Topology | Haifa, Israel | 31 July - 1 August 2022 | 7 March 2022 | 20 June 2022; part of FLoC | ||
| DaLí Dynamic Logic: new trends and applications | Haifa, Israel | 31 July - 1 August 2022 | 15 June 2022 | 20 June 2022; part of FLoC | ||
| PC Proof Complexity | Haifa, Israel | 31 July - 1 August 2022 | 15 June 2022 | 20 June 2022; part of FLoC | ||
| KR Principles of Knowledge Representation and Reasoning | Haifa, Israel | 31 July - 5 August 2022 | 15 April 2022 | 7 May 2022 | 20 June 2022; part of FLoC | |
| CP Principles and Practice of Constraint Programming | Haifa, Israel | 31 July - 8 August 2022 | 29 April 2022 | 9 May 2022 | 20 June 2022; part of FLoC | |
| ICLP International Conference on Logic Programming |
Haifa, Israel | 31 July - 8 August 2022 | 14 March 2022 (regular) 30 April 2020 (all) |
16 May 2022 | 20 June 2022; part of FLoC | |
| TERMGRAPH Computing with Terms and Graphs |
Haifa, Israel | 1 August 2022 or 31 July 2022 |
7 June 2022 | 21 June 2022 | 20 June 2022; part of FLoC | |
| QBF Quantified Boolean Formulas and Beyond | Haifa, Israel | 1 August 2022 | 5 June 2022 | 19 June 2022 | 20 June 2022; part of FLoC | HYBRID conference |
| IWC International Workshop on Confluence | Haifa, Israel | 1 August 2022 | 22 June 2022 | 1 July 2022 | 20 June 2022; part of FLoC | |
| PLP Probabilistic Logic Programming | Haifa, Israel | 1 August 2022 | 10 July 2022 | 20 July 2022 | 20 June 2022; part of FLoC | |
| LICS Logic in Computer Science | Haifa, Israel | 2-5 August 2022 | 14 April 2022 | 20 June 2022; part of FLoC | ||
| SAT Theory and Applications of Satisfiability Testing |
Haifa, Israel | 2-5 August 2022 | 18 April 2022 30 May 2022 |
20 June 2022; part of FLoC | ||
| FSCD Formal Structures for Computation and Deduction | Haifa, Israel | 2-8 August 2022 | 15 April 2022 | 30 April 2022 | 20 June 2022; part of FLoC | |
| NMR Non-Monotonic Reasoning | Haifa, Israel | 7-9 August 2022 | 8 June 2022 | 20 June 2022 | 20 June 2022; part of FLoC | |
| CAV Computer-Aided Verification | Haifa, Israel | 7-10 August 2022 | 30 April 2022 | 7 June 2022 | 20 June 2022; part of FLoC | |
| CSF Computer Security Foundations | Haifa, Israel | 7-10 August 2022 | 8 April 2022 | 20 June 2022; part of FLoC | ||
| ITP Interactive Theorem Proving | Haifa, Israel | 7-10 August 2022 | 30 March 2022 | 27 April 2022 | 20 June 2022; part of FLoC | |
| DL Description Logics |
Haifa, Israel | 7-10 August 2022 | 14 May 2022 8 June 2022 |
20 June 2022 | 20 June 2022; part of FLoC | |
| IJCAR International Joint Conference on Automated Reasoning | Haifa, Israel | 7-12 August 2022 | 29 April 2022 | 20 June 2022; part of FLoC | ||
| ANTS Algorithmic Number Theory Symposium | Bristol, UK | 8-12 August 2022 | 23 May 2022 | 30 June 2022 | ||
| ARQNL Automated Reasoning in Quantified Non-Classical Logics | Haifa, Israel | 11 August 2022 | 17 June 2022 | 1 July 2022 | 20 June 2022; part of FLoC | |
| iPRA Interpolation: From Proofs to Applications | Haifa, Israel | 11 August 2022 | 1 June 2022 | 20 June 2022; part of FLoC | ||
| PAAR Practical Aspects of Automated Reasoning | Haifa, Israel | 11-12 August 2022 | 3 June 2022 | 24 June 2022 | 20 June 2022; part of FLoC | |
| WST Workshop on Termination | Haifa, Israel | 11-12 August 2022 | 15 June 2022 | 29 June 2022 | 20 June 2022; part of FLoC | |
| UNIF Workshop on Unification | Haifa, Israel | 12 August 2022 | 10 June 2022 | 18 June 2022 | 20 June 2022; part of FLoC | |
| AAIM Algorithmic Aspects in Information and Management | Guangzhou, China | 13-14 August 2022 | 20 June 2022 | 5 July 2022 | ||
| CRYPTO CRYPTO |
Santa Barbara, California, USA | 13-18 August 2022 | 15 April 2022 19 May 2022 |
|||
| KDD Knowledge Discovery and Data Mining | Washington, D.C., USA | 14-18 August 2022 | 18 May 2022 | 9 June 2022 | 23 June 2022 | |
| AiML Advances in Modal Logic | Rennes, France | 22-25 August 2022 | 13 May 2022 | 13 June 2022 | 3 June 2022 | |
| Euro-Par European Conference on Parallel and Distributed Computing | Glasgow, Scotland, UK | 22-26 August 2022 | 29 April 2022 | |||
| MFCS Mathematical Foundations of Computer Science | Vienna, Austria | 22-26 August 2022 | 21 June 2022 | |||
| MATCH-UP Matching Under Preferences | Vienna, Austria | 25-26 August 2022 | 11 June 2022 | 30 June 2022 | ||
| CCCG Canadian Conference on Computational Geometry | Toronto, Canada | 25-27 August 2022 | 20 June 2022 | 7 July 2022 | ||
| PATAT Practice and Theory of Automated Timetabling |
Leuven, Belgium | 30 August - - 2 September 2022 |
13 May 2022 | 27 June 2022 | 17 June 2022 | |
| FedCSIS Federated Conference on Computer Science and Information Systems | Sofia, Bulgaria hybrid | 4-7 September 2022 | 6 July 2022 | 12 July 2022 | 12 July 2022 | HYBRID conference |
| ICICS International Conference on Information and Communications Security | Canterbury, UK | 5-8 September 2022 | 6 June 2022 | 20 June 2022 | HYBRID conference | |
| LPNMR Logic Programming and Non-Monotonic Reasoning | Genova Nervi, Italy | 5-8 September 2022 | 10 June 2022 | 30 June 2022 | ||
| ALGO ALGO |
Potsdam, Germany | 5-9 September 2022 | federated conference including ALGOCLOUD, ALGOSENSORS, ATMOS, ESA, IPEC, WABI, and WAOA |
|||
| ESA European Symposium on Algorithms | Potsdam, Germany | 5-9 September 2022 | 18 June 2022 | 3 July 2022 | part of ALGO | |
| IPEC International Symposium on Parameterized and Exact Computation | Potsdam, Germany | 5-9 September 2022 | 1 August 2022 | 9 October 2022 | part of ALGO | |
| WABI Workshop on Algorithms in Bioinformatics | Potsdam, Germany | 5-9 September 2022 | 14 June 2022 | 24 June 2022 | part of ALGO | |
| SAFECOMP Computer Safety, Reliability and Security | Munich, Germany | 6-9 September 2022 | 12 April 2022 | 27 May 2022 | ||
| ICTCS Italian Conference on Theoretical Computer Science | Rome, Italy | 7-9 September 2022 | 30 June 2022 | 17 July 2022 | ||
| ICFP International Conference on Functional Programming | Ljubljana, Slovenia | 11-16 September 2022 | 30 June 2022 | 21 July 2022 | ||
| SAGT Symposium on Algorithmic Game Theory | Colchester, UK | 12-15 September 2022 | 1 July 2022 | 15 July 2022 | ||
| Confest Confest | Warsaw, Poland | 12-17 September 2022 | federated conference including CONCUR, FMICS, FORMATS, and QEST | monitoring the situation | ||
| QEST Quantitative Evaluation of SysTems | Warsaw, Poland | 12-16 September 2022 | 20 June 2022 | 18 July 2022 | part of Confest | |
| CONCUR Concurrency Theory | Warsaw, Poland | 12-17 September 2022 | 25 June 2022 | 9 July 2022 | part of Confest | |
| FORMATS Formal Modeling and Analysis of Timed Systems | Warsaw, Poland | 12-17 September 2022 | 17 June 2022 | 15 July 2022 | part of Confest | |
| FMICS Formal Methods for Industrial Critical Systems | Warsaw, Poland | 14-16 September 2022 | 24 June 2022 | 5 July 2022 | part of Confest | |
| GD Graph Drawing | Tokyo, Japan | 14-16 September 2022 | 18 July 2022 | 5 September 2022 | ||
| TAMC Theory and Applications of Models of Computation | Tianjin, China | 16-18 September 2022 | 30 June 2022 | 15 July 2022 | 15 July 2022 | |
| APPROX Approximation Algorithms for Combinatorial Optimization Problems | online | 19-21 September 2022 | 24 June 2022 | 15 July 2022 | co-located with RANDOM | ONLINE conference |
| RANDOM Randomization and Computation | online | 19-21 September 2022 | 24 June 2022 | 15 July 2022 | co-located with APPROX | ONLINE conference |
| KI German Conference on Artificial Intelligence | Trier, Germany | 19-23 September 2022 | 27 June 2022 | 12 July 2022 | ||
| CLAS Computational Logic Autumn Summit | Tbilisi, Georgia | 19-30 September 2022 | see conferences | federated conference including CICM, ICTAC, LOPSTR, and PPDP | ||
| CICM Conference on Intelligent Computer Mathematics | Tbilisi, Georgia | 19-23 September 2022 | 4 July 2022 | 18 July 2022 | part of CLAS | HYBRID conference |
| PPDP Principles and Practice of Declarative Programming |
Tbilisi, Georgia | 20-22 September 2022 | 9 July 2022 | 23 July 2022 | part of CLAS | |
| WoLLIC Workshop on Logic, Language, Information and Computation | Iaşi, Romania | 20-23 September 2022 | 25 June 2022 | 30 June 2022 | ||
| GandALF Games, Automata, Logics, and Formal Verification | Madrid, Spain | 21-23 September 2022 | 24 July 2022 | 12 August 2022 | ||
| LOPSTR Logic-Based Program Synthesis and Transformation | Tbilisi, Georgia | 21-23 September 2022 | 24 June 2022 | 11 July 2022 | part of CLAS | |
| LSFA Logical and Semantic Frameworks, with Applications | Belo Horizonte, Brazil | 23-24 September 2022 | 9 July 2022 | 1 September 2022 | ||
| MPC Mathematics of Program Construction | Tbilisi, Georgia | 26-28 September 2022 | 27 May 2022 | 24 June 2022 | part of CLAS | |
| RuleML+RR International Joint Conference on Rules and Reasoning | Berlin, Germany | 26-28 September 2022 | 1 August 2022 | |||
| ESORICS European Symposium on Research in Computer Security |
Copenhagen, Denmark | 26-30 September 2022 | 29 June 2022 15 July 2022 |
10 August 2022 | ||
| ICTAC International Colloquium on Theoretical Aspects of Computing | Tbilisi, Georgia | 27-29 September 2022 | 24 July 2022 | part of CLAS | ||
| ILP Inductive Logic Programming | Windsor Great Park, UK | 28-30 September 2022 | 30 July 2022 | 16 September 2022, 13:00 BST (UTC+01:00); part of IJCLR | ||
| PACT Parallel Architectures and Compilation Techniques | Chicago, Illinois, USA | 10-12 October 2022 | 29 July 2022 | 26 August 2022 | ||
| FMCAD Formal Methods in Computer-Aided Design | Trento, Italy | 18-21 October 2022 | 8 July 2022 | 16 August 2022 | ||
| DISC Distributed Computing | Augusta, Georgia, USA | 25-27 October 2022 | 25 July 2022 | 12 August 2022 | ||
| ATVA Automated Technology for Verification and Analysis | Beijing, China | 25-28 October 2022 | 1 July 2022 | 29 July 2022 | ||
| FOCS Foundations of Computer Science | Denver, Colorado, USA | 31 October - 3 November 2022 | 4 July 2022 | |||
| LATIN Latin American Theoretical Informatics Symposium | Guanajuato, Mexico | 7-11 November 2022 | 29 July 2022 | 19 August 2022 | ||
| MIWAI Multi-Disciplinary International Conference on Artificial Intelligence | Phuket, Thailand | 17-19 November 2022 | 10 June 2022 | ONLINE conference | ||
| SPLASH Systems, Programming, Languages, and Applications: Software for Humanity |
Auckland, New Zealand | 5-10 December 2022 | 30 June 2022 1 September 2022 |
16 September 2022 | co-located with APLAS and SAS | HYBRID conference |
| SAS Static Analysis Symposium | Auckland, New Zealand | 5-10 December 2022 | 15 July 2022 | 16 September 2022 | co-located with SPLASH | |
| APLAS Asian Symposium on Programming Languages and Systems | Auckland, New Zealand | 5-10 December 2022 | 15 August 2022 | co-located with SPLASH | ||
| FCRC Federated Computing Research Conference |
Orlando, Florida, USA | 16-23 June 2023 | federated conference including ISCA, PADS, PLDI, PODC, SIGMETRICS, SPAA, and STOC |
|||
| Conference | City, Country | Date | Notification of acceptance | 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 2022 and 2023 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 |
|---|---|---|---|---|---|
| STACS Symposium on Theoretical Aspects of Computer Science | 2023 | Hamburg, Germany | 7 March 2023 | 10 March 2023 | |
| FCT Symposium on Fundamentals of Computation Theory | 2023 | Trier, Germany | 18 September 2023 | 21 September 2023 | all dates are tentative |
| 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-2022
Last modified: Sun, 26 Jun 2022 07:19:22 CEST