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 Mon, 20-09-2010 01:30:12 EST

COMP4161 Advanced Topics in Software 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 Kensington Campus Career Undergraduate
This course is scheduled for offering in the following teaching periods for 2010.

Teaching Period Staff Contact Census Date Notes
  SEMESTER TWO
 
  T2
Dr G Klein 31-AUG-2010  
SUMMARY OF SEMESTER TWO CLASSES
Go to Class Detail records - SEMESTER TWO
Teaching Period Two

Activity Period Class Section Status Enrols/Capacity Day/Start Time
Lecture T2 5595 1UGA Open 6/15* Wed 09:00 - 10:30 (Weeks:1-7,8-12), Fri 09:00 - 10:30 (Weeks:1-7,8-12)
(* = jointly taught class)

SEMESTER TWO CLASSES - Detail
Class Nbr 5595 Section 1UGA Teaching Period T2 - Teaching Period Two
Activity Lecture Status Open Enrols/Capacity 6/15*
Offering Period 19/07/2010 - 24/10/2010 Meeting Dates Standard dates Census Date 31/08/2010
Instruction Mode In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Wed 09:00 - 10:30 Materials Science G10 (K-E8-G10) 1-7,8-12 Dr G Klein
Fri 09:00 - 10:30 Materials Science G11 (K-E8-G11) 1-7,8-12 Dr G Klein
Class Notes
Back to top
Back to top
COMP4161 Advanced Topics in Software 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 Kensington Campus Career Postgraduate
This course is scheduled for offering in the following teaching periods for 2010.

Teaching Period Staff Contact Census Date Notes
  SEMESTER TWO
 
  T2
Dr G Klein 31-AUG-2010  
SUMMARY OF SEMESTER TWO CLASSES
Go to Class Detail records - SEMESTER TWO
Teaching Period Two

Activity Period Class Section Status Enrols/Capacity Day/Start Time
Lecture T2 5596 1PGA Open 25/33* Wed 09:00 - 10:30 (Weeks:1-7,8-12), Fri 09:00 - 10:30 (Weeks:1-7,8-12)
(* = jointly taught class)

SEMESTER TWO CLASSES - Detail
Class Nbr 5596 Section 1PGA Teaching Period T2 - Teaching Period Two
Activity Lecture Status Open Enrols/Capacity 25/33*
Offering Period 19/07/2010 - 24/10/2010 Meeting Dates Standard dates Census Date 31/08/2010
Instruction Mode In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Wed 09:00 - 10:30 Materials Science G10 (K-E8-G10) 1-7,8-12 Dr G Klein
Fri 09:00 - 10:30 Materials Science G11 (K-E8-G11) 1-7,8-12 Dr G Klein
Class Notes
Back to top
Back to top
COMP4161 Advanced Topics in Software 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 Kensington Campus Career Research
This course is scheduled for offering in the following teaching periods for 2010.

Teaching Period Staff Contact Census Date Notes
  SEMESTER ONE
 
  T1
School Office 31-MAR-2010  
  SEMESTER TWO
 
  T2
School Office 31-AUG-2010  
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
(* = jointly taught class)
SUMMARY OF SEMESTER TWO CLASSES
Go to Class Detail records - SEMESTER TWO
Teaching Period Two

Activity Period Class Section Status Enrols/Capacity Day/Start Time
(* = jointly taught class)

SEMESTER ONE CLASSES - Detail

SEMESTER TWO CLASSES - Detail
Back to top
UNSW Sydney NSW 2052, Australia Telephone: (within Aust.) 02 9385 1000, (International) +61 2 9385 1000
CRICOS Provider Code 00098G Authorised by the Deputy Vice Chancellor (Academic) and RegistrarPrivacy Statement  Copyright Disclaimer