Thèmes et intervenants

Bases :

• Introduction à la réécriture
  • Motivation et systèmes de réduction abstraits
  • Problèmes equationels
  • Terminaison
  • Confluence
  • Completion
  par Franz Baader, Dresden University, Allemagne
• Terminaison de la réécriture et applications par Jürgen Giesl, Aachen University, Allemagne
• Compilation et implantations par Pierre-Etienne Moreau, INRIA & LORIA, France
• Systèmes de réécriture d'ordre supérieur par Femke van Raamsdonk, CWI and Free University Amsterdam, Pays-Bas

Applications :

• Un formalisme d'objets Hassan Aït-Kaci, Ilog Vancouver, Canada
• Analyses de programmes et preuves par Thomas Genet, Université de Rennes I & IRISA, France
• Theorem proving par Christopher Lynch, Clarkson University, Etats-Unis
• Sécurité par Michaël Rusinowitch, INRIA & LORIA, France

Cours avancés :

• Preuves de normalisation par Dan Dougherty, Worcester Polytechnic Institute, Etats-Unis
• Deduction modulo par Gilles Dowek, Ecole Polytechnique & INRIA, France
• Automate d'arbres par Denis Lugiez, Université de Provence, France
• Réécriture de graphes de termes par Rachid Echahed, CNRS & LIG, France
• Techniques nominales par Christian Urban, TU Munich, Allemagne