Conferences in Theoretical Computer Science

WARNING

Deadline ahead

Conference City, Country Deadline Date Notification Submission format and comments
SDM
 
Data Mining
Minneapolis, Minnesota, USA 30 September / 7 October 2022
23:59 PDT (UTC-07:00)
27-29 April 2023 SIAM, double column, 9 pages and 300 words abstract
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
WABCT Workshop on Algorithms, Bioinformatics, and Computation Theory Taoyuan, Taiwan hybrid 7 October 2022 15-17 December 2022 31 October 2022 LNCS, 12 pages; part of ICS
RECOMB Research in Computational Molecular Biology Istanbul, Turkey 7/14 October 2022 16-19 April 2023 20 November 2022 LNCS, 10 pages
RAMiCS Relational and Algebraic Methods in Computer Science Augsburg, Germany 7/14 October 2022 3-6 April 2023 16 December 2022 LNCS, 16 pages
ESOP European Symposium on Programming Paris, France 13 October 2022 22-27 April 2023 22 December 2022 LNCS, double-blind, 25 pages research excluding references; part of ETAPS
FASE
 
Fundamental Approaches to Software Engineering
Paris, France 13 October 2022 22-27 April 2023 22 December 2022 LNCS, double-blind, 18 pages research and empirical evaluation, 8 pages new ideas and emerging results,
6 pages tool demonstrations, all excluding references; part of ETAPS
FoSSaCS Foundations of Software Science and Computation Structures Paris, France 13 October 2022 22-27 April 2023 22 December 2022 LNCS, 18 pages research excluding references; part of ETAPS
TACAS
 
Tools and Algorithms for the Construction and Analysis of Systems
Paris, France 13 October 2022 22-27 April 2023 22 December 2022 LNCS, double-blind, 16 pages regular, case studies, and tools, 6 pages tool demonstrations,
all excluding references; part of ETAPS
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
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*
STOC
 
Symposium on Theory of Computing
Orlando, Florida, USA 4 November 2022
16:59 EDT (UTC-04:00)
20-23 June 2023 6 February 2023 double-blind, no page limit but only first 10 pages read; part of FCRC
IPCO Integer Programming and Combinatorial Optimization Madison, Wisconsin, USA 6 November 2022 21-23 June 2023 20 January 2023 LNCS, 12 pages excluding references
CIAC International Conference on Algorithms and Complexity Batumi, Georgia 16 November 2022 13-16 June 2023 16 January 2023 LNCS, 15 page excluding references, special instruction for the first page, link to web page not available yet
CAiSE Advanced Information Systems Engineering Zaragoza, Spain 22/29 November 2022 12-16 June 2023 1 March 2023 LNCS, 15 pages
ICAPS International Conference on Automated Planning and Scheduling Prague, Czech Republic 25/30 November 2022 8-13 July 2023 4 February 2023 AAAI, 8 pages + 1 page references long, 4 pages + 1 page references short
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
OLA Optimization and Learning Malaga, Spain 16 December 2022 3-5 May 2023 17 February 2023 CCIS, 12 pages original research, 3 pages extended abstract
PODC Principles of Distributed Computing Orlando, Florida, USA 6/10 January 2023 19-23 June 2023 30 March 2023 ACMart, double-blind, two-column, 10 pages regular, 3 pages brief announcements; part of FCRC
SPAA Symposium on Parallelism in Algorithms and Architectures Orlando, Florida, USA 12/16 January 2023 16-19 June 2023 ACM SIGCONF, double-blind, double-column, 10 pages regular, 3 pages brief announcements; part of FCRC
ICDCS
 
International Conference on Distributed Computing Systems
Hong Kong, SAR China 14/21 January 2023
23:59 EST (UTC-05:00)
18-21 July 2023 3 April 2023 IEEE Conference, 11 pages
SAND Algorithmic Foundations of Dynamic Networks Pisa, Italy 23 January 2023 19-21 June 2023 23 March 2023 LIPIcs, double-blind, 15 pages excluding references regular, 3 pages brief announcements
ICALP
 
