Univ.-Prof. Dr. Aart Middeldorp   

Steering Committee Member

CoCo   chair
Confluence Competition
2019 –

CADE   trustee
International Conference on Automated Deduction
2015 – 2018

IWC
International Workshop on Confluence
2012 – 2018

ISR   chair
International School on Rewriting
2009 – 2014

ISR 2009
4th International School on Rewriting
Brasília, June 22 – 26, 2009

ISR 2008
3rd International School on Rewriting
Obergurgl, July 21 – 26, 2008

termCOMP
International Termination Competition
2007 – 2010

ISR 2007
2nd International School on Rewriting
Nancy, July 2 – 6, 2007

FLoC 2006
2006 Federated Logic Conference
Seattle, August 10 – 22, 2006

ISR 2006
1st International School on Rewriting
Nancy, July 3 – 7, 2006

FLOPS
International Symposium on Functional and Logic Programming
2002 – 2008

RTA   chair
International Conference on Rewriting Techniques and Applications
2001 – 2004