COMP3153 Notices

Final notice for COMP3153/9153

Posted by Paul Hunter Monday 30 August 2021, 07:00:29 AM.

Hi all,

You are now able to see all your assignment results on the course website. Please notify me of any gross omissions - results can (and have) been amended several months after release. I have included a field "assignment_weighted_mark" which is the grade (out of 50) you have received for all your assignment work, weighted according to the scale discussed in lectures. I am happy to provide individual feedback if you have any questions.

It is against university policy to release provisional overall results before the official release of grades, so unfortunately I cannot release your exam results. Once those results are released however, I am happy to provide any additional feedback.

Finally, a big congratulations to the course tutor Simon, who has been offered an Research Assistant position at Oxford which he will be undertaking soon.

Thanks all (especially for putting up with the random zoom drop outs),

Paul

30 minutes remaining

Posted by Paul Hunter Friday 20 August 2021, 04:31:22 PM.

Hi all,

This is a reminder that the exam is due in 30 minutes.

A reminder that you can make multiple submissions, so please be sure to make at least one submission in good time.

Paul

Final exam now available

Posted by Paul Hunter Friday 20 August 2021, 01:46:32 PM.

Hi all,

The final exam is now available here: https://webcms3.cse.unsw.edu.au/COMP3153/21T2/reso...

(Under Activities -> Exam)

It is due at 17:00 AEST .

I will be on zoom (Links for Online Content -> Online consultation) for the next 45 minutes if there are any questions.

Paul

Final exam

Posted by Paul Hunter Friday 20 August 2021, 11:28:07 AM.

Hi all,

This is a reminder that the final exam will be released on the course website at 13:45 today (about 2 hrs 15 mins from now).

The remainder of this announcement will be summarizing the exam details.

Administrivia

• The final exam is a 3-hour + 15 minute take-home exam
• The exam will be made available on the course website at Friday 20 August at 13:45 (AEST)
• The deadline for submitting your solutions is Friday 20 August at 17:00 (AEST)
• Submission should be either a single pdf file or a zipped file containing a single pdf and jpg images.
• Submission is to be made through webCMS/give. Emailed solutions are not acceptable unless there are ongoing issues with the server.
• Submissions should not be larger than 20Mb. Typeset prose is required - any typesetting program is fine (do not spend an excessive time producing your output). Hand-drawn diagrams are acceptable and should either be included in the pdf or as sepearate jpeg files. You are responsible for ensuring that diagrams are legible.
• Multiple submissions are ok - you will be assessed on the last submission received before the deadline. The last 3 submissions are kept as backup.
• Late submissions will be penalized at 25% (of raw mark) per 15 minutes or part thereof . There is no grace period - it is your responsibility to allow for (minor) network issues such as upload times.
• If you experience any issue that will prevent you from attempting/completing the exam, you need to apply for Special Consideration . For foreseeable issues, the application needs to be made prior to the exam. If you experience technical issues before or during the exam, you should follow these instructions:
  • Take screenshots of as many of the following as possible:
    • error messages
    • screen not loading
    • timestamped speed tests
    • power outage maps
    • messages or information from your internet provider regarding the issues experienced
  • All screenshots must include the date and time the issue occurred.
  • Make contact with me immediately (through email or Collaborate chat) and advise me of the issue.
  • Submit a Special Consideration application immediately at the conclusion of your assessment and upload your screenshots.
• I will be available through email/ed/ zoom to answer from 13:45 - 15:00 to any questions about the exam. Course-wide announcements relevant to the exam will be made through webCMS (and email) within the first 45 minutes.

Exam content and materials

• The final exam will contribute 50% of your overall grade; and you must achieve 40% on the exam to pass the course
• The exam consists of 7 questions covering the entire course content other than verification games.
• You are being assessed on your ability, understanding and critical thinking . Your solutions should aim to demonstrate these qualities to the best of your ability.
• Your submitted work must be your own . Any student found accessing or attempting to access active sources (e.g. collaborating with other students, actively seeking answers through forums/social media, contract cheating, etc) will be considered to be in breach of the University's Plagiarism Policy , and may be subject to disciplinary action as outlined in the Student Code of Conduct .
  
• Any existing written material (i.e. passive sources ) is permitted for reference, but should be properly referenced (i.e. referenced so that I can retrieve it). Care should be exercised when using external references: over-reliance on external references (e.g. just citing a source that provides the solution) will negatively affect the level of ability/understanding you are demonstrating; on the other hand, failure to adequately reference or paraphrase external references may be considered a breach of the University's Plagiarism Policy .

