COMP3153 Notices

Revision/review lecture (Monday) + pizza!

Posted by Paul Hunter Friday 15 November 2024, 11:28:31 AM.

Hi all,

I've managed to book a room for one final 3153/9153 lecture for next Monday, 2-4pm in O'Shane G05 (i.e. usual time and place).

This will just be a review of the course - there will be no new content. However there will be pizza outside the lecture room beforehand. So if it's been a while since you made it to a Monday lecture - come along to this one.

I will clarify the assessment requirements (i.e. formatif & details of the final exam).

I hope to go through some solutions to the Tutorial questions for timed systems , as well as work through another timed system example.

I will also cover any other topic you especially would like me to go through - so please bring your questions (or let me know in advance).

The lecture should be set up to be recorded, but I've had issues with these ad-hoc lectures in the past, so the best way to be sure that you see the content is to come along in person!

Hope to see many of you on Monday,

Paul

Formatif stream B questions

Posted by Paul Hunter Friday 08 November 2024, 07:41:41 PM.

Hi all,

The stream B questions for P/C/D level tasks are now viewable from the course website here . There will be one further HD level stream B task which I will get up as soon as I have completed the diagrams. I will add them as tasks to formatif shortly too, but thought you'd appreciate the questions so you can work on them asap. I will put up the tikz code for any diagrams appearing if you want to draw them in LaTeX.

As mentioned earlier, Mark and I will be marking these and providing feedback continuously over the next week - so you can submit them (through formatif) as soon as you have completed them. First (serious) attempts should be made before the start of Week 11, but the hard deadline for all tasks to be considered will be the start of the exam.

Paul

Peer review delays

Posted by Paul Hunter Monday 30 September 2024, 12:15:25 PM.

Hi all,

Due to technical issues I haven't been able to set up the peer review allocation yet - which is why the link is not yet working. I hope to have it set up in the next 24 hours and I'll push the deadline back a week. This delay has also interfered with getting out the Stream B questions, so the deadline for that will be adjusted too.

Apologies for the delay.

Paul

Online consultation & Tutorial admin

Posted by Paul Hunter Thursday 12 September 2024, 03:35:42 PM.

Hi all,

Apologies to those students that have not yet been able to join a tutorial. I've put in a request to increase the cap, so there should be capacity soon. I really want to build up the support that tutorials can offer, and this is best done by having people turn up! So please try to come along to them in person. If you cannot make your scheduled tutorial then try to join one of the other ones.

As mentioned on Wednesday, there will also be an online consultation on Mondays at 7:15pm to provide additional support outside of lectures & tutorials. I've scheduled it within the formatif feedback window intentionally so that it can be used for this purpose.

Unfortunately, I cannot make the first of these, so it has been rescheduled for 7:15pm Sunday 15 Sept - apologies for any inconvenience.

Paul

Welcome to COMP3153/9153

Posted by Paul Hunter Sunday 08 September 2024, 09:07:28 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 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. I am still in the process of populating the website - please check for content closer to tomorrow's lecture.

Lectures begin on Monday (September 9) [i.e. tomorrow] at 14:00 in O'Shane G05. 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 - for this first week please come along to the start of least one tutorial (see webCMS for the tutorial details) as I will be clarifying how assessments and tutorials will work through the term, and setting you all up for the main assessments. Mark Raya will be the tutor for the remaining tutorials this term.

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 and in the subsequent tutorials.

Looking forward to meeting you tomorrow,

Paul Hunter
(Lecturer in Charge)