|
Offering information, including the availability of offerings and timetabling information, is subject to change.
|
Go to: |
New search by Teaching Period |
If there is any inconsistency in the description of activities between the timetable and the Course Outline, the description
in the Course Outline applies.
|
At times it may become necessary to cancel advertised offerings.
|
| Data is correct as at Fri, 25-10-2024 09:34:02 EST |
|
|
|
| COMP4161 Advanced Topics in Software Verification |
| This course is scheduled for offering in the following teaching periods for 2024. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
| |
TERM THREE |
| |
|
Dr G Klein |
06-OCT-2024 |
|
|
|
|
|
|
| SUMMARY OF TERM THREE CLASSES
|
| Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
| Course Enrolment |
T3 |
1417 |
CR01 |
Open |
0/18 |
|
| Lecture |
T3 |
6125 |
1UGA |
Open |
13/20* |
Mon 12:00 - 14:00 (Weeks:1-4,7-10), Wed 12:00 - 14:00 (Weeks:1-5,7-10) |
| Lecture |
T3 |
6126 |
1UGB |
Open |
4/15* |
Mon 12:00 - 14:00 (Weeks:1-4,7-10), Wed 12:00 - 14:00 (Weeks:1-5,7-10) |
|
| (* = jointly taught class) |
|
|
|
| TERM THREE CLASSES - Detail |
|
|
|
| Class Nbr |
1417 |
Section |
CR01 |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Course Enrolment |
Status |
Open |
Enrols/Capacity |
0/18 |
|
| Offering Period |
09/09/2024 - 08/12/2024 |
Meeting Dates |
Standard dates |
Census Date |
06/10/2024 |
|
| Mode of Delivery |
Online |
Consent |
Consent not required |
|
|
| Meeting Information |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
6125 |
Section |
1UGA |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
13/20* |
|
| Offering Period |
09/09/2024 - 08/12/2024 |
Meeting Dates |
Standard dates |
Census Date |
06/10/2024 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Mon |
12:00 - 14:00 |
Science & Engineering G07 (K-E8-G07) |
1-4,7-10 |
Dr TA Sewell,Dr M Tanaka |
| Wed |
12:00 - 14:00 |
Rupert Myers Theatre (K-M15-1001) |
1-5,7-10 |
Dr TA Sewell,Dr M Tanaka |
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
6126 |
Section |
1UGB |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
4/15* |
|
| Offering Period |
09/09/2024 - 08/12/2024 |
Meeting Dates |
Standard dates |
Census Date |
06/10/2024 |
|
| Mode of Delivery |
Online |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Mon |
12:00 - 14:00 |
Online (ONLINE) |
1-4,7-10 |
Dr TA Sewell,Dr M Tanaka |
| Wed |
12:00 - 14:00 |
Online (ONLINE) |
1-5,7-10 |
Dr TA Sewell,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 2024. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
| |
TERM THREE |
| |
|
Dr G Klein |
06-OCT-2024 |
|
|
|
|
|
|
| SUMMARY OF TERM THREE CLASSES
|
| Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
| Course Enrolment |
T3 |
1501 |
CR01 |
Open |
0/6 |
|
| Lecture |
T3 |
6127 |
1PGA |
Open |
7/10* |
Mon 12:00 - 14:00 (Weeks:1-4,7-10), Wed 12:00 - 14:00 (Weeks:1-5,7-10) |
| Lecture |
T3 |
6128 |
1PGB |
Open |
7/10* |
Mon 12:00 - 14:00 (Weeks:1-4,7-10), Wed 12:00 - 14:00 (Weeks:1-5,7-10) |
|
| (* = jointly taught class) |
|
|
|
| TERM THREE CLASSES - Detail |
|
|
|
| Class Nbr |
1501 |
Section |
CR01 |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Course Enrolment |
Status |
Open |
Enrols/Capacity |
0/6 |
|
| Offering Period |
09/09/2024 - 08/12/2024 |
Meeting Dates |
Standard dates |
Census Date |
06/10/2024 |
|
| Mode of Delivery |
Multimodal |
Consent |
Consent not required |
|
|
| Meeting Information |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
6127 |
Section |
1PGA |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
7/10* |
|
| Offering Period |
09/09/2024 - 08/12/2024 |
Meeting Dates |
Standard dates |
Census Date |
06/10/2024 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Mon |
12:00 - 14:00 |
Science & Engineering G07 (K-E8-G07) |
1-4,7-10 |
Dr TA Sewell,Dr M Tanaka |
| Wed |
12:00 - 14:00 |
Rupert Myers Theatre (K-M15-1001) |
1-5,7-10 |
Dr TA Sewell,Dr M Tanaka |
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
6128 |
Section |
1PGB |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
7/10* |
|
| Offering Period |
09/09/2024 - 08/12/2024 |
Meeting Dates |
Standard dates |
Census Date |
06/10/2024 |
|
| Mode of Delivery |
Online |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Mon |
12:00 - 14:00 |
Online (ONLINE) |
1-4,7-10 |
Dr TA Sewell,Dr M Tanaka |
| Wed |
12:00 - 14:00 |
Online (ONLINE) |
1-5,7-10 |
Dr TA Sewell,Dr M Tanaka |
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Back to top |
|