Conferences in Theoretical Computer Science

WARNING

Deadline ahead

Conference City, Country Deadline Date Notification Submission format and comments
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
ICLP International Conference on Logic Programming London, UK 30 January / 6 February 2023 9-15 July 2023 28 February 2023 TPLP, 14 pages regular; EPTCS, 7 pages short
ISSAC
 
International Symposium on Symbolic and Algebraic Computation
Tromsø, Norway 31 January / 7 February 2023 24-27 July 2023 18 April 2023
12 May 2023
ACM, two-column, 8 pages + 2 pages references
FOIS Formal Ontology in Information Systems Sherbrooke, Quebec, Canada 31 January / 12 February 2023 17-20 July 2023 10 April 2023 IOS, 14 pages
KDD Knowledge Discovery and Data Mining Long Beach, California, USA 2 February 2023 6-10 August 2023 18 May 2023 ACM, double-blind, 9 pages excluding references
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
CSF Computer Security Foundations Dubrovnik, Croatia 3 February 2023 10-14 July 2023 7 April 2023 IEEE Transactions, 12 pages excluding references
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, 15 pages excluding references
IWOCA International Workshop on Combinatorial Algorithms Tainan, Taiwan 6 February 2023 6-9 June 2023 27 March 2023 LNCS, 12 pages excluding references
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
FLAIRS FLAIRS Clearwater Beach, Florida, USA 6/13 February 2023 14-17 May 2023 13 March 2023 own format, 6 pages full, 4 pages short, 2 pages poster, all excluding references
CSCML Cyber Security, Cryptology and Machine Learning virtual 7 February 2023 29-30 June 2023 14 March 2023 LNCS, 12-15+ pages regular, 6-10 pages short
CiE Computability in Europe Batumi, Georgia 8/15 February 2023 24-28 July 2023 20 April 2023 LNCS, 12 pages
SEA Symposium on Experimental Algorithms Barcelona, Spain 10 February 2023 24-26 July 2023 27 March 2023 LIPIcs, 12 pages excluding references + 5 pages appendix
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
COLT Conference on Learning Theory Bangalore, India 10 February 2023 12-15 July 2023 15 May 2023 own format, double-blind, 12 pages excluding references
ICFCA International Conference on Formal Concept Analysis Kassel, Germany 10/17 February 2023 17-21 July 2023 30 March 2023 LNCS, 16 pages
COORDINATION Coordination Models and Languages Lisbon, Portugal 11/18 February 2023 19-23 June 2023 31 May 2023 LNCS, 7-15 pages regular long, 4-6 pages regular short, 7-15 long tool, 16-25 survey; part of DisCoTec
DAIS
 
Distributed Applications and Interoperable Systems
Lisbon, Portugal 11/18 February 2023 19-23 June 2023 31 May 2023 LNCS, 15 pages + 2 pages references full, 15 pages + 2 pages references practical experiences etc,
6 pages + 2 pages references work in progress; part of DisCoTec
FORTE
 
Formal Techniques for Distributed Objects, Components, and Systems
Lisbon, Portugal 11/18 February 2023 19-23 June 2023 31 May 2023 LNCS, 15 pages + 2 pages references full, 6 pages + 2 pages references short, 4 pages journal first;
part of DisCoTec
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
ITP Interactive Theorem Proving Białystok, Poland 13/20 February 2023 31 July - 4 August 2023 17 April 2023 LIPIcs, 16 pages excluding references
CRYPTO
 
CRYPTO
Santa Barbara, California, USA 16 February 2023
16:00 EST (UTC-05:00)
19-24 August 2023 5 May 2023 LNCS, double-blind, 30 pages excluding references
Euro-Par European Conference on Parallel and Distributed Computing Limassol, Cyprus 17/24 February 2023 28 August - 1 September 2023 30 April 2023 LNCS, 14 pages
DEBS Distributed and Event-Based Systems Neuchâtel, Switzerland 17/24 February 2023 27-30 June 2023 27 April 2023 ACM, double-blind, 12 pages regular, 6 pages short and visionary
CTW
 
