WARNING
Conference | City, Country | Deadline | Date | Notification | Submission format and comments |
---|---|---|---|---|---|
ECMFA European Conference on Modelling Foundations and Applications |
Koblenz, Germany | 31 January / 7 February 2025 | 10-13 June 2025 | 28 March 2025 2 May 2025 |
JOT, 2nd round of submissions, part of STAF |
KDD Knowledge Discovery and Data Mining | Toronto, Ontario, Canada | 3/10 February 2025 | 3-7 August 2025 | 16 May 2025 | ACM, double-blind, 8 pages excluding references |
EC Economics and Computation |
Stanford, California, USA | 3/10 February 2025 | 7-12 July 2025 | 27 March 2025 17 May 2025 |
own format, double-blind, 18 pages excluding references |
PODC Principles of Distributed Computing |
Huatulco, Mexico | 4/8 February 2025 | 16-20 June 2025 | 17 April 2025 | letter paper, 11-point font, single column, single-spaced format with 1-inch margins; double-blind, no page limit regular, 5 pages brief announcements |
CCC Computational Complexity Conference | Toronto, Ontario, Canada | 7 February 2025 | 5-8 August 2025 | 2 May 2025 | LIPIcs, double-blind, no page limit but only first 10 pages read; at Fields Institute |
OLA Optimization and Learning | Dubai, United Arab Emirates | 7 February 2025 | 23-25 April 2025 | 21 February 2025 | LNCS, 12 pages research; own format 3 pages extended abstract & work in progress & position |
SAFECOMP Computer Safety, Reliability and Security | Stockholm, Sweden | 7/14 February 2025 | 9-12 September 2025 | 12 April 2025 | LNCS, 14 pages |
ICALP International Colloquium on Automata, Languages and Programming | Aarhus, Denmark | 8 February 2025 | 8-11 July 2025 | 14 April 2025 | LIPIcs, double-blind, 15 pages excluding references |
FSCD Formal Structures for Computation and Deduction | Birmingham, UK | 10/17 February 2025 | 14-20 July 2025 | 30 April 2025 | LIPIcs, 15 pages regular, 15 pages system descriptions, both excluding references |
EMAS Engineering Multi-Agent Systems |
Denver, Colorado, USA | 11 February 2025 | 19-20 May 2025 | 10 March 2025 | LNCS, 16 pages regular, 8 pages short, 6 pages student,
4 pages tools and demo, all excluding references; co-located with AAMAS |
SPAA Symposium on Parallelism in Algorithms and Architectures | Portland, Oregon, USA | 11/18 February 2025 | 28 July - 1 August 2025 | 20 May 2025 | ACM, 10 pages excluding references regular, 3 pages brief announcements |
SPIN International Symposium on Model Checking Software |
Hamilton, Ontario, Canada | 13 February 2025 | 7-8 May 2025 | 24 March 2025 | LNCS, 16 pages full (full tool with mandatory artifact), 6 pages short, all excluding references; co-located with ETAPS |
WG Graph-Theoretic Concepts in Computer Science | Otzenhausen, Germany | 14/20 February 2025 | 11-13 June 2025 | 17 April 2025 | LNCS, 12 pages excluding references |
COORDINATION Coordination Models and Languages |
Lille, France | 14/21 February 2025 | 16-20 June 2025 | 28 March 2025 | LNCS, 15 pages regular, 25 pages survey, 15 pages tool, all excluding references; part of DISCOTEC |
DAIS Distributed Applications and Interoperable Systems |
Lille, France | 14/21 February 2025 | 16-20 June 2025 | 28 March 2025 | LNCS, 15 pages full, 6 pages work in progress, both +2 pages for references; part of DISCOTEC |
FORTE Formal Techniques for Distributed Objects, Components, and Systems |
Lille, France | 14/21 February 2025 | 16-20 June 2025 | 28 March 2025 | LNCS, 15 pages regular, 15 pages tool, 6 pages short, all excluding references; part of DISCOTEC |
CLAR International Conference on Logic and Argumentation | Taiyuan, China | 15 February 2025 | 14-16 June 2025 | 29 March 2025 | LNCS, 16 pages excluding references |
TASE Theoretical Aspects of Software Engineering | Limassol, Cyprus | 15/21 February 2025 | 14-16 July 2025 | 1 April 2025 | LNCS, 16 pages long, 6 pages short, both excluding references |
CADE Conference on Automated Deduction |
Stuttgart, Germany | 17/24 February 2025 | 28 July - 2 August 2025 | 28 April 2025 | LNCS, 15 pages regular, 10 pages short, both excluding references; deadline for satellite event proposals: 11 November 2024 |
WoLLIC Workshop on Logic, Language, Information and Computation | Porto, Portugal | 17/24 February 2025 | 14-17 July 2025 | 12 May 2025 | LNCS, 12 pages + 5 pages references and appendix |
CPM Combinatorial Pattern Matching | Milan, Italy | 21 February 2025 | 17-19 June 2025 | 21 March 2025 | LIPIcs, 12 pages excluding title page and references; second round of sumbissions |
WADS | Toronto, Canada | 21/28 February 2025 | 11-15 August 2025 | 15 April 2025 | LIPIcs, 12 pages + 2 pages of references; colocated with CCCG |
ICFP International Conference on Functional Programming |
Singapore | 27 February 2025 | 12-18 October 2025 | 23 May 2025 | ACM small,
double-blind, 25 pages full or functional pearl, 12 pages experience report, all excluding references |
IWOCA International Workshop on Combinatorial Algorithms | Bozeman, Montana, USA | 27 February 2025 | 21-24 July 2025 | 22 April 2025 | LNCS, 12 pages excluding references |
ECCO European Chapter on Combinatorial Optimization | Marrakech, Morocco | 28 February 2025 | 8-10 May 2025 | 14 March 2025 | one page abstract |
TYPES Types for Proofs and Programs | Glasgow, Scotland, UK | 3 March 2025 | 9-13 June 2025 | 11 April 2025 | 2 pages excluding references; post-proceedings LIPIcs |
CALCO Conference on Algebra and Coalgebra in Computer Science | Glasgow, Scotland, UK | 3/6 March 2025 | 16-20 June 2025 | 16 April 2025 | LIPIcs, 15 pages excluding references regular, 2 pages early ideas, 5 pages tools |
COCOON Computing and Combinatorics Conference | Chengdu, China | 5 March 2025 | 15-17 August 2025 | 5 May 2025 | LNCS, double-blind, 12 pages |
CanaDAM Canadian Discrete and Algorithmic Mathematics Conference | Ottawa, Ontario, Canada | 10 March 2024 | 20-23 May 2024 | 24 March 2024 | |
SoCS Symposium on Combinatorial Search |
Glasgow, Scotland, UK | 12/19 March 2025 | 12-15 August 2025 | 16 May 2025 | AAAI, double-blind,
8 pages long, 4 pages short, 2 pages extended abstract, all +1 page references; co-located with SAT and CP |
ITP Interactive Theorem Proving |
Reykjavik, Iceland | 12/19 March 2025 | 27 September - 3 October 2025 | 23 May 2025 | LIPIcs,
double-blind, 16 pages regular, 6 pages short, both excluding references; co-located with FroCoS, and TABLEAUX |
TbiLLC Tbilisi Symposium on Logic, Language and Computation | Kutaisi, Georgia | 14 March 2025 | 8-12 September 2025 | 23 May 2025 | 3 pages + 1 page references; post-proceedings LNCS |
CP Principles and Practice of Constraint Programming |
Glasgow, Scotland, UK | 20/27 March 2025 | 10-15 August 2025 | 29 May 2025 | LIPIcs,
double-blind, 15 pages + 6 pages appendix full, 8 pages + 3 pages appendix short, both excuding references; co-located with SAT and SoCS |
SAT Theory and Applications of Satisfiability Testing |
Glasgow, Scotland, UK | 20/27 March 2025 | 11-15 August 2025 | 29 May 2025 | LIPIcs,
15 pages long, 8 pages short, 8 pages tool, all excluding references; co-located with CP and SoCS |
MFPS Mathematical Foundations of Programming Semantics | Glasgow, Scotland, UK | 27 March / 3 April 2025 | 16-20 June 2025 | 12 May 2025 | own format, 15 pages excluding references |
ICLP International Conference on Logic Programming |
Rende, Calabria, Italy | 13/18 April 2025 15 June 2025 |
12-19 September 2025 | 25 May 2025 6 July 2025 |
TPLP and EPTCS; co-located with PPDP |
MFCS Mathematical Foundations of Computer Science | Warsaw, Poland | 18 April 2025 | 25-29 August 2025 | 20 June 2025 | LIPIcs, 12 pages excluding references |
KI German Conference on Artificial Intelligence |
Potsdam, Germany | 18/25 April 2025 | 16-19 September 2025 | 6 June 2025 | LNCS, 12 pages full, 6 pages communications, 3 pages extended abstracts (deadline 16 May 2025), all excluding references |
FMCAD Formal Methods in Computer-Aided Design | Menlo Park, California, USA | 20/27 April 2025 | 6-10 October 2025 | 1 July 2025 | IEEE Transactions, 8 pages long, 4 pages short, both excluding references |
ESORICS European Symposium on Research in Computer Security | Toulouse, France | 22 April 2025 | 22-26 September 2025 | 13 June 2025 | LNCS, 16 pages + 4 pages references and appendix; second round of submission |
CICM Conference on Intelligent Computer Mathematics |
Brasilia, Brazil | 28 April / 5 May 2025 | 6-11 October 2025 | 4 July 2025 | LNCS,
15 pages regular, 15 pages project and survey, 5 pages system and dataset descriptions, all excluding references; co-located with LSFA |
ECAI European Conference on Artificial Intelligence | Bologna, Italy | 29 April / 6 May 2025 | 25-30 October 2025 | 10 July 2025 | no format yet, double-blind |
LAGOS Latin-American Algorithms, Graphs and Optimization Symposium | Buenos Aires, Argentina | 30 April 2025 | 10-14 November 2025 | 20 July 2025 | own format, 8 pages |
CCCG Canadian Conference on Computational Geometry | Toronto, Ontario, Canada | 2 May 2025 | 11-15 August 2025 | 13 June 2025 | format not available yet, double-blind, 6 pages excluding references; co-located with WADS |
JELIA European Conference on Logics in Artificial Intelligence | Kutaisi, Georgia | 2/9 May 2025 | 1-5 September 2025 | 1 July 2025 | LNCS, 13 pages long, 6 pages short, excluding references |
LSFA Logical and Semantic Frameworks with Applications | Brasilia, Brazil | 5/12 May 2025 | 6-11 October 2025 | 27 June 2025 | EPTCS, 16 pages full, 6 pages short; co-located with CICM |
FroCoS Frontiers of Combining Systems | Reykjavik, Iceland | 5/12 May 2025 | 27 September - 3 October 2025 | 23 June 2025 | LNCS, 15 pages excluding references; co-located with ITP and TABLEAUX |
TABLEAUX Automated Reasoning with Analytic Tableaux and Related Methods | Reykjavik, Iceland | 9/14 May 2025 | 27 September - 3 October 2025 | 9 July 2025 | LNCS, 15 pages regular, 9 pages short, both excluding references; co-located with FroCoS, and ITP |
PPDP Principles and Practice of Declarative Programming |
Rende, Calabria, Italy | 18/30 May 2025 | 10-11 September 2025 | 7 July 2025 | ACM, two column,
12 pages regular, 10 pages system descriptions, both excluding references, 5 pages experience reports; co-located with ICLP |
JAF Journées sur les Arithmétiques Faibles | Prague, Czech Republic | 2 June 2025 | 8-10 September 2025 | 5 July 2025 | 3 pages PDF |
RuleML+RR International Joint Conference on Rules and Reasoning | İstanbul, Türkiye | 2/9 June 2025 | 22-24 September 2025 | 28 July 2025 | LNCS, 15 pages text + 2 pages references long, 8 pages text + 1 page references short |
GD Graph Drawing |
Norrköping, Sweden | 3/10 June 2025 | 24-26 September 2025 | 23 July 2025 | own format and
LIPIcs,
double-blind,
500 lines and 15 pages full, 225 lines and 7 pages short, 80 lines and 3 pages poster, all lines counted without front matter |
Conference | City, Country | Deadline | Date | Notification | Submission format and comments |
Conference | City, Country | Date | Remark |
---|---|---|---|
Conference | City, Country | Date | Remark |
Conference | City, Country | Date | Notification | Final version | Early registration | Remarks and other indications |
---|---|---|---|---|---|---|
CSL Computer Science Logic | Amsterdam, The Netherlands | 10-14 February 2025 | 27 October 2024 | 24 November 2024 | 10 January 2025 | |
CALDAM Conference on Algorithms and Discrete Applied Mathematics | Coimbatore, Tamilnadu, India | 13-15 February 2025 | 12 November 2024 | 22 November 2024 | 31 December 2024 | |
ALT Algorithmic Learning Theory | Milan, Italy | 24-27 February 2025 | 20 December 2024 | |||
AAAI Artificial Intelligence |
Philadelphia, Pennsylvania, USA | 25 February - 4 March 2025 | 14 October 2024 9 December 2024 |
19 December 2024 | 19 December 2024 | 19 August 2024 supplementary material and code |
WALCOM International Conference and Workshops on Algorithms and Computation | Chengdu, China | 28 February - 2 March 2025 | 8 November 2024 | 20 November 2024 | 30 December 2024 | |
STACS Symposium on Theoretical Aspects of Computer Science | Jena, Germany | 4-7 March 2025 | 16 December 2024 | January 2025 | 17 February 2025 | |
BICOB Bioinformatics and Computational Biology | San Francisco, California, USA | 17-18 March 2025 | 31 January 2025 | 15 February 2025 | 15 February 2025 | registration due for all at early date |
ICDT International Conference on Database Theory | Barcelona, Spain | 25-28 March 2025 | 28 November 2024 | 24 February 2025 | co-located with EDBT | |
EDBT Extending Database Technology |
Barcelona, Spain | 25-28 March 2025 | 4 December 2024 5 February 2025 |
19 February 2025 | 24 February 2025 | co-located with ICDT |
SAC Symposium On Applied Computing | Catania, Sicily, Italy | 31 March - 4 April 2025 | 20 November 2024 | 29 November 2024 | 6 December 2024 | |
EuroCG European Workshop on Computational Geometry | Liblice Castle, Czech Republic | 9-11 April 2025 | 21 February 2025 | 7 March 2025 | 5 March 2025 | |
EvoStar Evo* |
Trieste, Italy | 23-25 April 2025 | 10 January 2025 | 24 January 2025 | 26 February 2025 19 March 2025 |
first registration date for authors, second early; federated conference including EuroGP, EvoAPPS, EvoCOP, and EvoMUSART |
EuroGP European Conference on Genetic Programming |
Trieste, Italy | 23-25 April 2025 | 10 January 2025 | 24 January 2025 | 26 February 2025 19 March 2025 |
first registration date for authors, second early; part of EvoStar |
EvoAPPS Applications of Evolutionary Computation |
Trieste, Italy | 23-25 April 2025 | 10 January 2025 | 24 January 2025 | 26 February 2025 19 March 2025 |
first registration date for authors, second early; part of EvoStar |
EvoCOP Evolutionary Computation in Combinatorial Optimisation |
Trieste, Italy | 23-25 April 2025 | 10 January 2025 | 24 January 2025 | 26 February 2025 19 March 2025 |
first registration date for authors, second early; part of EvoStar |
EvoMUSART Artificial Intelligence in Music, Sound, Art and Design |
Trieste, Italy | 23-25 April 2025 | 10 January 2025 | 24 January 2025 | 26 February 2025 19 March 2025 |
first registration date for authors, second early; part of EvoStar |
RECOMB Research in Computational Molecular Biology | Seoul, Korea | 26-29 April 2025 | 16 December 2024 | 24 January 2025 | 15 March 2025 | |
SDM Data Mining | Alexandria, Virginia, USA | 1-3 May 2025 | late December 2024 | 3 April 2025 | ||
ETAPS European Joint Conferences on Theory & Practice of Software | Hamilton, Ontario, Canada | 3-8 May 2025 | 10 October 2025 | 30 January 2025 | 28 February 2025 | including ESOP, FASE, FoSSaCS, and TACAS |
ESOP European Symposium on Programming | Hamilton, Ontario, Canada | 3-8 May 2025 | 19 December 2024 | 30 January 2025 | 28 February 2025 | part of ETAPS |
FASE Fundamental Approaches to Software Engineering | Hamilton, Ontario, Canada | 3-8 May 2025 | 20 December 2024 | 30 January 2025 | 28 February 2025 | part of ETAPS |
FoSSaCS Foundations of Software Science and Computation Structures | Hamilton, Ontario, Canada | 3-8 May 2025 | 20 December 2024 | 30 January 2025 | 28 February 2025 | part of ETAPS |
TACAS Tools and Algorithms for the Construction and Analysis of Systems | Hamilton, Ontario, Canada | 3-8 May 2025 | 20 December 2024 | 30 January 2025 | 28 February 2025 | part of ETAPS |
EUROCRYPT Theory and Applications of Cryptographic Techniques | Madrid, Spain | 4-8 May 2025 | 31 January 2025 | |||
AAMAS Autonomous Agents and Multiagent Systems | Detroit, Michigan, USA | 19-23 May 2025 | 23 December 2024 | 7 February 2025 | ||
FLAIRS FLorida Artificial Intelligence Research Society Conference | Daytona Beach, Florida, USA | 20-23 May 2025 | 10 March 2025 | 9 April 2025 | 2 April 2025 | poster abstracts 17 March 2025 |
SIROCCO Structural Information and Communication Complexity | Delphi, Greece | 2-4 June 2025 | 17 January 2025 | |||
IPDPS International Parallel & Distributed Processing Symposium |
Milan, Italy | 3-7 June 2025 | 19 December 2024 4 February 2025 |
27 February 2024 | ||
SAND Algorithmic Foundations of Dynamic Networks | Liverpool, United Kingdom | 9-11 June 2025 | 28 March 2025 | 11 April 2025 | ||
CIAC International Conference on Algorithms and Complexity | Rome, Italy | 10-12 June 2025 | 31 January 2025 | 14 February 2025 | ||
ECMFA European Conference on Modelling Foundations and Applications |
Koblenz, Germany | 10-13 June 2025 | 17 January 2025 28 March 2025 2 May 2025 |
two rounds of submissions, part of STAF | ||
IPCO Integer Programming and Combinatorial Optimization | Baltimore, Maryland, USA | 11-13 June 2025 | 22 January 2025 | 25 March 2025 | ||
NFM NASA Formal Methods | Hampton Roads, Virginia, USA | 11-13 June 2025 | 14 February 2025 | 14 March 2025 | ||
DisCoTec Distributed Computing Techniques | Lille, France | 16-20 June 2025 | 28 March 2025 | 23 April 2025 | federated conference including COORDINATION, DAIS, and FORTE | |
CAiSE Advanced Information Systems Engineering | Vienna, Austria | 16-20 June 2025 | 28 February 2025 | 14 April 2025 | 14 April 2025 | |
CPM Combinatorial Pattern Matching | Milan, Italy | 17-19 June 2025 | 23 December 2024 | |||
SIGMOD International Conference on Management of Data |
Berlin, Germany | 22-27 June 2025 | 28 November 2024 30 January 2025 |
co-located with PODS | ||
PODS Principles of Database Systems |
Berlin, Germany | 22-27 June 2025 | 14 February 2025 7 March 2025 |
co-located with SIGMOD | ||
Petri Nets Petri Nets | Paris, France | 22-27 June 2025 | 10 March 2025 | 24 March 2025 | ||
LICS Logic in Computer Science | Singapore | 23-26 June 2025 | 8 April 2025 | |||
STOC Symposium on Theory of Computing | Prague, Czech Republic | 23-27 June 2025 | 1 February 2025 | 31 March 2025 | ||
SoCG Symposium on Computational Geometry | Kanazawa, Japan | 23-27 June 2025 | 6 February 2025 | mid March 2025 | ||
COLT Conference on Learning Theory |
Lyon, France | 30 June - 4 July 2025 | 2 May 2025 | |||
ICML International Conference on Machine Learning | Vancouver, British Columbia, Canada | 13-19 July 2025 | 1 May 2025 | |||
ICDCS International Conference on Distributed Computing Systems | Glasgow, Scotland, UK | 20-23 July 2025 | 2 April 2025 | 16 April 2025 | ||
CAV Computer-Aided Verification | Zagreb, Croatia | 21-25 July 2025 | 2 April 2025 | |||
SEA Symposium on Experimental Algorithms | Venice, Italy | 22-24 July 2025 | 31 March 2025 | 28 April 2025 | 1 April 2025 | |
ISSAC International Symposium on Symbolic and Algebraic Computation |
Guanajuato, Mexico | 28 July - 1 August 2025 | 23 April 2025 16 May 2025 |
10 June 2025 | ||
IJCAI International Joint Conference on Artificial Intelligence |
Montreal, Canada | 16-22 August 2025 | 7 March 2025 28 April 2025 |
|||
CONFEST CONCUR & QEST & FORMATS | Aarhus, Denmark | 25-30 August 2025 | federated conference including CONCUR, FMICS, FORMATS, and QEST | |||
ALGO Federated Conference on Algorithms | Warsaw, Poland | 15-19 September 2025 | federated conference including ESA, ALGOWIN, ALGOCLOUD, IPEC, ATMOS, and WAOA | |||
ESORICS European Symposium on Research in Computer Security | Toulouse, France | 22-26 September 2025 | 21 March 2025 | 14 April 2025 | ||
ICAPS International Conference on Automated Planning and Scheduling | Melbourne, Victoria, Australia | 9-15 November 2025 | 28 February 2025 | |||
CPAIOR Integration of Constraint Programming, Artificial Intelligence, and Operations Research | Melbourne, Victoria, Australia | 10-13 November 2025 | 10 February 2025 | TBA | co-located with KR and ICAPS | |
Conference | City, Country | Date | Notification | Final version | Early registration | Remarks and other indications |
This section serves
The calendar for the years 2025 and 2026 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 |
---|---|---|---|---|---|
AofA Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms | 2025 | Toronto, Ontario, Canada | 5 May 2025 | 9 May 2025 | at Fields Institute |
DL Description Logics | 2025 | Opole, Poland | 3 September 2025 | 5 September 2025 | |
CIAA Conference on Implementation and Application of Automata | 2025 | Palermo, Italy | 22 September 2025 | 25 September 2025 | |
FLoC Federated Logic Conference | 2026 | Lisbon, Portugal | 18 July 2026 | 29 July 2026 | summer school 13-17 July 2026; includes CAV, CP, CSF, FSCD, ICLP, IJCAR, ITP, KR, LICS, SAT |
Conference | Year | City, Country | Starting date | Ending date | Remark |
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.
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-2025
Last modified: Fri, 07 Feb 2025 17:08:17 CET