Nuvola apps important.png Attention, suite à une faille de sécurité, les liens vers la plupart des serveurs d'exploration sont désactivés.

-

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
 
 
logo travaux 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

Comité d'organisation