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].