Current Steering Committee
Previous Steering Committee Members
- 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)