Conferences in Theoretical Computer Science

WARNING

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

  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 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.


Flag Counter

Valid HTML 4.01 Strict Valid CSS!

© Miki Hermann (LIX, Ecole Polytechnique), 2015-2022

Last modified: Sun, 26 Jun 2022 07:19:22 CEST