Kleene Algebra
21 May 2019 LaBRI, Bordeaux 🇫🇷 Slides
Towards concurrent NetKAT
12 Mar 2019 CReNKAT kick-off workshop, London 🇬🇧 Slides
The algebra of programs
19 Jan 2019 Eerstejaarsreis DLF, London 🇬🇧 Slides
Decision problems for Clark-congruential languages (paper)
5 Sep 2018 ICGI 2018, Wrocław 🇵🇱 Slides
13 Jul 2018 LearnAut 2018, Oxford 🇬🇧 Slides
10 Jan 2018 NII logic seminar, Tokyo 🇯🇵 Slides
Concurrent Kleene Algebra: free model and completeness (paper)
30 Apr 2018 LIACS seminar, Leiden 🇳🇱 Slides
19 Apr 2018 ESOP 2018, Thessaloniki 🇬🇷 Slides
16 Feb 2018 Verification and Testing seminar, Sheffield 🇬🇧 Slides
16 Jan 2018 Brouwer seminar, Nijmegen 🇳🇱 Slides
18 Oct 2017 NII logic seminar, Tokyo 🇯🇵 Slides
Concurrent Kleene Algebra
28 Mar 2018 BCTCS 2018, Royal Holloway 🇬🇧 Slides
Brzozowski goes concurrent: a Kleene theorem for Pomset languages (paper)
8 Sep 2017 CONCUR 2017, Berlin 🇩🇪 Slides
A compositional framework for preference-aware agents (paper)
4 Jun 2016 V²CPS 2016, Reykjavík 🇮🇸 Slides
Composing constraint automata, state-by-state (paper)
14 Oct 2015 FACS 2015, Niterói 🇧🇷 Slides
6 Oct 2015 Amsterdam Coordination Group, CWI 🇳🇱
Moving the EOS namespace to NVRAM
26 Aug 2015 CERN openlab, Meyrin 🇨🇭 Slides