Conference on Automated Deduction: Difference between revisions
m Added article |
→External links: entered the new URL (to reduce the redirection) |
||
| Line 5: | Line 5: | ||
==External links== |
==External links== |
||
* [http://www. |
* [http://www.cadeconference.org CADE web page] |
||
* [http://www-unix.mcs.anl.gov/AAR/ AAR web page] |
* [http://www-unix.mcs.anl.gov/AAR/ AAR web page] |
||
Revision as of 08:28, 26 December 2006
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.
External links
 | This computer science article is a stub. You can help Wikipedia by expanding it. |