*********************************************************************
*                       Ecole Normale Supe'rieure                   *
*                 DMI  ENS  45 rue d'Ulm  75005 Paris               *
*                                                                   *
*                              Se'minaire                           *
*                SEMANTIQUE ET INTERPRETATION ABSTRAITE             *
*                              P. Cousot                            *
*                                                                   *
*                 * Lundi 13 novembre 1995, 14h--17h *              *
*                          * Salle Dussane *                        *
*                                                                   *
*********************************************************************

*************** Noter la DATE et le LIEU EXCEPTIONNELS **************

*********************************************************************

Samson ABRAMSKY  (Edinburgh University)
Game semantics for the pi-calculus

Jeremy GUNAWARDENA  (Basic Research Inst. in Math. Sci., Bristol)
Nonexpansive maps and fixed point theorems

Maurice NIVAT  (LITP, Universit\'e de Paris VII
Proble`mes de polyominos

Vaughan PRATT  (Stanford University)
Games, Processes, and Logic from the Chu perspective

*********************************************************************
*                                                                   *
*                       Soutenance de the`se                        *
*                                                                   *
*                   * Lundi 13 novembre 1995, 19h *                 *
*                          * Salle Dussane *                        *
*                                                                   *
*********************************************************************

Eric GOUBAULT  (LIENS)
Ge'ome'trie du paralle'lisme

*********************************************************************
*                                                                   *
*                              Se'minaire                           *
*                SEMANTIQUE ET INTERPRETATION ABSTRAITE             *
*                              P. Cousot                            *
*                                                                   *
*********************************************************************

*** Vendredi 24 novembre 1995 ***************************************

REPORTE AU 1er decembre 1995, a 15h00, salle W.
-------
*********************************************************************

Approximation infe'rieure des e'quations entre termes d'acce`s a` la
me'moire d'un programme

Pavel EMELIANOV (Institut des Syste`mes Informatiques, Novossibirsk
                 & LIX)

Re'sume' : On pre'sente une interpre'tation abstraite qui construit
un invariant qui est une approximation infe'rieure des e'quations
entre termes d'acce`s a` la me'moire d'un programme de type Pascal.
On donne des exemples d'utilisation de l'information produite par
l'analyse pour la de'termination des erreurs a` l'exe'cution et
l'optimisation de programmes.

*********************************************************************