Conferences in Theoretical Computer Science
WARNING
- If you wish your conference to be listed here … follow these instructions
- All information on this page is given without any warranty.
- When there are two dealine dates, the first is for the abstract, the second for the full paper.
- All deadlines are 23:59 Anywhere on Earth (AoE) (UTC-12:00) if not stated otherwise.
- Be aware that some special deadline times, others than AoE, might be one hour earlier, because of daylight saving time, even if the conference organizers indicated the time without the daylight saving time shift.
- Be also aware, that the daylight saving time starts and ends on different days in Europe and North America.
- The calendar for the years 2023 and 2024 can help you to consider the deadlines and dates.
- Your time zone is UTC
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
- for planning conferences in the future,
- to indicate the planned (tentative) dates for a conference, and
- 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.
© Miki Hermann (LIX, Ecole Polytechnique), 2015-2023
Last modified: Wed, 01 Feb 2023 20:57:49 CET