Colloque Pierre Lescanne (2008) Nancy

Un voyage à travers la réécriture et le lambda-calcul

A journey through term rewriting and lambda-calculi

---

 
 

Page en cours d'importation à partir de la version anglaise

Colloque Pierre Lescanne
Début :	29 mai 2008
Ville :	Nancy

Ce séminaire d'une journée met en vedette une série d'entretiens sur l'état de l'art et les tendances de la recherche actuelle en déduction automatique, réécriture et calcul Lambda. L'atelier met en lumière la contribution de Pierre Lescanne sur de la déduction automatique. Il témoigne de ses contributions en cours dans l'animation de groupes scientifiques, la gestion de projets scientifiques aux niveaux national et international, la supervision des étudiants en doctorat et la promotion de la science.

Conférenciers invités

• Claude Pair, Nancy
• Paliath Narendran, SUNY Albany
• Nachum Dershowitz, Tel-Aviv University
• Mariangiola Dezani, Torino University
• Jean-Pierre Jouannaud Ecole Polytechnique
• Hélène Kirchner, CNRS/INRIA
• Dan Dougherty, Worcester Polytechnic Institute
• Simona Ronchi Della Rocca, Torino University.

Comité d'organisation

• Anne-Lise Charbonnier, (LORIA),
• Guillaume Bonfante, (LORIA),
• Philippe Degroote, (LORIA),
• Francis Klay, (France Telecom),
• Gregory Kucherov, (LIFL/CNRS),
• Luigi Liquori, (INRIA Sophia Antipolis - Méditerrannée),
• Jean-Yves Marion, (LORIA),
• M. Rusinowitch, (LORIA),
• Laurent Vigneron, (LORIA)