Conferences in Theoretical Computer Science

WARNING

Deadline ahead

Conference City, Country Deadline Date Notification Submission format and comments
FOCS
 
Foundations of Computer Science
Santa Cruz, California, USA 28 March / 3 April 2023
16:59 PDT (UTC-07:00)
6-9 November 2023 1 July 2023 no page limit but only first 10 pages read, double-blind
MFPS Mathematical Foundations of Programming Semantics Bloomington, Indiana, USA 1/8 April 2023 19-23 June 2023 10 May 2023 own format, 15 pages excluding references; co-located with CALCO
ICCS International Conference on Conceptual Structures Berlin, Germany 3/10 April 2023 11-13 September 2023 7 June 2023 LNCS, double-blind, 14 pages scientific, 8 pages short, 3 pages extended poster
TbiLLC Tbilisi Symposium on Logic, Language and Computation Telavi, Georgia 3 April 2023 18-22 September 2023 7 June 2023 3 pages text + 1 page references; post-proceedings in LNCS
CICM
 
Conference on Intelligent Computer Mathematics
Cambridge, UK hybrid 3/10 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
HALG Highlights of Algorithms Prague, Czech Republic 5 April 2023 2-4 June 2023 early April
CCCG Canadian Conference on Computational Geometry Montreal, Canada 7 April 2023 2-4 August 2023 26 May 2023 own format, 6 pages excluding references
ISPDC International Symposium on Parallel and Distributed Computing Bucharest, Romania 8/16 April 2023 10-12 July 2023 30 May 2023 IEEE Transactions, 8 pages full, 5 pages short
ThEdu Theorem proving components for Educational software Rome, Italy 10 April 2023 5 July 2023 8 May 2023 EasyChair, 5 pages; workshop affiliated with CADE
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
IWIL International Workshop on the Implementation of Logics Manizales, Colombia 10 April 2023 4 June 2023 2 May 2023 EPiC, 15 pages full, 5 pages short, 2 pages position; workshop affiliated with LPAR
LAGOS Latin-American Algorithms, Graphs and Optimization Symposium Huatulco, Oaxaca, México 12 April 2023 18-22 September 2023 12 June 2023 Procedia, 8 pages
CIAA Conference on Implementation and Application of Automata Famagusta, Cyprus 14 April 2023 19-22 September 2023 29 May 2023 LNCS, 12 pages
CTW
 
Cologne-Twente Workshop on Graphs and Combinatorial Optimization
Garmisch-Partenkirchen, Germany 16 April 2023
(extended abstracts)
20-23 June 2023 2 May 2023 own format, 4 pages extended abstract
EPIA Portuguese Conference on Artificial Intelligence Faial Island, Azores, Portugal 16 April 2023 5-8 September 2023 9 May 2023 LNCS, 12 pages
UNIF Workshop on Unification Rome, Italy 21 April 2023 2 July 2023 26 May 2023 EasyChair, 5 pages; part of FSCD
WPTE Workshop on Rewriting Techniques for Program Transformations and Evaluation Rome, Italy 21 April 2023 1 July 2023 22 May 2023 EPTCS, 10 pages; workshop affiliated with FSCD and CADE
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
LSFA Logical and Semantic Frameworks, with Applications Rome, Italy 22/29 April 2023 1-2 July 2023 27 May 2023 EPTCS, 16 pages full, 6 pages short; workshop affiliated with FSCD
MFCS Mathematical Foundations of Computer Science Bordeaux, France 24/28 April 2023 28 August - 1 September 2023 27 June 2023
CONCUR Concurrency Theory Antwerp, Belgium 24 April / 2 May 2023 18-23 September 2023 28 June 2023 LIPIcs, 14 pages excluding references; part of Confest
CP Principles and Practice of Constraint Programming Toronto, Canada 27 April / 2 May 2023 27-31 August 2023 3 July 2023 LIPIcs, 15 pages full, 8 pages short, both excluding references
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-6 September 2023 23 June 2023 LIPIcs. double-blind, 12 pages excluding references
TIME Temporal Representation and Reasoning Athens, Greece 28 April / 5 May 2023 25-26 September 2023 16 June 2023 LIPIcs, 12 pages excluding references + 5 pages appendix
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
KI German Conference on Artificial Intelligence Berlin, Germany 1/8 May 2023 26-29 September 2023 26 June 2023 LNCS, 12 pages full, 6 pages communications, 3 pages abstracts, all excluding references
DSAA Data Science and Advanced Analytics Thessaloniki, Greece 2 May 2023 9-13 October 2023 10 June 2023 IEEE, double-blind, 10 pages
HOR Higher-Order Rewriting Rome, Italy 2 May 2023 4 July 2023 29 May 2023 EasyChair, 5 pages; workshop affiliated with FSCD
ECAI European Conference on Artificial Intelligence Kraków, Poland 2/8 May 2023 1-6 October 2023 15 July 2023 own format, 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
APPROX
 
