FW09 - William Gates Building


2022-03-03 11:00: The encode-decode method for equality types (Alex Rice (University of Cambridge))

2022-03-10 11:00: Constructive Classical Logic? (David Berry)

2022-10-28 14:30: Probabilistic Numerics Reading group 2 (Speaker to be confirmed)