Univ.-Prof. Dr. Aart Middeldorp   

Past Events

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

25th International Conference on Automated Deduction
1 – 7 August 2015, Berlin

8th International Workshop on Computing with Terms and Graphs
13 July 2014, Vienna

19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
15 – 19 December 2013, Stellenbosch, South Africa

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