News

Our paper on deadlock detection has been accepted at ASE 2021!

I have been offered a permanent position at EPISEN. I will join this school, as well as the LACL next September!

I will serve on the program committee of CONCUR 2021. More info will be published on the following website: Qonfest.

Our paper on POCKA is now available here!

I gave a talk on our paper on pomsets with boxes at FSCD 2020.

Our paper on POCKA has been accepted and will be presented at this year's CONCUR!

I'll be talking about new models of concurrent Kleene algebra at the PPS seminar on Tuesday 9 June at 4pm.

Our new FoSSaCS paper on CKAO is now available here.

Our paper on "Pomsets with Boxes", with David Pym, has been accepted at FSCD!

WoLLIC 2020 has been cancelled.

My talk on commutative Kleene algebra has been accepted as a short contribution at RAMiCS.

I gave a talk on language algebra at CSL.

Our paper on CKA with hypotheses will appear in the next FoSSaCS!