|
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 Mon, 25-05-2026 01:03:19 EST |
|
|
|
| COMP2111 Foundations of Formal Methods |
| This course is scheduled for offering in the following teaching periods for 2026. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
| |
TERM TWO |
| |
|
S Sequoiah-Grayson |
25-JUN-2026 |
|
|
|
|
|
|
| SUMMARY OF TERM TWO CLASSES
|
| Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
| Course Enrolment |
T2 |
3412 |
CR01 |
Full |
13/13 |
|
| Lecture |
T2 |
6667 |
1UGA |
Open |
56/60 |
Tue 11:00 - 13:00 (Weeks:1-5,7-10), Thu 11:00 - 13:00 (Weeks:1-5,7-10) |
| Lecture |
T2 |
14252 |
1UGB |
Open |
25/34 |
Tue 11:00 - 13:00 (Weeks:1-5), Tue 11:00 - 13:00 (Weeks:7-10), Thu 11:00 - 13:00 (Weeks:1-5,7-10) |
| Tutorial-Laboratory |
T2 |
14253 |
F09A |
Open |
9/24 |
Fri 09:00 - 11:00 (Weeks:1-5), Fri 09:00 - 11:00 (Weeks:7-10) |
| Tutorial-Laboratory |
T2 |
6668 |
T14A |
Full |
24/24 |
Tue 14:00 - 16:00 (Weeks:1-5), Tue 14:00 - 16:00 (Weeks:7-10) |
| Tutorial-Laboratory |
T2 |
6669 |
T16A |
Full |
24/24 |
Tue 16:00 - 18:00 (Weeks:1-5), Tue 16:00 - 18:00 (Weeks:7-10) |
| Tutorial-Laboratory |
T2 |
6670 |
W10A |
Full |
24/24 |
Wed 10:00 - 12:00 (Weeks:1-5), Wed 10:00 - 12:00 (Weeks:7-10) |
|
| (* = jointly taught class) |
|
|
|
| TERM TWO CLASSES - Detail |
|
|
|
| Class Nbr |
3412 |
Section |
CR01 |
Teaching Period |
T2 - Teaching Period Two |
|
| Activity |
Course Enrolment |
Status |
Full |
Enrols/Capacity |
13/13 |
|
| Offering Period |
01/06/2026 - 30/08/2026 |
Meeting Dates |
Standard dates |
Census Date |
25/06/2026 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
|
|
| Meeting Information |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
6667 |
Section |
1UGA |
Teaching Period |
T2 - Teaching Period Two |
|
| Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
56/60 |
|
| Offering Period |
01/06/2026 - 30/08/2026 |
Meeting Dates |
Standard dates |
Census Date |
25/06/2026 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
|
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Tue |
11:00 - 13:00 |
Old Main Building 150 (K-K15-150) |
1-5,7-10 |
S Sequoiah-Grayson |
| Thu |
11:00 - 13:00 |
H13 Lawrence East M032 (K-H13-M032) |
1-5,7-10 |
S Sequoiah-Grayson |
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
14252 |
Section |
1UGB |
Teaching Period |
T2 - Teaching Period Two |
|
| Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
25/34 |
|
| Offering Period |
01/06/2026 - 30/08/2026 |
Meeting Dates |
Standard dates |
Census Date |
25/06/2026 |
|
| Mode of Delivery |
Online |
Consent |
Consent not required |
|
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Tue |
11:00 - 13:00 |
Online (ONLINE) |
1-5 |
S Sequoiah-Grayson |
| Tue |
11:00 - 13:00 |
Online (ONLINE) |
7-10 |
|
| Thu |
11:00 - 13:00 |
Online (ONLINE) |
1-5,7-10 |
S Sequoiah-Grayson |
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
14253 |
Section |
F09A |
Teaching Period |
T2 - Teaching Period Two |
|
| Activity |
Tutorial-Laboratory |
Status |
Open |
Enrols/Capacity |
9/24 |
|
| Offering Period |
01/06/2026 - 30/08/2026 |
Meeting Dates |
Standard dates |
Census Date |
25/06/2026 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
|
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Fri |
09:00 - 11:00 |
Quadrangle 1046 (K-E15-1046) |
1-5 |
|
| Fri |
09:00 - 11:00 |
Strings Lab J17 302 (K-J17-302) |
7-10 |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
6668 |
Section |
T14A |
Teaching Period |
T2 - Teaching Period Two |
|
| Activity |
Tutorial-Laboratory |
Status |
Full |
Enrols/Capacity |
24/24 |
|
| Offering Period |
01/06/2026 - 30/08/2026 |
Meeting Dates |
Standard dates |
Census Date |
25/06/2026 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
|
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Tue |
14:00 - 16:00 |
Goldstein G01 (K-D16-G01) |
1-5 |
|
| Tue |
14:00 - 16:00 |
Bongo Lab K17 G07A (K-K17-G07A) |
7-10 |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
6669 |
Section |
T16A |
Teaching Period |
T2 - Teaching Period Two |
|
| Activity |
Tutorial-Laboratory |
Status |
Full |
Enrols/Capacity |
24/24 |
|
| Offering Period |
01/06/2026 - 30/08/2026 |
Meeting Dates |
Standard dates |
Census Date |
25/06/2026 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
|
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Tue |
16:00 - 18:00 |
Goldstein G01 (K-D16-G01) |
1-5 |
|
| Tue |
16:00 - 18:00 |
Bongo Lab K17 G07A (K-K17-G07A) |
7-10 |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
6670 |
Section |
W10A |
Teaching Period |
T2 - Teaching Period Two |
|
| Activity |
Tutorial-Laboratory |
Status |
Full |
Enrols/Capacity |
24/24 |
|
| Offering Period |
01/06/2026 - 30/08/2026 |
Meeting Dates |
Standard dates |
Census Date |
25/06/2026 |
|
| Mode of Delivery |
In Person |
Consent |
Consent not required |
|
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Wed |
10:00 - 12:00 |
Squarehouse 208 (K-E4-208) |
1-5 |
|
| Wed |
10:00 - 12:00 |
Bongo Lab K17 G07A (K-K17-G07A) |
7-10 |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Back to top |
|