Speaker: Prof. Michel Steuwer                     TU Berlin When: 08/06(Tues) 11:00-12:00 (UTC+01:00)London Where: 4F Bayes Coffee House, Bayes Center External: https://app.huawei.com/wmeeting/join/94878201/hXmKxmhXq1k6Auwg1Nf8yVCSkzE9DmjeE Meeting ID: 94878201 Passcode: 607542 Registration: https://www.smartsurvey.co.uk/s/D8MKWE/   Abstract: Graphics Processing Units (GPU) offer tremendous computational power by following a throughput oriented paradigm where many thousand computational […]

Xing Zhang from the Peking University will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Speaker: Xing Zhang from Peking University External: https://app.huawei.com/wmeeting/join/97510312/WeYVCCjq5bnYtIA4O8HF9XZ2mSj8Cz6rl Time: 07/23(Tues) 11:00-12:00 (UTC+01:00)London Location: 4F Bayes Coffee House, Bayes Center Meeting ID: 97510312 Passcode: 431967 Registration: https://www.smartsurvey.co.uk/s/D8MKWE/ Abstract: Bidirectional live programming (BLP) systems allow developers to modify programs by directly […]

Andrew Pitts, University of Cambridge will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Speaker: Andrew Pitts, University of Cambridge Title: Locally Nameless Syntax and Semantics When: 11am Tue 7 Nov Where: 4th floor Bayes Centre External link: https://meeting.huaweicloud.com/welink/webrtc/?lang=en-US#/j/94998553 Passcode: 104582 Abstract It is increasingly common […]

Marie Kerjean will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: The differentiation monad Speaker: Marie Kerjean When: 11am Tue 31 Oct Where: 4th floor Bayes Centre External link: https://meeting.huaweicloud.com/welink/webrtc/?lang=en-US#/j/95878720 Passcode: 387885   Abstract Differentiation in theoretical computer science has become increasingly popular since the rise […]

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

Xavier Denis (University of Paris-Saclay, France) will give an talk, in person and online, for the Huawei – Edinburgh Coffee House Tech Talk Series. The details of the talk are below. *When*: Tuesday 26 April 2022 at 11am *Where* (in person): Huawei Edinburgh Research Centre (2 Semple Street, 5th floor, Meeting Room 1, Edinburgh EH3 […]