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 Mon, 11-09-2023 01:03:17 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 2023.

Teaching Period Staff Contact Census Date Notes
  TERM TWO
 
  T2
Dr PW Hunter 25-JUN-2023  
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 1363 CR01 Open 0/23
Lecture T2 6710 1UGA Open 45/66* Mon 10:00 - 12:00 (Weeks:1-2,4-5,7-10), Wed 10:00 - 12:00 (Weeks:1-5,7-10)
Tutorial T2 6711 M12A Open 16/22* Mon 12:00 - 14:00 (Weeks:1-2,4-5,7-10)
Tutorial T2 11122 M14A Open 12/21* Mon 14:00 - 16:00 (Weeks:1-5,7-10)
Tutorial T2 6712 T15A Open 12/18* Tue 15:00 - 17:00 (Weeks:1-5,7-10)
Tutorial T2 11035 W12A Open 5/13* Wed 12:00 - 14:00 (Weeks:1-5,7-10)
(* = jointly taught class)

TERM TWO CLASSES - Detail
Class Nbr 1363 Section CR01 Teaching Period T2 - Teaching Period Two
Activity Course Enrolment Status Open Enrols/Capacity 0/23
Offering Period 29/05/2023 - 08/09/2023 Meeting Dates Standard dates Census Date 25/06/2023
Mode of Delivery In Person Consent Consent not required
Meeting Information
Class Notes
Back to top
Class Nbr 6710 Section 1UGA Teaching Period T2 - Teaching Period Two
Activity Lecture Status Open Enrols/Capacity 45/66*
Offering Period 29/05/2023 - 08/09/2023 Meeting Dates Standard dates Census Date 25/06/2023
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Mon 10:00 - 12:00 Ainsworth 202 (K-J17-202) 1-2,4-5,7-10 Dr PW Hunter
Wed 10:00 - 12:00 E19 Patricia O'Shane G05 (K-E19-G05) 1-5,7-10 Dr PW Hunter
Class Notes
Back to top
Class Nbr 6711 Section M12A Teaching Period T2 - Teaching Period Two
Activity Tutorial Status Open Enrols/Capacity 16/22*
Offering Period 29/05/2023 - 08/09/2023 Meeting Dates Standard dates Census Date 25/06/2023
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Mon 12:00 - 14:00 Ainsworth 101 (K-J17-101) 1-2,4-5,7-10
Class Notes
Back to top
Class Nbr 11122 Section M14A Teaching Period T2 - Teaching Period Two
Activity Tutorial Status Open Enrols/Capacity 12/21*
Offering Period 29/05/2023 - 08/09/2023 Meeting Dates Standard dates Census Date 25/06/2023
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Mon 14:00 - 16:00 Quadrangle G025 (K-E15-G025) 1-5,7-10
Class Notes
Back to top
Class Nbr 6712 Section T15A Teaching Period T2 - Teaching Period Two
Activity Tutorial Status Open Enrols/Capacity 12/18*
Offering Period 29/05/2023 - 08/09/2023 Meeting Dates Standard dates Census Date 25/06/2023
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Tue 15:00 - 17:00 Quadrangle 1042 (K-E15-1042) 1-5,7-10
Class Notes
Back to top
Class Nbr 11035 Section W12A Teaching Period T2 - Teaching Period Two
Activity Tutorial Status Open Enrols/Capacity 5/13*
Offering Period 29/05/2023 - 08/09/2023 Meeting Dates Standard dates Census Date 25/06/2023
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Wed 12:00 - 14:00 Quadrangle G042 (K-E15-G042) 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