********************************************************************* * Ecole Normale Supe'rieure * * * * Se'minaire * * SEMANTIQUE ET INTERPRETATION ABSTRAITE * * P. Cousot * * * * Vendredi, 14h00--15h30 * * Salle Verdier * * DI ENS 45 rue d'Ulm 75005 Paris * ********************************************************************* Octobre 2000: rela^che Journées sur la Sûreté des Logiciels, les 24 et 25 Octobre 2000 ********************************************************************* Pour recevoir l'annonce par courrier electronique: cousot@di.ens.fr WWW: http://www.di.ens.fr/~cousot/annonceseminaire.shtml *********************************************************************