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

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 Sydney Career Undergraduate
This course is scheduled for offering in the following teaching periods for 2020.

Teaching Period Staff Contact Census Date Notes
  TERM THREE
 
  T3
Dr G Klein 11-OCT-2020 LiC indidates a 45 UG/ 30 PG enrolment capacity, set enrolment to 39 for now  
SUMMARY OF TERM THREE CLASSES
Go to Class Detail records - TERM THREE
Teaching Period Three

Activity Period Class Section Status Enrols/Capacity Day/Start Time
Course Enrolment T3 1939 CR01 Open 0/26
Lecture T3 6115 1UGA Open 24/50* Tue 11:00 - 13:00 (Weeks:1-5,7-10), Wed 16:00 - 18:00 (Weeks:1-5,7-10)
(* = jointly taught class)

TERM THREE CLASSES - Detail
Class Nbr 1939 Section CR01 Teaching Period T3 - Teaching Period Three
Activity Course Enrolment Status Open Enrols/Capacity 0/26
Offering Period 14/09/2020 - 13/12/2020 Meeting Dates Standard dates Census Date 11/10/2020
Instruction Mode Distance Delivery Consent Consent not required
Meeting Information
Class Notes
Back to top
Class Nbr 6115 Section 1UGA Teaching Period T3 - Teaching Period Three
Activity Lecture Status Open Enrols/Capacity 24/50*
Offering Period 14/09/2020 - 13/12/2020 Meeting Dates Standard dates Census Date 11/10/2020
Instruction Mode World Wide Web Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Tue 11:00 - 13:00 Online (ONLINE) 1-5,7-10 Dr G Klein
Wed 16:00 - 18:00 Online (ONLINE) 1-5,7-10 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 Sydney Career Postgraduate
This course is scheduled for offering in the following teaching periods for 2020.

Teaching Period Staff Contact Census Date Notes
  TERM THREE
 
  T3
Dr G Klein 11-OCT-2020  
SUMMARY OF TERM THREE CLASSES
Go to Class Detail records - TERM THREE
Teaching Period Three

Activity Period Class Section Status Enrols/Capacity Day/Start Time
Course Enrolment T3 1098 CR01 Open 0/26
Lecture T3 6116 1PGA Open 4/30* Tue 11:00 - 13:00 (Weeks:1-5,7-10), Wed 16:00 - 18:00 (Weeks:1-5,7-10)
(* = jointly taught class)

TERM THREE CLASSES - Detail
Class Nbr 1098 Section CR01 Teaching Period T3 - Teaching Period Three
Activity Course Enrolment Status Open Enrols/Capacity 0/26
Offering Period 14/09/2020 - 13/12/2020 Meeting Dates Standard dates Census Date 11/10/2020
Instruction Mode Distance Delivery Consent Consent not required
Meeting Information
Class Notes
Back to top
Class Nbr 6116 Section 1PGA Teaching Period T3 - Teaching Period Three
Activity Lecture Status Open Enrols/Capacity 4/30*
Offering Period 14/09/2020 - 13/12/2020 Meeting Dates Standard dates Census Date 11/10/2020
Instruction Mode World Wide Web Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Tue 11:00 - 13:00 Online (ONLINE) 1-5,7-10 Dr G Klein
Wed 16:00 - 18:00 Online (ONLINE) 1-5,7-10 Dr G Klein
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