Dette emnet er nedlagt

Semesterside for INF5160 - Vår 2014

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...
10. jan. 2014 11:13