The Coq mailing list

[geoff AT cs.miami.edu]

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

                            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/

* Abstract deadline:       February 17, 2025
* Submission deadline:     February 24, 2025

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

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

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).