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