Notices

  • Final Exam Tomorrow

    Posted by Stephen Chuang Monday 08 December 2025, 07:40:27 PM, last modified Monday 08 December 2025, 09:33:30 PM.

    The final exam will be held tomorrow afternoon and will contribute 50% of your course mark. There is also a hurdle: if your mark is lower than the hurdle, then you cannot pass the course.

    You should now be familiar with the editors available to you in the exam environment. Make sure you bring your ID, get there on time, and avoid spending too long on one particular exercise.

    You should also check seating allocations here: https://cgi.cse.unsw.edu.au/~exam/23T3/seating/register.cgi/allocations/ .

    If you attend the final exam, you are declaring yourself fit to complete it and cannot apply for a supplementary exam through Special Consideration unless you fall ill during the exam. Do not contact course staff for supplementary exams as this is handled by Special Consideration.

    Good luck!

  • Mini-Exam Solutions Released

    Posted by Stephen Chuang Thursday 04 December 2025, 11:03:23 PM.

    Solutions to all mini-exams have been released.

    If you haven't attempted the mini-exams yet, you'll get more value out of them by doing them without looking at the solutions first.

    There are four days left until the final exam. Continue to use the forum to post any questions you have.

  • Final Exam Environment

    Posted by Stephen Chuang Tuesday 02 December 2025, 09:31:02 PM.

    A document describing the exam environment has been released under the Exam section on this website. Please read it carefully well before the exam and familiarise yourself with using the available editors and the command line interface. Don't be the student who's asking how to open a text editor during the exam.

    Two more mini-exams have also been released under the Practice and Play section, and solutions to all mini-exams will be released this Thursday or Friday.

Upcoming Due Dates

There is nothing due!

Back to top

SENG2011 25T3 (Workshop on Reasoning about Programs) is powered by WebCMS3
CRICOS Provider No. 00098G