Talks

c Pomset languages and concurrent Kleene algebra [slides]
Theory seminar - QMU, London, February 2018
c Pomset languages and concurrent Kleene algebras [slides]
Séminaire automates, Paris, November 2017
c On Decidability of Concurrent Kleene Algebra [slides]
CONCUR, Berlin, September 2017
c The theory of languages [slides]
Highlights, London, September 2017
c The Equational Theory of Algebras of Languages [slides]
BLAST, Nashville, August 2017
c The Equational Theory of Algebras of Languages [slides]
RAMiCS, Lyon, May 2017 (Special session on mechanised reasoning)
c The Equational Theory of Algebras of Languages [slides]
PPLV Seminar, London, April 2017
c The Equational Theory of Positive Relation Algebra [slides]
MOVE, Marseille, March 2017
c The Equational Theory of Positive Relation Algebra [slides]
PACE, Shanghai, November 2016
c A Kleene Theorem for Petri automata [slides]
Highlights, Brussels, September 2016
c A formal exploration of Nominal Kleene Algebra [slides]
MFCS, Krakow, August 2016
c Une introduction aux algèbres de Kleene [slides]
Inter'Actions, Lyon, May 2016 (in French)
c Petri automata for Kleene Allegories [slides]
LiCS, Kyoto, July 2015
c Petri automata for Kleene allegories [slides]
Rapido, Paris, June 2015
c Petri automata for Kleene allegories [slides]
Midlands Graduate School, Sheffield, April 2015
c Décidabilité des Treillis de Kleene sans identité [slides]
JFLA, Val d'Ajol, January 2015 (in French)
c Decidability of Identity-free Kleene Lattices [slides]
LAC, Chambéry, November 2014
c Kleene Algebra with Converse [slides]
RAMiCS, Marienstatt, April 2014
c Deciding Kleene Algebra with converse is PSpace-complete [slides]
GeoCal, Bordeaux, March 2014
c Deciding Kleene Algebra with converse is PSpace-complete [slides]
PACE, Lyon, February 2014
c Algèbres de Relations, Étude des algèbres de Kleene avec converse [slides]
Paris, September 2013 (Internship defence, in French)
c Equivalence of regular expressions with converse on relations [slides]
PiCoq, Lyon, June 2013