*********************************************************************
*                       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 6 septembre 1996 **** 14h00 ******************************

Rela^che

*** Vendredi 13 septembre 1996 **** 14h00 *****************************

Rela^che

*** Vendredi 20 septembre 1996 **** 14h00 *****************************

Rela^che

*** Vendredi 27 septembre 1996 **** 14h00 *****************************

Dynamics, concurrency and nonexpansive maps

Jeremy GUNAWARDENA (Basic Research Institute in the Mathematical Sciences,
                    Hewlett-Packard & Newton Institute)

Re'sume' : The temporal behaviour of certain concurrent systems can be 
studied in terms of the dynamics of maps F: R^n --> R^n which are 
nonexpansive in the supremum norm. We discuss some recent results and 
open problems in this area.
 

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