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.
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 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:
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.