*** Programme de ISR 2007 ***

La version détaillée du programme est disponible en PDF.

Les supports des cours sont disponibles ci-dessous.

Lundi 2 juillet

• Introduction à la réécriture (supports: partie 1, partie 2, partie 3, partie 4, partie 5)
  par Franz Baader, Dresden University, Allemagne
• Soirée: *** visite de la ville de Nancy ***

Mardi 3 juillet, matin

• Termination de la réécriture et applications (supports)
  by Jürgen Giesl, Aachen University, Allemagne

Mardi 3 juillet, après-midi

• Sécurité à base de règles
  by Michaël Rusinowitch, INRIA & LORIA, France
• Analyse de programmes et preuves (supports)
  by Thomas Genet, Université de Rennes I & IRISA, France

Mercredi 4 juillet, matin

• Systèmes de réécriture d'ordre supérieur (supports)
  by Femke van Raamsdonk, CWI and Free University Amsterdam, Pays-Bas

Mercredi 4 juillet, après-midi

• Preuves de normalisation (notes)
  by Dan Dougherty,
  Worcester Polytechnic Institute, Etats-Unis
• Techniques nominales
  by Christian Urban, TU Munich, Allemagne
• Soirée étudiante

Jeudi 5 juillet, matin

• Un formalisme d'objets (supports)
  by Hassan Aït-Kaci, Ilog Vancouver, Canada
• Démonstration de théorèmes (supports)
  by Christopher Lynch, Clarkson University, Etats-Unis

Jeudi 5 juillet, après-midi

• Réécriture de graphes de termes
  by Rachid Echahed, CNRS & LIG, France
• Déduction modulo (supports)
  by Gilles Dowek, Ecole Polytechnique & INRIA, France

Vendredi 6 juillet, matin

• Automates d'arbres, Langages réguliers et Réécriture (supports)
  by Denis Lugiez, Université de Provence, France
• Implanter un langage à base de règles (supports)
  by Pierre-Etienne Moreau, INRIA & LORIA, France

Vendredi 6 juillet, après-midi

• Utiliser un langage à base de règles (supports)
  by Pierre-Etienne Moreau, INRIA & LORIA, France