The University of New South Wales
Class Details
Offering information, including the availability of offerings and timetabling information, is subject to change.
Go to: New search by Teaching Period
If there is any inconsistency in the description of activities between the timetable and the Course Outline, the description in the Course Outline applies.
At times it may become necessary to cancel advertised offerings.
Data is correct as at Fri, 25-10-2024 09:34:02 EST

COMP9153 Algorithmic Verification
Faculty Faculty of Engineering School School of Computer Sci & Eng Go to Online Handbook record
Select new Course for same Subject Area
Select new Subject Area
Campus Sydney Career Postgraduate
This course is scheduled for offering in the following teaching periods for 2024.

Teaching Period Staff Contact Census Date Notes
  TERM TWO
 
  T2
P Hunter 23-JUN-2024 COMP3151/COMP9154 - is NOT offered in T2, 2024.  
  TERM THREE
 
  T3
P Hunter 06-OCT-2024  
SUMMARY OF TERM TWO CLASSES
Go to Class Detail records - TERM TWO
Teaching Period Two

Activity Period Class Section Status Enrols/Capacity Day/Start Time
Course Enrolment T2 2506 CR01 On Hold 0/40
Lecture T2 6634 1PGA Open 0/40* Tue 11:00 - 13:00 (Weeks:1-5,7-10), Wed 15:00 - 17:00 (Weeks:1-5,7-10)
Tutorial T2 6635 F13A Open 0/20* Fri 13:00 - 15:00 (Weeks:1-5,7-10)
Tutorial T2 6636 H11A Open 0/20* Thu 11:00 - 13:00 (Weeks:1-5,7-10)
Tutorial T2 6637 H16A Open 0/20* Thu 16:00 - 18:00 (Weeks:1-5,7-10)
Tutorial T2 6638 T14A Open 0/20* Tue 14:00 - 16:00 (Weeks:1-5,7-10)
Tutorial T2 6639 T16A Open 0/20* Tue 16:00 - 18:00 (Weeks:1-5,7-10)
Tutorial T2 6640 W09A Open 0/20* Wed 09:00 - 11:00 (Weeks:1-5,7-10)
Tutorial T2 6641 W11A Open 0/20* Wed 11:00 - 13:00 (Weeks:1-5,7-10)
(* = jointly taught class)
SUMMARY OF TERM THREE CLASSES
Go to Class Detail records - TERM THREE
Teaching Period Three

Activity Period Class Section Status Enrols/Capacity Day/Start Time
Course Enrolment T3 3376 CR01 Open 0/10
Lecture T3 6742 A Open 25/34* Mon 14:00 - 16:00 (Weeks:1-4,7-10), Wed 11:00 - 13:00 (Weeks:1-5,7-10)
Tutorial T3 6743 M16A Open 9/19* Mon 16:00 - 18:00 (Weeks:1-4,7-10)
Tutorial T3 6746 W13A Open 5/10* Wed 13:00 - 15:00 (Weeks:1-5,7-10)
Tutorial T3 6747 W15A Open 11/18* Wed 15:00 - 17:00 (Weeks:1-5,7-10)
(* = jointly taught class)

