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 Wed, 19-09-2018 01:10:05 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 2018.

Teaching Period Staff Contact Census Date Notes
  SEMESTER TWO
 
  T2
Dr G Klein 31-AUG-2018  
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
Course Enrolment T2 12129 CR01 Open 0/8
Lecture T2 5353 1UGA Open 12/20* Tue 09:00 - 10:30 (Weeks:1-9,10-12), Fri 10:30 - 12:00 (Weeks:1-9,10-12)
(* = jointly taught class)

SEMESTER TWO CLASSES - Detail
Class Nbr 12129 Section CR01 Teaching Period T2 - Teaching Period Two
Activity Course Enrolment Status Open Enrols/Capacity 0/8
Offering Period 23/07/2018 - 28/10/2018 Meeting Dates Standard dates Census Date 31/08/2018
Instruction Mode In Person Consent Consent not required
Meeting Information
Class Notes
Back to top
Class Nbr 5353 Section 1UGA Teaching Period T2 - Teaching Period Two
Activity Lecture Status Open Enrols/Capacity 12/20*
Offering Period 23/07/2018 - 28/10/2018 Meeting Dates Standard dates Census Date 31/08/2018
Instruction Mode In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Tue 09:00 - 10:30 Ainsworth 201 (K-J17-201) 1-9,10-12 Dr G Klein,Dr J Andronick,Mr R Kumar
Fri 10:30 - 12:00 Ainsworth 201 (K-J17-201) 1-9,10-12 Dr G Klein,Dr J Andronick,Mr R Kumar
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 2018.

Teaching Period Staff Contact Census Date Notes
  SEMESTER TWO
 
  T2
Dr G Klein 31-AUG-2018  
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
Course Enrolment T2 12128 CR01 Open 0/29
Lecture T2 5354 1PGA Open 1/30* Tue 09:00 - 10:30 (Weeks:1-9,10-12), Fri 10:30 - 12:00 (Weeks:1-9,10-12)
(* = jointly taught class)

SEMESTER TWO CLASSES - Detail
Class Nbr 12128 Section CR01 Teaching Period T2 - Teaching Period Two
Activity Course Enrolment Status Open Enrols/Capacity 0/29
Offering Period 23/07/2018 - 28/10/2018 Meeting Dates Standard dates Census Date 31/08/2018
Instruction Mode In Person Consent Consent not required
Meeting Information
Class Notes
Back to top
Class Nbr 5354 Section 1PGA Teaching Period T2 - Teaching Period Two
Activity Lecture Status Open Enrols/Capacity 1/30*
Offering Period 23/07/2018 - 28/10/2018 Meeting Dates Standard dates Census Date 31/08/2018
Instruction Mode In Person Consent Consent not required (* = jointly taught class)
Meeting Information
Day Time Location Weeks Instructor
Tue 09:00 - 10:30 Ainsworth 201 (K-J17-201) 1-9,10-12 Dr G Klein,Dr J Andronick,Mr R Kumar
Fri 10:30 - 12:00 Ainsworth 201 (K-J17-201) 1-9,10-12 Dr G Klein,Dr J Andronick,Mr R Kumar
Class Notes
Back to top
Back to top