Univ.-Prof. Dr. Aart Middeldorp   

Invited Talks

Introductory Course on Term Rewriting
11th International School on Rewriting (ISR 2019)
Paris, July 1 – 6, 2019

Introductory Course on Term Rewriting
9th International School on Rewriting (ISR 2017)
Leipzig, July 3 – 7, 2017

Basic Course on Term Rewriting
8th International School on Rewriting (ISR 2015)
Leipzig, August 10 – 14, 2015

Basic Course on Term Rewriting
7th International School on Rewriting (ISR 2014)
Valparaíso, Chile, August 25 – 29, 2014

Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems
18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-18)
Mérida, Venezuela, March 11, 2012

Automatic Complexity Analysis of Rewrite Systems
4th International Conference on Algebraic Informatics (CAI 2011)
Linz, June 22, 2011

Introduction to Term Rewriting
5th International School on Rewriting (ISR 2010)
Utrecht, July 4 – 8, 2010

Advanced Topics in Termination
4th International School on Rewriting (ISR 2009)
Brasília, June 22 – 26, 2009

Termination at RTA – a selection
15th International Conference on Rewriting Techniques and Applications (RTA 2004)
Aachen, June 5, 2004

Approximations for Strategies and Termination
2nd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002)
Copenhagen, July 21, 2002

Tutorial on Term Rewriting and Narrowing
1st International Conference on Computational Logic (CL 2000)
London, July 24, 2000

Tutorial on Term Rewriting
8th Annual Conference of the European Association for Computer Science Logic (CSL 1999)
Madrid, September 25, 1999