28 - 31 July 2025, The 30th International Conference on Automated Deduction (CADE-30), Stuttgart, Germany
CADE is the major international forum for presenting research on all aspects of automated deduction. CADE-30 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. The conference program includes invited talks, paper presentations, workshops, tutorials, and system competitions.
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.
Submissions can be made in two categories: Regular papers (up to 15 pages excluding references) and Short papers (up to 10 pages, this includes system descriptions, user experiences, case studies and domain models). Submissions must be unpublished and not submitted for publication elsewhere. 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).