Partner Event - Day Workshop on Diagrammatic Methods About this Event In the morning Huawei are pleased to welcome three guest speakers. Room G.03 Bayes Centre: 9.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 Cambrid ge). Tba In the afternoon, there will be the following talks by members of the Huawei Programming Languages team as well as time for discussion: Bayes Centre floor 4: 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. Jan 24 2022 09.00 - 17.30 Partner Event - Day Workshop on Diagrammatic Methods On Tuesday 24 January 2023, Huawei and the University of Edinburgh will host a day-long workshop on diagrammatic methods to formalise and reason about programming languages and their implementation. It will take place in Bayes Centre of the University of Edinburgh from 9am till 5.30pm. Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT). Where (virtually): https://welink.zhumu.com/j/800989138 Meeting ID:0800989138 Registration
Partner Event - Day Workshop on Diagrammatic Methods About this Event In the morning Huawei are pleased to welcome three guest speakers. Room G.03 Bayes Centre: 9.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 Cambrid ge). Tba In the afternoon, there will be the following talks by members of the Huawei Programming Languages team as well as time for discussion: Bayes Centre floor 4: 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. Jan 24 2022 09.00 - 17.30 Partner Event - Day Workshop on Diagrammatic Methods On Tuesday 24 January 2023, Huawei and the University of Edinburgh will host a day-long workshop on diagrammatic methods to formalise and reason about programming languages and their implementation. It will take place in Bayes Centre of the University of Edinburgh from 9am till 5.30pm. Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT). Where (virtually): https://welink.zhumu.com/j/800989138 Meeting ID:0800989138 Registration
Jan 24 2022 09.00 - 17.30 Partner Event - Day Workshop on Diagrammatic Methods On Tuesday 24 January 2023, Huawei and the University of Edinburgh will host a day-long workshop on diagrammatic methods to formalise and reason about programming languages and their implementation. It will take place in Bayes Centre of the University of Edinburgh from 9am till 5.30pm.