Proceedings online
List of accepted papers
Call for papers: CFP
Submission via EasyChair

Students can apply for partial
reimbursement of travel costs
via the Woody Bledsoe Student
Travel Award

CADE-26 in Gothenburg Sweden

The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The first conference was held in 1974, with this year’s conference being the 26th CADE. Early CADEs were mostly biennial, and annual conferences started in 1996. The CADE conference series is managed by CADE Inc. which is a subcorporation of the Association for Automated Reasoning (AAR).

The conference will take place at the Lindholmen Science Park, which offers a development environment where industry, academia and the public sector runs research and development projects.


6-7 August: Workshops
8-11 August: Main Conference

Invited speakers

June Andronick — Data61
Philippa Gardner — Imperial College London
Grant Passmore — Aesthetic Integration

About Gothenburg

Gothenburg is situated right in the heart of Scandinavia easily accessible from around the world. The abundance of culture, entertainment and outdoor activities as well as the city’s interesting surroundings, closeness to the sea and the stunning archipelago guarantee a whole new conference experience.

Gothenburg – Destination video from Göteborg / Gothenburg on Vimeo.