Conference on Automated Deduction

Conference on Automated Deduction (CADE) – konferencja na temat automatycznego dowodzenia twierdzeń. Jest organizowana od 1974, przy czym do 1996 odbywała się (mniej więcej) co dwa lata, potem zaś corocznie.

Jedną z głównych atrakcji jest konkurs systemów automatycznego dowodzenia twierdzeń – CASC.