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.