IJCAR Steering Committee

Current Steering Committee

• Peter Baumgartner (IJCAR'08 conference chair and PC co-chair)
• Maria Paola Bonacina (CADE representative 2009- )
• Alan Bundy (IJCAR'10 conference chair)
• Jürgen Giesl (IJCAR'10 PC co-chair)
• Rajeev Goré (Tableaux representative ????-)
• Bernhard Gramlich (FroCoS representative 2007-)
• Reiner Hähnle (IJCAR'10 PC co-chair)
• Ullrich Hustadt (FTP representative ????-)

Previous Steering Committee Members

• Franz Baader (SC chair 2006-2009, CADE representative 2006-2009)
• 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)
• Andrei Voronkov (FLoC? 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)
• Maria Paola Bonacina (Coordinator 2004, FTP representative 2004 & 2001)
• 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)