Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.

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) :

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.


Report this page

To report inappropriate content on this page, please use the form below. Upon receiving your report, we will be in touch as per the Take Down Policy of the service.

Please note that personal data collected through this form is used and stored for the purposes of processing this report and communication with you.

If you are unable to report a concern about content via this form please contact the Service Owner.

Please enter an email address you wish to be contacted on. Please describe the unacceptable content in sufficient detail to allow us to locate it, and why you consider it to be unacceptable.
By submitting this report, you accept that it is accurate and that fraudulent or nuisance complaints may result in action by the University.