Published
Dec. 7, 2009 5:34 PM
The exam will be Dec. 9th in room 2H in the IFI building. If you log into StudentWeb, you should find your allocated time.
Published
Oct. 23, 2009 6:16 PM
Note: I have replaced the test file for the assignment with a better one.
Published
Oct. 9, 2009 2:38 PM
Note: Revised curriculum comments on model checking.
Published
Oct. 5, 2009 2:37 PM
Mandatory assignment #2 is now available (see the teaching plan page). Deadline Oct 28
Published
Sep. 2, 2009 5:28 PM
Mandatory assignment #1 is now available (see the teaching plan page). Deadline Sep 23
Published
Aug. 31, 2009 11:51 AM
From now on all lectures will start at 14:15
Published
Aug. 18, 2009 2:24 PM
Please note: the lecture on August 26 will start at 14:15 (not 13:15 as announced).