Selected talks
Rewriting
- PoPL, January 2012. Slides.
- LAC-GEOCAL, November 2011. Slides.
- CHoCoLa, Lyon, November 2011. Slides.
- Journées Nationales GEOCAL-LAC 2011, Nancy, May 2011. Slides.
- Theoretical computer science seminar, Vrije Universiteit Amsterdam, Janvier 2011. Slides.
- PPDP 2010, Hagenberg, Juillet 2010. Slides.
- HOR 2010, Edinburgh, Juillet 2010. Slides.
Concurrency theory
- CONCUR 2010, Paris, Septembre 2010. Slides.
Back to research page.