Updated:

This page contains both notes and slides versions of the lectures. (Also see Abrial’s slides)

The slides version corresponds to the presentation used in the lectures, while the notes contain the same information, but formatted as an article.

Lecture Notes/Slides Directories