Talks

Recent developments in concurrent Kleene algebra (slides)
IRIS scientific meeting, London, December 2020
Bracket Algebra (slides)
Highlights, Berlin, September 2018
The theory of languages (slides)
Highlights, London, September 2017
The Equational Theory of Algebras of Languages (slides)
RAMiCS, Lyon, May 2017 (Special session on mechanised reasoning)
Kleene Algebra with Converse (slides)
RAMiCS, Marienstatt, April 2014
Algèbres de Relations, Étude des algèbres de Kleene avec converse (slides)
Paris, September 2013 (Internship defence, in French)