Colloque Pierre Lescanne (2008) Nancy : Différence entre versions
De Wicri Nancy
imported>Jacques Ducloy (Page créée avec « {{Wicri avertissement création lien}} en:Colloquium Pierre Lescanne (2008) Nancy ») |
imported>Jacques Ducloy |
||
(9 révisions intermédiaires par le même utilisateur non affichées) | |||
Ligne 1 : | Ligne 1 : | ||
− | {{Wicri | + | {{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}} | ||
+ | {{Infobox sémantique manifestation | ||
+ | |Nom=Colloque Pierre Lescanne | ||
+ | |Ville=Nancy | ||
+ | |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== | ||
+ | |||
+ | *[[A pour conférencier invité::Claude Pair]], [[Nancy]] | ||
+ | *[[A pour conférencier invité::Paliath Narendran]], SUNY Albany | ||
+ | *[[A pour conférencier invité::Nachum Dershowitz]], Tel-Aviv University | ||
+ | *[[A pour conférencier invité::Mariangiola Dezani]], Torino University | ||
+ | *[[A pour conférencier invité::Jean-Pierre Jouannaud]] Ecole Polytechnique | ||
+ | *[[A pour conférencier invité::Hélène Kirchner]], CNRS/INRIA | ||
+ | *[[A pour conférencier invité::Dan Dougherty]], Worcester Polytechnic Institute | ||
+ | *[[A pour conférencier invité::Simona Ronchi Della Rocca]], Torino University. | ||
+ | |||
+ | ==Comité d'organisation== | ||
+ | * [[A pour membre du comité d'organisation::Anne-Lise Charbonnier]], (LORIA), | ||
+ | * [[A pour membre du comité d'organisation::Guillaume Bonfante]], (LORIA), | ||
+ | * [[A pour membre du comité d'organisation::Philippe Degroote]], (LORIA), | ||
+ | * [[A pour membre du comité d'organisation::Francis Klay]], (France Telecom), | ||
+ | * [[A pour membre du comité d'organisation::Gregory Kucherov]], (LIFL/CNRS), | ||
+ | * [[A pour membre du comité d'organisation::Luigi Liquori]], (INRIA Sophia Antipolis - Méditerrannée), | ||
+ | * [[A pour membre du comité d'organisation::Jean-Yves Marion]], (LORIA), | ||
+ | * [[A pour membre du comité d'organisation::M. Rusinowitch]], (LORIA), | ||
+ | * [[A pour membre du comité d'organisation::Laurent Vigneron]], (LORIA) | ||
+ | __SHOWFACTBOX__ | ||
+ | |||
[[en:Colloquium Pierre Lescanne (2008) Nancy]] | [[en:Colloquium Pierre Lescanne (2008) Nancy]] |
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 »