Program committee

Confirmed members:


Alessandro Cimatti, IRST, University of Trento, Italy
Marie-Odile Cordier, IRISA, Université de Rennes 1, France
Jinbo Huang, NICTA, Australia
Johan de Kleer, PARC, USA
Roberto Micalizio, University of Torino, Italy
Gregory Provan, University College Cork, Ireland
Jussi Rintanen, Autralian National University, Australia
Martin Sachenbacher, Technischen Universitaet Muenchen
Anika Schumann, IBM, Ireland
Louise Travé-Massuyès, CNRS-LAAS, Université de Toulouse, France
Cees Witteveen, TU Delft, The Netherlands
Marina Zanella, University of Brescia, Italy