TERM TWO CLASSES - Detail
Class Nbr 2506 Section CR01 Teaching Period T2 - Teaching Period Two
Activity Course Enrolment Status On Hold Enrols/Capacity 0/40
Offering Period 27/05/2024 - 25/08/2024 Meeting Dates Standard dates Census Date 23/06/2024
Mode of Delivery In Person Consent Consent not required
Meeting Information
Class Notes
Back to top
Class Nbr 6634 Section 1PGA Teaching Period T2 - Teaching Period Two
Activity Lecture Status Open Enrols/Capacity 0/40*
Offering Period 27/05/2024 - 25/08/2024 Meeting Dates Standard dates Census Date 23/06/2024
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Tue 11:00 - 13:00 Rupert Myers Theatre (K-M15-1001) 1-5,7-10 P Hunter
Wed 15:00 - 17:00 E19 Patricia O'Shane G05 (K-E19-G05) 1-5,7-10 P Hunter
Class Notes
Back to top
Class Nbr 6635 Section F13A Teaching Period T2 - Teaching Period Two
Activity Tutorial Status Open Enrols/Capacity 0/20*
Offering Period 27/05/2024 - 25/08/2024 Meeting Dates Standard dates Census Date 23/06/2024
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Fri 13:00 - 15:00 Quadrangle G048 (K-E15-G048) 1-5,7-10
Class Notes
Back to top
Class Nbr 6636 Section H11A Teaching Period T2 - Teaching Period Two
Activity Tutorial Status Open Enrols/Capacity 0/20*
Offering Period 27/05/2024 - 25/08/2024 Meeting Dates Standard dates Census Date 23/06/2024
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Thu 11:00 - 13:00 Quadrangle G048 (K-E15-G048) 1-5,7-10
Class Notes
Back to top
Class Nbr 6637 Section H16A Teaching Period T2 - Teaching Period Two
Activity Tutorial Status Open Enrols/Capacity 0/20*
Offering Period 27/05/2024 - 25/08/2024 Meeting Dates Standard dates Census Date 23/06/2024
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Thu 16:00 - 18:00 Quadrangle G048 (K-E15-G048) 1-5,7-10
Class Notes
Back to top
Class Nbr 6638 Section T14A Teaching Period T2 - Teaching Period Two
Activity Tutorial Status Open Enrols/Capacity 0/20*
Offering Period 27/05/2024 - 25/08/2024 Meeting Dates Standard dates Census Date 23/06/2024
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Tue 14:00 - 16:00 Quadrangle G048 (K-E15-G048) 1-5,7-10
Class Notes
Back to top
Class Nbr 6639 Section T16A Teaching Period T2 - Teaching Period Two
Activity Tutorial Status Open Enrols/Capacity 0/20*
Offering Period 27/05/2024 - 25/08/2024 Meeting Dates Standard dates Census Date 23/06/2024
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Tue 16:00 - 18:00 Quadrangle G048 (K-E15-G048) 1-5,7-10
Class Notes
Back to top
Class Nbr 6640 Section W09A Teaching Period T2 - Teaching Period Two
Activity Tutorial Status Open Enrols/Capacity 0/20*
Offering Period 27/05/2024 - 25/08/2024 Meeting Dates Standard dates Census Date 23/06/2024
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Wed 09:00 - 11:00 Quadrangle G048 (K-E15-G048) 1-5,7-10
Class Notes
Back to top
Class Nbr 6641 Section W11A Teaching Period T2 - Teaching Period Two
Activity Tutorial Status Open Enrols/Capacity 0/20*
Offering Period 27/05/2024 - 25/08/2024 Meeting Dates Standard dates Census Date 23/06/2024
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Wed 11:00 - 13:00 Quadrangle G048 (K-E15-G048) 1-5,7-10
Class Notes
Back to top

TERM THREE CLASSES - Detail
Class Nbr 3376 Section CR01 Teaching Period T3 - Teaching Period Three
Activity Course Enrolment Status Open Enrols/Capacity 0/10
Offering Period 09/09/2024 - 08/12/2024 Meeting Dates Standard dates Census Date 06/10/2024
Mode of Delivery In Person Consent Consent not required
Meeting Information
Class Notes
Back to top
Class Nbr 6742 Section A Teaching Period T3 - Teaching Period Three
Activity Lecture Status Open Enrols/Capacity 25/34*
Offering Period 09/09/2024 - 08/12/2024 Meeting Dates Standard dates Census Date 06/10/2024
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Mon 14:00 - 16:00 E19 Patricia O'Shane G05 (K-E19-G05) 1-4,7-10 P Hunter
Wed 11:00 - 13:00 E19 Patricia O'Shane G06 (K-E19-G06) 1-5,7-10 P Hunter
Class Notes
Back to top
Class Nbr 6743 Section M16A Teaching Period T3 - Teaching Period Three
Activity Tutorial Status Open Enrols/Capacity 9/19*
Offering Period 09/09/2024 - 08/12/2024 Meeting Dates Standard dates Census Date 06/10/2024
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Mon 16:00 - 18:00 H13 Lawrence West 4034 (K-H13-4034) 1-4,7-10
Class Notes
Back to top
Class Nbr 6746 Section W13A Teaching Period T3 - Teaching Period Three
Activity Tutorial Status Open Enrols/Capacity 5/10*
Offering Period 09/09/2024 - 08/12/2024 Meeting Dates Standard dates Census Date 06/10/2024
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Wed 13:00 - 15:00 Squarehouse 207 (K-E4-207) 1-5,7-10
Class Notes
Back to top
Class Nbr 6747 Section W15A Teaching Period T3 - Teaching Period Three
Activity Tutorial Status Open Enrols/Capacity 11/18*
Offering Period 09/09/2024 - 08/12/2024 Meeting Dates Standard dates Census Date 06/10/2024
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Wed 15:00 - 17:00 Squarehouse 207 (K-E4-207) 1-5,7-10
Class Notes
Back to top
Back to top
UNSW Sydney NSW 2052, Australia Telephone: (within Aust.) 02 9385 1000, (International) +61 2 9385 1000
CRICOS Provider Code 00098G ABN: 57 195 873 179 Authorised by Vice-President and Deputy Vice-Chancellor (Academic)Privacy Policy  Copyright & Disclaimer  Accessibility