CADE Trustees

Current Trustees

• Rajeev Goré (Elected 2004, term expired 2007, elected 11/2009)
• Christoph Weidenbach (Elected 11/2009)
• Renate Schmidt (CADE-22 program chair, elected 11/2009)
• Jürgen Giesl (IJCAR 2010 program chair)
• Christoph Benzmüller (Elected 2008)
• Maria Paola Bonacina (Secretary 1999-2004, elected 2004, reelected 2007)
• Amy Felty (Secretary 2004-2007, elected 2007)
• Geoff Sutcliffe (Elected 2004, reelected 2007)
• Andrei Voronkov (CADE-18 program chair, elected 10/2002, vice president 2003, term expired 2005, elected 2007)
• Reiner Hähnle (Vice president, elected 2005, reelected 2008)
• Wolfgang Ahrendt (Secretary, appointed 5/2007)
• Neil Murray (Treasurer)

• gro.cniedac@seetsurt
  
  

Previous Trustees

• Franz Baader (President, CADE-19 program chair, elected 10/2003, reelected 11/2006)
• Peter Baumgartner (Elected 10/2003, reelected 11/2006)
• Aaron Stump (Elected 2006)
• Cesare Tinelli (Elected 2005, term expired 2008)
• Alessandro Armando (IJCAR 2008 program co-chair)
• David Basin (IJCAR 2004 program co-chair, elected 2004, term expired 2007)
• Michael Kohlhase (Elected 10/2000, reelected 10/2003, term in expired 2006)
• Robert Nieuwenhuis (CADE-20 program chair)
• Toby Walsh (Elected 10/2002, term expired 2005)
• Gilles Dowek (Elected 9/2001, term expired 2004)
• Uli Furbach (Elected 8/1997, vice president 1998, president 1999, reelected 10/2000, term expired 2003, IJCAR 2006 program co-chair)
• Harald Ganzinger (CADE-16 program chair, elected 10/1999, reelected 10/2002, passed away on June 3, 2004)
• John Harrison (Elected 9/2001, term expired 2004)
• Frank Pfenning (Elected 10/1998, vice president 1999, reelected 9/2001, President 2003, term expired 2004, CADE-21 program chair)
• David McAllester (CADE-17 program chair, elected 10/2000, term expired 2003)
• David Plaisted (Elected 10/1999, term expired 2002)
• Claude Kirchner (CADE-15 program chair, elected 10/1998, term expired 2001)
• William McCune (CADE-14 program chair, elected 8/1997, term expired 2000)
• Alan Bundy (CADE-12 program chair, president until 1996, term expired 1999)
• John Slaney (CADE-13 program chair, vice president 1996, president 1997, term expired 1999)
• Deepak Kapur (CADE-11 program chair)
• Helene Kirchner (CADE-15 program chair)
• Don Loveland (CADE-6 program chair)
• Mark Stickel (CADE-10 program chair, vice president 1996, president 1996)
• Rusty Lusk (CADE-9 program chair)
• Jörg Siekmann (CADE-8 program chair)
• Michael McRobbie (CADE-13 program chair)