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.

Ross Horne from the University of Strathclyde will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Speaker: Ross Horne, University of Strathclyde Title: The True Concurrency of ePassport Privacy When: 11am Tue 27 Feb Where: 4th floor Bayes Centre External link: https://meeting.huaweicloud.com/welink/j/95973609/D5HiJPcxftyMkkIHpVKDdMmWEHQrujaq5 Meeting ID: 97614068 […]

Bob Atkey, University of Strathclyde will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Speaker: Bob Atkey, University of Strathclyde Title: Data Types with Negation When: 11am Tue 9 Jan Where: 4th floor Bayes Centre External link: https://meeting.huaweicloud.com/welink/j/95973609/D5HiJPcxftyMkkIHpVKDdMmWEHQrujaq5 Passcode: 381535 Abstract Inductive data types are […]

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

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