• Final exam now available

    Posted by Paul Hunter Friday 18 August 2023, 09:04:44 AM.

    Hi all,

    The final exam is now available for you to access on the course webpage under "Exam resources → 2023 Final exam"

    It is due at 9:00am Saturday 19 August 2023 (AEST) . Students that have an ELP, Special Consideration, or who I have already been in touch with, I will contact you in the next few hours to clarify your submission time.

    Submission is through give ("Make submission" on the exam page). Your last submission before the deadline is what will be assessed. You can make multiple submissions - your last 3 are kept as backup. I strongly urge you to make a dummy submission as soon as possible to check that there are no issues .

    All the best,


  • Formatif assessments

    Posted by Paul Hunter Thursday 17 August 2023, 05:55:24 PM.

    Hi all,

    The situation with formatif tasks is that everyone (with known exceptions) should have received at least one piece of feedback on your tasks by now.

    Following the exam I will be going through the tasks and assessing their "completeness" (at the time of the exam) to decide on your formatif grade. If necessary I may ask you to clarify one or two things, but this will be in chat . I use the "task status" to indicate to me a certain level of completeness to help me decide the overall grade - this will not be a request for further discussion unless there is a comment in the chat. If you have submitted a response to feedback (by the time of the exam), then this will be what will be checked (I have confirmed that I can see any "late" response).

    When marking the exam, I may refer to your formatif work to gauge your overall understanding and to ensure that you are not overpenalized for the same gaps in understanding.


  • Consultation today: 2:30pm, Rm 113, K17

    Posted by Paul Hunter Thursday 17 August 2023, 10:26:41 AM.

    Hi all,

    Further to my message yesterday, I will be holding an in-person consultation today at 2:30pm in Room 113, K17. I have booked the room for 2 hours, so I should be there for a while if you can't make it from the beginning.


Upcoming Due Dates

There is nothing due!

Back to top

COMP3153/COMP9153 23T2 (Algorithmic Verification) is powered by WebCMS3
CRICOS Provider No. 00098G