Day workshop on diagrammatic methods to formalise and reason about programming languages and their implementation
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
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.