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

This list is updated throughout the course, so come back to check it out every week! In particular, remember to download the updated version of Notes on Choreographies every week, since it is a working document.

- Introduction Slides
- Notes on Choreographies: Notes on Choreographies
- Example LaTeX source of how I write my notes, which uses the proof-dashed package
- LaTeX source of figures in the lecture notes
- Exam examples
- Exam from 2019