1st International Workshop on Confluence 2012
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