A Fully Compositional Theory of Sequential Digital Circuits
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
Oxford
17-21 June 2024
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