Approximation Algorithms for Combinatorial Optimization Problems
Atlanta, Georgia, USA 4 May 2023
18:00 EDT (UTC-04:00)
11-13 September 2023 26 June 2023 LIPIcs, no page limit, but only first 10 pages read, double-blind; co-located with RANDOM
RANDOM Randomization and Computation Atlanta, Georgia, USA 4 May 2023
18:00 EDT (UTC-04:00)
11-13 September 2023 26 June 2023 LIPIcs, no page limit, but only first 10 pages read, double-blind; co-located with APPROX
SAGT Symposium on Algorithmic Game Theory London, UK 4 May 2023 4-7 September 2023 1 July 2023 LNCS, 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
ADEMAL Automated Deduction for Machine Learning Rome, Italy 8 May 2023 5 July 2023 26 May 2023 15 pages + 3 pages references full and tool descriptions, 5 pages short; workshop affiliated with CADE
FMCAD Formal Methods in Computer-Aided Design Ames, Iowa, USA 8/15 May 2023 23-27 October 2023 1 July 2023 ???
TABLEAUX Automated Reasoning with Analytic Tableaux and Related Methods Prague, Czech Republic 9/14 May 2023 18-21 Sptember 2023 9 July 2023 LNCS, 15 pages regular, 9 pages short, both excluding references; co-located with FroCoS
SEMANTICS Semantic Systems Leipzig, Germany 9/16 May 2023 20-22 September 2023 20 June 2023 IOS, double-blind, 15 pages long, 6 pages short, both excluding references
FroCoS Frontiers of Combining Systems Prague, Czech Republic 11/15 May 2023 20-22 September 2023 3 July 2023 LNCS, 15 pages excluding references; co-located with TABLEAUX
FMICS Formal Methods for Industrial Critical Systems Antwerp, Belgium 15 May 2023 20-22 September 2023 14 July 2023 LNCS, 15 pages excluding references; part of Confest
LORI Logic, Rationality and Interaction Jinan, China 15 May 2023 26-29 October 2023 LNCS, 12 pages + 1 page references
SPIRE Symposium on String Processing and Information Retrieval Pisa, Italy 19 May 2023 26-28 September 2023 10 July 2023 LNCS, 12 pages long, 6 pages short, both excluding references
LOPSTR Logic-Based Program Synthesis and Transformation Cascais near Lisbon, Portugal 19/26 May 2023 23-24 October 2023 24 July 2023 LNCS, 15 pages regular, 8 pages short, both excluding references; co-located with PPDP, part of SPLASH
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, 14 pages
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)
NMR Non-Monotonic Reasoning Rhodes, Greece 2/9 June 2023 2-4 September 2023 17 July 2023 CEURART, 10 pages full, 3 pages extended abstracts; co-located with KR
DL Description Logics Rhodes, Greece 2/9 June 2023 2-4 September 2023 26 July 2023 CEURART, 11 pages regular, 4 pages extended abstract, both excluding references; co-located with KR
ADG Automated Deduction in Geometry Belgrade, Serbia 5 June 2023 20-22 September 2023 3 July 2023 LNCS, 12 pages
SISAP Similarity Search and Applications La Coruña, Spain 5/12 June 2023 9-11 October 2023 24 July 2023 LNCS, 14 pages full, 8 pages short
ALGOWIN Algorithmic of Wireless Networks Amsterdam, The Netherlands 11 June 2023 7-8 September 2023 1 August 2023 LNCS, 12 pages excluding references; part of ALGO
PRICAI Pacific Rim International Conference on Artificial Intelligence Jakarta, Indonesia 12 June 2023 17-19 November 2023 31 July 2023 LNCS, double-blind, 12 pages excluding references
ICTAC International Colloquium on Theoretical Aspects of Computing Lima, Peru 16 June 2023 4-8 December 2023 10 September 2023 LNCS, 16 pages + 2 pages references research, 8 pages short and tools
GandALF Games, Automata, Logics, and Formal Verification Udine, Italy 23/30 June 2023 18-20 September 2023 7 August 2023 EPTCS, 14 pages excluding references
ALGOCLOUD Algorithms for Cloud-Based Systems Amsterdam, The Netherlands 25 June 2023 4-8 September 2023 1 August 2023 LNCS, 12 pages excluding references regular, 8 pages short, 10 pages survey; part of ALGO
IPEC International Symposium on Parameterized and Exact Computation Amsterdam, The Netherlands 27/30 June 2023 6-8 September 2023 1 August 2023 LIPIcs, double-blind, no page limit, but only first 10 pages read; part of ALGO
ATMOS Algorithmic Approaches for Transportation Modelling, Optimization, and Systems Amsterdam, The Netherlands 30 June 2023 7-8 September 2023 31 July 2023 OASIcs, 12 pages regular excluding references, 6 pages short; part of ALGO
JAF Journées sur les Arithmétiques Faibles Samos, Greece 30 June 2023 25-27 September 2023 30 July 2023 3 pages
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
SOFSEM Current Trends in Theory and Practice of Computer Science Cochem, Germany 28 August / 1 September 2023 19-23 February 2024 in November 2023 LNCS
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
RAMiCS Relational and Algebraic Methods in Computer Science Augsburg, Germany 3-6 April 2023 16 December 2022 6 January 2023 28 February 2023
Evo*
 
