Semesterside for INF5140 - Vår 2006

1. The mandatory assignment 2 will be presented at any agreed date after you deliver it (by 9.05.06) instead on 10.05.06 as before

2. The exam will be Friday 02.06.06 at 10.00

10. apr. 2006 15:55

Mandatory assignment 2 is due May 9th 2006.

Click here to get the Promela model for Exercise 1.

31. mars 2006 01:24

Notice that there is no lecture the 15.03.06 (The hand-in date for Mandatory Assignment 1 has not changed!)

Check the "undervisningsplan"; the lectures have been re-scheduled

3. mars 2006 14:51