Xing Zhang from the Peking University will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Speaker: Xing Zhang from Peking University External: https://app.huawei.com/wmeeting/join/97510312/WeYVCCjq5bnYtIA4O8HF9XZ2mSj8Cz6rl Time: 07/23(Tues) 11:00-12:00 (UTC+01:00)London Location: 4F Bayes Coffee House, Bayes Center Meeting ID: 97510312 Passcode: 431967 Registration: https://www.smartsurvey.co.uk/s/D8MKWE/ Abstract: Bidirectional live programming (BLP) systems allow developers to modify programs by directly […]

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