James Dyson Building Seminar Room, Department of Engineering 2023-12-01 14:00: Sound Control Synthesis with Logics and Data (Professor Alessandro Abate, Department of Computer Science, University of Oxford) 2025-09-19 14:00: Inequalities Revisited (Prof. Raymond W. Yeung, The Chinese University of Hong Kong)