Melissa Terras from the University of Edinburgh will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: Creative Informatics: Catalysing Edinburgh’s Creative Community to Innovate with Data Speaker: Melissa Terras                      University of Edinburgh […]

Neel Krishnaswami from the University of Cambridge will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: The Denotational Semantics of Static Single Assignment (SSA) Form Speaker: Neel Krishnaswami Professor of Logic, Semantics and Computation in the department of computer science at the […]

Hugo Paquet from the LIPN, Université Sorbonne Paris Nord will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: 2-Dimensional Monads and Concurrency Speaker: Hugo Paquet When: 11am Tue 12 March Where: 4th floor Bayes Centre Registration: https://www.smartsurvey.co.uk/s/D8MKWE/ External：https://meeting.huaweicloud.com/welink/j/96318912/Vktqh29Pvz5oiwVtY1vzND4UM3gyFzi7o Meeting ID：96318912 Passcode：542647 Abstract: This […]

Cristina Matache from the University of Edinburgh will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: Parameterized algebraic theories and applications Speaker: Cristina Matache Postdoc at the University of Edinburgh When: 11am Tue 5 March Where: 4th floor Bayes Centre External: https://meeting.huaweicloud.com/welink/j/98501554/Tn5envXzahKhNLYXRK1C3shKofbLwFfIb […]

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