Camilla Schwind LIF (Laboratoire d'Informatique Fondamentale) Parc Scientifique et Technologique de Luminy 163, avenue de Luminy - Case 901 F-13288 Marseille Cedex 9 Tel: +33 (0)4 91 82 94 96 Tel: +33 (0)4 91 82 90 70 (Secretariat) Fax: +33 (0)4 91 82 92 75 e-mail: Camilla.Schwind at lif.univ-mrs.fr http://www.lif-sud.univ-mrs.fr/~schwind/