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 be fully face-to-face for all learning aspects. 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 29) [i.e. today] at 10:00. 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
. Gerald Huang and Ben Nott will be the tutors for all tutorials this term.
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.
The course will also be using the formatif platform for weekly assessment tasks. Details will follow in the first lecture.
Looking forward to meeting you later today,
(Lecturer in Charge)