********************************************************************* * 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 * ********************************************************************* LES GROUPES DE TRAVAIL ET SEMINAIRE DE JUILLET 1996 SONT REPORTES A LA RENTREE FAUTE DE SALLES (OCCUPEES PAR LE CONCOURS). *** Vendredi 5 juillet 1996 **** 14h00 *** ANNULE ******************* Groupe de travail. *** Vendredi 12 juillet 1996 **** 14h00 -- 15h00 *** ANNULE ********** Interpr\'etation abstraite avec clonage et \'ev\'enements Denis BECHET (CRIN-CNRS & INRIA-Lorraine) Re'sume' : Partant d'un m\'ecanisme d'interpr\'etation abstraite sur un domaine de valeurs appel\'e {\em valeurs alternatives}, je montrerai qu'il n'est pas suffisamment pr\'ecis pour certaines applications comme l'\'evaluation partielle. Ce constat r\'esulte en particulier de l'utilisation de fonctions g\'en\'eriques qui sont trait\'ees uniform\'ement dans tous les contextes. Pour r\'esoudre ce probl\`emes, je propose d'ajouter un m\'ecanisme de duplication (clonage) de la d\'efinition de ces fonctions g\'en\'erales bas\'ee sur une comparaison de l'environnement dans lesquels ces fonctions sont utilis\'ees \`a travers la notion d'{\em \'ev\'enement}. *** Vendredi 12 juillet 1996 **** 15h00 -- 16h00 *** ANNULE ********* A Typed Calculus of Synchronous Processes Simon GAY (Royal Holloway, University of London) Re'sume': Types are fundamental to the study of functional computation, for both theoretical and practical reasons. There are well-known and elegant connections between the typed lambda-calculus, intuitionistic logic and cartesian closed categories, leading to the Propositions as Types paradigm and the development of categorical logic. In this talk I will describe a typed calculus of synchronous processes. The type system is based on Classical Linear Logic, the syntax and operational semantics are inspired by CCS, and there is a denotational semantics formulated in terms of Interaction Categories. This calculus provides a basis for extending the Curry-Howard Isomorphism to concurrent systems. This is joint work with Raja Nagarajan (Imperial College, London) and was presented at LICS'95. In this talk I will also discuss more recent developments. ********************************************************************* Relache du 15 juillet au 3 octobre. ********************************************************************* Pour recevoir l'annonce par courrier electronique: cousot@dmi.ens.fr WWW: http://www.ens.fr/~cousot/annonceseminaire.html *********************************************************************