Skip to main content
conference lunch move company map contacts lindholmen lindholmen 2 travel info

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).

Read more

Arranged by Chalmers University of Technology.