*** Program of ISR 2007 ***
The detailed version is available in
PDF.
Slides or notes are available below for each lecture.
Monday, July 2
- Introduction to Term Rewriting
(slides: part 1, part 2, part 3, part 4, part 5)
by Franz Baader, Dresden University, Germany
- Evening Social Event: *** visit of Nancy ***
Tuesday morning, July 3
- Termination of Term Rewriting and Applications
(slides)
by Jürgen Giesl, Aachen University, Germany
Tuesday afternoon, July 3
- Rule based Security
by Michaël Rusinowitch, INRIA & LORIA, France
- Program Analysis and Proofs
(slides)
by Thomas Genet, Université de Rennes I & IRISA, France
Wednesday morning, July 4
- Higher Order Rewrite Systems
(slides)
by Femke van Raamsdonk, CWI and Free University Amsterdam, Netherlands
Wednesday afternoon, July 4
- Normalisation Proofs
(notes)
by Dan Dougherty,
Worcester Polytechnic Institute, USA
- Nominal Techniques
by Christian Urban, TU Munich, Germany
- Main Social Event:
Thursday morning, July 5
- A Formalism of Objects
(slides)
by Hassan Aït-Kaci, Ilog Vancouver, Canada
- Theorem Proving
(slides)
by Christopher Lynch, Clarkson University, USA
Thursday afternoon, July 5
- Term-Graph Rewriting
by Rachid Echahed, CNRS & LIG, France
- Deduction Modulo
(slides)
by Gilles Dowek, Ecole Polytechnique & INRIA, France
Friday morning, July 6
- Tree Automata, Regular Tree Language and Rewriting
(slides)
by Denis Lugiez, Université de Provence, France
- Implementing a Rule based Language
(slides)
by Pierre-Etienne Moreau, INRIA & LORIA, France
Friday afternoon, July 6
- Using a Rule based Language
(slides)
by Pierre-Etienne Moreau, INRIA & LORIA, France
