|
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 Sun, 05-07-2026 01:03:11 EST |
|
|
|
| COMP9153 Algorithmic Verification |
| This course is scheduled for offering in the following teaching periods for 2026. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
| |
TERM THREE |
| |
|
P Hunter |
08-OCT-2026 |
|
|
|
|
|
|
| SUMMARY OF TERM THREE CLASSES
|
| Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
| Course Enrolment |
T3 |
2726 |
CR01 |
Open |
4/25 |
|
| Lecture |
T3 |
7172 |
A |
Open |
0/25* |
Mon 11:00 - 13:00 (Weeks:1-3,5,7-10), Wed 11:00 - 13:00 (Weeks:1-5,7-10) |
| Tutorial |
T3 |
7173 |
M14A |
Open |
0/22* |
Mon 14:00 - 16:00 (Weeks:1-3,5,7-10) |
| Tutorial |
T3 |
7174 |
M14B |
Open |
0/22* |
Mon 14:00 - 16:00 (Weeks:1-3,5,7-10) |
| Tutorial |
T3 |
7175 |
W09A |
Open |
0/22* |
Wed 09:00 - 11:00 (Weeks:1-5,7-10) |
| Tutorial |
T3 |
7176 |
W14A |
Open |
0/22* |
Wed 14:00 - 16:00 (Weeks:1-5,7-10) |
|
| (* = jointly taught class) |
|
|
|
| TERM THREE CLASSES - Detail |
|
|
|
| Class Nbr |
2726 |
Section |
CR01 |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Course Enrolment |
Status |
Open |
Enrols/Capacity |
4/25 |
|
| Offering Period |
14/09/2026 - 13/12/2026 |
Meeting Dates |
Standard dates |
Census Date |
08/10/2026 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
|
|
| Meeting Information |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
7172 |
Section |
A |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
0/25* |
|
| Offering Period |
14/09/2026 - 13/12/2026 |
Meeting Dates |
Standard dates |
Census Date |
08/10/2026 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Mon |
11:00 - 13:00 |
Tyree Energy Technology LG03 (K-H6-LG03) |
1-3,5,7-10 |
P Hunter |
| Wed |
11:00 - 13:00 |
Tyree Energy Technology LG07 (K-H6-LG07) |
1-5,7-10 |
P Hunter |
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
7173 |
Section |
M14A |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Tutorial |
Status |
Open |
Enrols/Capacity |
0/22* |
|
| Offering Period |
14/09/2026 - 13/12/2026 |
Meeting Dates |
Standard dates |
Census Date |
08/10/2026 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Mon |
14:00 - 16:00 |
Rupert Myers 510 (K-M15-510) |
1-3,5,7-10 |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
7174 |
Section |
M14B |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Tutorial |
Status |
Open |
Enrols/Capacity |
0/22* |
|
| Offering Period |
14/09/2026 - 13/12/2026 |
Meeting Dates |
Standard dates |
Census Date |
08/10/2026 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Mon |
14:00 - 16:00 |
Rupert Myers 440 (K-M15-440) |
1-3,5,7-10 |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
7175 |
Section |
W09A |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Tutorial |
Status |
Open |
Enrols/Capacity |
0/22* |
|
| Offering Period |
14/09/2026 - 13/12/2026 |
Meeting Dates |
Standard dates |
Census Date |
08/10/2026 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Wed |
09:00 - 11:00 |
Quadrangle 1042 (K-E15-1042) |
1-5,7-10 |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
7176 |
Section |
W14A |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Tutorial |
Status |
Open |
Enrols/Capacity |
0/22* |
|
| Offering Period |
14/09/2026 - 13/12/2026 |
Meeting Dates |
Standard dates |
Census Date |
08/10/2026 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Wed |
14:00 - 16:00 |
Law Building 388 (K-F8-388) |
1-5,7-10 |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Back to top |
|