Informations sur la troisième réunion du groupe de travail
Mélanges de systèmes de réécriture algébrique et de systèmes logiques
**********************************************************
**********************************************************
REUNION DE TRAVAIL DU GROUPE PRC MATH-INFO
Melanges de systemes de reecriture algebrique
et de systemes logiques
vendredi 13 juin
Universite de Chambery
Batiment Chablais
Salle des semenaires
**********************************************************
PROGRAMME
**********************************************************
10h Rene David (Chambery)
Une reponse negative a une conjecture de Levy
11h Maribel Fernandez (ENS Paris)
Un calcul d'objets avec reecriture algebrique
12h Repas a la cantine de l'universite
14h Walter Py (Chambery)
Problemes de confluence en lambda-mu-calcul
15h Roberto Di Cosmo et Delia Kesner (ENS Paris)
Normalisation dans les substitutions explicites via proof nets
Pause cafe
16h Jean Goubault (INRIA Rocquencourt)
Une preuve de termination du lambda-sigma-Calcul type
17h Pierre Lescanne (INRIA Nancy)
Forte normalisation d'un calcul de substitution explicite type:
(une demonstration directe)
__________________________________________________________________________
Liste de Participants (non Chamberiens) :
Maribel Fernandez (ENS Paris)
Roberto Dicosmo (ENS Paris)
Delia Kesner (ENS Paris)
Cesar Munoz (INRIA Rocquencourt)
Jean Goubault (INRIA Rocquencourt)
Bruno Pagano : (LITP Paris VI)
Denis Lugiez : (INRIA Nancy)
Pierre Lescanne : (INRIA Nancy)
Page mantenue par