Semester page for INF5130 - Autumn 2009

The exam will be Dec. 9th in room 2H in the IFI building. If you log into StudentWeb, you should find your allocated time.

Dec. 7, 2009 5:34 PM

Note: I have replaced the test file for the assignment with a better one.

Oct. 23, 2009 6:16 PM

Note: Revised curriculum comments on model checking.

Oct. 9, 2009 2:38 PM