Davide Sangiorgi's home page has moved to

        http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/