The second assignment is now available. It is due on
Friday 1 July
Note that content for the last part will be covered on Wednesday this week.
Tuesday's lecture will be online as usual because we will be covering SPIN/Promela, and it is easier to do this in an online setting than f2f.
At the end of my slides for Lecture 4 I forgot to put in a bibliography and a link/reminder for the weekly feedback . I have now added these to the uploaded slides.
Also a reminder that the lecture on Tuesday next week will be on campus in Ainsworth 202 at 11-1. It'd be great to meet as many of you as I can, and to encourage participation at the somewhat inconvenient time I'll be shouting [some form of] lunch for the attendees. To work out what sort of lunch, I've set up a poll:
Please consider sharing your opinion, even if you are only a maybe. The poll will finish at 2pm tomorrow (Saturday) so that I have time to organise whatever option is most popular.
Looking forward to meeting those of you who can make it,
Apologies - I accidentally uploaded the wrong spec earlier on. The correct assignment spec is now available.