Conference on Automated Deduction (CADE)
The next meeting will be held in Seattle, Washington, USA in 2006.
CADE is the major international forum at which research on all aspects of automated deduction is presented. The first conference was held in 1974. Previous CADEs have been mostly biennial, and annual conferences are planned starting in 1996. CADE Inc. is a subcorporation of the Association of Automated Reasoning.
Contents
- The bylaws of CADE Inc.
- Election of three new Trustees
- Upcoming and recent CADEs
- Previous CADEs and Proceedings
- The Herbrand Award
- Trustees
- Former Trustees
- Logic-related conferences
The bylaws of CADE Inc.
The bylaws (effective Nov. 1, 1996; amended July/August 2000) are available in PDF, PostScript, DVI, and HTML text.The current bylaws were adopted at the business meeting during CADE-13 in New Brunswick, NJ.
The bylaws stipulate election of Trustees by the ``Single Transferrable Vote'' system.
Election of new Trustees
Nominations for two CADE trustee positions were sought, and Didier Galmiche, Reiner Hähnle, Aaron Stump, Cesare Tinelli, and Toby Walsh, were nominated.
Congratulations to Reiner Hähnle and Cesare Tinelli who have been elected. Thanks go also to the candidates who were not elected for their willingness to serve.
In addition, the proposed amendment of the CADE bylaws regarding
the election of the CADE president (see
Upcoming and Recent CADEs
IJCAR-2006 will combine CADE, FroCoS, FTP, TABLEAUX, TPHOLs and will be held in Seattle in August 2006.CADE-22 will be held in Bremen, Germany, in 2007. Workshops will be on July 15 and 16; the main conference will be held July 17-19.
Previous CADEs, IJCARs, and Proceedings
- CADE-1, Argonne National Laboratory, USA, 1974
(IEEE Trans. on Computers C-25(8)). - CADE-2, Oberwolfach, Germany, 1976
- CADE-3, MIT, USA, 1977.
- CADE-4, University of Texas at Austin, 1979.
- CADE-5, Les Arcs, France, 1980 (Springer LNCS 87).
- CADE-6, Courant Institute, New York, 1982 (Springer LNCS 138).
- CADE-7, Napa, California, 1984 (Springer LNCS 170).
- CADE-8, University of Oxford, UK, 1986 (Springer LNCS 230).
- CADE-9, Argonne National Laboratory, USA, 1988 (Springer LNCS 310).
- CADE-10, Kaiserslautern, Germany, 1990 (Springer LNAI 449).
- CADE-11, Saratoga Springs, New York, 1992 (Springer LNAI 607).
- CADE-12, Nancy, France, 1994 (Springer LNAI 814).
- CADE-13
(with CAV, LICS, and RTA
in the first Federated Logic Conference Rutgers University, USA, 1996 (Springer LNAI 1104). - CADE-14, James Cook University, Australia, 1997 (Springer LNAI 1249).
- CADE-15, Lindau, Germany, July 6-10, 1998 (Springer LNAI 1421).
-
CADE-16
(with CAV, LICS, and RTA
in the second Federated Logic Conference (FLoC'99)), Trento, Italy, July, 1999 (Springer LNAI 1632). - CADE-17, Carnegie Mellon University, USA, 17 June - 20 June, 2000 (Springer LNAI 1831).
- IJCAR-2001 Siena, Italy, June 18-23, 2001 (Springer LNAI 2083).
-
CADE-18
(with CAV, FME, ICLP, LICS, RTA, and TABLEAUX
in the third Federated Logic Conference (FLoC'02)), Copenhagen, Denmark, July 27-30, 2002. - CADE-19 Miami Beach, Florida, USA, July 28 - Aug. 2, 2003. (Springer LNAI 2741)
- IJCAR-2004 Cork, Ireland, July 4 - 8, 2004. (Springer LNAI 3097).
- CADE-20 Tallinn, Estonia, July 22 - 27, 2005. (Springer LNAI 3632)
The Herbrand Award for
Distinguished Contributions to Automated Reasoning
Distinguished Contributions to Automated Reasoning
CADE Incorporated has established since 1992 the Herbrand Award for
Distinguished Contributions to Automated Reasoning, to honor an
individual or (a group of) individuals for exceptional contributions
to the field of Automated Deduction.
Nominations
for this award can be made at any
time to the president of CADE Inc.
Herbrand Award Recipients
- Larry Wos (June 1992)
- Woody Bledsoe (June 1994)
- J. Alan Robinson (August 1996)
- Wen-Tsun Wu (July 1997)
- Gerard Huet (July 1998)
- Robert S. Boyer and J. Strother Moore (July 1999)
- William McCune (June 2000)
- Donald Loveland (June 2001)
- Mark E. Stickel (July 2002)
- Peter B. Andrews (August 2003)
- Harald Ganzinger (July 2004)
- Martin Davis (July 2005)
Trustees
- Franz Baader (President, CADE-19 Program Chair, elected 10/2003)
- David Basin (IJCAR 2004 co-Program Chair, elected 2004)
- Peter Baumgartner (elected 10/2003)
- Maria Paola Bonacina (Secretary, 1999-2004, elected 2004)
- Amy Felty (Secretary, appointed 5/2004)
- Uli Furbach (Elected 8/1997, reelected 10/2000, IJCAR 2006 program co-Chair)
- Rajeev Goré (elected 2004)
- Reiner Hähnle (Vice President, elected 2005)
- Michael Kohlhase (Elected 10/2000, reelected 10/2003)
- Neil Murray (Treasurer)
- Frank Pfenning (CADE-21 Program Chair)
- Geoff Sutcliffe (Elected 2004)
- Cesare Tinelli (Elected 2005)
Former Trustees
In addition to the 13 trustees listed above, 19 others have served previously. (Current Trustee Frank Pfenning is also a former Trustee.) The former trustees list includes information about their terms of appointment, elections, and offices held.
CADE Trustees email: