|
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 Sat, 21-09-2019 01:10:04 EST |
|
|
|
COMP4161 Advanced Topics in Software Verification |
This course is scheduled for offering in the following teaching periods for 2019. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
|
TERM THREE |
|
|
Dr M Tanaka |
13-OCT-2019 |
|
|
|
|
|
|
SUMMARY OF TERM THREE CLASSES
|
Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
Course Enrolment |
T3 |
2565 |
CR01 |
Open |
0/11 |
|
Lecture |
T3 |
6149 |
1UGA |
Open |
9/20* |
Tue 10:00 - 12:00 (Weeks:1-10), Wed 10:00 - 12:00 (Weeks:1-10) |
|
(* = jointly taught class) |
|
|
|
TERM THREE CLASSES - Detail |
|
|
|
Class Nbr |
2565 |
Section |
CR01 |
Teaching Period |
T3 - Teaching Period Three |
|
Activity |
Course Enrolment |
Status |
Open |
Enrols/Capacity |
0/11 |
|
Offering Period |
16/09/2019 - 15/12/2019 |
Meeting Dates |
Standard dates |
Census Date |
13/10/2019 |
|
Instruction Mode |
In Person |
Consent |
Consent not required |
|
|
Meeting Information |
|
|
|
Class Notes |
|
|
Back to top |
|
|
Class Nbr |
6149 |
Section |
1UGA |
Teaching Period |
T3 - Teaching Period Three |
|
Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
9/20* |
|
Offering Period |
16/09/2019 - 15/12/2019 |
Meeting Dates |
Standard dates |
Census Date |
13/10/2019 |
|
Instruction Mode |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
Meeting Information |
|
Day |
Time |
Location |
Weeks |
Instructor |
|
Tue |
10:00 - 12:00 |
Electrical Engineering G04 (K-G17-G04) |
1-10 |
Dr M Tanaka |
Wed |
10:00 - 12:00 |
UNSW Business School 205 (K-E12-205) |
1-10 |
Dr M Tanaka |
|
|
Class Notes |
|
|
Back to top |
|
|
Back to top |
|
COMP4161 Advanced Topics in Software Verification |
This course is scheduled for offering in the following teaching periods for 2019. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
|
TERM THREE |
|
|
Dr M Tanaka |
13-OCT-2019 |
|
|
|
|
|
|
SUMMARY OF TERM THREE CLASSES
|
Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
Course Enrolment |
T3 |
1596 |
CR01 |
Open |
0/6 |
|
Lecture |
T3 |
6150 |
1PGA |
Open |
4/10* |
Tue 10:00 - 12:00 (Weeks:1-10), Wed 10:00 - 12:00 (Weeks:1-10) |
|
(* = jointly taught class) |
|
|
|
TERM THREE CLASSES - Detail |
|
|
|
Class Nbr |
1596 |
Section |
CR01 |
Teaching Period |
T3 - Teaching Period Three |
|
Activity |
Course Enrolment |
Status |
Open |
Enrols/Capacity |
0/6 |
|
Offering Period |
16/09/2019 - 15/12/2019 |
Meeting Dates |
Standard dates |
Census Date |
13/10/2019 |
|
Instruction Mode |
In Person |
Consent |
Consent not required |
|
|
Meeting Information |
|
|
|
Class Notes |
|
|
Back to top |
|
|
Class Nbr |
6150 |
Section |
1PGA |
Teaching Period |
T3 - Teaching Period Three |
|
Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
4/10* |
|
Offering Period |
16/09/2019 - 15/12/2019 |
Meeting Dates |
Standard dates |
Census Date |
13/10/2019 |
|
Instruction Mode |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
Meeting Information |
|
Day |
Time |
Location |
Weeks |
Instructor |
|
Tue |
10:00 - 12:00 |
Electrical Engineering G04 (K-G17-G04) |
1-10 |
Dr M Tanaka |
Wed |
10:00 - 12:00 |
UNSW Business School 205 (K-E12-205) |
1-10 |
Dr M Tanaka |
|
|
Class Notes |
|
|
Back to top |
|
|
Back to top |