Conference on Automated Deduction
Encyclopedia
The Conference on Automated Deduction (CADE) is the premier academic conference
on automated deduction
and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory
near Chicago
. Most CADE meetings have been held in Europe
and the USA. However, conferences have been held all over the world. Since 1996, CADE has been held yearly, and since 2001 it has occasionally merged with other conferences to form the International Joint Conference on Automated Reasoning
(IJCAR).
In 1996, CADE Inc. was formed as a non-profit sub-corporation of the Association for Automated Reasoning
to organize the previously individually organized conferences.
Academic conference
An academic conference or symposium is a conference for researchers to present and discuss their work. Together with academic or scientific journals, conferences provide an important channel for exchange of information between researchers.-Overview:Conferences are usually composed of various...
on automated deduction
Automated theorem proving
Automated theorem proving or automated deduction, currently the most well-developed subfield of automated reasoning , is the proving of mathematical theorems by a computer program.- Decidability of the problem :...
and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory
Argonne National Laboratory
Argonne National Laboratory is the first science and engineering research national laboratory in the United States, receiving this designation on July 1, 1946. It is the largest national laboratory by size and scope in the Midwest...
near Chicago
Chicago
Chicago is the largest city in the US state of Illinois. With nearly 2.7 million residents, it is the most populous city in the Midwestern United States and the third most populous in the US, after New York City and Los Angeles...
. Most CADE meetings have been held in Europe
Europe
Europe is, by convention, one of the world's seven continents. Comprising the westernmost peninsula of Eurasia, Europe is generally 'divided' from Asia to its east by the watershed divides of the Ural and Caucasus Mountains, the Ural River, the Caspian and Black Seas, and the waterways connecting...
and the USA. However, conferences have been held all over the world. Since 1996, CADE has been held yearly, and since 2001 it has occasionally merged with other conferences to form the International Joint Conference on Automated Reasoning
International Joint Conference on Automated Reasoning
International Joint Conference on Automated Reasoning is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place...
(IJCAR).
In 1996, CADE Inc. was formed as a non-profit sub-corporation of the Association for Automated Reasoning
Association for Automated Reasoning
The Association for Automated Reasoning is a non-profit corporation that serves as an association of researchers working on automated theorem proving, automated reasoning, and related fields. It organizes the CADE and IJCAR conferences and publishes a roughly quarterly newsletter....
to organize the previously individually organized conferences.