Title: 
  Introduction au calcul de réécriture

Speaker:
  Claude Kirchner
  Loria

Abstract:
Le calcul de réécriture intègre de façon uniforme et simple la 
réécriture du premier ordre, le calcul lambda et le non-déterminisme.
Je présenterai le calcul et ses propriétés de base puis je montrerai
comment il permet de donner une sémantique opérationnelle au langage
ELAN.