(Probabilistic) Guarded Kleene Algebra with Tests
22 Nov 2022 OUrsi Seminar, Open University of the Netherlands ๐Ÿ‡ณ๐Ÿ‡ฑ Slides
10 Aug 2022 JNF Group Meeting ๐Ÿ‡บ๐Ÿ‡ธ
Leapfrog: Certified Equivalence for Protocol Parsers (paper)
11 Oct 2022 TCS Seminar, FAU Erlangen ๐Ÿ‡ฉ๐Ÿ‡ช Slides
28 Jun 2022 Computer Science Colloquium, University of Groningen ๐Ÿ‡ณ๐Ÿ‡ฑ Slides
14 Dec 2021 ILLC Midwinter Colloquium, University of Amsterdam ๐Ÿ‡ณ๐Ÿ‡ฑ ๐Ÿ’ป Slides
2 Dec 2021 PPLV Seminar, University College London ๐Ÿ‡ฌ๐Ÿ‡ง ๐Ÿ’ป Slides
Guarded Kleene Algebra with Tests: Coequations, Coinduction and Completeness (paper)
31 Aug 2022 Programming Languages Discussion Group, Ithaca ๐Ÿ‡บ๐Ÿ‡ธ Slides
27 Oct 2021 CS Seminar, Royal Holloway, University of London ๐Ÿ‡ฌ๐Ÿ‡ง ๐Ÿ’ป Slides
Associativity, monads, and diagrams
29 Mar 2021 JNF Group SCORE ๐Ÿ‡บ๐Ÿ‡ธ ๐Ÿ’ป Slides
Monadic Second Order Logic and Pomset Languages
18 Jan 2021 CPP 2021 Lightning Talks ๐Ÿ‡ฉ๐Ÿ‡ฐ ๐Ÿ’ป Recording Slides
Guarded Kleene Algebra with Tests (paper)
26 Nov 2020 68NQRT Seminar ๐Ÿ‡ซ๐Ÿ‡ท ๐Ÿ’ป Recording Slides
4 Nov 2020 Programming Languages Seminar, Delft ๐Ÿ‡ณ๐Ÿ‡ฑ ๐Ÿ’ป Slides
21 Oct 2020 Programming Languages Discussion Group, Ithaca ๐Ÿ‡บ๐Ÿ‡ธ ๐Ÿ’ป Slides
7 Oct 2020 Algebra|Coalgebra Seminar, Amsterdam ๐Ÿ‡ณ๐Ÿ‡ฑ ๐Ÿ’ป Slides
22 Jan 2020 POPL 2020, New Orleans ๐Ÿ‡บ๐Ÿ‡ธ Recording Slides
15 Jan 2020 PPLV seminar, University College London ๐Ÿ‡ฌ๐Ÿ‡ง Slides
Kleene Algebra with Observations (paper)
20 Sep 2019 PPLV Research Trip, Galway ๐Ÿ‡ฎ๐Ÿ‡ช Slides
30 Aug 2019 CONCUR 2019, Amsterdam ๐Ÿ‡ณ๐Ÿ‡ฑ Slides
Kleene Algebra
21 May 2019 LaBRI, Bordeaux ๐Ÿ‡ซ๐Ÿ‡ท Slides
Towards concurrent NetKAT
12 Mar 2019 CReNKAT kick-off workshop, University College London ๐Ÿ‡ฌ๐Ÿ‡ง Slides
The algebra of programs
19 Jan 2019 Eerstejaarsreis DLF, University College 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 ๐Ÿ‡จ๐Ÿ‡ญ Recording Slides