Conferences in Theoretical Computer Science

WARNING

Deadline ahead

Conference City, Country Deadline Date Notification of acceptance Submission format and comments
AAAI Artificial Intelligence Washington, D.C., USA 8/15 August 2022 7-14 February 2023 18 November 2022 AAAI, 7 pages excluding references
ALENEX Algorithm Engineering and Experiments Florence, Italy 11/18 August 2022 22-23 January 2022 mid-October 2022 (format macro not published), double-blind, double-column, 10 pages excluding references
APOCS Algorithmic Principles of Computer Systems Florence, Italy 11/18 August 2022 25 January 2022 mid-October 2022 double-column, 12 pages excluding references
SOSA Symposium on Simplicity in Algorithms Florence, Italy 11/18 August 2022 23-24 January 2022 mid-October 2022 no page limit
EISA Emerging Information Security and Applications Wuhan, China 15 August 2022 29-30 October 2022 30 August 2022 LNCS, 18 pages regular, 12 pages short
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
ITCS
 
Innovations in Theoretical Computer Science
Cambridge, Massachusetts, USA 2/8 September 2022
17:59 EDT (UTC-04:00)
11-13 January 2023 1 November 2022 double-blind, no page limit, but only first 10 pages read
FM
 
Formal Methods
Lübeck, Germany 4/11 September 2022 6-10 March 2023 15 November 2022 LNCS, 15 pages regular, tool, and case studies, 6 pages short and tool descriptions,
all excluding references
ICDT International Conference on Database Theory Ioannina, Greece 14/21 September 2022 28-31 March 2023 20 November 2022 LIPIcs, 15 pages excluding references; co-located with EDBT
WALCOM International Conference and Workshops on Algorithms and Computation Hsinchu, Taiwan hybrid 17 September 2022 22-24 March 2022 28 November 2022 LNCS, 12 pages
RAMiCS Relational and Algebraic Methods in Computer Science Augsburg, Germany 23/30 September 2022 3-6 April 2023 9 December 2022 LNCS, 16 pages
STACS Symposium on Theoretical Aspects of Computer Science Hamburg, Germany 25 September 2022 7-10 March 2023 4 December 2022
ALT
 
Algorithmic Learning Theory
Singapore 30 September 2022
17:00 EST (UTC-05:00)
29-23 February 2022 21 December 2022 own format, double-blind, 12 pages
IPDPS
 
International Parallel & Distributed Processing Symposium
ST. Petersburg, Florida, USA 29 September / 6 October 2022 15-19 May 2023 19 December 2022
31 January 2023
IEEE Transactions, double-blind, 10 pages
CALDAM Conference on Algorithms and Discrete Applied Mathematics Gandhinagar, India 30 September 2022 9-11 February 2023 11 November 2022 LNCS, 12 pages
EDBT Extending Database Technology Ioannina, Greece 30 September 2022 28-31 March 2023 1 December 2022 co-located with ICDT
SDM
 
Data Mining
Minneapolis, Minnesota, USA 30 September / 7 October 2022
23:59 PDT (UTC-07:00)
27-29 April 2023
PADL Practical Aspects of Declarative Languages Boston, Massachusetts, USA 2/9 October 2022 15-21 January 2023 5 November 2022 LNCS, 15 pages technical, 8 pages applications, 3 pages extended abstracts; co-located with POPL
RECOMB Research in Computational Molecular Biology Istanbul, Turkey 7 October 2022 16-19 April 2023 20 November 2022 LNCS, 10 pages
SIGMOD International Conference on Management of Data Seattle, Washington, USA 15 October 2022 18-23 June 2023 20 December 2022 ACM Proceedings, double-blind, two column, 13 pages excuding references; co-located with PODS
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
EuroGP European Conference on Genetic Programming Brno, Czech Republic 1 November 2022 12-14 April 2023 18 January 2023 LNCS, double-blind, 16 pages; part of Evo*
EvoAPPS Applications of Evolutionary Computation Brno, Czech Republic 1 November 2022 12-14 April 2023 18 January 2023 LNCS, double-blind, 16 pages; part of Evo*
EvoCOP Evolutionary Computation in Combinatorial Optimisation Brno, Czech Republic 1 November 2022 12-14 April 2023 18 January 2023 LNCS, double-blind, 16 pages; part of Evo*
EvoMUSART Artificial Intelligence in Music, Sound, Art and Design Brno, Czech Republic 1 November 2022 12-14 April 2023 18 January 2023 LNCS, double-blind, 16 pages; part of Evo*
PODS Principles of Database Systems Seattle, Washington, USA 28 November / 5 December 2022 18-23 June 2023 13 March 2023 ACM Proceedings, double-blind, 8 pages excluding references; co-located with SIGMOD
COCOA
 
