Upcoming Events

1st International Workshop on Confluence
29 May 2012, Nagoya

3rd Austria – Japan Summer Workshop on Term Rewriting
1 – 7 August 2010, Obergurgl

3rd International School on Rewriting
21 – 26 July 2008, Obergurgl

8th International Workshop on Reduction Strategies in Rewriting and Programming
14 July 2008, Hagenberg