Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.

Author: v1stan3

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

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

css.php

Report this page

To report inappropriate content on this page, please use the form below. Upon receiving your report, we will be in touch as per the Take Down Policy of the service.

Please note that personal data collected through this form is used and stored for the purposes of processing this report and communication with you.

If you are unable to report a concern about content via this form please contact the Service Owner.

Please enter an email address you wish to be contacted on. Please describe the unacceptable content in sufficient detail to allow us to locate it, and why you consider it to be unacceptable.
By submitting this report, you accept that it is accurate and that fraudulent or nuisance complaints may result in action by the University.

  Cancel