Boldly go to:
Home
Papers
Projects
Talks
Avancées récentes sur les algèbres de Kleene concurrentes
(slides)
séminaire LIRICA
, Marseille, January 2021
(in French)
Recent developments in concurrent Kleene algebra
(slides)
IRIS scientific meeting, London, December 2020
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