Current Trustees

Trustees’ email

trustees@cadeinc.org

Trustees’ documents

Previous Trustees

  • Martin Giese (Secretary 2010-2018)
  • Geoff Sutcliffe (Term expired 2017. Reelected 2014. Elected 2011. Term expired 2010. Reelected 2007. Elected 2004)
  • Leonardo de Moura (CADE-26 program co-chair)
  • Ashish Tiwari (IJCAR 2016 program co-chair)
  • Larry Paulson (Reelected 2013. Elected 2010)
  • Peter Baumgartner (Elected 2013. Term expired 11/2009. Reelected 11/2006. Elected 10/2003)
  • Maria Paola Bonacina (President 2013-2016. Elected 2013. CADE-24 program chair. Term expired 2010. President 2009-2010. Reelected 2007. Elected 2004. Secretary 1999-2004)
  • Brigitte Pientka (Reelected 2013. Elected 2010)
  • Amy Felty (CADE-25 program co-chair. Reelected 2010. Elected 2007. Secretary 2004-2007)
  • Deepak Kapur (IJCAR 2014 program co-chair. CADE-11 program chair)
  • Viorica Sofronie-Stokkermans (Elected 2011. CADE-23 program co-chair)
  • Bernhard Gramlich (Passed away on June 3 2014. Elected 2012. IJCAR 2012 program co-chair)
  • Franz Baader (President 2011-2013. Elected 2010. Term expired 11/2009. President 2003-2009. Reelected 11/2006. Elected 10/2003. CADE-19 program chair)
  • Rajeev Goré (Term expired 2012. Elected 11/2009. Term expired 2007. Elected 2004)
  • Reiner Hähnle (Vice president 2005-2011. Reelected 2008. Elected 2005)
  • Nikolaj Bjørner (CADE-23 program co-chair)
  • Wolfgang Ahrendt (Secretary 2007-2010)
  • Andrei Voronkov (Resigned 2010. Elected 2007. Term expired 2005. Vice president 2003. Elected 10/2002. CADE-18 program chair)
  • Aaron Stump (Term expired 11/2009. Elected 2006)
  • Cesare Tinelli (Term expired 2008. Elected 2005)
  • Alessandro Armando (IJCAR 2008 program co-chair)
  • David Basin (Term expired 2007. Elected 2004. IJCAR 2004 program co-chair)
  • Michael Kohlhase (Term expired 2006. Reelected 10/2003. Elected 10/2000)
  • Robert Nieuwenhuis (CADE-20 program chair)
  • Toby Walsh (Term expired 2005. Elected 10/2002)
  • Gilles Dowek (Term expired 2004. Elected 9/2001)
  • Uli Furbach (IJCAR 2006 program co-chair. Term expired 2003. President 1999-2003. Reelected 10/2000. Vice president 1998. Elected 8/1997)
  • Harald Ganzinger (Passed away on June 3 2004. Reelected 10/2002. Elected 10/1999. CADE-16 program chair)
  • John Harrison (Term expired 2004. Elected 9/2001)
  • Frank Pfenning (CADE-21 program chair. Term expired 2004. President 2003-2004. Reelected 9/2001. Vice president 1999. Elected 10/1998)
  • David McAllester (Term expired 2003. Elected 10/2000. CADE-17 program chair)
  • David Plaisted (Term expired 2002. Elected 10/1999)
  • Claude Kirchner (Term expired 2001. Elected 10/1998. CADE-15 program chair)
  • William McCune (Term expired 2000. Elected 8/1997. CADE-14 program chair)
  • Alan Bundy (Term expired 1999. President until 1996. CADE-12 program chair)
  • John Slaney (Term expired 1999. President 1997-1999. Vice president 1996. CADE-13 program chair)
  • Mark Stickel (President 1996. Vice president 1996. CADE-10 program chair)
  • Helene Kirchner (CADE-15 program chair)
  • Michael McRobbie (CADE-13 program chair)
  • Rusty Lusk (CADE-9 program chair)
  • Jörg Siekmann (CADE-8 program chair)
  • Don Loveland (CADE-6 program chair)