Steering Committee

Current Steering Committee

• Elaine Pimentel
  • Tableaux representative 2023-
• Renate Schmidt
  • IJCAR’24 program co-chair
• Marijn Heule
  • IJCAR’24 program co-chair
• Christophe Ringeissen
  • IJCAR’24 conference chair
• Arnon Avron
  • IJCAR’22 conference chair
• Lawrence Paulson
  • ITP representative 2018-
• Jürgen Giesl
  • CADE representative 2022-
• Franz Baader
  • SC chair 2015-
  • FroCoS representative 2015-
  • SC chair 2011-2013
  • CADE representative 2011-2013
  • FroCoS representative 2010-2011
  • SC chair 2006-2009
  • CADE representative 2006-2009

Previous Steering Committee Members

• Jens Otten (Tableaux representative 2013-2023)
• Dirk Pattinson (IJCAR’22 program co-chair)
• Kaustuv Chaudhuri (IJCAR’20 conference chair)
• Christoph Weidenbach (CADE representative 2016-2022, IJCAR’14 PC co-chair)
• Viorica Sofronie-Stokkerman (IJCAR’20 PC co-chair)
• Didier Galmiche (IJCAR’18 PC co-chair)
• Ian Horrocks (IJCAR’18 conference chair)
• Pedro Quaresma (IJCAR’16 conference chair)
• Nicola Olivetti (IJCAR’16 PC co-chair)
• Ashish Tiwari (IJCAR’16 PC co-chair)
• Stefan Hetzl (IJCAR’14 conference co-chair)
• Chris Fermüller (IJCAR’14 conference co-chair)
• Maria Paola Bonacina (CADE representative 2013-, SC chair 2009-2011, CADE representative 2009-2011, Coordinator 2004, FTP representative 2004 & 2001)
• Deepak Kapur (SC chair 2014-2015, IJCAR’14 PC co-chair)
• Stéphane Demri (IJCAR’14 PC co-chair)
• Christoph Weidenbach (IJCAR’14 PC co-chair)
• Roberto Sebastiani (FroCoS representative 2011-2015)
• Ullrich Hustadt (FTP representative ????-2014)
• Andrei Voronkov (SC chair 2013-2014, IJCAR’12 conference co-chair, FLoC representative 2006)
• Konstantin Korovin (IJCAR’12 conference co-chair)
• Rajeev Goré (Tableaux representative 2007-2013)
• Alan Bundy (IJCAR’10 conference chair)
• Bernhard Gramlich (IJCAR’12 PC co-chair, FroCoS representative 2007-2010)
• Dale Miller (IJCAR’12 PC co-chair)
• Ulrike Sattler (IJCAR’12 PC co-chair)
• Jürgen Giesl (IJCAR’10 PC co-chair)
• Reiner Hähnle (IJCAR’10 PC co-chair)
• Peter Baumgartner (IJCAR’08 conference chair and PC co-chair)
• Alessandro Armando (IJCAR’08 PC co-chair, FroCoS representative 2004)
• Gilles Dowek (IJCAR’08 PC co-chair)
• John Harrison (IJCAR’06 conference chair)
• Natarajan Shankar (IJCAR’06 PC co-chair)
• Ulrich Furbach (IJCAR’06 PC co-chair, CADE representative 2004 & 2001)
• Peter Baumgartner (FTP representative 2006)
• Cesare Tinelli (FroCoS representative 2006)
• Reiner Haehnle (TABLEAUX representative 2006 & 2004)
• Tobias Nipkow (TPHOLs representative 2006, CADE representative 2001)
• Toby Walsh (IJCAR’04 conference chair)
• Christoph Benzmueller (Calculemus representative 2004)
• Fabio Massacci (TABLEAUX representative 2001, IJCAR’01 conference chair)
• Ricardo Caferra (FTP representative 2001)
• Rajeev Gore (TABLEAUX representative 2001)
• Alexander Leitsch (FTP representative 2001)
• Frank Pfenning (CADE representative 2001)
• Peter Schmitt (TABLEAUX representative 2001)