International Conference on Automated Deduction - CADE-26
The 26th International Conference on Automated Deduction (CADE-26), will take place at Lindholmen, August 6-11. The conference is an 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).
Phone: +46 (0)31-764 70 00
E-mail: info@lindholmen.se
About us
Lindholmen Science Park AB is jointly owned by the City of Gothenburg and the business community. During more than 25 years, owners and partners have worked together to invest and purposefully develop a modern and inspiring innovation environment for several of Sweden’s leading development projects.
Newsletter from Lindholmen
Add your email address to receive updates and invitations. Take part of our privacy policy.
Box 8077, 402 78 Gothenburg, Sweden