COMP3153 Notices

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,

Paul

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.

Paul

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.

Paul

Consultation on Thursday

Posted by Paul Hunter Wednesday 16 August 2023, 04:43:30 PM.

Hi all,

I've had a request to move the consultation a bit earlier tomorrow. I can't make it earlier in the evening, but I can run an in-person consultation tomorrow from 2:30. I am currently trying to book a room and will post a notice once this has been confirmed.

Paul

Consultation tonight delay

Posted by Paul Hunter Thursday 27 July 2023, 07:12:15 PM.

Hi all,

Apologies for the late notice, but tonight's consultation will have to be delayed until 9pm.

Paul

Flex week recap lecture (Friday)

Posted by Paul Hunter Thursday 06 July 2023, 08:40:35 PM.

Hi all,

There is enough interest to have a recap lecture tomorrow. I have asked admin to book a room but I haven't heard from them yet.

For the moment, come along to OShane 104 at 2pm (I have a lecture 12-2 in that room) and we will head somewhere suitable (possibly staying there).

Unfortunately this means - for the moment - that there is no guarantee that the lecture will be recorded.

Paul

Flex week recap lecture

Posted by Paul Hunter Wednesday 05 July 2023, 11:36:15 PM.

Hi all,

My apologies for not managing to organise a recap lecture in the usual COMP3153 timeslots during flex week.

I've posted a poll to the course website here - to gauge interest in a possible recap lecture at 2pm on Friday. Please respond before 1pm on Thursday (tomorrow) and if there's enough interest I will try to organise a room (and possibly a recording) for Friday at 2pm.

Paul

Welcome to COMP3153/9153 Algorithmic Verification

Posted by Paul Hunter Monday 29 May 2023, 05:37:59 AM, last modified Monday 29 May 2023, 05:39:20 AM.

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 be fully face-to-face for all learning aspects. I encourage you to familiarise yourself with the course website:

http://www.cse.unsw.edu.au/~cs3153

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,

Paul Hunter
(Lecturer in Charge)