Home | SENG2011 16s1

Notices

Vampire submission

Posted by Albert Nymeyer Friday 03 June 2016, 12:10:08 PM.

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.
Assignment 1 marks

Posted by Albert Nymeyer Wednesday 01 June 2016, 01:25:28 PM.

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.
Week 12 lecture

Posted by Albert Nymeyer Monday 23 May 2016, 12:03:57 PM.

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.

view all notices

There is nothing due!