me George Kaye
Home Papers Talks Teaching Blog GitHub

Talks

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

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