Conferences in Theoretical Computer Science

WARNING

Deadline ahead

Conference City, Country Deadline Date Notification Submission format and comments
CPAIOR Integration of Constraint Programming, Artificial Intelligence, and Operations Research Nice, France 25 November / 7 December 2022 29 May - 1 June 2023 25 January 2023 LNCS, 15 pages long, 8 pages short, both excluding references
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
CIAC International Conference on Algorithms and Complexity Larnaca, Cyprus 9 December 2022 13-16 June 2023 29 January 2023 LNCS, 15 pages excluding references and title page
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
ACDA Applied and Computational Discrete Algorithms Seattle, Washington, USA 9/16 January 2023 31 May - 2 June 2023 10 pages
EuroCG European Workshop on Computational Geometry Barcelona, Spain 10 January 2023 29-31 March 2023 17 February 2023 own format1 and own format2, 175 lines of text excluding title, references, and figures
IJCAI International Joint Conference on Artificial Intelligence Cape Town, South Africa 11/16/18 January 2023 19-25 August 2023 19 April 2023 IJCAI, double-blind, 7 pages body + 2 pages references
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
LICS Logic in Computer Science Boston, Massachusetts, USA 18/23 January 2023 26-29 June 2023 5 April 2023 IEEEtran, double-blind, 12 pages excluding references
IWOCA International Workshop on Combinatorial Algorithms Tainan, Taiwan 20/25 January 2023 6-9 June 2023 27 March 2023 LNCS, 12 pages excluding references
ESORICS
 
European Symposium on Research in Computer Security
The Hague, The Netherlands 22 January 2023
28 May 2023
25-29 September 2023 2 April 2023
30 July 2023
LNCS
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
ISSAC
 
International Symposium on Symbolic and Algebraic Computation
Tromsø, Norway 24/31 January 2023 24-27 July 2023 18 April 2023
12 May 2023
ACM, two-column, 8 pages + 2 pages references
CPM Combinatorial Pattern Matching Marne-la-Vallée, France 27 January 2023 26-28 June 2023 27 March 2023 LIPIcs, 15 pages excluding title page and references
ICFCA International Conference on Formal Concept Analysis Kassel, Germany 27 January / 3 February 2023 17-21 July 2023 30 March 2023 LNCS, 16 pages
FSCD Formal Structures for Computation and Deduction Rome, Italy 30 January / 3 February 2023 3-6 July 2023 13 April 2023 LIPIcs, 15 pages regular and system descriptions, both excluding references; co-located with CADE
FOIS Formal Ontology in Information Systems Sherbrooke, Quebec, Canada 31 January 2023 17-20 July 2023 10 April 2023 14 pages
CAV Computer-Aided Verification Paris, France 3 February 2023 17-22 July 2023 25 April 2023 LNCS, 18 pages double-blind regular, 10 pages tools, 10 pages industrial experience reports & case studies
GECCO Genetic and Evolutionary Computation Conference Lisbon, Portugal hybrid 3/10 February 2023 15-19 July 2023 31 March 2023 ACM for GECCO, double-blind, 8 pages excluding references full, 4 pages posters
TASE Theoretical Aspects of Software Engineering Bristol, UK 3/10 February 2023 4-6 July 2023 10 April 2023 LNCS, 16 pages long, 6 pages short, both excluding references
SIROCCO Structural Information and Communication Complexity Ávila, Spain 4/10 February 2023 6-9 June 2023 21 March 2023 LNCS
SAFECOMP Computer Safety, Reliability and Security Toulouse, France 6/13 February 2023 19-22 September 2023 22 April 2023 LNCS, 14 pages regular, 8 pages practical experience reports & tool reports
CiE Computability in Europe Batumi, Georgia 8/15 February 2023 24-28 July 2023 20 April 2023 LNCS, 12 pages
CCC Computational Complexity Conference Warwick, UK 10 February 2023 17-20 July 2023 1 May 2023 LIPIcs, no page limit, but only first 10 pages read
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 LIPIcs, double-blind, 15 pages excluding references
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
WADS Algorithms and Data Structures Symposium Montreal, Canada 20 February 2023 31 July - 2 August 2023 17 April 2023 LNCS, 12 pages + 2 pages references
WoLLIC Workshop on Logic, Language, Information and Computation Halifax, Nova Scotia, Canada 20/27 February 2023 11-14 July 2023 15 May 2023 LNCS, 12 pages + 5 pages references and appendix
ICGT International Conference on Graph Transformation Leicester, UK 28 February / 7 March 2023 17-21 July 2023 25 April 2023
ICFP
 
