TeReSe (autumn 2009)

The next TeReSe (Term Rewriting Seminar), an afternoon with presentations on rewriting, will take place on Thursday November 19, 2009 at:

Location University College Utrecht, Campusplein 7, 3584 ED Utrecht
Directions link UCU-page, google maps, map Utrecht
Room UCU-Descartes-J

TeReSes take place, usually twice a year, at locations with an active rewriting community, in or close to the Netherlands (such as: Aachen, Amsterdam, Eindhoven, Utrecht, Nijmegen).

Program

time speaker(s) title
13.15 - 13.30  
arrival, setting up connections with the beamer
13.30 - 14.15 Carsten Fuhs Termination Analysis by Dependency Pairs and Inductive Theorem Proving
14.15 - 15.00 Albert Visser, Vincent van Oostrom, Joop Leo, Clemens Grabmayer On the termination of Russell's description elimination algorithm
15.00 - 15.30  
break with coffee and tea
15.30 - 16.15 Cynthia Kop Higher Order Path Orderings
16.15 - 17.00 Hans Zantema Transformations for well-definedness of streams
17.00 - 17.20  
TeReSe business meeting

Afterwards there will be the opportunity to have a TeReSe-dinner out together. It will take place in Indonesian Restaurant Djakarta in Utrecht (route in Utrecht city center).

Abstracts

We hope to see you in Utrecht,

Vincent van Oostrom and Clemens Grabmayer.


Vincent van Oostrom and Clemens Grabmayer / Universiteit Utrecht / contact: clemens one at phil one dot uu one dot nl
Last modified: Thu Nov 19 12:35:18 MET 2009