Workshops

Workshop on Theory and Applications of Abstraction, Substitution and Naming, 22 March 2009, York, UK. Associated with ETAPS 2009.

Workshop on Mathematical Theories of Abstraction, Substitution and Naming in Computer Science, May 26, 2007 - May 28, 2007, ICMS, Edinburgh

Summer School

Nominal rewriting course at the International School on Rewriting, ISR 2009, Brasilia, June 2009 (co-located with RDP 2009): Slides