Logic List Mailing Archive

CfP: CADE-30: 30th international Conference on Automated Deduction, July 28 - August 2, Stuttgart (Germany)

**********************************************************************

                            CALL FOR PAPERS

     CADE-30: 30th international Conference on Automated Deduction

                             DHBW Stuttgart
            Stuttgart, Germany, July 28th - August 2nd, 2025

                 https://www.dhbw-stuttgart.de/cade-30/

**********************************************************************

CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond computer science and mathematics, and implementations of automated reasoning systems are solicited. CADE-30 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction.

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

SUBMISSION INSTRUCTIONS
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. This includes system descriptions, user experiences, case
  studies and domain models. Up to 10 pages in LNCS style, excluding
  references.

Submissions must be unpublished and not submitted for publication elsewhere. 
They will be judged on relevance, significance, originality, correctness, and readability. Reviewers may consider material provided in appendices, but submissions must be self-contained within the page limit. If software or data is relevant to a paper, a link that provides access to the software/data must be provided to enable reproduction of results.

The review process will include a feedback/rebuttal period, where authors will have the option to respond to reviewer comments. The Program Committee Chairs may solicit further reviews after the rebuttal period.

Selected accepted papers will be considered by the Program Committee for the CADE Best Paper Award or Best Student Paper Award (provided that at least one author is a student).

Papers must be submitted to
https://easychair.org/conferences/?conf=cade30 in the Main Conference track.

All submissions must be formatted in the LNCS style and must include the ORCID id of at least the corresponding author, and preferably of all authors.

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 Birmingham 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

CONFERENCE CHAIR
Stephan Schulz, DHBW Stuttgart

WORKSHOP CHAIR
Sophie Tourret, INRIA Nancy

PUBLICITY CHAIR
Geoff Sutcliffe, University of Miami

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

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php