REUNION ANNUELLE DU
GROUPE DE TRAVAIL MELANGES
GDR PRC ALP
8 juin 2001, ENS

Programme

10h Gilles Dowek : La confluence, vue comme une propriété d'élimination des coupures
10h30 Christophe Raffalli : Représentation du lambda-calcul en lambda-calcul typé avec "Higher Order Abstract Syntax"

11h Pause

11h30 Stephane Vaillant : Une présentation finie de la théorie des ensembles au premier ordre avec symbole de compréhension
12h Pierre Lescanne : Implantation de la logique épistémique

12h30 Dejeuner

14h Delia Kesner : Les systemes de recriture d'ordre superieur vus commes des systemes de recriture du premier ordre
14h30 Frederic Blanqui : Systèmes de types modulo et calcul des constructions algébriques
15h Karim Nour : La forte normalisation de l'élimination des coupures en déduction naturelle classique avec conjonction

15h30 Pause

16h Discussion
Les exposés auront lieu dans la Salle Resistants le matin (au 1er étage), Salle UV (second sous-sol) l'apres-midi

Participants (confirmés)

  • Francoise Bellegarde
  • Frederic Blanqui
  • Pierre-Louis Curien
  • René David
  • Roberto Di Cosmo
  • Gilles Dowek
  • Maribel Fernandez
  • Bruno Guillaume
  • Delia Kesner
  • Stephane Lengrand
  • Pierre Lescanne
  • Ian Mackie
  • Lionel Mamane
  • Karim Nour
  • Christophe Raffalli
  • Stephane Vaillant

    Informations Utiles

    ENS