Month: January 2023
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-1730Where (Physically) : Bayes Centre, 47 Potterrow, Edinburgh EH8 9BT, United KingdomWhere (Virtually) : https://welink.zhumu.com/j/800989138Registration: https://www.smartsurvey.co.uk/s/D8MKWE/Morning Session @Room […]
Huawei Edinburgh Lab January 2023 Workshop Schedule (11th – 13th, Jan, 8:30am – 1pm. Details to be filled soon) Wednesday 11 January – Informatics G.03 UK Time China time Topic/title Speakers/Panelists 08:00-08:30 16:00-16:30 Coffee 08:30-09:00 16:30-17:00 Introduction and Brief Survey Peter Buneman (UoE) 09:00-09:45 17:00-17:45 Database Research at Huawei Nikos Ntarmos (Huawei) 09:45-10:15 17:45-18:15 […]
Recent comments