INF9145 – Models of concurrency
Course description
Schedule, syllabus and examination date
Course content
The course introduces some fundamental notions and techniques for specification and reasoning about parallel processes, with regard to tightly cooperating threads as well as distributed and object-oriented systems.
Learning outcome
The course gives an insight into how to specify, develop and analyse a parallel system with regard to given desired properties.
In addition, each PhD student will be given an extended curriculum within the field/research area of the course. The syllabus must be approved by the lecturer so that the student can be admitted to the final exam.
Admission
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.
Prerequisites
Formal prerequisite knowledge
None
Recommended previous knowledge
Overlapping courses
10 credits overlap with INF4140 – Models of concurrency (continued)
9 credits with INF3140 – Models of concurrency (discontinued) and 3 credits with IN 305
Teaching
2 hours of lectures and 2 hours of problem sessions per week. Mandatory assignments must be completed during the course. Rules for mandatory assignments.
Examination
A written examination (3 hours) at the end of the semester. The mandatory assignments must be approved prior the exam. Note that the exam in INF9145 will be more extensive than the one in INF4140.
Grading scale
Grades are awarded on a pass/fail scale. Read more about the grading system.
Explanations and appeals
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.
Withdrawal from an examination
It is possible to take the exam up to 3 times. If you withdraw from the exam after the deadline or during the exam, this will be counted as an examination attempt.
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: INF4140.
Other
It is strongly recommended to attend the first lecture since it will be given important information.