Conference on Automated Deduction (CADE)

Conference on Automated Deduction (CADE)

The page that follows is out of date. The new CADE website is located at www.cadeconference.org.

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.

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 AAR Newsletter No. 68, October 2005) did not pass because not enough AAR members voted.

Upcoming and Recent CADEs

IJCAR-2006 will combine CADE, FroCoS, FTP, TABLEAUX, TPHOLs and will be held in Seattle in August 2006.

IJCAR-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

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:

Related searches:
springer elected automated program president

gipoco.com is neither affiliated with the authors of this page or responsible
for its contents. This is a safe-cache copy of the original web site.

gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.

Contents