Xiao Chen will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: Optimisation-Driven Scalable Byzantine Consensus and Its Applications Speaker: Xiao Chen When: 11am Tue 12 Sep 2023 Where: Bayes Coffee House, 4/F Bayes Centre Registration: https://www.smartsurvey.co.uk/s/D8MKWE/ External link: https://meeting.huaweicloud.com/welink/j/97122598/4xDIvZLsbvSi5MlCUhQH0Hqg2s6jxtAI5 Meeting ID: 97122598 Passcode: […]

Domagoj Vrgoč will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below.   Title: The MillenniumDB graph database system Speaker: Domagoj Vrgoč When: 3pm Thu 21 Sep 2023 Where: online Registration: https://www.smartsurvey.co.uk/s/D8MKWE/ External link: https://meeting.huaweicloud.com/welink/j/94717881/yjamakAbKtXB90GzR2gLkxMNQfbsiKmBk Meeting ID: 94717881 Passcode: 271350   Bio   Domagoj […]

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 […]

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 […]