Marc Dacier has left IBM Zurich Research Laboratory!

New e-mail address:

marc.dacier@eurecom.fr
This address will become active after 8 July 2002.

New web address:

http://www.eurecom.fr/