Process Algebra

News

[19-June-2017] On Tuesday June 20, 2017 (13:45-15:30hrs.) there will be an exercise class in MF 12.
[11-May-2017] The lecture on Tuesday May 16, 2017 will be on the 6th hour only, so it will start at 14:45hrs.
[08-May-2017] The Canvas site for this course has now been published online. For now, I will maintain both the Canvas site and this website, but probably I will gradually move to use Canvas only. Please refer to the Canvas site from now on.
[04-May-2017] [ 1st Assignment ] is now available on this website, so that you can start working on it. Please work together in groups of 2 students as much as possible. Submission will be through Canvas. Instructions on how to submit will follow as soon as I figure out how this should be done.
[24-Apr-2017] We are planning to move the information to Canvas as soon as possible, but we are still struggling with the system. For now, all the information regarding the course will be on this website.