REUNION ANNUELLE DU
GROUPE DE TRAVAIL "Logique, Algèbre et Calcul"
GDR-ALP
16 septembre 2003, Paris

Programme

  • (10h00 - 10h30) Pierre Lescanne : "Types avec intersection dans une extension de lambda-mu-mu~"
  • (10h30 - 11h00) René David : "Forte normalisation du lambda_ws calcul typé"
  • (11h00 - 11h30) Delia Kesner : "ERS with patterns"
  • (11h30 - 12h00) Karim Nour : "Forte normalisation de la déduction naturelle classique avec disjonction"

    (12h00 - 13h00) Pause dejeuner (à la cantine de Chevaleret)

  • (13h00 - 13h30) Stéphane Lengrand : "Substitutions explicites et réseaux de preuves"
  • (13h30 - 14h00) Emmanuel Polonovski : "Normalisation forte du lambda-mu-mu~ calcul avec substitutions explicites"
  • (14h00 - 14h30) Emmanuel Polonovski : "Lambda-l avec noms"

    (14h30 - 15h00) Pause café

  • (15h00 - 15h30) Benjamin Wack : "Récursion typée dans le calcul de réecriture"
  • (15h30 - 16h00) Germain Faure : "Calcul de réécriture explicite"
  • (16h00 - 16h30) Paul-André Melliès : "Méthodes diagrammatiques pour la normalisation des calculs d'ordre supérieur avec substitutions explicites"
  • (16h30 - 17h00) Discussion générale

    Les exposés auront lieu à l'adresse suivante:

    Salle 0D4 (RDC)
    Laboratoire PPS, Université Paris 7
    175, Rue du Chevaleret
    75013 PARIS
    Metro Chevaleret

    Comment venir?

    Participants

  • Vincent Balat (PPS, Univ. Paris 7)
  • Pierre-Louis Curien (PPS, Univ. Paris 7)
  • René David (Lama, Univ. Savoie)
  • Roberto Di Cosmo (PPS, Univ. Paris 7)
  • Germain Faure (LORIA & INRIA Lorraine)
  • Julien Forest (PPS, Univ. Paris 7)
  • Delia Kesner (PPS, Univ. Paris 7)
  • Olivier Laurent (PPS, Univ. Paris 7)
  • Stéphane Lengrand (PPS, Univ. Paris 7)
  • Pierre Lescanne (ENS Lyon)
  • Paul-André Melliès (PPS, Univ. Paris 7)
  • Alexandre Miquel (PPS, Univ. Paris 7)
  • Karim Nour (Lama, Univ. Savoie)
  • Emmanuel Polonovski (PPS, Univ. Paris 7)
  • Laurence Puel (LRI, Univ. Paris 11)
  • Alexis Saurin (PPS, Univ. Paris 7)
  • Steffen van Bakel (Imperial College)
  • Benjamin Wack (LORIA & INRIA Lorraine)

    Les Photos

    Organisation de la journée

    Roberto Di Cosmo
    Delia Kesner

    Informations Utiles

    Laboratoire PPS