Talks

	Diversity in Science RAMiCS in Będlewo, April 2026.	More
	An adjunction between Representations and preorder morphisms RAMiCS in Będlewo, April 2026.	More
	Representations RAMiCS in Będlewo, April 2026.	More
	Observation algebras: Heyting algebra over coherence spaces TbiLLC in Tskaltubo, September 2025.	More
	Représentations Séminaire du LACL in Créteil, September 2025 (in French) .	More
	Représentations Séminaire Plume in Lyon, June 2025.	More
	Représentations Séminaire 68nqrt in Rennes, May 2025.	More
	Avancées récentes sur les algèbres de Kleene concurrentes séminaire du LACL in Créteil, December 2021 (in French) .	More
	Recent developments in concurrent Kleene algebra JetBrains Research in St Petersburg (remote talk), October 2021.	More
	Avancées récentes sur les algèbres de Kleene concurrentes Séminaire MAREL in Montpellier, April 2021.	More
	Avancées récentes sur les algèbres de Kleene concurrentes Séminaire ACADIE in Toulouse, April 2021.	More
	Observations and locality in distributed processes IRIS scientific meeting in London, March 2021.	More
	Avancées récentes sur les algèbres de Kleene concurrentes séminaire LIRICA in Marseille, January 2021 (in French) .	More
	Avancées récentes sur les algèbres de Kleene concurrentes Séminaire LOVE in Paris, January 2021.	More
	Recent developments in concurrent Kleene algebra IRIS scientific meeting in London, December 2020.	More
	Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra FSCD in Paris, July 2020.	More
	Recent developments in concurrent Kleene algebra Séminaire PPS in Paris, June 2020.	More
	A complete axiomatisation of a fragment of language algebra CSL in Barcelona, January 2020.	More
	Pomsets with boxes: towards Atomic CKA Highlights in Warsaw, September 2019.	More
	A Kleene Theorem for Nominal Automata ICALP in Patras, July 2019.	More
	Bracket Algebra Highlights in Berlin, September 2018.	More
	Pomset languages and concurrent Kleene algebra Theory seminar - QMU in London, February 2018.	More
	Pomset languages and concurrent Kleene algebras Séminaire automates in Paris, November 2017.	More
	The theory of languages Highlights in London, September 2017.	More
	On Decidability of Concurrent Kleene Algebra CONCUR in Berlin, September 2017.	More
	The Equational Theory of Algebras of Languages BLAST in Nashville, August 2017.	More
	The Equational Theory of Algebras of Languages RAMiCS in Lyon, May 2017 (Special session on mechanised reasoning) .	More
	The Equational Theory of Algebras of Languages PPLV Seminar in London, April 2017.	More
	The Equational Theory of Positive Relation Algebra MOVE in Marseille, March 2017.	More
	The Equational Theory of Positive Relation Algebra PACE in Shanghai, November 2016.	More
	A Kleene Theorem for Petri automata Highlights in Brussels, September 2016.	More
	A formal exploration of Nominal Kleene Algebra MFCS in Krakow, August 2016.	More
	Une introduction aux algèbres de Kleene Inter'Actions in Lyon, May 2016 (in French) .	More
	Petri automata for Kleene Allegories LiCS in Kyoto, July 2015.	More
	Petri automata for Kleene allegories Rapido in Paris, June 2015.	More
	Petri automata for Kleene allegories Midlands Graduate School in Sheffield, April 2015.	More
	Décidabilité des Treillis de Kleene sans identité JFLA in Val d'Ajol, January 2015 (in French) .	More
	Decidability of Identity-free Kleene Lattices LAC in Chambéry, November 2014.	More
	Kleene Algebra with Converse RAMiCS in Marienstatt, April 2014.	More
	Deciding Kleene Algebra with converse is PSpace-complete GeoCal in Bordeaux, March 2014.	More
	Deciding Kleene Algebra with converse is PSpace-complete PACE in Lyon, February 2014.	More
	Algèbres de Relations, Étude des algèbres de Kleene avec converse Internship defence in Paris, September 2013 (Internship defence, in French) .	More
	Equivalence of regular expressions with converse on relations PiCoq in Lyon, June 2013.	More