Conference on Combinatorial Optimization and Applications
Dallas, Texas, USA 12/19 August 2023
23:59 CEST (UTC+02:00)
11-13 December 2023 1 October 2023 LNCS, 12 pages
Conference City, Country Deadline Date Notification of acceptance Submission format and comments

Running conferences

Conference City, Country Date Remark
CRYPTO CRYPTO Santa Barbara, California, USA 13-18 August 2022 HYBRID conference
KDD Knowledge Discovery and Data Mining Washington, D.C., USA 14-18 August 2022
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
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 14 July 2022
MFCS Mathematical Foundations of Computer Science Vienna, Austria 22-26 August 2022 21 June 2022 18 July 2022 (early), 8 August 2022 (author), 14 August 2022 (regular)
MATCH-UP Matching Under Preferences Vienna, Austria 25-26 August 2022 11 June 2022 17 July 2022
CCCG Canadian Conference on Computational Geometry Toronto, Canada 25-27 August 2022 20 June 2022 7 July 2022 25 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 4-7 September 2022 6 July 2022 12 July 2022 12 July 2022 HYBRID conference
Datalog 2.0 Datalog 2.0 Genova Nervi, Italy 5 September 2022 1 August 2022 20 August 2022 20 July 2022
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 20 July 2022
ALGO
 
ALGO
Potsdam, Germany 5-9 September 2022 7 August 2022; federated conference including
ALGOCLOUD, ALGOSENSORS, ATMOS, ESA, IPEC, WABI, and WAOA
HYBRID conference
ALGOCLOUD Algorithms for Cloud-Based Systems Potsdam, Germany 5-6 September 2022 27 July 2022 7 August 2022; part of ALGO
ESA European Symposium on Algorithms Potsdam, Germany 5-9 September 2022 18 June 2022 3 July 2022 7 August 2022, must be member of EATCS; part of ALGO
IPEC International Symposium on Parameterized and Exact Computation Potsdam, Germany 5-9 September 2022 1 August 2022 9 October 2022 7 August 2022; part of ALGO
WABI Workshop on Algorithms in Bioinformatics Potsdam, Germany 5-9 September 2022 14 June 2022 24 June 2022 7 August 2022; part of ALGO
SAFECOMP Computer Safety, Reliability and Security Munich, Germany 6-9 September 2022 12 April 2022 27 May 2022 18 July 2022
ICTCS Italian Conference on Theoretical Computer Science Rome, Italy 7-9 September 2022 30 June 2022 17 July 2022 31 July 2022
ALGOSENSORS Algorithmic Aspects of Wireless Networks Potsdam, Germany 8-9 September 2022 1 August 2022 30 September 2022 7 August 2022; part of ALGO
WAOA Workshop on Approximation and Online Algorithms Potsdam, Germany 8-9 September 2022 31 July 2022 7 August 2022 7 August 2022; part of ALGO
ATMOS Algorithmic Approaches for Transportation Modelling, Optimization, and Systems Potsdam, Germany 8-9 September 2022 29 July 2022 7 August 2022; part of ALGO
ICFP International Conference on Functional Programming Ljubljana, Slovenia 11-16 September 2022 30 June 2022 21 July 2022 15 August 2022
SAGT Symposium on Algorithmic Game Theory Colchester, UK 12-15 September 2022 1 July 2022 15 July 2022 24 August 2022
SYNASC Symbolic and Numeric Algorithms for Scientific Computing Timisoara, Romania 12-15 September 2022 5 September 2022 31 October 2022 5 September 2022 HYBRID conference
Confest
 
Confest
Warsaw, Poland 12-17 September 2022 7 August 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 7 August 2022; part of Confest
CONCUR Concurrency Theory Warsaw, Poland 12-17 September 2022 25 June 2022 9 July 2022 7 August 2022; part of Confest
FORMATS Formal Modeling and Analysis of Timed Systems Warsaw, Poland 12-17 September 2022 17 June 2022 15 July 2022 7 August 2022; part of Confest
onto4FAIR Ontologies for FAIR and FAIR Ontologies Vienna, Austria 13 September 2022 30 July 2022 15 August 2022 6 August 2022; co-located with SEMANTICS
FMICS Formal Methods for Industrial Critical Systems Warsaw, Poland 14-16 September 2022 24 June 2022 5 July 2022 7 August 2022; part of Confest
GD Graph Drawing Tokyo, Japan 14-16 September 2022 18 July 2022 5 September 2022 31 August 2022
TAMC Theory and Applications of Models of Computation Tianjin, China 16-18 September 2022 30 June 2022 15 July 2022 15 July 2022
FROM Working Formal Methods Symposium Iaşi, Romania 19-20 September 2022 25 August 2022 co-located with WoLLIC
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 VIRTUAL conference
CLAS
 
