For the Huawei – University of Edinburgh Tech Talk Series, we are organizing a day workshop, in person and online, about diagrammatic methods to formalise and reason about programming languages and their implementation.

When : 24 Jan 2023, 0900-1730
Where (Physically) : Bayes Centre, 47 Potterrow, Edinburgh EH8 9BT, United Kingdom
Where (Virtually) : https://welink.zhumu.com/j/800989138
Registration: https://www.smartsurvey.co.uk/s/D8MKWE/

Morning Session @Room G.03 Bayes Centre
In the morning we are pleased to welcome three guest speakers.
09.00 Aleks Kissinger (University of Oxford). Picturing quantum software
10.00 Fabio Zanassi (University College London). A string diagrammatic theory of gradient-based Learning
11.00 Jamie Vicary (University of Cambridge). Graphical proofs for higher groupoids

Lunch @Bayes Coffee House

Afternoon Session @Bayes Centre 4/F
In the afternoon, there will be the following talks by members of the Huawei Programming Languages team as well as time for discussion:
14.00 Dan Ghica (Huawei). The role of graphical methods in programming languages.
14.30 Mario Alvarez Picallo (Huawei). Reverse automatic differentiation using string diagrams.
15.00 Malin Altenmuller (University of Strathclyde and Huawei). Control flow as a contour of data flow.

Day workshop on diagrammatic methods to formalise and reason about programming languages and their implementation / Huawei-Edinburgh Joint Lab by blogadmin is licensed under a Creative Commons Attribution CC BY 3.0