Efi Tsamoura will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk as below, lunch will be provided.   Title: On Learning Latent Models with Multi-Instance Weak Supervision. Speaker: Efi Tsamoura, Samsung AI When: 12nn Thu 23 Nov Where: 4th floor Bayes Centre External link: https://meeting.huaweicloud.com/welink/j/94584057/Y636nF2lqRtlVZvXQdnkLmpJ34TfuNv7U […]

Ursula Martin will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk as below, lunch will be provided.   Title: The Social Machine of Mathematics, and what it means for AI-assisted proof. Speaker: Ursula Martin When: 11am Tue 14 Nov Where: 4th floor Bayes Centre External […]

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

Vikraman Choudury will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below.   Title: The Duality of Abstraction Speaker: Vikraman Choudury When: 11am Tue 17 Oct 2023 Where: Bayes Coffee House, 4/F Bayes Centre Join Online: https://meeting.huaweicloud.com/welink/webrtc/?lang=en-US#/j/99020138 Meeting ID: 99020138 Passcode: 809719 Abstract There are […]

Marc de Visme will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: Graphical Languages for Quantum Computation Speaker: Marc de Visme When: 11am Tue 10 Oct 2023 Where: Bayes Coffee House, 4/F Bayes Centre Registration: https://www.smartsurvey.co.uk/s/D8MKWE/ External link: https://meeting.huaweicloud.com/welink/webrtc/?lang=en-US#/j/99057756/4xDIvZLsbvSi5MlCUhQH0Hqg2s6jxtAI5 Passcode: 103446   Abstract: […]

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