|
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 Thu, 18-09-2025 01:03:05 EST |
|
|
|
| COMP9153 Algorithmic Verification |
| This course is scheduled for offering in the following teaching periods for 2025. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
| |
TERM THREE |
| |
|
P Hunter |
09-OCT-2025 |
|
|
|
|
|
|
| SUMMARY OF TERM THREE CLASSES
|
|
| TERM THREE CLASSES - Detail |
|
|
|
| Class Nbr |
1605 |
Section |
CR01 |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Course Enrolment |
Status |
Open |
Enrols/Capacity |
0/9 |
|
| Offering Period |
15/09/2025 - 14/12/2025 |
Meeting Dates |
Standard dates |
Census Date |
09/10/2025 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
|
|
| Meeting Information |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
7124 |
Section |
A |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
24/33* |
|
| Offering Period |
15/09/2025 - 14/12/2025 |
Meeting Dates |
Standard dates |
Census Date |
09/10/2025 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Tue |
14:00 - 16:00 |
Ainsworth G02 (K-J17-G02) |
1-5,7-10 |
P Hunter,Prof R Van der Meyden |
| Thu |
11:00 - 13:00 |
Ainsworth 102 (K-J17-102) |
1-5,7-10 |
P Hunter,Prof R Van der Meyden |
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
7125 |
Section |
F10A |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Tutorial |
Status |
Open |
Enrols/Capacity |
4/8* |
|
| Offering Period |
15/09/2025 - 14/12/2025 |
Meeting Dates |
Standard dates |
Census Date |
09/10/2025 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Fri |
10:00 - 12:00 |
Wallace Wurth LG03 (K-C27-LG03) |
1-5,7-10 |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
7126 |
Section |
F15A |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Tutorial |
Status |
Open |
Enrols/Capacity |
7/8* |
|
| Offering Period |
15/09/2025 - 14/12/2025 |
Meeting Dates |
Standard dates |
Census Date |
09/10/2025 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Fri |
15:00 - 17:00 |
Quadrangle G047 (K-E15-G047) |
1-5,7-10 |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
7128 |
Section |
W16A |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Tutorial |
Status |
Open |
Enrols/Capacity |
5/9* |
|
| Offering Period |
15/09/2025 - 14/12/2025 |
Meeting Dates |
Standard dates |
Census Date |
09/10/2025 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Wed |
16:00 - 18:00 |
Law Theatre G02 (K-F8-G02) |
1-5,7-10 |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
7129 |
Section |
W16B |
Teaching Period |
T3 - Teaching Period Three |
|
| Activity |
Tutorial |
Status |
Open |
Enrols/Capacity |
8/11* |
|
| Offering Period |
15/09/2025 - 14/12/2025 |
Meeting Dates |
Standard dates |
Census Date |
09/10/2025 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Wed |
16:00 - 18:00 |
Science & Engineering G07 (K-E8-G07) |
1-5,7-10 |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Back to top |
|