Trustees

Current Trustees

• Pascal Fontaine (CADE-27 program chair. Term expired 2017. Elected 2014)

• Marijn Heule (Elected 2017)

• Andrew Reynolds (Elected 2017)

• Jürgen Giesl (Reelected 2017. Elected 2014. IJCAR 2010 program co-chair)

• Christoph Weidenbach (President 2016- . Elected 2016. Reelected 2012. Elected 2009)

• Jasmin Blanchette (Elected 2016)

• Laura Kovács (Elected 2016)

• Renate Schmidt (Elected 2016. Vice-president 2011-2015. Reelected 2012. Elected 2009. CADE-22 program chair)

• Aart Middeldorp (Elected 2015)

• Christoph Benzmüller (Vice-president 2015-. Elected 2015. Term expired 2011. Elected 2008)

• Philipp Rümmer (Secretary 2018-)

• Neil Murray (Treasurer 1992-. Secretary 1992-1999)

Trustees’ email

trustees@cadeinc.org

Trustees’ documents

• Trustees’ Private Area

Previous Trustees

• Stephan Schulz (IJCAR 2018 program co-chair)
• 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)