Team leader: Jean-Marc Steyaert Laboratoire d'Informatique (LIX)École Polytechnique 91128 Palaiseau Cedex - France E-mail: steyaert[at]lix.polytechnique.fr Phone: +33 1 69 33 40 72 Fax: +33 1 69 33 30 14
Webmaster: Jérôme Waldispühl Laboratoire d'Informatique (LIX)École Polytechnique 91128 Palaiseau Cedex - France E-mail: waldispu[at]lix.polytechnique.fr Phone: +33 1 69 33 33 94 Fax: +33 1 69 33 30 14