evo*
Brno, Czech Republic 12-14 April 2023 1 March 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 28 February 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 28 February 2023; part of ETAPS
FASE Fundamental Approaches to Software Engineering Paris, France 22-27 April 2023 22 December 2022 26 January 2023 28 February 2023; part of ETAPS
FoSSaCS Foundations of Software Science and Computation Structures Paris, France 22-27 April 2023 22 December 2022 26 January 2023 28 February 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 28 February 2023; part of ETAPS
EUROCRYPT
 
Theory and Applications of Cryptographic Techniques
Lyon, France 23-27 April 2023 8 December 2022
31 January 2023
29 March 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
WTSC Workshop on Trusted Smart Contracts Bol, Island of Brač, Croatia 5 May 2023 1 April 2023 21 April 2023 part of FCDS
FLAIRS FLAIRS Clearwater Beach, Florida, USA 14-17 May 2023 13 March 2023 10 April 2023 3 April 2023
IPDPS
 
International Parallel & Distributed Processing Symposium
St. Petersburg, Florida, USA 15-19 May 2023 19 December 2022
31 January 2023
20 March 2023
EMAS Engineering Multi-Agent Systems London, UK 29-30 May 2023 27 March 2023 27 April 2023 3 April 2023; workshop of AAMAS
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 3 April 2023
ACDA Applied and Computational Discrete Algorithms Seattle, Washington, USA 31 May - 2 June 2023 3 May 2023, 23:59 EDT (UTC-04:00)
LPAR Logic for Programming, Artificial Intelligence and Reasoning Manizales, Colombia 4-9 June 2023 1 May 2023 15 May 2023 12 May 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
SIROCCO Structural Information and Communication Complexity Ávila, Spain 6-9 June 2023 21 March 2023 30 April 2023; conference dinner on 5 June
IWOCA International Workshop on Combinatorial Algorithms Tainan, Taiwan 6-9 June 2023 27 March 2023 10 April 2023 10 April 2023
SoCG Symposium on Computational Geometry Dallas, Texas, USA 12-15 June 2023 7 February 2023 16 March 2022 15 April 2023
DLT Developments in Language Theory Umeå, Sweden 12-16 June 2023 1 April 2023 10 April 2023
WORDS Combinatorics on Words Umeå, Sweden 12-16 June 2023 1 April 2023 10 April 2023
CAiSE Advanced Information Systems Engineering Zaragoza, Spain 12-16 June 2023 1 March 2023 28 March 2023 1 May 2023
TYPES Types for Proofs and Programs València, Spain 12-17 June 2023 5 May 2023 12 May 2023
CIAC International Conference on Algorithms and Complexity Larnaca, Cyprus 13-16 June 2023 29 January 2023 16 February 2023 1 May 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 1 May 2023; co-located with PODS
PODS Principles of Database Systems Seattle, Washington, USA 18-23 June 2023 13 March 2023 1 May 2023; co-located with SIGMOD
SAND Algorithmic Foundations of Dynamic Networks Pisa, Italy 19-21 June 2023 23 March 2023 15 June 2023
DisCoTec Distributed Computing Techniques Lisbon, Portugal 19-23 June 2023 31 March 2023 30 April 2023 federated conference including COORDINATION, DAIS, and FORTE
COORDINATION Coordination Models and Languages Lisbon, Portugal 19-23 June 2023 7 April 2023 30 April 2023 part of DisCoTec
DAIS Distributed Applications and Interoperable Systems Lisbon, Portugal 19-23 June 2023 7 April 2023 30 April 2023 part of DisCoTec
FORTE Formal Techniques for Distributed Objects, Components, and Systems Lisbon, Portugal 19-23 June 2023 7 April 2023 30 April 2023 part of DisCoTec
PODC Principles of Distributed Computing Orlando, Florida, USA 19-23 June 2023 30 March 2023 part of FCRC
CALCO Conference on Algebra and Coalgebra in Computer Science Bloomington, Indiana, USA 19-23 June 2023 28 April 2023 19 May 2023 co-located with MFPS
STOC Symposium on Theory of Computing Orlando, Florida, USA 20-23 June 2023 6 February 2023 part of FCRC
CTW
 
