Semester page for INF5906 - Autumn 2006

Eksamen i morgen 8 desember. Obligatorisk oppmøte kl. 09. Eksamen blir i sem.rom 2G.

Dec. 7, 2006 5:09 PM

I updated the detailed teaching plan according to the actual pace during semenster.


Nov. 5, 2006 10:55 AM

Just as reminder: on Thursday, 12.October, there is a guest lecture by Heike Wehrheim (University of Paderborn) The topic of the talk (slicing techniques for verification) is interesting from the perspective of this course, I'm sure.

The official announcement is here

Oct. 11, 2006 1:01 PM