me George Kaye

Talks

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

SYNCHRON 2023 Kiel November 27-December 01, 2023
FSCD 2023 Rome July 03-06, 2023
Second Meeting of the Southern Logic Seminar London May 16, 2023
SYCO 11 Paris April 20-21, 2023
First Meeting of the Southern Logic Seminar Bath February 23, 2023
Huawei string diagrams workshop Edinburgh January 24, 2023
SYCO 10 Edinburgh December 19-20, 2022
ACT 2022 Glasgow July 18-22, 2022
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