Cologne-Twente Workshop on Graphs and Combinatorial Optimization
Garmisch-Partenkirchen, Germany 20-23 June 2023 3 April 2023
2 May 2023
16 May 2023
IPCO Integer Programming and Combinatorial Optimization Madison, Wisconsin, USA 21-23 June 2023 20 January 2023 1 April 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
DEBS Distributed and Event-Based Systems Neuchâtel, Switzerland 27-30 June 2023 27 April 2023 26 May 2023
WG Graph-Theoretic Concepts in Computer Science Fribourg, Switzerland 28-30 June 2023 26 April 2023 21 July 2023
CSCML Cyber Security, Cryptology and Machine Learning virtual 29-30 June 2023 14 March 2023 31 March 2023 29 June 2023, 07:00 IDT (UTC+03:00) - registration is FREE but obligatory VIRTUAL
CADE Conference on Automated Deduction Rome, Italy 1-4 July 2023 3 May 2023 24 May 2023 co-located with FSCD
FSCD Formal Structures for Computation and Deduction Rome, Italy 3-6 July 2023 13 April 2023 27 April 2023 co-located with CADE
TASE Theoretical Aspects of Software Engineering Bristol, UK 4-6 July 2023 10 April 2023 1 May 2023
SAT Theory and Applications of Satisfiability Testing Alghero, Italy 4-8 July 2023 15 May 2023 4 June 2023
DEON Deontic Logic and Normative Systems Trois-Rivières, Quebec, Canada 5-7 July 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 6 March 2023
1 May 2023
19 May 2023
ICLP International Conference on Logic Programming London, UK 9-15 July 2023 28 February 2023 26 May 2023
ICALP International Colloquium on Automata, Languages and Programming Paderborn, Germany 10-14 July 2023 21 April 2023 5 May 2023 ?? May 2023
CSF Computer Security Foundations Dubrovnik, Croatia 10-14 July 2023 7 April 2023
WoLLIC Workshop on Logic, Language, Information and Computation Halifax, Nova Scotia, Canada 11-14 July 2023 15 May 2023 5 June 2023 HYBRID
COLT Conference on Learning Theory Bangalore, India 12-15 July 2023 15 May 2023
SoCS Symposium on Combinatorial Search Prague, Czech Republic 14-16 July 2023 27 April 2023 15 May 2023 17 May 2023
GECCO Genetic and Evolutionary Computation Conference Lisbon, Portugal 15-19 July 2023 31 March 2023 20 April 2023 HYBRID
CCC Computational Complexity Conference Warwick, UK 17-20 July 2023 1 May 2023 mid May 2023
FOIS Formal Ontology in Information Systems Sherbrooke, Quebec, Canada 17-20 July 2023 10 April 2023 1 May 2023
ICFCA International Conference on Formal Concept Analysis Kassel, Germany 17-21 July 2023 30 March 2023 21 April 2023
ICGT International Conference on Graph Transformation Leicester, UK 17-21 July 2023 25 April 2023 7 May 2023
CAV Computer-Aided Verification Paris, France 17-22 July 2023 25 April 2023) 29 May 2023
ICDCS International Conference on Distributed Computing Systems Hong Kong, SAR China 18-21 July 2023 3 April 2023 8 May 2023
TAP Tests and Proofs Leicester, UK 18-21 July 2023 21 April 2023 15 May 2023
MIWAI Multi-Disciplinary International Conference on Artificial Intelligence Hyderabad, India 20-22 July 2023 5 April 2023 30 March 2023
SEA Symposium on Experimental Algorithms Barcelona, Spain 24-26 July 2023 27 March 2023 28 April 2023
ISSAC
 
