Talks

Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra (slides)
FSCD, Paris, July 2020

Recent developments in concurrent Kleene algebra (slides)
Séminaire PPS, Paris, June 2020

A complete axiomatisation of a fragment of language algebra (slides)
CSL, Barcelona, January 2020

Pomsets with boxes: towards Atomic CKA (slides)
Highlights, Warsaw, September 2019

A Kleene Theorem for Nominal Automata (slides)
ICALP, Patras, July 2019

Bracket Algebra (slides)
Highlights, Berlin, September 2018

Pomset languages and concurrent Kleene algebra (slides)
Theory seminar - QMU, London, February 2018

Pomset languages and concurrent Kleene algebras (slides)
Séminaire automates, Paris, November 2017

On Decidability of Concurrent Kleene Algebra (slides)
CONCUR, Berlin, September 2017

The theory of languages (slides)
Highlights, London, September 2017

The Equational Theory of Algebras of Languages (slides)
BLAST, Nashville, August 2017

The Equational Theory of Algebras of Languages (slides)
RAMiCS, Lyon, May 2017 (Special session on mechanised reasoning)

The Equational Theory of Algebras of Languages (slides)
PPLV Seminar, London, April 2017

The Equational Theory of Positive Relation Algebra (slides)
MOVE, Marseille, March 2017

The Equational Theory of Positive Relation Algebra (slides)
PACE, Shanghai, November 2016

A Kleene Theorem for Petri automata (slides)
Highlights, Brussels, September 2016

A formal exploration of Nominal Kleene Algebra (slides)
MFCS, Krakow, August 2016

Une introduction aux algèbres de Kleene (slides)
Inter'Actions, Lyon, May 2016 (in French)

Petri automata for Kleene Allegories (slides)
LiCS, Kyoto, July 2015

Petri automata for Kleene allegories (slides)
Rapido, Paris, June 2015

Petri automata for Kleene allegories (slides)
Midlands Graduate School, Sheffield, April 2015

Décidabilité des Treillis de Kleene sans identité (slides)
JFLA, Val d'Ajol, January 2015 (in French)

Decidability of Identity-free Kleene Lattices (slides)
LAC, Chambéry, November 2014

Kleene Algebra with Converse (slides)
RAMiCS, Marienstatt, April 2014

Deciding Kleene Algebra with converse is PSpace-complete (slides)
GeoCal, Bordeaux, March 2014

Deciding Kleene Algebra with converse is PSpace-complete (slides)
PACE, Lyon, February 2014

Algèbres de Relations, Étude des algèbres de Kleene avec converse (slides)
Paris, September 2013 (Internship defence, in French)

Equivalence of regular expressions with converse on relations (slides)
PiCoq, Lyon, June 2013