* Lieu

La journee se  deroulera dans la salle de reunion  du LIFC, Bat Metrologie,
salle  404 du Laboratoire  Informatique de  l'Universite de  Franche Comte.
Vous  pouvez consultez  la page  http://lib.univ-fcomte.fr/ pour  avoir des
informations supplemantaires sur le laboratoire et la universite.


* Comite d'organisation

        Francoise Bellegarde    (LIB, Besancon)
        Maribel Fernandez       (ENS, Ulm)
        Delia Kesner            (U. Paris-Sud)
        

* Financement

Prise la prise en charge par le GDR ALP des frais de deplacement
des participants. 

* Programme de la journee

10h  acceuil des participants - cafe 

10h15 

DEPLAGNE Eric (Loria, Nancy)
        L'induction comme deduction modulo

11h 

LESCANNE Pierre (Ecole Normale Superieur de Lyon) 
         Reductions dans lambda-x et types avec intersection

11h 45  

MELLIES Paul-Andre (PPS, Universite Papris 7)
         Description Axiomatique de la Réécriture
         standardisation, factorisation, stabilité


             =============== DEJEUNER ==================


14h 

RAFFALI Christophe (LAMA, Universite de Savoie)

14h 45 

KESNER Delia (LRI, Universite Paris-Sud)
       
       
15h 30 

FERNANDEZ Maribel (LIENS, Ecole Normale Superieur de Paris)
          Le System F + intersection pour le lambda-calcul + reecriture

=============== Liste de Participants ==================

BARBIER Bruno         barbier@lifc.univ-fcomte.fr,
BELLEGARDE Francoise  bellegar@lifc.univ-fcomte.fr,
DAVID René            david@univ-savoie.fr,
DEPLAGNE Eric         eric.deplagne@loria.fr
FERNANDEZ Maribel     Maribel.Fernandez@ens.fr,
GIORGETTI Alain       giorgett@lifc.univ-fcomte.fr,
GUILLAUME Bruno       bguil@lri.fr,
KESNER Delia          Delia.Kesner@lri.fr,
LANG FRédéric         flang@wesleyan.edu,
LESCANNE Pierre       Pierre.Lescanne@ens-lyon.fr
MELLIES Paul-André    mellies@pps.jussieu.fr
RAFFALI Christophe    raffalli@univ-savoie.fr
                                   


=========================================================

D'autres informations