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