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, 17-09-2020 01:10:04 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 2020.

Teaching Period Staff Contact Census Date Notes
  TERM ONE
 
  T1
Mr LJ O'Connor-Davis 15-MAR-2020  
SUMMARY OF TERM ONE CLASSES
Go to Class Detail records - TERM ONE
Teaching Period One

Activity Period Class Section Status Enrols/Capacity Day/Start Time
Course Enrolment T1 2343 CR01 Open 0/12
Course Enrolment T1 11655 CR02 On Hold 0/5
Lecture T1 7602 1UGA Open 9/20* Tue 10:00 - 12:00 (Weeks:11), Tue 10:00 - 12:00 (Weeks:1-10), Fri 10:00 - 12:00 (Weeks:1-7,9-10)
(* = jointly taught class)

TERM ONE CLASSES - Detail
Class Nbr 2343 Section CR01 Teaching Period T1 - Teaching Period One
Activity Course Enrolment Status Open Enrols/Capacity 0/12
Offering Period 17/02/2020 - 17/05/2020 Meeting Dates Standard dates Census Date 15/03/2020
Instruction Mode In Person Consent Consent not required
Meeting Information
Class Notes
Back to top
Class Nbr 11655 Section CR02 Teaching Period T1 - Teaching Period One
Activity Course Enrolment Status On Hold Enrols/Capacity 0/5
Offering Period 17/02/2020 - 17/05/2020 Meeting Dates Standard dates Census Date 15/03/2020
Instruction Mode Distance Delivery Consent Consent not required
Meeting Information
Class Notes
Back to top
Class Nbr 7602 Section 1UGA Teaching Period T1 - Teaching Period One
Activity Lecture Status Open Enrols/Capacity 9/20*
Offering Period 17/02/2020 - 17/05/2020 Meeting Dates Standard dates Census Date 15/03/2020
Instruction Mode In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Tue 10:00 - 12:00 UNSW Business School 119 (K-E12-119) 11 Mr PW Hunter
Tue 10:00 - 12:00 Mathews 309 (K-F23-309) 1-10 Mr PW Hunter
Fri 10:00 - 12:00 UNSW Business School 119 (K-E12-119) 1-7,9-10 Mr PW Hunter
Class Notes
Back to top
Back to top