I am expecting you to submit just the PID and the Dafny code for the project. Do not submit the implementation code. If I want to see your implementation code, I will email the group directly.
The first assignment marks are available (see using classrun or go to the Timetable page on this website). Your marked assignment cannot be collected however, but you are welcome to email your tutor for feedback.
There is no lecture in Week 12. Instead, you are welcome to come and practise your project talk in the theatre. Just bring your laptop and cabling. I will be there to offer advice.