You can download the lecture slides here:
- • Lecture 1, March 9: [PDF], [PDF with all builds], and [PDF with slides in the original order...]
- • Lecture 2, March 30: [PDF], [whiteboard notes].
- • Lecture 3, April 10: [PDF], [whiteboard notes].
- • Student presentation group 1 (Georgios and Ioannis), May 11: [PDF, Georgios], [PDF, Ioannis]
- • Student presentation group 2 (Nader, Leo, Fahimeh, Niki), May 18: [PDF, Nader], [PDF, Leo], [PDF, Fahimeh and Niki]
- • Student presentation group 3 (Sara, Victoria), May 24: [PDF, Victoria, Sara]
- • Student presentation group 4 (Alan, Kahin, Nicklas), May 24: [PDF, Alan, Kahin, Nicklas]
- • Additional proofs from the whiteboard, May 24: [JPG1], [JPG2], [JPG3], [JPG4], [JPG5], [JPG6], [JPG7]
- • Lecture 4, June 7: [PDF], [whiteboard notes].