This course is replaced by IN5170 – Models of concurrency.


Published Dec. 15, 2017 9:02 PM

The curriculum is found here (under  the folder "eksamen", but the file is hidden and I am not allowed to change that): Curriculum (pdf)

Published Dec. 8, 2017 11:43 AM

You may find some hints for solution to most exercises under: here

Published Dec. 5, 2017 12:29 PM

The last lecture is Dec. 6 (asynchronous agents, part II)

and there are group sessions Dec. 5 and Dec. 12.

(I do not have access to edit the schedule pages.)

Published Nov. 30, 2017 2:09 PM

Note that no printed or written materials are permitted at the exam

(nor digital devices).

Published Nov. 22, 2017 7:57 AM

The lecture for today will be postponed a week due to illness.

Published Nov. 21, 2017 9:23 AM

There will not be group discussion today (Nov 21).  We'll resume with the group discussion next week.


Published Nov. 10, 2017 12:29 PM

Work with Oblig.2

Published Oct. 20, 2017 2:10 PM

No lecture on Nov 1 and no group session on Tuesday Oct 31. You may work with oblig 2.

Published Oct. 20, 2017 2:09 PM

Deadline is Nov 20.

Published Oct. 10, 2017 10:27 AM

The following compendium could be useful for a deeper understanding of Hoare Logic.

It focuses on sequential programs and is written in Norwegian.

Published Sep. 23, 2017 1:27 PM

We  are taking a one week break in course due to the Simula 50 year workshop this Wednesday So no lecture 27.9 and no group session Tuesday Oct. 3. This should give you more time with oblig1.

Published Sep. 20, 2017 9:59 PM

In the Academica bookstore at Blindern.

Published Aug. 30, 2017 12:14 PM


Additional material can be accessed at

with an  IFI/UiO login account.  All other material (slides, exercises etc) are publically available without need of logging in.