Talks
|
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 |