Semantics and Domain Theory/Organisation/Planning

The course by week

The following gives a rough schedule.

1. week 5: Chapter 1 of DENS
2. week 6: Chapter 2 of DENS
3. week 7: Chapter 3 of DENS
4. week 8: Chapter 4 of DENS
5. week 9: Chapter 5 of DENS
6. week 11: Chapter 6 of DENS
7. week 12: Chapter 7 of DENS
8. week 13: Chapter 8 of DENS
9. week 16: Recap of DENS
10. week 19: Chapter 3.1 of Amadio-Curien
11. week 20: Chapter 3.2 of Amadio-Curien
12. week 21: Chapter 13 of Winskel-MIT
13. week 22: Chapter 8 of Gunter-MIT
14. week 23: Chapter 8 of Gunter-MIT
15. week 25: Recap of the whole course

Exam

Friday July 8 (week 27), 10:30--12:30, HG00.310, written exam.