University of New South Wales
Class Details
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 Wed, 11-09-2013 01:37:28 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 2013.

Teaching Period Staff Contact Census Date Notes
  SEMESTER ONE
 
  T1
Dr R Huuck 31-MAR-2013 Please email postgrad@cse.unsw.edu.aut to be placed on a waiting list if you are unable to enrol  
SUMMARY OF SEMESTER ONE CLASSES
Go to Class Detail records - SEMESTER ONE
Teaching Period One

Activity Period Class Section Status Enrols/Capacity Day/Start Time
Lecture T1 6815 1PGA Open 7/11* Tue 12:00 - 14:00 (Weeks:1-4,5-12), Thu 12:00 - 13:00 (Weeks:1-4,5-12)
(* = jointly taught class)

SEMESTER ONE CLASSES - Detail
Class Nbr 6815 Section 1PGA Teaching Period T1 - Teaching Period One
Activity Lecture Status Open Enrols/Capacity 7/11*
Offering Period 04/03/2013 - 09/06/2013 Meeting Dates Standard dates Census Date 31/03/2013
Instruction Mode In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Tue 12:00 - 14:00 Morven Brown 209 (K-C20-209) 1-4,5-12 Dr R Huuck,Dr P Hofner
Thu 12:00 - 13:00 Quadrangle 1049 (K-E15-1049) 1-4,5-12 Dr R Huuck,Dr P Hofner
Class Notes
Back to top
Back to top