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