Bracket Algebra

Highlights, Berlin, September 2018

Pomset languages and concurrent Kleene algebra

Theory seminar - QMU, London, February 2018

Pomset languages and concurrent Kleene algebras

Séminaire automates, Paris, November 2017

On Decidability of Concurrent Kleene Algebra

CONCUR, Berlin, September 2017

The theory of languages

Highlights, London, September 2017

The Equational Theory of Algebras of Languages

BLAST, Nashville, August 2017

The Equational Theory of Algebras of Languages

RAMiCS, Lyon, May 2017 *(Special session on mechanised reasoning)*

The Equational Theory of Algebras of Languages

PPLV Seminar, London, April 2017

The Equational Theory of Positive Relation Algebra

MOVE, Marseille, March 2017

The Equational Theory of Positive Relation Algebra

PACE, Shanghai, November 2016

A Kleene Theorem for Petri automata

Highlights, Brussels, September 2016

A formal exploration of Nominal Kleene Algebra

MFCS, Krakow, August 2016

Une introduction aux algèbres de Kleene

Inter'Actions, Lyon, May 2016 *(in French)*

Petri automata for Kleene Allegories

LiCS, Kyoto, July 2015

Petri automata for Kleene allegories

Rapido, Paris, June 2015

Petri automata for Kleene allegories

Midlands Graduate School, Sheffield, April 2015

Décidabilité des Treillis de Kleene sans identité

JFLA, Val d'Ajol, January 2015 *(in French)*

Decidability of Identity-free Kleene Lattices

LAC, Chambéry, November 2014

Kleene Algebra with Converse

RAMiCS, Marienstatt, April 2014

Deciding Kleene Algebra with converse is PSpace-complete

GeoCal, Bordeaux, March 2014

Deciding Kleene Algebra with converse is PSpace-complete

PACE, Lyon, February 2014

Algèbres de Relations, Étude des algèbres de Kleene avec converse

Paris, September 2013 *(Internship defence, in French)*

Equivalence of regular expressions with converse on relations

PiCoq, Lyon, June 2013