Cologne-Twente Workshop on Graphs and Combinatorial Optimization
Garmisch-Partenkirchen, Germany 19 February 2023
16 April 2023
20-23 June 2023 3 April 2023
2 May 2023
AIRO, 8-12 pages standard, 4 pages extended abstract
DLT Developments in Language Theory Umeå, Sweden 19/26 February 2023 12-16 June 2023 1 April 2023 LNCS, 12 pages excluding references
WORDS Combinatorics on Words Umeå, Sweden 19/26 February 2023 12-16 June 2023 1 April 2023 LNCS, 12 pages excluding references
WADS Algorithms and Data Structures 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
EC
 
Economics and Computation
London, UK 22 February 2023
(STOC rejections only)
9-12 July 2023 3 March 2023
1 May 2023
own format, double-blind, 18 pages excluding title page and references
EMAS
 
Engineering Multi-Agent Systems
London, UK 22 February 2023 29-30 May 2023 27 March 2023 LNCS, 16 pages regular, 8 pages short, 6 pages student, 4 pages tools, testbeds, & demos,
all excluding references; workshop of AAMAS
CADE
 
Conference on Automated Deduction
Rome, Italy 27 February / 6 March 2023 1-4 July 2023 3 May 2023 LNCS, 15 pages regular, 10 pages short (including system descriptions, user experiences, …
case studies, and domain models), both excluding references; co-located with FSCD
ICGT International Conference on Graph Transformation Leicester, UK 28 February / 7 March 2023 17-21 July 2023 25 April 2023 LNCS, 16 pages regular, 8 pages tools, 8 pages Blue Sky, all excluding references
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
WTSC Workshop on Trusted Smart Contracts Bol, Island of Brač, Croatia 3/6 March 2023 5 May 2023 27 March 2023 LNCS, 15 pages excluding references; part of FCDS
SoCS Symposium on Combinatorial Search Prague, Czech Republic 3/9 March 2023 14-16 July 2023 27 April 2023 Own format, double-blind, 8 pages long, 4 pages short, both + 1 page references,
KR Principles of Knowledge Representation and Reasoning Rhodes, Greece 3/14 March 2023 2-8 September 2023 18 May 2023 9 pages full, 4 pages short, both excluding references and acknowledgments
TAP
 
Tests and Proofs
Leicester, UK 3/17 March 2023 18-21 July 2023 21 April 2023 LNCS, 16 pages regular, 8 pages tool demonstrations, 6 pages short, 4 pages journal first,
all excluding references
ACDA Applied and Computational Discrete Algorithms Seattle, Washington, USA 8 March 2023 31 May - 2 June 2023 own format, 10 pages
MIWAI Multi-Disciplinary International Conference on Artificial Intelligence Hyderabad, India 10 March 2023 20-22 July 2023 31 March 2023 LNCS, double-blind, 12 pages regular, 8 pages short
SAT Theory and Applications of Satisfiability Testing Alghero, Italy 10/17 March 2023 4-8 July 2023 15 May 2023 LIPIcs, 15 pages long, 8 pages short, 8 pages tools, all excluding references
LPAR Logic for Programming, Artificial Intelligence and Reasoning Manizales, Colombia 13 March 2023 4-9 June 2023 1 May 2023 EPiC, 15 pages regular, 8 pages experimental and tools, both excluding references
LAGOS Latin-American Algorithms, Graphs and Optimization Symposium Huatulco, Oaxaca, México 15 March 2023 18-22 September 2023 15 May 2023 Procedia, 8 pages
Eurocomb European Conference on Combinatorics, Graph Theory and Applications Prague, Czech Republic 21 March 2023 28 August - 1 September 2023 6 May 2023 5 pages A4 excluding references
ISPDC International Symposium on Parallel and Distributed Computing Bucharest, Romania 25 March / 2 April 2023 10-12 July 2023 30 May 2023 IEEE Transactions, 8 pages full, 5 pages short
CICM
 
