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
Mandatory assignment 2 is due May 9th 2006.
Click here to get the Promela model for Exercise 1.
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
Universitetet i Oslo
Boks 1072 Blindern
Ved brann, ulykker og alvorlige hendelser ring 22 85 66 66