Event
International Conference on Automated Deduction - CADE-26
6 augusti 2017 (Hela dagen) till 11 augusti 2017 (Hela dagen)
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).
Arrangeras av Chalmers University of Technology.