Colloque Pierre Lescanne (2008) Nancy
De Wicri Nancy
Un voyage à travers la réécriture et le lambda-calcul
A journey through term rewriting and lambda-calculi
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)
… davantage au sujet de « Colloque Pierre Lescanne (2008) Nancy »