Semester page for IN9110 - Autumn 2019

Joint teaching

This course has jointly taught classes with IN5110 – Specification and Verification of Parallel Systems. See this course's semester page for schedule and messages.

This is the webpage for the ``PhD-version'' of the course,  i.e., the course with a 9000-number. Since this is a shared course, also

PhD particpants should follow the page for IN5110 (which is the number under which master students register for the course).


I will make material, slides, information etc. available only at that version of the webpage.

There will also be no announcements here (after this one).


Time: Friday 12 ct

 place: meeting room 9th floor


First meeting: 23 August.



Aug. 13, 2019 10:08 AM