International Conference on Functional Programming
Seattle, Washington, USA 1 March 2023 4-9 September 2023 18 May 2023
29 June 2023
ACM small, 25 pages full, 12 pages experience report
DEON Deontic Logic and Normative Systems Trois-Rivières, Quebec, Canada 1/31 March 2023 5-7 July 2023 format not available yet, double-blind, 15 pages excluding references & 250 words abstract
KR Principles of Knowledge Representation and Reasoning Rhodes, Greece 7/14 March 2023 2-8 September 2023 18 May 2023 9 pages full, 4 pages short, both excluding references and acknowledgments
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
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 12 November 2022
OPODIS On Principles of Distributed Systems Brussels, Belgium 13-15 December 2022 21 October 2022 11 November 2022 18 November 2022
WABCT Workshop on Algorithms, Bioinformatics, and Computation Theory Taoyuan, Taiwan 15-17 December 2022 31 October 2022 15 November 2022 part of ICS HYBRID conference
FSTTCS Foundations of Software Technology and Theoretical Computer Science Chennai (Madras), India 18-20 December 2022 16 September 2022 10 November 2022
ISAAC International Symposium on Algorithms and Computation Seoul, Korea 19-21 December 2022 31 August 2022 22 September 2022 31 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 8/22 November 2022
POPL
 
Principles of Programming Languages
Boston, Massachusetts, USA 15-21 January 2023 27 September 2022
7 November 2022
10 November 2022 16 December 2022
CPP Certified Programs and Proofs Boston, Massachusetts, USA 15-21 January 2023 21 November 2022 21 December 2022 16 December 2022; co-located with POPL
PADL Practical Aspects of Declarative Languages Boston, Massachusetts, USA 15-21 January 2023 15 November 2022 16 December 2022; co-located with POPL
ALENEX Algorithm Engineering and Experiments Florence, Italy 22-23 January 2022 mid-October 2022 30 November 2022
SODA Symposium on Discrete Algorithms Florence, Italy 22-25 January 2023 14 October 2022 30 November 2022 30 November 2022
SOSA Symposium on Simplicity in Algorithms Florence, Italy 23-24 January 2023 mid-October 2022 30 November 2022 30 November 2022
APOCS Algorithmic Principles of Computer Systems Florence, Italy 25 January 2023 mid-October 2022 30 November 2022 30 November 2022
AAAI Artificial Intelligence Washington, D.C., USA 7-14 February 2023 18 November 2022 1 December 2022
CPML Bridge on Constraint Programming and Machine Learning Washington, D.C., USA 7-14 February 2023 2 December 2022
CALDAM Conference on Algorithms and Discrete Applied Mathematics Gandhinagar, India 9-11 February 2023 11 November 2022 25 November 2022 31 December 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
DCC Data Compression Conference Snowbird, Utah, USA 21-24 March 2023 late December 2022
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
RAMiCS Relational and Algebraic Methods in Computer Science Augsburg, Germany 3-6 April 2023 16 December 2022 6 January 2023
Evo* evo* Brno, Czech Republic 12-14 April 2023 federated conference including EuroGP, EvoAPPS, EvoCOP, and EvoMUSART
EuroGP European Conference on Genetic Programming Brno, Czech Republic 12-14 April 2023 18 January 2023 1 February 2023 27 February 2023 (author), 1 March 2023 (participant); part of Evo*
EvoAPPS Applications of Evolutionary Computation Brno, Czech Republic 12-14 April 2023 18 January 2023 1 February 2023 27 February 2023 (author), 1 March 2023 (participant); part of Evo*
EvoCOP Evolutionary Computation in Combinatorial Optimisation Brno, Czech Republic 12-14 April 2023 18 January 2023 1 February 2023 27 February 2023 (author), 1 March 2023 (participant); part of Evo*
EvoMUSART Artificial Intelligence in Music, Sound, Art and Design Brno, Czech Republic 12-14 April 2023 18 January 2023 1 February 2023 27 February 2023 (author), 1 March 2023 (participant); part of Evo*
EML Evolutionary Machine Learning Brno, Czech Republic 12-14 April 2023 18 January 2023 1 February 2023 27 February 2023 (author), 1 March 2023 (participant); part of Evo*
RECOMB Research in Computational Molecular Biology Istanbul, Turkey 16-19 April 2023 20 November 2022 8 January 2023
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
ESOP European Symposium on Programming Paris, France 22-27 April 2023 22 December 2022 26 January 2023 part of ETAPS
FASE Fundamental Approaches to Software Engineering Paris, France 22-27 April 2023 22 December 2022 26 January 2023 part of ETAPS
FoSSaCS Foundations of Software Science and Computation Structures Paris, France 22-27 April 2023 22 December 2022 26 January 2023 part of ETAPS
TACAS Tools and Algorithms for the Construction and Analysis of Systems Paris, France 22-27 April 2023 22 December 2022 26 January 2023 part of ETAPS
EUROCRYPT
 
