La Conferencia sobre Deducción Automática ( CADE ) es la principal conferencia académica sobre deducción automática y campos relacionados. [1] La primera CADE se organizó en 1974 en el Laboratorio Nacional Argonne cerca de Chicago . La mayoría de las reuniones de la CADE se han celebrado en Europa y Estados Unidos. Sin embargo, se han celebrado conferencias en todo el mundo. Desde 1996, la CADE se celebra anualmente. En 2001, la CADE se fusionó, por primera vez, con la Conferencia Conjunta Internacional sobre Razonamiento Automatizado (IJCAR). [2] Esto se ha repetido bianualmente desde 2004. [3]
En 1996, CADE Inc. se formó como una subcorporación sin fines de lucro de la Asociación para el Razonamiento Automatizado para organizar las conferencias que antes se organizaban individualmente.