Talks

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)