You could easily contact me via email at this adress: Paul[at]Brunet-Zamansky[dot]fr.
My research interests include (but are not limited to) language theory, formal proofs, type theory, relation algebra, automata theory...
Algebras of relations:
from algorithms to formal proofs
To find out more, see link or lien .
|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 Equational Theory of Algebras of Languages||[slides]|
|BLAST, Nashville, August 2017|
|The Equational Theory of Positive Relation Algebra||[slides]|
|MOVE, Marseille, March 2017|
|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|
|Kleene Algebra with Converse||[slides]|
|RAMiCS, Marienstatt, April 2014|
I have been a subreviewer for the following conferences, worshops and journals:
MFCS, FSTTCS, JFLA, JLAMP, EXPRESS/SOS, ICALP, FoSSaCS, Petri Nets, ICFP, LiCS, CPP, FORTE, SoSyM, TDSC.