Workshop on Reasoning about Programs SENG2011 26T3

Practice and Play Exercises Released

Posted by Ayra Saqib Tuesday 20 October 2026, 10:03:11 PM.

Hi everyone,

A few exercises have been released under the Practice and Play section. These focus on working with Dafny, including writing predicates and methods, specs and invariants and validating. From now until week 10, a few exercises will be released every week. The Practice and Play exercises are not worth marks but are great practice for assignment 2 and the final exam. Solutions will be provided about a week after an exercise is released.

If you need any help, feel free to reach out on the forum.

Assignment 1 Mark Distribution

Posted by Ayra Saqib Saturday 17 October 2026, 10:59:28 PM.

Hi everyone,

An update that the mark distribution between questions in assignment 1 has now been added to the spec on the course website. The longer exercises (2 and 3) are 10 marks each and the rest are 5 marks each. Also, a reminder that assignment 1 is due at 9pm tomorrow and to submit on time to avoid a late penalty.

Assignment 1 Due End of Week

Posted by Ayra Saqib Thursday 15 October 2026, 09:40:00 AM, last modified Thursday 15 October 2026, 09:41:12 AM.

Hi everyone,

A reminder that assignment 1 is due at 9 p.m. this Sunday 18 October, unless you have an approved extension. Remember that you are also able to submit any number of times until the due date. There is help available through the course forum (linked in the sidebar) and post-lecture consultation tomorrow. Make use of this and good luck!