News

17 April 2020 — Our new FoSSaCS paper on CKAO is now available here.

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

31 March 2020 — WoLLIC 2020 has been cancelled.

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

13 January 2020 — I gave a talk on language algebra at CSL. [more]

21 December 2019 — Our paper on CKA with hypotheses will appear in the next FoSSaCS!