Process Algebra


To assess whether you master the course material and satisfy the learning objectives of the course, there will be three homework assignments and a final examination. We encourage that you discuss the homework assignments with your fellow students. It is, however, required that you write up your answers yourself and submit them individually. The homework assignments will be graded, and the average grade of the three assignments counts for 30% of your final grade. The final examination counts for 70% of your final grade, and should be at least 5.0.

Homework Assignments

[ 1st Assignment ] Deadline: Sunday May 14, 2017
[ 2nd Assignment ] Deadline: Wednesday May 31, 2017
[ 3rd Assignment ] Deadline: Wednesday June 14, 2017

Final Examination

The final examination is about all the treated course material. The examination is 3 hours. To the final examination you may bring a copy of the book and a copy of the slides used in the course (on paper, no digital copies allowed!). It is not allowed to bring any other course material (notes, solutions to exercises, etc.) to the examination.

Scheduled final examinations in 2016-2017:

Tuesday 27-Jun-2017, 13:30-16:30
Tuesday 15-Aug-2017, 13:30-16:30