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, 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, 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 ๐Ÿ‡จ๐Ÿ‡ญ Recording Slides