[DL] CADE-30 Call for Participation - Early Registration Deadline June 23rd, 2025

[geoff at cs.miami.edu]

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

                       2nd CALL FOR PARTICIPATION

     CADE-30: 30th international Conference on Automated Deduction

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

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


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

NOTE: The main conference program is now online at
      https://easychair.org/smart-program/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.

The Herbrand Award for Distinguished Contributions to Automated
Deduction, the Skolem Award(s) for influential historical CADE papers,
and the Bill McCune PhD Award are presented at the conference.

The conference will take place from July 28th to August 2nd 2025 at
DHBW Stuttgart, Germany. It will feature a high-quality program of 37
peer-reviewed original papers, three invited talks, the CADE ATP
System Competition, and 7 other co-located events.


Registration for the conference is via EasyChair at

    https://easychair.org/conferences/?conf=cade30


IMPORTANT DATES

Early registration deadline:                  June 23, 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).