Conference on Intelligent Computer Mathematics
Cambridge, UK hybrid 27 March / 3 April 2023 4-8 September 2023 13 May 2023 LNCS, 15 pages regular, 15 pages project and survey [existing results],
5 pages system and dataset descriptions [digital artifacts], 1 page system entry
CLAR International Conference on Logic and Argumentation Hangzhou, China 10 April 2023 10-12 September 2023 15 June 2023 LNCS (to be confirmed), 16 pages excluding references
UNIF Workshop on Unification Rome, Italy 21 April 2023 2 July 2023 26 May 2023 EasyChair, 5 pages; part of FSCD
FORMATS Formal Modeling and Analysis of Timed Systems Antwerp, Belgium 21/28 April 2023 19-21 September 2023 16 June 2023 LNCS, 15 pages regular, 7 pages short, both excluding references; part of Confest
CONCUR Concurrency Theory Antwerp, Belgium 24 Apil / 2 May 2023 18-23 September 2023 28 June 2023 LIPIcs, 14 pages excluding references; part of Confest
ATVA Automated Technology for Verification and Analysis Singapore 27 April / 4 May 2023 24-28 October 2023 30 June 2023 LNCS, 16 pages regular, 6 pages tools, both excluding references
ESA European Symposium on Algorithms Amsterdam, The Netherlands 28 April 2023 4-8 September 2023 23 June 2023
QEST Quantitative Evaluation of SysTems Antwerp, Belgium 30 April / 7 May 2023 18-23 September 2023 29 June 2023 LNCS, 14 pages regular, 7 pages short, both excluding references; part of Confest
ECAI European Conference on Artificial Intelligence Kraków, Poland 2/8 May 2023 1-6 October 2023 15 July 2023 no format yet, double-blind, 7 pages text + 1 page references
DISC Distributed Computing L'Aquila, Italy 3/10 May 2023 9-13 October 2023 19 July 2023 LIPIcs, double-blind, no page limit but only first 15 pages read
IWC International Workshop on Confluence Obergurgl, Austria 7/14 May 2023 23 August 2023 11 June 2023 EasyChair, 5 pages
RuleML+RR International Joint Conference on Rules and Reasoning Oslo, Norway 20/27 May 2023 18-20 September 2023 1 July 2023 LNCS, double-blind, 15 pages long, 8 pages short
JELIA European Conference on Logics in Artificial Intelligence Dresden, Germany 22/25 Mai 2023 20-22 September 2023 10 July 2023 LNCS, 13 pages full paper, 6 pages short paper, both excluding references
FedCSIS Federated Conference on Computer Science and Information Systems Warsaw, Poland 23 May 2023 17-20 September 2023 11 July 2023 own format, 10 pages full, 4 pages short, 6 pages communications
FCT Fundamentals of Computation Theory Trier, Germany 26 May / 1 June 2023 18-21 September 2023 17 July 2023 LNCS
ESORICS
 
European Symposium on Research in Computer Security
The Hague, The Netherlands 28 May 2023 25-29 September 2023 2 April 2023
30 July 2023
LNCS, 16 pages excluding references (20 pages total)
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
AISC Australasian Information Security Conference Melbourne, Australia 30 January - 3 February 2023
Conference City, Country Date Remark

Future conferences with deadline over

Conference City, Country Date Notification Final version Early registration and other indications Remark
AAAI Artificial Intelligence Washington, D.C., USA 7-14 February 2023 18 November 2022 1 December 2022 5 January 2023
CPML Bridge on Constraint Programming and Machine Learning Washington, D.C., USA 7-14 February 2023 2 December 2022 5 January 2023
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 20 January 2023
ALT Algorithmic Learning Theory Singapore 20-23 February 2023 21 December 2022 31 January 2023
FM Formal Methods Lübeck, Germany 6-10 March 2023 15 November 2022 11 December 2022 1 February 2023
STACS Symposium on Theoretical Aspects of Computer Science Hamburg, Germany 7-10 March 2023 4 December 2022 8 January 2023 1 February 2023 (author, presenter), 6 March 2023 (attendee)
DCC Data Compression Conference Snowbird, Utah, USA 21-24 March 2023 late December 2022 31 January 2023
WALCOM International Conference and Workshops on Algorithms and Computation Hsinchu, Taiwan 22-24 March 2022 28 November 2022 10 December 2022 several deadlines HYBRID conference
EDBT Extending Database Technology Ioannina, Greece 28-31 March 2023 1 December 2022 10 February 2023; co-located with ICDT
ICDT International Conference on Database Theory Ioannina, Greece 28-31 March 2023 7 December 2022 10 February 2023; co-located with EDBT
EuroCG European Workshop on Computational Geometry Barcelona, Spain 29-31 March 2023 17 February 2023 3 March 2023 23 February 2023
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 12 March 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)
OLA Optimization and Learning Malaga, Spain 3-5 May 2023 24 February 2023 31 March 2023 31 March 2023
IPDPS
 
