|
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, 21-09-2017 01:10:04 EST |
|
|
|
| COMP4161 Advanced Topics in Software Verification |
| This course is scheduled for offering in the following teaching periods for 2017. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
| |
SEMESTER TWO |
| |
|
Dr G Klein |
31-AUG-2017 |
|
|
|
|
|
|
| SUMMARY OF SEMESTER TWO CLASSES
|
| Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
| Lecture |
T2 |
4932 |
1UGA |
Open |
12/20* |
Mon 09:30 - 11:00 (Weeks:1-9,10-12), Thu 12:00 - 13:30 (Weeks:1-9,10-12) |
|
| (* = jointly taught class) |
|
|
|
| SEMESTER TWO CLASSES - Detail |
|
|
|
| Class Nbr |
4932 |
Section |
1UGA |
Teaching Period |
T2 - Teaching Period Two |
|
| Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
12/20* |
|
| Offering Period |
24/07/2017 - 29/10/2017 |
Meeting Dates |
Standard dates |
Census Date |
31/08/2017 |
|
| Instruction Mode |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Mon |
09:30 - 11:00 |
Old Main Building 150 (K-K15-150) |
1-9,10-12 |
Dr G Klein,Dr J Andronick,Mr R Kumar |
| Thu |
12:00 - 13:30 |
Chemical Sc M10 (K-F10-M10) |
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 |
| This course is scheduled for offering in the following teaching periods for 2017. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
| |
SEMESTER TWO |
| |
|
Dr G Klein |
31-AUG-2017 |
|
|
|
|
|
|
| SUMMARY OF SEMESTER TWO CLASSES
|
| Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
| Lecture |
T2 |
4933 |
1PGA |
Open |
7/25* |
Mon 09:30 - 11:00 (Weeks:1-9,10-12), Thu 12:00 - 13:30 (Weeks:1-9,10-12) |
|
| (* = jointly taught class) |
|
|
|
| SEMESTER TWO CLASSES - Detail |
|
|
|
| Class Nbr |
4933 |
Section |
1PGA |
Teaching Period |
T2 - Teaching Period Two |
|
| Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
7/25* |
|
| Offering Period |
24/07/2017 - 29/10/2017 |
Meeting Dates |
Standard dates |
Census Date |
31/08/2017 |
|
| Instruction Mode |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Mon |
09:30 - 11:00 |
Old Main Building 150 (K-K15-150) |
1-9,10-12 |
Dr G Klein,Dr J Andronick,Mr R Kumar |
| Thu |
12:00 - 13:30 |
Chemical Sc M10 (K-F10-M10) |
1-9,10-12 |
Dr G Klein,Dr J Andronick,Mr R Kumar |
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Back to top |
|