conference lunch move company map contacts lindholmen travel info


International Conference on Automated Deduction - CADE-26

6 augusti 201711 augusti 2017
Lindholmen Conference Centre, Lindholmspiren 5, Göteborg
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).

Read more