International Parallel & Distributed Processing Symposium
St. Petersburg, Florida, USA 15-19 May 2023 19 December 2022
31 January 2023
CPAIOR Integration of Constraint Programming, Artificial Intelligence, and Operations Research Nice, France 29 May - 1 June 2023 25 January 2023
AAMAS Autonomous Agents and Multiagent Systems London, UK 29 May - 2 June 2023 4 January 2023 1 March 2023
ICICS International Conference on Information and Communications Security San Francisco, California, USA 5-6 June 2023 6 February 2023 6 May 2023 6 May 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
CIAC International Conference on Algorithms and Complexity Larnaca, Cyprus 13-16 June 2023 29 January 2023 16 February 2023
FCRC Federated Computing Research Conference Orlando, Florida, USA 16-23 June 2023 federated conference including ISCA, PADS, PLDI, PODC, SIGMETRICS, SPAA, and STOC
SPAA Symposium on Parallelism in Algorithms and Architectures Orlando, Florida, USA 16-19 June 2023 22 March 2023 20 April 2023 part of FCRC
SIGMOD International Conference on Management of Data Seattle, Washington, USA 18-23 June 2023 20 December 2022 20 January 2023 co-located with PODS
PODS Principles of Database Systems Seattle, Washington, USA 18-23 June 2023 13 March 2023 co-located with SIGMOD
SAND Algorithmic Foundations of Dynamic Networks Pisa, Italy 19-21 June 2023 23 March 2023
DisCoTec Distributed Computing Techniques Lisbon, Portugal 19-23 June 2023 31 March 2023 30 April 2023 federated conference including COORDINATION, DAIS, and FORTE
PODC Principles of Distributed Computing Orlando, Florida, USA 19-23 June 2023 30 March 2023 part of FCRC
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
CPM Combinatorial Pattern Matching Marne-la-Vallée, France 26-28 June 2023 27 March 2023
LICS Logic in Computer Science Boston, Massachusetts, USA 26-29 June 2023 5 April 2023
ICAPS International Conference on Automated Planning and Scheduling Prague, Czech Republic 8-13 July 2023 4 February 2023
EC
 
Economics and Computation
London, UK 9-12 July 2023 3 March 2023
1 May 2023
19 May 2023
ICDCS International Conference on Distributed Computing Systems Hong Kong, SAR China 18-21 July 2023 3 April 2023 8 May 2023
IJCAI International Joint Conference on Artificial Intelligence Cape Town, South Africa 19-25 August 2023 19 April 2023
ALGO ALGO Amsterdam, The Netherlands 4-8 September 2023 federated conference including ALGOCLOUD, ALGOSENSORS, ATMOS, IPEC, ESA, and WAOA
Confest Confest Antwerp, Belgium 18-23 September 2023 federated conference inclusing CONCUR, FMICS, FORMATS, and QEST
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 2023 and 2024 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
BLAST Boolean Algebras; Lattices, Algebraic Logic and Quantum Logic; Universal Algebra; Set Theory; Set-theoretic and Point-free Topology 2023 Charlotte, North Carolina, USA 16 May 2023 20 May 2023
HALG Highlights of Algorithms 2023 Prague, Czech Republic 2 June 2023 4 June 2023 deadline early April 2023
AofA Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms 2023 Taipei, Taiwan 26 June 2023 30 June 2023
CP Principles and Practice of Constraint Programming 2023 Toronto, Canada 27 August 2023 31 August 2023
IPEC International Symposium on Parameterized and Exact Computation 2023 Amsterdam, The Netherlands 4 September 2023 8 September 2023 LIPIcs, double-blind, no page limit, but only first 10 pages read; part of ALGO
JAF Journées sur les Arithmétiques Faibles 2023 Samos, Greece 25 September 2023 27 September 2023
FMCAD Formal Methods in Computer-Aided Design 2023 Ames, Iowa, USA 23 October 2023 27 October 2023
ICTAC International Colloquium on Theoretical Aspects of Computing 2023 Lima, Peru 4 December 2023 8 December 2023
ANTS Algorithmic Number Theory Symposium 2024 Cambridge, Massachusetts, USA 15 July 2024 19 July 2024
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-2023

Last modified: Wed, 01 Feb 2023 20:57:49 CET