Colloque Pierre Lescanne (2008) Nancy : Différence entre versions
De Wicri Nancy
imported>Jacques Ducloy |
imported>Jacques Ducloy |
||
| Ligne 1 : | Ligne 1 : | ||
| − | {{Titre page article | + | {{Titre page article|titre=Un voyage à travers la réécriture et le lambda-calcul |
|sous-titre=A journey through term rewriting and lambda-calculi}} | |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}} | ||
Version du 13 juin 2019 à 16:33
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 |
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 »
