*********************************************************************
*                       Ecole Normale Supe'rieure                   *
*                                                                   *
*                              Se'minaire                           *
*                SEMANTIQUE ET INTERPRETATION ABSTRAITE             *
*                              P. Cousot                            *
*                                                                   *
*                        Vendredi, 14h00--15h30                     *
*                 Salle W, 4e`me e'tage, toits du DMI               *
*                 DMI  ENS  45 rue d'Ulm  75005 Paris               *
*********************************************************************

*** Vendredi 5 avril 1996 **** 14h00 ********************************

Proving Possibility Properties

Leslie LAMPORT (DEC Palo Alto)

*** Vendredi 12 avril 1996 **** 14h00 *******************************

Groupe de travail

*** Vendredi 19 avril 1996 **** 14h00 *******************************

Rela^che

*** Vendredi 26 avril 1996 **** 14h00 *******************************

Rela^che

*********************************************************************
Pour recevoir l'annonce par courrier electronique: cousot@dmi.ens.fr
WWW: http://www.ens.fr/~cousot/annonceseminaire.html
*********************************************************************