Lecture Theatre 1, Computer Laboratory, William Gates Building 2026-05-06 15:05: Title to be confirmed (Professor Tomas Petricek - Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University, Czech Republic) 2026-05-13 15:05: Title to be confirmed (Professor Simon Moore - Department of Computer Science and Technology, University of Cambridge) 2026-05-27 15:00: Title to be confirmed (Professor David Kotz - Department of Computer Science, Dartmouth College) 2026-06-03 15:05: Title to be confirmed (Dr Hana Aliee - Cancer Research UK, University of Cambridge)