Steering Committee

Current Steering Committee

• Carsten Lutz - IJCAR’26 program co-chair
• Sara Negri - IJCAR’26 program co-chair
• Carlos Caleiro - IJCAR’26 conference chair
• Christophe Ringeissen - IJCAR’24 conference chair
• Elaine Pimentel - Tableaux representative 2023-
• 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

• Renate Schmidt - IJCAR’24 program co-chair
• Marijn Heule - IJCAR’24 program co-chair
• Arnon Avron - IJCAR’22 conference chair
• 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