*********************************************************************
*                       Ecole Normale Supe'rieure                   *
*                                                                   *
*                              Se'minaire                           *
*                SEMANTIQUE ET INTERPRETATION ABSTRAITE             *
*                              P. Cousot                            *
*                                                                   *
*                        Vendredi, 14h00--15h30                     *
*                             Salle R, etage -1                     *
*                  DI  ENS  45 rue d'Ulm  75005 Paris               *
*********************************************************************

*** Vendredi 7 de'cembre 2002 **** 14h00 *****************************

Rela^che (LPAR'01)

*** Vendredi 14 de'cembre 2001 **** 14h00 ****************************
Matthieu MARTEL (CEA)
Propagation des Erreurs d'Arrondi dans les Calculs en Pre'cision Finie.
**********************************************************************
*** REPORTE EN JANVIER 2001 ******************************************
**********************************************************************

*** Mercredi 19 de'cembre 2001 **** 10h30 ****************************

The`se d'habilitation d'E'ric GOUBAULT, CEA Saclay
 Salle des the`ses D520, Universite' de Paris IX, Dauphine

Geometrie du Parallelisme, Analyse Statique et Applications

Re'sume':
J'exposerai dans un premier temps mes travaux concernant la
semantique et l'analyse de programmes paralleles, bases sur des idees
geometriques (certaines remontant a E. W. Dijkstra 68, d'autres a V.
Pratt 90). Ces travaux se deroulent sur une periode de 9 ans, durant laquelle
ces modeles geometriques et les methodes (inspirees de la topologie algebrique
traditionnelle) ont beaucoup evolues. J'en retrace donc les moments
les plus importants, mettant en scene d'autres auteurs. Ensuite je parlerai
plus d'analyse, et passerai a des analyses par interpretation abstraite
concernant des programmes sequentiels, mais ciblees sur des proprietes
delicates et peu etudiees, en particulier l'adequation du calcul flottant par
rapport au calcul ideal, fait avec des reels.


*** Vendredi 21 de'cembre 2001 **** 14h00 ****************************

Damien MASSE' (LIX, E'cole polytechnique)

Extension of transition systems, abstract interpretation.

Re'sume':
  Transition systems are used to describe semantics of programs. However,
they do not describe all the properties of a program, for example they
so not distinguish between different causes of non-determinism (as
game semantics may do). Usually, this distinction appears in the expression
of the temporal logic properties to be proved. In this talk, we
will show a simple extension of transition relations which enables
to distinguish between two kinds of non-determinism.
  Then we will show how this extension can be used to check temporal
properties with backward and forward analyses. Finally we will examine
some possible abstractions of the new semantics.

*** Vendredi 28 de'cembre 2001 **** 14h00 ****************************

Rela^che: vacances de Noe"l

*********************************************************************
Pour recevoir l'annonce par courrier electronique: &#99;&#111;&#117;&#115;&#111;&#116;&#64;&#100;&#105;&#46;&#101;&#110;&#115;&#46;&#102;&#114;
WWW: http://www.di.ens.fr/~cousot/annonceseminaire.shtml
*********************************************************************