Contact details

https://unsw.zoom.us/j/87192636642?pwd=SlFZaFZKTExTNGg2QUxLRE45Qm1mQT09

If there are any significant issues in that time I will send out a course-wide notice so that nobody misses it (please make sure to monitor the email address that you received this notification in).

Assignment 4 (optional) available

Posted by Paul Hunter Tuesday 10 August 2021, 11:19:51 AM.

Hi all,

Assignment 4 is now available on the course website. It is due on Monday 16th August at 17:00 .

A reminder that this assignment is optional. Your assignment grade will be calculated as the best grade from either Assignments 1-3 or Assignments 1-4 with the initially proposed weightings. Assignments can serve as good exam revision, so even if you do not make a submission, it may be useful to look at the assignment as an example of questions on timed automata & logics that may appear on the final exam.

Paul

Exam week revision tutorial

Posted by Paul Hunter Tuesday 10 August 2021, 09:49:02 AM, last modified Tuesday 10 August 2021, 09:49:50 AM.

Hi all,

Today's revision tutorial will be going ahead. Unfortunately I won't be available until 12:30 , so it will be starting then, and running until 2pm .

Apologies for the late change in time.

The zoom link will be the same as for my tutorial session: https://unsw.zoom.us/j/81165954193?pwd=WTh2Wjk2VGN...

Paul

Assignment 3 available

Posted by Paul Hunter Monday 02 August 2021, 05:28:37 AM.

Hi all,

Assignment 3 is now available on the course website. It is due on Wednesday 11 August at 17:00 (AEST) .

Because of the reduced timeframe I have made an effort to reduce the content assessed and simplified a number of questions. I have also included OBDDs as part of this assignment.

Flex week revision tutorial

Posted by Paul Hunter Monday 05 July 2021, 02:27:22 PM.

Hi all,

Following popular demand (amongst poll-respondees), there will be a revision tutorial tomorrow (Tuesday) from 2-4pm .

This is intended to be a student-driven tutorial - so please be sure to bring your questions with you. Past tutorials, and Assignment 1 questions are acceptable. Unfortunately, because of outstanding Special Consideration cases, Assignment 2 questions are limited to high-level discussion.

So that you are exposed to opinions other than my own, Simon will be hosting it, on zoom:

https://unsw.zoom.us/j/3540570621

However, I will drop in at around 3pm to answer any questions that Simon isn't able to deal with. To encourage participation, it will not be recorded.

If you cannot make this time, please let me know. If there is sufficient demand/interest, I may consider a second option.

Paul

Monday tutorial

Posted by Paul Hunter Saturday 26 June 2021, 06:56:41 PM.

Following recent updates with regard to the current COVID outbreak, UNSW has cancelled all face-to-face teaching for the time being. For this course, this only affects the Monday tutorial, which will now be moved online (still at 16:00 on Monday). A link for the tutorial has been added to the course website under "Links for online content -> Online tutorials".

Apologies for any inconvenience, and thank you for your patience,

Paul

COVID update and f2f tutorials

Posted by Paul Hunter Wednesday 23 June 2021, 02:18:34 PM.

Hi all,

With regard to the latest COVID developments in Sydney:

UNSW follows guidelines from NSW Health, and we are still awaiting further clarification. Currently f2f classes are running as scheduled (specifically the Monday tutorial), however I understand that some students may not want (or be able) to attend this. The online tutorials will be running as scheduled and at the moment there is capacity in both classes for extra students. Any student who wishes to attend either of the online tutorial sessions is welcome to do so - Simon and I will keep an eye on the numbers and explore other options if the numbers get too large.

For the moment there will be no change with regard to the tutorial recording policy (i.e. tutorials are not recorded). Any student unable to attend any of the tutorial times should please get in contact with me. Likewise, any student that may have access issues if the campus closes.

Paul

Assignment 2 is now available

Posted by Paul Hunter Tuesday 22 June 2021, 09:26:50 AM.

Hi all,

The second assignment is now available. It is split into two parts:

• Part A (Theory): Should be submitted as a single pdf and is due Friday 2nd July, at 17:00 (AEST)
  
• Part B (SPIN/Promela): Should be submitted as a single pml file and is due on Monday 5th July , at 10:00 (AEST) .

I will talk more about it in today's lecture.

Paul

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.

Paul

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:

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

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)