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