Former Trustees
Former Trustees of CADE, Inc.
- Alan Bundy
(CADE-12 Program Chair, appointed in 1993, President until 1996,
term expired at CADE-16 in 1999)
- Deepak Kapur
(CADE-11 Program Chair, appointed 1993, term expired at CADE-15 in 1998)
- Don Loveland
(CADE-6 Program Chair, appointed 1994, term expired at CADE-15 in 1998)
- Rusty Lusk
(CADE-9 Program Chair, appointed in 1993, term expired at CADE-13 in 1996)
-
Jörg Siekmann
(CADE-8 Program Chair, appointed 1993, term expired at CADE-13 in 1996)
- Mark Stickel
(CADE-10 Program Chair, appointed 1993, V. President, President in 1996,
term expired at CADE-14 in 1997)
- Michael McRobbie
(CADE-13 Program Chair, appointed in 1994, term expired after CADE-13 in 1996)
- John Slaney
(CADE-13 Program Chair, appointed in 1994,
V. President in 1996, President in 1997,
term expired after CADE-16 in 1999)
- William McCune
(CADE-14 Program Chair, appointed in 1995, elected 8/1997,
term expired in 2000)
-
Claude Kirchner (CADE-15 Program Chair, appointed 1996, elected 10/1998,
term expired in 2001)
-
Helene Kirchner (CADE-15 Program Chair, appointed 1996,
term expired after CADE-15 in 1998)
- Harald Ganzinger
(CADE-16 Program Chair, appointed 1997, elected 10/1999, reelected 10/2002,
passed away on June 3, 2004)
-
Frank Pfenning (Elected 10/1998, V. President 1999,
reelected 9/2001, President 2003, term expired in 2004)
-
David Plaisted (Elected 10/1999, term expired in 2002)
-
David McAllester (CADE-17 Program Chair, appointed 1999,
elected 10/2000, term expired in 2003)
- Andrei Voronkov
(CADE-18 Program Chair, appointed 2001, elected 10/2002,
Vice President 2003, term expired in 2005)
-
Gilles Dowek (Elected 9/2001, term expired in 2004)
-
John Harrison (Elected 9/2001, term expired in 2004)
- Toby Walsh
(Elected 10/2002, term expired in 2005)
-
Robert Nieuwenhuis (CADE-20 Program Chair, appointed in 2004,
term expired after CADE-20 in 2005)