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

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

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

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

Date Tuesday 17 May @ 09:30 – 10:30 (UK time) Presenter Christina Giannoula Affiliation National Technical University of Athens (NTUA) Location [Online] Meeting link: https://welink.zhumu.com/j/149868852   Abstract Several manufacturers have already started to commercialize near-bank Processing-In-Memory (PIM) architectures, after decades of research efforts. Near-bank PIM architectures place simple cores close to DRAM banks. Recent research […]