Announcements
1 Glossary is Live
Liam O'Connor
The glossary is now live. You can use it to look up any terms from the lecture as well as LaTeX notation. I hope it's helpful.
Don't forget Assignment 0 is due on Thursday (along with Homework 2)! Homework 3 is now also available.
2 Welcome, and a note on Tutorials
Liam O'Connor
Welcome to COMP3151/9154 Foundations of Concurrency. I, Liam O'Connor, will be teaching this course this term, after Dr. Vladimir Tosic last year and Dr. Kai Engelhardt before that. Vladimir will be delivering some of the lectures later in the course.
The university has scheduled tutorials for this course, but this is an error: There are no tutorials for this course. Please just enrol in any old tutorial – it doesn't matter which one.