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
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
June Andronick — Data61
Philippa Gardner — Imperial College London
Grant Passmore — Aesthetic Integration
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.