Trustees

Current Trustees

Brigitte Pientka (CADE-29 program co-chair)
Jürgen Giesl (President 2022-. Elected 2022. Reelected 2017. Elected 2014. IJCAR 2010 program co-chair)
Sophie Tourret (Elected 2022)
Pascal Fontaine (Relected 2022. Elected 2019. CADE-27 program chair. Elected 2014)
André Platzer (Elected 2022. CADE-28 program co-chair)
Cláudia Nalon (Elected 2021)
Stephan Schulz (Reelected 2021. Elected 2018. IJCAR 2018 program co-chair)
Renate Schmidt (Vice-president 2021-. Elected 2020. Elected 2016. Vice-president 2011-2015. Reelected 2012. Elected 2009. CADE-22 program chair)
Marijn Heule (Relected 2020. Elected 2017)
Andrew Reynolds (Relected 2020. Elected 2017)
Philipp Rümmer (Secretary 2018-)
Neil Murray (Treasurer 1992-. Secretary 1992-1999)

Trustees’ email

trustees@cadeinc.org

Trustees’ documents

Previous Trustees

Jasmin Blanchette (IJCAR 2022 program co-chair, Elected 2016)
Laura Kovács (Relected 2019. Elected 2016)
Aart Middeldorp (Elected 2019. Elected 2015)
Christoph Weidenbach (Relected 2019. President 2016-2022. Elected 2016. Reelected 2012. Elected 2009)
Christoph Benzmüller Relected 2018. (Vice-president 2015-2021. Elected 2015. Elected 2008)
Nicolas Peltier (IJCAR 2020 program co-chair)
Martin Giese (Secretary 2010-2018)
Geoff Sutcliffe (Reelected 2014. Elected 2011. 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. Reelected 11/2006. Elected 10/2003)
Maria Paola Bonacina (President 2013-2016. Elected 2013. CADE-24 program chair. 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. President 2003-2009. Reelected 11/2006. Elected 10/2003. CADE-19 program chair)
Rajeev Goré (Elected 11/2009. 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. Vice president 2003. Elected 10/2002. CADE-18 program chair)
Aaron Stump (Elected 2006)
Cesare Tinelli (Elected 2005)
Alessandro Armando (IJCAR 2008 program co-chair)
David Basin (Elected 2004. IJCAR 2004 program co-chair)
Michael Kohlhase (Reelected 10/2003. Elected 10/2000)
Robert Nieuwenhuis (CADE-20 program chair)
Toby Walsh (Elected 10/2002)
Gilles Dowek (Elected 9/2001)
Uli Furbach (IJCAR 2006 program co-chair. 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 (Elected 9/2001)
Frank Pfenning (CADE-21 program chair. President 2003-2004. Reelected 9/2001. Vice president 1999. Elected 10/1998)
David McAllester (Elected 10/2000. CADE-17 program chair)
David Plaisted (Elected 10/1999)
Claude Kirchner (Elected 10/1998. CADE-15 program chair)
William McCune (Elected 8/1997. CADE-14 program chair)
Alan Bundy (President until 1996. CADE-12 program chair)
John Slaney (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)