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

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