The seminar will be held on Fridays 13:15-15 in the 8th floor seminar room, 8459, in the OJD building, starting January 17. The time may some weeks be shifted to a different time.
This semester the seminar is mainly intended for PhD and master students in the PMA group. The topics will vary from week to week, and the students should have some background in formal methods.
This seminar is...
Institutt for informatikk
Universitetet i Oslo
Boks 1072 Blindern
Ved brann, ulykker og alvorlige hendelser ring 22 85 66 66