REUNION ANNUELLE DU
GROUPE DE TRAVAIL "Logique, Algèbre et Calcul"
GDR-ALP
22 mai 2002, Nancy, Chateau Saint Fiacre
Programme
10h - Pierre Lescanne : "Substitutions et types avec intersection"
10h30 - Karim Nour : "Une preuve
simple de la complétude de la logique du second ordre"
11h00 - René David : "Quelques résultats de forte
normalisation"
11h30 - Paul-André Melliès : "Une théorie des résidus revisitée"
Pause dejeuner (au restaurant du CNRS a
l'INIST, sur le plateau de Brabois)
14h - Luigi Liquori : "Pure Pattern Type Systems"
14h30 - Francois Lamarche : "Un fragment négligé de la
logique du premier ordre?"
Pause café
15h15 - Maribel Fernandez : "Un calcul d'ordre
supérieur pour la transformation de graphes"
15h45 - Benjamin Wack : "Effectivité du typage dans le rho-cube"
16h15 - Discussion Générale
Les exposés auront lieu dans le "Salon Callot" du Château
Saint-Fiacre (salle au rez-de-chaussee, sur la droite en rentrant). Il y
aura des voitures pour récupérer les gens de Paris venant en
train (par le train partant de Paris à 6h51 et arrivant à
Nancy à 9h34). Il y aura également des voitures pour aller
à la gare après 17h.
Participants
Noel Bernard (Lama, Univ Savoie)
Yves Bertini (Lama, Univ Savoie)
Horatiu Cirstea (Loria & INRIA-Lorraine)
Rene David (Lama, Univ Savoie)
Eric Deplagne (Loria & INRIA-Lorraine)
Maribel Fernandez (ENS-Paris)
Julien Forest (LRI, Paris-Sud)
Bruno Guillaume (Loria & INRIA-Lorraine)
Delia Kesner (LRI, Paris-Sud)
Claude Kirchner (Loria & INRIA-Lorraine)
Francois Lamarche (Loria & INRIA-Lorraine)
Pierre Lescanne (ENS Lyon)
Luigi Liquori (Loria & INRIA-Lorraine)
Paul-André Melliès (PPS, Univ. Paris 7)
Karim Nour (Lama, Univ Savoie)
Christophe Raffalli, (Lama, Univ Savoie)
Christophe Ringeissen (Loria & INRIA-Lorraine)
Benjamin Wack (Loria & ENS Lyon)
Organisation de la journée
Christophe Ringeissen
Claude Kirchner
Informations Utiles
Château St. Fiacre