Présentation
Thèmes et intervenants
Programme
Comité scientifique
Comité d'organisation
Lieu d'accueil
Logistique
Inscription & Logement
Partenaires
Liens
English
Date : du 2 au 6 juillet 2007
Lieu : LORIA, Nancy, France
Le site de ISR'2006
est disponible
ici
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