Computational Logic Autumn Summit
Tbilisi, Georgia 19-30 September 2022 see conferences 14 August 2022;
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 14 August 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 14 August 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 31 July 2022; co-located with FROM
GandALF Games, Automata, Logics, and Formal Verification Madrid, Spain 21-23 September 2022 24 July 2022 12 August 2022 10 September 2022
LOPSTR Logic-Based Program Synthesis and Transformation Tbilisi, Georgia 21-23 September 2022 24 June 2022 11 July 2022 14 August 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 14 August 2022; part of CLAS
RuleML+RR International Joint Conference on Rules and Reasoning Berlin, Germany 26-28 September 2022 1 August 2022 VIRTUAL conference
LAP Logic and Applications Dubrovnik, Croatia 26-29 September 2022 8 July 2022 15 July 2022
ESORICS European Symposium on Research in Computer Security Copenhagen, Denmark 26-30 September 2022 9/23 July 2022 10 August 2022 1 September 2022
ICTAC International Colloquium on Theoretical Aspects of Computing Tbilisi, Georgia 27-29 September 2022 24 July 2022 14 August 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
VSTTE Verified Software: Theories, Tools, and Experiments Trento, Italy 17-18 October 2022 5 September 2022 5 October 2022 15 September 2022; co-located with FMCAD
RP Reachability Problems Kaiserslautern, Germany 17-21 October 2022 17 August 2022 24 August 2022
FMCAD Formal Methods in Computer-Aided Design Trento, Italy 18-21 October 2022 8 July 2022 16 August 2022 15 September 2022; co-located with VSTTE
COCOON Computing and Combinatorics Conference Shenzhen, China 22-24 October 2022 15 August 2022 31 August 2022
DISC Distributed Computing Augusta, Georgia, USA 25-27 October 2022 25 July 2022 12 August 2022 24 September 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 3 October 2022
TIME Temporal Representation and Reasoning online 7-9 November 2022 1 August 2022 25 August 2022 ONLINE conference
LATIN Latin American Theoretical Informatics Symposium Guanajuato, Mexico 7-11 November 2022 29 July 2022 19 August 2022
FACS Formal Aspects of Component Software Oslo, Norway 10-11 November 2022 5 September 2022 26 September 2022 ONLINE conference
PRIMA Principles and Practice of Multi-Agent Systems Valencia, Spain 16-18 November 2022 7 September 2022 20 September 2022 23 September 2022 HYBRID conference
MIWAI Multi-Disciplinary International Conference on Artificial Intelligence Phuket, Thailand 17-19 November 2022 10 June 2022 1 September 2022 (authors) ONLINE conference
AIxIA Italian Association for Artificial Intelligence Udine, Italy 28 November - 2 December 2022 30 September 2022
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
WINE Web and Internet Economics Troy, New York, USA 12-16 December 2022 7 September 2022
FSTTCS Foundations of Software Technology and Theoretical Computer Science Chennai (Madras), India 18-20 December 2022 16 September 2022
ISAAC International Symposium on Algorithms and Computation Seoul, Korea 19-21 December 2022 31 August 2022 22 September 2022 22 October 2022 HYBRID conference
SOFSEM Current Trends in Theory and Practice of Computer Science Nový Smokovec, Slovakia 15-19 January 2023 30 September 2022 14 October 2022
POPL
 
Principles of Programming Languages
Boston, Massachusetts, USA 15-21 January 2023 27 September 2022
7 November 2022
10 November 2022
SODA Symposium on Discrete Algorithms Florence, Italy 22-25 January 2023 14 October 2022
CSL Computer Science Logic Warsaw, Poland 13-16 February 2023 30 September 2022 30 October 2022
Evo*
 
evo*
Brno, Czech Republic 12-14 April 2023 federated conference including
EuroGP, EvoAPPS, EvoCOP, and EvoMUSART
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
ICALP International Colloquium on Automata, Languages and Programming 2023 Paderborn, Germany 10 July 2023 14 July 2023 deadline in February 2023
ICDCS International Conference on Distributed Computing Systems 2023 Hong Kong, SAR China 18 July 2023 21 July 2023
FCT Fundamentals of Computation Theory 2023 Trier, Germany 18 September 2023 21 September 2023 all dates are tentative
ICAPS International Conference on Automated Planning and Scheduling 2023 Prague, Czech Republic
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: Mon, 15 Aug 2022 08:38:25 CEST