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
At times it may become necessary to cancel advertised offerings.
Data is correct as at Thu, 16-09-2021 01:10:06 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 2021.

Teaching Period Staff Contact Census Date Notes
  TERM TWO
 
  T2
Dr PW Hunter 27-JUN-2021  
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 3451 CR01 Open 0/4
Lecture T2 6167 1PGA Open 6/10* Mon 13:00 - 15:00 (Weeks:1-2,4-5,7-10), Tue 11:00 - 13:00 (Weeks:1-5,7-10)
Tutorial-Laboratory T2 6168 M16A Open 0/7* Mon 16:00 - 17:00 (Weeks:1-2,4-5,7-10), Mon 17:00 - 19:00 (Weeks:1-2,4-5,7-10)
Tutorial-Laboratory T2 6169 T14A Open 3/8* Tue 14:00 - 15:00 (Weeks:1-5,7-10), Tue 15:00 - 17:00 (Weeks:1-5,7-10)
Tutorial-Laboratory T2 6170 T17A Open 3/7* Tue 17:00 - 18:00 (Weeks:1-5,7-10), Tue 18:00 - 20:00 (Weeks:1-5,7-10)
(* = jointly taught class)

TERM TWO CLASSES - Detail
Class Nbr 3451 Section CR01 Teaching Period T2 - Teaching Period Two
Activity Course Enrolment Status Open Enrols/Capacity 0/4
Offering Period 31/05/2021 - 29/08/2021 Meeting Dates Standard dates Census Date 27/06/2021
Mode of Delivery Multimodal Consent Consent not required
Meeting Information
Class Notes
Back to top
Class Nbr 6167 Section 1PGA Teaching Period T2 - Teaching Period Two
Activity Lecture Status Open Enrols/Capacity 6/10*
Offering Period 31/05/2021 - 29/08/2021 Meeting Dates Standard dates Census Date 27/06/2021
Mode of Delivery Online Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Mon 13:00 - 15:00 Online (ONLINE) 1-2,4-5,7-10 Dr PW Hunter
Tue 11:00 - 13:00 Online (ONLINE) 1-5,7-10 Dr PW Hunter
Class Notes
Back to top
Class Nbr 6168 Section M16A Teaching Period T2 - Teaching Period Two
Activity Tutorial-Laboratory Status Open Enrols/Capacity 0/7*
Offering Period 31/05/2021 - 29/08/2021 Meeting Dates Standard dates Census Date 27/06/2021
Mode of Delivery In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Mon 16:00 - 17:00 Law Building 301 (K-F8-301) 1-2,4-5,7-10
Mon 17:00 - 19:00 Kora Lab J17 307 (K-J17-307) 1-2,4-5,7-10
Class Notes
Back to top
Class Nbr 6169 Section T14A Teaching Period T2 - Teaching Period Two
Activity Tutorial-Laboratory Status Open Enrols/Capacity 3/8*
Offering Period 31/05/2021 - 29/08/2021 Meeting Dates Standard dates Census Date 27/06/2021
Mode of Delivery Online Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Tue 14:00 - 15:00 Online (ONLINE) 1-5,7-10
Tue 15:00 - 17:00 Online (ONLINE) 1-5,7-10
Class Notes
Back to top
Class Nbr 6170 Section T17A Teaching Period T2 - Teaching Period Two
Activity Tutorial-Laboratory Status Open Enrols/Capacity 3/7*
Offering Period 31/05/2021 - 29/08/2021 Meeting Dates Standard dates Census Date 27/06/2021
Mode of Delivery Online Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Tue 17:00 - 18:00 Online (ONLINE) 1-5,7-10
Tue 18:00 - 20:00 Online (ONLINE) 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