International Colloquium on Automata, Languages and Programming
Paderborn, Germany 10 February 2023
11:00 CET (UTC+01:00)
10-14 July 2023 21 April 2023
WG Graph-Theoretic Concepts in Computer Science Fribourg, Switzerland 13/20 February 2023 28-30 June 2023 26 April 2023 LNCS, 12 pages excluding references
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
Conference City, Country Deadline Date Notification 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 Final version Early registration and other indications Remark
PACT Parallel Architectures and Compilation Techniques Chicago, Illinois, USA 10-12 October 2022 29 July 2022 26 August 2022 21 September 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 30 September 2022 (author)
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
EISA Emerging Information Security and Applications Wuhan, China 29-30 October 2022 15 September 2022 30 September 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 20 September 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 15 November 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 15 November 2022; co-located with SPLASH
APLAS Asian Symposium on Programming Languages and Systems Auckland, New Zealand 5-10 December 2022 15 August 2022 15 November 2022; co-located with SPLASH
FTSCS Formal Techniques for Safety-Critical Systems Auckland, New Zealand 7 December 2022 10 October 2022 24 October 2022 15 November 2022; part of SPLASH
WINE Web and Internet Economics Troy, New York, USA 12-16 December 2022 7 September 2022
OPODIS On Principles of Distributed Systems Brussels, Belgium 13-15 December 2022 21 October 2022 11 November 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
ITCS
 
Innovations in Theoretical Computer Science
Cambridge, Massachusetts, USA 11-13 January 2023 1 November 2022
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
CPP Certified Programs and Proofs Boston, Massachusetts, USA 15-21 January 2023 21 November 2022 21 December 2022 co-located with POPL
ALENEX Algorithm Engineering and Experiments Florence, Italy 22-23 January 2022 mid-October 2022
SODA Symposium on Discrete Algorithms Florence, Italy 22-25 January 2023 14 October 2022
SOSA Symposium on Simplicity in Algorithms Florence, Italy 23-24 January 2023 mid-October 2022
APOCS Algorithmic Principles of Computer Systems Florence, Italy 25 January 2023 mid-October 2022
AAAI Artificial Intelligence Washington, D.C., USA 7-14 February 2023 18 November 2022 1 December 2022
CALDAM Conference on Algorithms and Discrete Applied Mathematics Gandhinagar, India 9-11 February 2023 11 November 2022 25 November 2022
CSL Computer Science Logic Warsaw, Poland 13-16 February 2023 30 September 2022 30 October 2022
ALT Algorithmic Learning Theory Singapore 20-23 February 2023 21 December 2022
FM Formal Methods Lübeck, Germany 6-10 March 2023 15 November 2022 11 December 2022
STACS Symposium on Theoretical Aspects of Computer Science Hamburg, Germany 7-10 March 2023 4 December 2022 8 January 2023
WALCOM International Conference and Workshops on Algorithms and Computation Hsinchu, Taiwan 22-24 March 2022 28 November 2022 10 December 2022 HYBRID conference
EDBT Extending Database Technology Ioannina, Greece 28-31 March 2023 1 December 2022 co-located with ICDT
ICDT International Conference on Database Theory Ioannina, Greece 28-31 March 2023 7 December 2022 co-located with EDBT
Evo* evo* Brno, Czech Republic 12-14 April 2023 federated conference including EuroGP, EvoAPPS, EvoCOP, and EvoMUSART
ETAPS European Joint Conferences on Theory & Practice of Software Paris, France 22-27 April 2023 22 December 2022 26 January 2023 federated conference including ESOP, FASE, FoSSaCS, and TACAS
EUROCRYPT
 
Theory and Applications of Cryptographic Techniques
Lyon, France 23-27 April 2023 8 December 2022
31 January 2023
IPDPS
 
International Parallel & Distributed Processing Symposium
St. Petersburg, Florida, USA 15-19 May 2023 19 December 2022
31 January 2023
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 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
CCC Computational Complexity Conference 2023 Warwick, UK 17 July 2023 20 July 2023
ISSAC International Symposium on Symbolic and Algebraic Computation 2023 Tromsø, Norway 24 July 2023 27 July 2023
FSCD Formal Structures for Computation and Deduction 2023 Rome, Italy July 2023 July 2023
IJCAI International Joint Conference on Artificial Intelligence 2023 Cape Town, South Africa August 2023 August 2023
FCT Fundamentals of Computation Theory 2023 Trier, Germany 18 September 2023 21 September 2023 all dates are tentative
LAGOS Latin and American Algorithms, Graphs and Optimization Symposium 2023 Huatulco, México
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: Fri, 07 Oct 2022 16:12:14 CEST