CADE-30: Call for Participation and 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.

CADE-30: Call for Papers

CADE-30 solicits high-quality submissions on the general topic of automated deduction, including:

• Logical foundations
• Theory and principles
• Applications in and beyond computer science and mathematics
• Implementations of automated reasoning systems

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.

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

CADE-30: Call for Co-located Events

The 30th International Conference on Automated Deduction (CADE-30) is soliciting proposals for satellite events such as workshops, tutorials, and competitions.

Researchers are invited to submit proposals on any topic related to automated deduction, from theoretical foundations to tools and applications.

The satellite events will take place following the main conference on Friday and Saturday, August 1st and 2nd, 2025.

Proposals should be submitted via EasyChair at: https://easychair.org/conferences/?conf=cade30 in the "Co-located Event Proposals" track.

Important Dates

• Submission of satellite event proposals: November 11th, 2024
• Notification of success of proposals: November 25th, 2024
• Main conference: July 28th - July 31st, 2025
• Workshop dates: August 1st - August 2nd, 2025

CADE-30: Call for Participation

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

Registration for the conference is via EasyChair

Important Dates

• Early registration deadline: June 23, 2025
• Main conference: July 28-31, 2025
• Satellite events: August 1-2, 2025