Computing with Terms and Graphs
13 July 2014, Vienna

1st International Workshop on Confluence
29 May 2012, Nagoya, Japan

12th International Workshop on Termination
February 19 to February 23, 2012, Obergurgl, Austria

Two Faces of Complexity 2011
Sunday, May 29, 2011, Novi Sad, Serbia

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

2nd Workshop on Proof Theory and Rewriting
28 – 31 March 2010, Obergurgl

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

Reduction Strategies in Rewriting and Programming
14 July 2008, Castle of Hagenberg, Austria

2nd Austria – Japan Summer Workshop on Term Rewriting
19 – 25 August 2007, Obergurgl

Workshop on Proof Theory and Rewriting
5 – 9 September, 2006, Obergurgl

Austria – Japan Summer Workshop on Term Rewriting
8 – 13 August 2005, Obergurgl