Beskjeder

Exam from last year available: Exam09

Ph.D. students taking the 9000 version of the course will have this report as part of the syllabus

The third compulsory assignment is now available.

There will be no lecture nor group-session next week (oct 13, 14)

The second compulsory assignment is now available.

The inference rules you need for the hoare logic part are collected in this document

The group session tomorrow is in room 41151 at 澳门葡京手机版app下载sparken. It may be difficult to find, but Crystal will meet you by the main entrance at 10:15

Important: The lectures are moved to room 3B

The first compulsory assignment is now available.