Past Event

• The 5th International School on Rewriting, ISR 2010 , 3-8 July 2010, Utrecht, The Netherlands.
• the conference on Rewriting Techniques and Applications RTA 2009, June 29-July 1 2009, Brasilia, Brazil.
  
• TeReSe, Thursday December 14th 2006 in Utrecht.
  organiser.
• A symposium on December 19th at CWI in honour of Jan Willem Klop.
  co-organiser.
• 5th International Workshop on Reduction Strategies in Rewriting and Programming WRS'05, April 22 2005, Nara, Japan.
  speaker (2x)
• the conference on Rewriting Techniques and Applications RTA 2005, April 19-21 2005, Nara, Japan.
  PC member
• I was on sabbatical leave from August 1st 2004 until February 1st 2005.
• the conference on Rewriting Techniques and Applications RTA 2004, June 3-5 2004, Aachen.
  PC chair
• TeReSe, May 6th 2004 in Utrecht.
  organiser
• Workshop on Algebra and Logic on Programming Systems (ALPS 2004)
  speaker
• Functional and Logic Programming (FLOPS 2004)
  speaker (as author)
• Foundations of Software Science and Computation Structures (FOSSACS'04)
  PC member
• the Conference on Automated DEduction (CADE-19)
  speaker (as co-author)
• the conference on Rewriting Techniques and Applications (RTA'03)
  PC member
• a festive TeReSe (tuesday June 3, 2003) organised at the occasion of the appearance of the book on Term Rewriting Systems by Terese.
  OC member
• See the pictures of the RTA 2001 conference and its satellite events, which were held May 20-26, 2001 in Utrecht, The Netherlands.
  OC member