Contents

• The bylaws of CADE Inc.
• Election of three new Trustees
• Upcoming and recent CADEs
• Previous CADEs and Proceedings
• The Herbrand Award
• Trustees
• Logic-related conferences

The bylaws of CADE Inc.

Election of new Trustees

Nominations for four CADE trustee positions were sought, and Maria Paola Bonacina, David Basin, Gilles Dowek, Rajeev Gor'e, Juergen Giesl, Hans de Nivelle, Geoff Sutcliffe, and Caesare Tinelli were nominated.

Congratulations to Maria Paola Bonacina, David Basin, Rajeev Gor'e, and Geoff Sutcliffe who have been elected. Thanks go also to the candidates who were not elected for their willingness to serve.

Upcoming and Recent CADEs

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

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.

• 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)

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)
• Rajeev Goré (elected 2004)
• Michael Kohlhase (Elected 10/2000, reelected 10/2003)
• Neil Murray (Treasurer)
• Robert Nieuwenhuis (Program Chair, CADE-20)
• Geoff Sutcliffe (Elected 2004)
• Andrei Voronkov (Vice President, CADE-18 Program Chair, elected 10/2002)
• Toby Walsh (elected 10/2002)

         CADE Trustees email: