Titre:
  Sur les calculs, les machines abstraites et les interprètes

Orateur:
  Olivier Danvy
  BRICS, Department of Computer Science, University of Aarhus, Danemark

Résumé:
  Le lambda-calcul est traditionnellement présenté comme un calcul: avec
  une syntaxe de termes, une notion de réduction (les redexes à
  contracter) et une stratégie de réduction (où et comment trouver le
  prochain redex à contracter).  On dit toujours que le lambda-calcul est
  à la base des langages fonctionnels, qui sont souvent présentés avec
  des interprètes pour le prototypage et avec des machines abstraites
  pour l'implémentation.  La présentation de ces artefacts est toutefois
  souvent déconnectée et nécessite des théorèmes pour montrer que la
  machine abstraite et l'interprète implémentent le calcul de façon
  compatible.

  Le but de cet exposé est de montrer comment inter-dériver calculs,
  machines abstraites et interprètes.

Biosketch:
  Olivier Danvy a soutenu un doctorat en informatique et une habilitation
  à diriger les recherches à Paris VI en 1986 et en 1993.  Il s'intéresse
  à tous les aspects des langages de programmation, incluant la
  programmation.