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, 28-03-2024 01:03:05 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  
  TERM THREE
 
  T3
School Office 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 14/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 19/50
(* = 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 14/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 19/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
Class Notes
Back to top
Back to top