PaperPilot PaperPilot

CADE 2025 Call for Papers

Official deadlines & important dates

The Conference on Automated Deduction
ICORE A CCF B Theory
Paper deadline countdown

Key details

Paper deadline 2025-02-24 23:59:59 (AoE)
Abstract deadline 2025-02-17 23:59:59 (AoE)
Conference dates July 28-31, 2025
Location DHBW Stuttgart, Stuttgart, Germany
Google Calendar DBLP Official website

Track this and 1200+ more conferences

Live countdowns, field and rank filters, .ics export, ICORE 2026 rankings — all free.

Browse all deadlines

About CADE 2025

CADE 2025 (The Conference on Automated Deduction) is a leading conference focused on theoretical computer science, algorithms, and computational complexity. It is ranked as an A-ranked venue in the ICORE 2026 rankings, representing a highly respected publication outlet. This edition takes place in DHBW Stuttgart, Stuttgart, Germany (July 28-31, 2025). Researchers can track the CADE 2025 deadline with live countdowns, export to Google Calendar, and manage their submission workflow using PaperPilot.

Frequently asked questions

When was the CADE 2025 paper submission deadline?

The CADE 2025 paper submission deadline was 2025-02-24 23:59:59 (AoE). Historical record; deadline has passed.

Where was CADE 2025 held?

CADE 2025 was held in DHBW Stuttgart, Stuttgart, Germany on July 28-31, 2025.

What are the CADE 2025 important dates?

CADE 2025 key dates: paper submission deadline was 2025-02-24 23:59:59 (AoE); abstract deadline was 2025-02-17 23:59:59 (AoE); conference dates July 28-31, 2025.

Where can I find the official CADE 2025 call for papers?

The official CADE 2025 call for papers is at https://www.dhbw-stuttgart.de/cade-30/. This page mirrors the deadline data and adds a live countdown and .ics calendar export.