International Symposium on Symbolic and Algebraic Computation
Tromsø, Norway 24-27 July 2023 18 April 2023
2 May 2023
22 May 2023
CiE Computability in Europe Batumi, Georgia 24-28 July 2023 20 April 2023 1 May 2023
WADS Algorithms and Data Structures Montreal, Canada 31 July - 2 August 2023 17 April 2023
ITP Interactive Theorem Proving Białystok, Poland 31 July - 4 August 2023 17 April 2023 15 May 2023
KDD Knowledge Discovery and Data Mining Long Beach, California, USA 6-10 August 2023 18 May 2023 10 June 2023
CRYPTO CRYPTO Santa Barbara, California, USA 19-24 August 2023 5 May 2023
IJCAI
 
International Joint Conference on Artificial Intelligence
Cape Town, South Africa
Macao, SAR China
19-25 August 2023 19 April 2023
Euro-Par European Conference on Parallel and Distributed Computing Limassol, Cyprus 28 August - 1 September 2023 30 April 2023 2 June 2023 2 June 2023
Eurocomb European Conference on Combinatorics, Graph Theory and Applications Prague, Czech Republic 28 August - 1 September 2023 6 May 2023 30 May 2023 13 June 2023
KR Principles of Knowledge Representation and Reasoning Rhodes, Greece 2-8 September 2023 18 May 2023 9 June 2023
ALGO ALGO Amsterdam, The Netherlands 4-8 September 2023 federated conference including ALGOCLOUD, ALGOWIN, ATMOS, IPEC, ESA, and WAOA
ICFP
 
International Conference on Functional Programming
Seattle, Washington, USA 4-9 September 2023 18 May 2023
27 June 2023
Confest Confest Antwerp, Belgium 18-23 September 2023 federated conference inclusing CONCUR, FMICS, FORMATS, and QEST
SAFECOMP Computer Safety, Reliability and Security Toulouse, France 19-22 September 2023 22 April 2023 1 June 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 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
AofA Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms 2023 Taipei, Taiwan 26 June 2023 30 June 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: Sat, 01 Apr 2023 15:58:31 CEST