me George Kaye

Talks

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

MGS 2022 Nottingham April 10-14, 2022
SYCO 8 Tallinn December 13-14, 2021
ACT 2021 Cambridge July 12-16, 2021
SYNCHRON 2020 online November 26-27, 2021
ACT 2020 online July 6-10, 2020
SYCO 7 Tallinn March 30-31, 2020
MGS Christmas Seminar 2019 Sheffield December 18, 2019
SYCO 6 Leicester December 16-17, 2019
CLA 2019 Versailles July 1-2, 2019