Talks

Bracket Algebra
Highlights, Berlin, September 2018
The theory of languages
Highlights, London, September 2017
The Equational Theory of Algebras of Languages
RAMiCS, Lyon, May 2017 (Special session on mechanised reasoning)
Décidabilité des Treillis de Kleene sans identité
JFLA, Val d'Ajol, January 2015 (in French)
Kleene Algebra with Converse
RAMiCS, Marienstatt, April 2014
Algèbres de Relations, Étude des algèbres de Kleene avec converse
Paris, September 2013 (Internship defence, in French)