Schedule, syllabus and examination date

Course content

The course provides insight into some basic concepts and techniques for specification and reasoning for parallel processes, with a focus on close collaborative threads as well as distributed and object-oriented systems.

Learning outcome

After completing the course you´ll:

  • know different mechanisms of parallelism, including systems based on the use of common variables and systems based on communication
  • have good insight into typical problems with parallel systems like deadlock, fairness and starvation
  • be able to specify, design and analyze a parallel system so that it meets the desired properties
  • be able to contemplate the characteristics of a parallel system
  • be able to compare different semantics for different mechanisms of parallelism.

Admission to the course

PhD candidates from the University of Oslo should apply for classes and register for examinations through Studentweb.

If a course has limited intake capacity, priority will be given to PhD candidates who follow an individual education plan where this particular course is included. Some national researchers’ schools may have specific rules for ranking applicants for courses with limited intake capacity.

PhD candidates who have been admitted to another higher education institution must apply for a position as a visiting student within a given deadline.

The course is building on IN2010 – Algorithms and Data Structures/INF2220 – Algorithms and Data Structures (continued)/INF1020 – Algorithms and data structures (discontinued)

Overlapping courses

Teaching

4 hours of lectures and 2 hours of group exercises each week. Completion of mandatory assignments are required. Read more about mandatory assignments and other hand-ins.

Attending the first lecture is strongly recommended as important information will be given.

Examination

4 hours written or oral exam (depending on the number of students) at the end of the semester. All mandatory assignments must be approved prior to the exam.

It will also be counted as one of your three attempts to sit the exam for this course, if you sit the exam for one of the following courses: IN5170 – Models of Concurrency, INF4140 – Models of concurrency (continued), INF9145 – Models of concurrency (continued)

Examination support material

No examination support material is allowed.

Language of examination

You may write your examination paper in Norwegian, Swedish, Danish or English.

Grading scale

Grades are awarded on a pass/fail scale. Read more about the grading system.

Resit an examination

Students who can document a valid reason for absence from the regular examination are offered a postponed examination at the beginning of the next semester. Re-scheduled examinations are not offered to students who withdraw during, or did not pass the original examination.

More about examinations at UiO

You will find further guides and resources at the web page on examinations at UiO.

Last updated from FS (Felles studentsystem) Oct. 14, 2026 11:26:36 PM

Facts about this course

Level
PhD
Credits
10
Teaching
Autumn
Examination
Autumn
Teaching language
English

Contact

Department of Informatics