Discussion sessions move online

Due to the coronavirus situation, we're moving our weekly discussion sessions online using Zoom. The time is the same as before: Fridays 11.15 -- 13.00. See email and course schedule for the Zoom link and meeting ID.