CADE-30: Call for Papers

The 30th International Conference on Automated Deduction (CADE-30) will take place from July 28th to August 2nd, 2025 at DHBW Stuttgart, Germany. CADE is the major international forum for presenting research on all aspects of automated deduction, including logical foundations, theory and principles, applications, and implementations.

Publication

CADE-30 proceedings will be published in Springer's Lecture Notes in Artificial Intelligence series in Gold Open Access mode at a special rate of EUR 200 per paper. Authors who cannot cover the fee can apply for funding.

Submission Categories

Submissions can be made in two categories:

• Regular papers: Up to 15 pages in LNCS style, excluding references. Proofs of theoretical results that do not fit in the page limit may be provided in an appendix.
• Short papers: Includes system descriptions, user experiences, case studies, and domain models. Up to 10 pages in LNCS style, excluding references.

Submission Instructions

• Submissions must be unpublished and not submitted for publication elsewhere.
• Papers will be judged on relevance, significance, originality, correctness, and readability.
• Submissions must be self-contained within the page limit. If software or data is relevant, a link must be provided for reproduction of results.
• The review process will include a feedback/rebuttal period.
• Selected papers may be considered for the CADE Best Paper Award or Best Student Paper Award.
• Submissions must be made via https://easychair.org/conferences/?conf=cade30 in the Main Conference track.
• All submissions must be formatted in the LNCS style and include the ORCID ID of at least the corresponding author.

Important Dates

• Abstract deadline: February 17, 2025
• Submission deadline: February 24, 2025
• Rebuttal period: April 14-18, 2025
• Notification: April 28, 2025
• Final version deadline: May 30, 2025
• Main conference: July 28-31, 2025
• Satellite events: August 1-2, 2025

Program Committee Chairs

• Clark Barrett, Stanford University
• Uwe Waldmann, Max Planck Institute for Informatics

Program Committee

• Erika Ábráham, RWTH Aachen
• Haniel Barbosa, Universidade Federal de Minas Gerais
• Clark Barrett, Stanford University
• Jasmin Blanchette, Ludwig-Maximilians-Universität München
• Maria Paola Bonacina, Università degli Studi di Verona
• Liron Cohen, Ben-Gurion University
• Stéphane Demri, LMF, CNRS & ENS Paris-Saclay
• Huimin Dong, TU Wien
• Katalin Fazekas, TU Wien
• Mathias Fleury, University of Freiburg
• Pascal Fontaine, Université de Liège
• Carsten Fuhs, Birkbeck, University of London
• Silvio Ghilardi, Università degli Studi di Milano
• Alessandro Gianola, INESC-ID and Universidade de Lisboa
• Iris van der Giessen, University of Amsterdam
• Alberto Griggio, Fondazione Bruno Kessler
• Nao Hirokawa, JAIST
• Mikolas Janota, Czech Technical University in Prague
• Moa Johansson, Chalmers University of Technology
• Martin Jonáš, Masaryk University, Czechia
• Cezary Kaliszyk, University of Innsbruck
• Konstantin Korovin, The University of Manchester
• Katherine Kosaian, Iowa State University
• Laura Kovács, TU Wien
• Peter Lammich, University of Twente
• Kuldeep S. Meel, University of Toronto
• Stephan Merz, Inria Nancy
• Cláudia Nalon, University of Brasília
• Jakob Nordström, University of Copenhagen and Lund University
• Nicola Olivetti, LSIS, Aix-Marseille University
• Elaine Pimentel, University College London
• André Platzer, Karlsruhe Institute of Technology
• Florian Rabe, FAU Erlangen-Nürnberg
• Andrew Reynolds, University of Iowa
• Philipp Rümmer, University of Regensburg
• Tanja Schindler, University of Basel
• Renate A. Schmidt, The University of Manchester
• Carsten Schuermann, IT University of Copenhagen
• Mihaela Sighireanu, ENS Paris-Saclay
• Alexandra Silva, University College London
• Viorica Sofronie-Stokkermans, University of Koblenz
• Martin Suda, Czech Technical University in Prague
• Yong Kiam Tan, Institute for Infocomm Research and NTU Singapore
• Guilherme Toledo, State University of Campinas
• Sophie Tourret, INRIA Nancy
• Ali Kemal Uncu, University of Bath
• Uwe Waldmann, MPI for Informatics
• Christoph Weidenbach, MPI for Informatics
• Bohua Zhan, Huawei Technologies Co., Ltd.
• Yoni Zohar, Bar-Ilan University

Contacts

All questions about CADE-30 paper submissions should be emailed to the Chairs: cade30 AT easychair.org