Concurrency Theory - Fall 2017

This is the homepage of the course on Concurrency Theory, held at the University of Southern Denmark in Fall 2017.

How this course works (read this carefully!)

Each week, there are two allocated times for the course (on two separate days). The first one is a frontal lecture. The second one is a joint exercise/reading class for students only.

For each exercise/reading class, there will be a reading assignment (possibly with exercises). You can find these in the section "Reading/Exercise Assignments" at the bottom of this page. You are encouraged to do the reading and exercises together, if you like. You should keep three things in mind while you do it (the general idea is: write everything down!). First, write down your solutions to exercises (if any). Second, write down questions about things that you did not understand. Third, if you come up with new questions that are not mentioned in the lectures or the material, write them down too. Challenges for your colleagues and/or the teacher for the lectures are welcome!

Course Evaluation

Material

This list is updated throughout the course, so come back to check it out every week!

Reading/Exercise Assignments

For the material that I refer to here, see the list above in section "Material".