New material has been uploaded. "more_details.pdf" gives a further outline of the contents of upcoming lectures. the other documents are worth scanning through before monday.
Teaching starts MONDAY 20 AUGUST at 09:15! Course material will be uploaded during this week