Theory and Applications of Cryptographic Techniques
Lyon, France 23-27 April 2023 8 December 2022
31 January 2023
SDM Data Mining Minneapolis, Minnesota, USA 27-29 April 2023 late December 2022 30 March 2023, 23:59 EDT (UTC-04:00)
IPDPS
 
International Parallel & Distributed Processing Symposium
St. Petersburg, Florida, USA 15-19 May 2023 19 December 2022
31 January 2023
AAMAS Autonomous Agents and Multiagent Systems London, UK 29 May - 2 June 2023 4 January 2023 1 March 2023
SoCG Symposium on Computational Geometry Dallas, Texas, USA 12-15 June 2023 7 February 2023 16 March 2022
CAiSE Advanced Information Systems Engineering Zaragoza, Spain 12-16 June 2023 1 March 2023 28 March 2023
FCRC
 
Federated Computing Research Conference
Orlando, Florida, USA 16-23 June 2023 federated conference including
ISCA, PADS, PLDI, PODC, SIGMETRICS, SPAA, and STOC
SIGMOD International Conference on Management of Data Seattle, Washington, USA 18-23 June 2023 20 December 2022 20 January 2023 co-located with PODS
STOC Symposium on Theory of Computing Orlando, Florida, USA 20-23 June 2023 6 February 2023 part of FCRC
IPCO Integer Programming and Combinatorial Optimization Madison, Wisconsin, USA 21-23 June 2023 20 January 2023
ICAPS International Conference on Automated Planning and Scheduling Prague, Czech Republic 8-13 July 2023 4 February 2023
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
HALG Highlights of Algorithms 2023 Prague, Czech Republic 2 June 2023 4 June 2023
CADE Conference on Automated Deduction 2023 Rome, Italy 1 July 2023 4 July 2023 co-located with FSCD
ITP Interactive Theorem Proving 2023 Białystok, Poland 31 July 2023 4 August 2023
FCT Fundamentals of Computation Theory 2023 Trier, Germany 18 September 2023 21 September 2023 all dates are tentative
LAGOS Latin-American Algorithms, Graphs and Optimization Symposium 2023 Huatulco, Oaxaca, México 18 September 2023 22 September 2023
ECAI European Conference on Artificial Intelligence 2023 Kraków, Poland 1 October 2023 6 October 2023 deadline late April 2023
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: Sat, 03 Dec 2022 18:54:57 CET