Colloque Pierre Lescanne (2008) Nancy : Différence entre versions
De Wicri Nancy
imported>Jacques Ducloy |
imported>Jacques Ducloy |
||
(2 révisions intermédiaires par le même utilisateur non affichées) | |||
Ligne 1 : | Ligne 1 : | ||
− | {{ | + | {{Titre page article|titre=Un voyage à travers la réécriture et le lambda-calcul |
+ | |sous-titre=A journey through term rewriting and lambda-calculi}} | ||
{{Wicri travaux|texte=Page en cours d'importation à partir de la version anglaise}} | {{Wicri travaux|texte=Page en cours d'importation à partir de la version anglaise}} | ||
{{Infobox sémantique manifestation | {{Infobox sémantique manifestation | ||
Ligne 6 : | Ligne 7 : | ||
|Date de début=29 mai 2008 | |Date de début=29 mai 2008 | ||
}} | }} | ||
− | + | 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== | ==Conférenciers invités== | ||
Version actuelle datée du 13 juin 2019 à 16:40
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 »