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 Thu, 19-09-2024 15:47:37 EST

COMP3153 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 Undergraduate
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 COMP3153/COMP9153 - 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 2143 CR01 On Hold 0/72
Lecture T2 6626 1UGA Open 0/72* Tue 11:00 - 13:00 (Weeks:1-5,7-10), Wed 15:00 - 17:00 (Weeks:1-5,7-10)
Tutorial T2 6627 F13A Open 0/20* Fri 13:00 - 15:00 (Weeks:1-5,7-10)
Tutorial T2 6628 H11A Open 0/20* Thu 11:00 - 13:00 (Weeks:1-5,7-10)
Tutorial T2 6629 H16A Open 0/20* Thu 16:00 - 18:00 (Weeks:1-5,7-10)
Tutorial T2 6630 T14A Open 0/20* Tue 14:00 - 16:00 (Weeks:1-5,7-10)
Tutorial T2 6631 T16A Open 0/20* Tue 16:00 - 18:00 (Weeks:1-5,7-10)
Tutorial T2 6632 W09A Open 0/20* Wed 09:00 - 11:00 (Weeks:1-5,7-10)
Tutorial T2 6633 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 3375 CR01 Open 11/25
Lecture T3 6736 A On Hold 25/50 Mon 14:00 - 16:00 (Weeks:1-4,7-10), Wed 11:00 - 13:00 (Weeks:1-5,7-10)
Tutorial T3 6737 M16A On Hold 9/22 Mon 16:00 - 18:00 (Weeks:1-4,7-10)
Tutorial T3 6738 M16B On Hold 0/22 Mon 16:00 - 18:00 (Weeks:1-4,7-10)
Tutorial T3 6739 W09A On Hold 0/22 Wed 09:00 - 11:00 (Weeks:1-5,7-10)
Tutorial T3 6740 W13A On Hold 12/22 Wed 13:00 - 15:00 (Weeks:1-5,7-10)
Tutorial T3 6741 W15A On Hold 4/22 Wed 15:00 - 17:00 (Weeks:1-5,7-10)
(* = jointly taught class)

TERM TWO CLASSES - Detail
Class Nbr 2143 Section CR01 Teaching Period T2 - Teaching Period Two
Activity Course Enrolment Status On Hold Enrols/Capacity 0/72
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 6626 Section 1UGA Teaching Period T2 - Teaching Period Two
Activity Lecture Status Open Enrols/Capacity 0/72*
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 6627 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 6628 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 6629 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 6630 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 6631 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 6632 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 6633 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 3375 Section CR01 Teaching Period T3 - Teaching Period Three
Activity Course Enrolment Status Open Enrols/Capacity 11/25
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 6736 Section A Teaching Period T3 - Teaching Period Three
Activity Lecture Status On Hold Enrols/Capacity 25/50
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
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 6737 Section M16A Teaching Period T3 - Teaching Period Three
Activity Tutorial Status On Hold Enrols/Capacity 9/22
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
Day Time Location Weeks Instructor
Mon 16:00 - 18:00 Library 176A (K-F21-176A) 1-4,7-10
Class Notes
Back to top
Class Nbr 6738 Section M16B Teaching Period T3 - Teaching Period Three
Activity Tutorial Status On Hold Enrols/Capacity 0/22
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
Day Time Location Weeks Instructor
Mon 16:00 - 18:00 Library 176B (K-F21-176B) 1-4,7-10
Class Notes
Back to top
Class Nbr 6739 Section W09A Teaching Period T3 - Teaching Period Three
Activity Tutorial Status On Hold Enrols/Capacity 0/22
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
Day Time Location Weeks Instructor
Wed 09:00 - 11:00 Ainsworth 201 (K-J17-201) 1-5,7-10
Class Notes
Back to top
Class Nbr 6740 Section W13A Teaching Period T3 - Teaching Period Three
Activity Tutorial Status On Hold Enrols/Capacity 12/22
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
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 6741 Section W15A Teaching Period T3 - Teaching Period Three
Activity Tutorial Status On Hold Enrols/Capacity 4/22
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
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