• Assignment 1 available

    Posted by Paul Hunter Monday 07 June 2021, 07:07:22 AM.

    Hi all,

    The first assignment is now available on the course website (under "Course Work/Assignments"). It is due on Friday, 18 June at 17:00 (AEST) .

    I will talk briefly about it and answer any questions in today's lecture.


  • Welcome to COMP3153/9153

    Posted by Paul Hunter Sunday 30 May 2021, 11:24:59 PM.

    Hi all,

    Welcome to COMP3153/9153 - Algorithmic Verification. This is just a brief announcement to introduce you to various aspects of the course: the website, the learning interfaces, and the staff.

    This term COMP3153/9153 will have a mix of online (for most content) and face-to-face delivery (for some tutorials). I encourage you to familiarise yourself with the course website:

    as it provides the starting point for all aspects of the course.

    Lectures begin on Monday (May 31) at 13:00 and will be delivered in real time on Zoom. Details of the lectures can be found on the course website once you have logged in to webCMS. Lectures will be recorded, and the recording will be available shortly after the lecture finishes. No assurance is made about the quality/completeness of the recording - so the only way to ensure you have best lecture experience is to attend the lectures!

    Tutorials begin in Week 1 . The Monday tutorial is face-to-face and will be taken by Simon Park. The tutorials on Tuesdays will be online. Simon Park will be the tutor for Tuesday 17:00, and I will be taking the Tuesday 14:00 tutorial. Details of the online tutorials can be found on the course website. Online tutorials will not be recorded.

    Although there are lab sessions timetabled, for the time being there will be no scheduled labs. This may change later in the term if it is felt that there is a need for structured lab sessions.

    The first set of tutorial questions are now available on the course website. These questions are intended to give an indication of the background knowledge that is recommended to get the most out of this course, so please attempt to work through them before the tutorial. While it is not necessary to be able to solve any of the questions before the tutorial, you should be comfortable with all concepts covered following the tutorial and this week's lectures.

    The course will be using the ed platform for course discussion. You should shortly be receiving an email inviting you to join the ed forum for this course.

    Looking forward to virtually meeting you tomorrow,

    Paul Hunter
    (Lecturer in Charge)

Upcoming Due Dates

There is nothing due!

Back to top

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