Invited Talks

Confluence of Logically Constrained Rewrite Systems
13th International Workshop on Confluence (IWC 2024)
Tallinn, July 9, 2024

Tree Automata Techniques for Term Rewriting
13th International School on Rewriting (ISR 2022)
Tbilisi, September 19 – 24, 2022

Introductory Course on Term Rewriting
13th International School on Rewriting (ISR 2022)
Tbilisi, September 19 – 24, 2022

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)
Eindhoven, 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