All students should've received a somewhat lengthy email form the survey system with an invitation to fill in the bonus mark worthy survey. In that email I also explain final marks etc.

Adrian has finished marking the assignment 1 submissions. Marking transcripts can be collected with the usual

3151; classrun -collect ass1

by those who submitted solutions.

The specification for assignment 2 is up. Yes, it's another pub crawl, this time with a different beer wench selection process. Enjoy and simulate.

Adrian has finished marking the warmup assignments. Marking transcripts can be collected with the usual

3151; classrun -collect warmup

by those who submitted solutions.

In anticipation of the warm-up assignment I've updated the model-checking tool spin (and associated files such as xspin and swarm) in ~cs3151/bin to the current versions, which are vastly different to the ones from 2003 still living in /usr/local/bin. It is recommended to use these rather than the old ones since I'll be using the new ones for testing assignment submissions. They should be better, too. In order to use, ensure that ~cs3151/bin precedes /usr/local/bin in your $PATH; similarly, ~cs3151/man should precede /usr/local/man in your $MANPATH.

The poll resulted in a convincing 8:1 victory for the old schedule. I've updated the calendar.

Lectures start today.

The forum is up too. The calendar will be populated with the remaining weeks' events once we've settled on lecture times.