Calls

CADE 30: Call for Papers

DHBW Stuttgart, Stuttgart, Germany, July 28th - August 2nd, 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.

CADE-30: Call for Colocated 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 can have up to three pages and should consist of the following.

• Directly in the easychair form: 
  • the name of your event
  • the abstract
  • a brief description (up to 120 words) of the event for the website and publicity material
  • contact information for the workshop organizers;
• A PDF file including:
  • a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant);
  • an estimate of the number of expected participants;
  • a proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.)
  • potential invited speakers;
  • the procedure for selecting papers and participants;
  • a tentative schedule for paper submission and notification of acceptance;
  • plans (and needs) for remote participation;
  • plans for dissemination, if any (e.g. a journal special issue);
  • duration (which may vary from one day to two days);
  • any other special requirements.

The organizers of satellite events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a tentative program of talks; advertise their event through specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; plan for remote participation (if applicable); and arrange post-proceedings if any.

The CADE organizing committee will handle promotion of the event on the main conference website; easychair setup for the event as conference track; integration of the event's program into the overall timetable; registration of participants; arrangement of an appropriate meeting room; and basic catering.