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