Workshop on Reasoning about Programs SENG2011 25T3
Notices
-
myExperience and Mini-Exams
Posted by Stephen Chuang Tuesday 25 November 2025, 07:04:44 AM.
The myExperience survey is currently open and has a very low response rate of under 10%. You are strongly encouraged to complete the survey so that we have enough feedback to improve this course for future offerings. It won't take much time and what you say will not have any effect on your performance in the course, but any feedback (good and bad) will be useful.
myExperience will close at 11:59 p.m. on Thursday 27 October and late submissions will not be possible.
The first mini-exam has also been released. These are best done under timed conditions and in a similar environment to the real exam. It's best to connect to CSE servers using VLAB or otherwise, have Pocket Dafny open as your only source of documentation, and only using the editors available in the exam (to be confirmed, but will likely be gedit, nedit, and vim only).
-
Assignment Updates
Posted by Stephen Chuang Saturday 15 November 2025, 07:15:45 PM.
Assignment 1 solutions have been released under the Assignments section.
For assignment 2 exercise 1, it is possible that multiple people in the race tie for first place. In this case, you should still return the second fastest time regardless of how many people place first. For example, if you have [8, 9, 8, 9, 8, 9, 10, 8], you should return 9.
There is a 2 week and 2 day gap between the assignment 2 deadline and the final exam. Because some students have extensions, it is unlikely that assignment 2 marks and feedback will be released before the final exam.
-
More Exercises Released and Quiz Extensions
Posted by Stephen Chuang Tuesday 11 November 2025, 10:24:00 PM.
A few more exercises have been opened up under Practice and Play, and solutions to the exercises released last week are now visible. There will be some practice exams released around week 11.
Regarding quizzes, a few people have tried to get a quiz extension through special consideration recently. If you need a quiz extension, it is best to email me directly without submitting a special consideration application as you'll almost certainly get a quicker response, which makes it more likely you can make use of the extension before results are released on the Tuesday after the initial due date.
For assignments and the final exam, you should still use special consideration.