Category: tech talk
Jens Teubner will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. A lunch will be provided after the talk. Title: System Architectures for Databases on Modern Hardware Speaker: Jens Teubner When: 11am Wed 13 Sep 2023 Where: 4th floor Bayes Centre, Coffee […]
Carlos Baquero will give a talk, in person and online, for the Coffee House Tech Talk Series. The details of the talk are below. A lunch will be provided after the talk. Title: CRDTs: State-based approaches to high availability Speaker: Carlos Baquero When: 11am Tue 4 July Where: 4th floor Bayes Centre, Coffee House […]
Mehrnoosh Sadrzadeh will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. A lunch will be provided after the talk. Title: Large scale structure aware anaphora resolution using QNLPSpeaker: Mehrnoosh SadrzadehWhen: 11:00 Tue 20 JuneWhere: Bayes Centre 4th floor, Bayes Coffee HouseExternal link: https://meeting.huaweicloud.com/welink/webrtc/?lang=en-US#/j/98933570Meeting […]
Nick Wu will give a talk, in person and online, for the Coffee House Tech Talk Series. The details of the talk are below. A lunch will be provided after the talk. Title: Modular Models of Monoids with Operations When : 28 Mar 2023, 11am-12nn Where (Physically) : Coffee House, 4/F, Bayes Centre, 47 […]
Prof Prakash Panangaden will give a talk, in person and online, for the Coffee House Tech Talk Series. The details of the talk are below. A lunch will be provided. When : 22 Feb 2023, 11am-12nn & 1330pm-1430pm Where (Physically) : Coffee House, 4/F, Bayes Centre, 47 Potterrow, Edinburgh EH8 9BT, UK Where (Virtually) : https://welink.zhumu.com/j/0205600289 […]
Prof Bjoern Franke (University of Edinburgh) will give a talk, in person and online, for the Coffee House Tech Talk Series. The details of the talk are below. A lunch will be provided after the talk. When : 21 Feb 2023, 11am-12nn Where (Physically) : Coffee House, 4/F, Bayes Centre, 47 Potterrow, Edinburgh EH8 9BT, […]
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 […]
Date Thursday 20th October @ 14:00 – 15:00 (UK time) Presenter Prof. Syed Waqar Nabi Affiliation University of Glasgow Location Online link: https://welink.zhumu.com/j/189695019 Note: this is a talk open to the public. Abstract I will talk primarily about the work I did during my postdoc in the EPSRC funded “TyTra” project, which had the aim […]
Date Thursday 22nd September @ 09:30 – 11:00 (UK time) Presenter Prof. Panagiota Fatourou Affiliation FORTH and University of Crete Location [Online] Meeting link: https://welink.zhumu.com/j/100950586 Note: this is a talk open to the public. Abstract This talk will present generic approaches for deriving recoverable synchronization algorithms, as well as recoverable implementations of many widely-used concurrent […]
For the Huawei – University of Edinburgh Tech Talk Series, we are organizing a mini-workshop, in person and online, about foundations of programming languages. There are no registration fees. The details of the program and talks are below. A lunch will be provided between the talks. When: Tuesday 26 July 2022, from 11:00 to 14:15. (UK time). Where (in person): […]
Recent comments