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.
21 December 2019 — Our paper on CKA with hypotheses will appear in the next FoSSaCS!