Online Slides

This page contains a list of pointers to the slides of some presentations given at our meetings.

2001 meeting, Utrecht, NL.

Deciding the confluence of GTRS in PTIME, by Robert Nieuwenhuis. (Postscript)
Rewriting activities in Valencia, by Salvador Lucas. (PDF)
On applying dependency pairs to process verification, by Juergen Giesl. (Postscript)

Dinner speech at RTA'2001, by Paul Klint. (Text)

Last modified: 9-Jul-2001