Obergurgl Summer on Rewriting 2023
20 – 26 August 2023, Universitätszentrum Obergurgl, Tyrol, Austria

Helmut Veith Memorial Workshop
January 31 – February 2, 2017, Obergurgl, Austria

The Fine Structure of Formal Proof Systems and their Computational Interpretations
November 15 – 17, 2016, Innsbruck, Austria

4th Austria-Japan Summer Workshop on Rewriting
September, 2016, Obergurgl

Computational Logic in the Alps
5 – 9 September, 2016, Obergurgl

15th International Workshop on Termination
September 5-7, 2016, Obergurgl, Austria

Computing with Terms and Graphs
13 July 2014, Vienna

Two Faces of Complexity 2014
12 July 2014, Vienna

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

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

Two Faces of Complexity 2011
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