Talks

A Fully Compositional Theory of Sequential Digital Circuits
5th Meeting of the Southern and Midlands Logic Seminar April 05, 2024
A Fully Compositional Theory of Sequential Digital Circuits
UCL PPLV seminar February 15, 2024
A Fully Compositional Theory of Digital Circuits
SYNCHRON 2023, Kiel November 27, 2023
Rewriting modulo traced comonoid structure
FSCD 2023, Rome July 04, 2023
A compositional theory of digital circuits
Midlands Graduate School 2023 April 05, 2023
A compositional theory for digital circuits
LFCS seminar, Edinburgh February 07, 2023
Fully abstract categorical semantics for digital circuits
ACT 2022 July 20, 2022
Normalisation by evaluation for digital circuits
SYCO 8 December 13, 2021
Rewriting graphically with Cartesian traced categories
ACT 2021 July 12, 2021
Diagrammatic semantics with symmetric traced monoidal categories
Huawei Edinburgh PL Group Tech Talk March 04, 2021
Diagrammatic semantics for digital circuits
SYNCHRON 2020 November 27, 2020
A visualiser for linear lambda-terms as rooted 3-valent maps
CLA 2019 July 01, 2019

Visits

Birmingham 15-16 April 2024
Bath 05 April 2024
Birmingham 14 December 2023
Birmingham 13 December 2023
Kiel November 27-December 01, 2023
Rome July 03-06, 2023
London May 16, 2023
Paris April 20-21, 2023
Bath February 23, 2023
Edinburgh January 24, 2023
Edinburgh December 19-20, 2022
Glasgow July 18-22, 2022
Nottingham April 10-14, 2022
Tallinn December 13-14, 2021
Cambridge July 12-16, 2021
online November 26-27, 2021
online July 6-10, 2020
Tallinn March 30-31, 2020
Sheffield December 18, 2019
Leicester December 16-17, 2019
Versailles July 1-2, 2019