|
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, 11-09-2023 01:03:17 EST |
|
|
|
COMP6721 (In-)Formal Methods: The Lost Art |
This course is scheduled for offering in the following teaching periods for 2023. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
|
TERM TWO |
|
|
Prof C Morgan |
25-JUN-2023 |
|
|
|
|
|
|
SUMMARY OF TERM TWO CLASSES
|
Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
Course Enrolment |
T2 |
1270 |
CR01 |
Open |
0/5 |
|
Lecture |
T2 |
7233 |
1UGA |
Open |
25/30* |
Tue 10:00 - 12:00 (Weeks:1-5,7-10), Wed 11:00 - 12:00 (Weeks:1-5,7-10), Fri 11:00 - 12:00 (Weeks:1-5,7-10) |
|
(* = jointly taught class) |
|
|
|
TERM TWO CLASSES - Detail |
|
|
|
Class Nbr |
1270 |
Section |
CR01 |
Teaching Period |
T2 - Teaching Period Two |
|
Activity |
Course Enrolment |
Status |
Open |
Enrols/Capacity |
0/5 |
|
Offering Period |
29/05/2023 - 08/09/2023 |
Meeting Dates |
Standard dates |
Census Date |
25/06/2023 |
|
Mode of Delivery |
In Person |
Consent |
Consent not required |
|
|
Meeting Information |
|
|
|
Class Notes |
|
|
Back to top |
|
|
Class Nbr |
7233 |
Section |
1UGA |
Teaching Period |
T2 - Teaching Period Two |
|
Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
25/30* |
|
Offering Period |
29/05/2023 - 08/09/2023 |
Meeting Dates |
Standard dates |
Census Date |
25/06/2023 |
|
Mode of Delivery |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
Meeting Information |
|
Day |
Time |
Location |
Weeks |
Instructor |
|
Tue |
10:00 - 12:00 |
Ainsworth 202 (K-J17-202) |
1-5,7-10 |
Prof C Morgan |
Wed |
11:00 - 12:00 |
Old Main Building 230 (K-K15-230) |
1-5,7-10 |
Prof C Morgan |
Fri |
11:00 - 12:00 |
Electrical Engineering G09 (K-G17-G09) |
1-5,7-10 |
Prof C Morgan |
|
|
Class Notes |
|
|
Back to top |
|
|
Back to top |
|
COMP6721 (In-)Formal Methods: The Lost Art |
This course is scheduled for offering in the following teaching periods for 2023. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
|
TERM TWO |
|
|
Prof C Morgan |
25-JUN-2023 |
|
|
|
|
|
|
SUMMARY OF TERM TWO CLASSES
|
Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
Course Enrolment |
T2 |
2727 |
CR01 |
Full |
0/0 |
|
Lecture |
T2 |
7234 |
1PGA |
Full |
20/20* |
Tue 10:00 - 12:00 (Weeks:1-5,7-10), Wed 11:00 - 12:00 (Weeks:1-5,7-10), Fri 11:00 - 12:00 (Weeks:1-5,7-10) |
|
(* = jointly taught class) |
|
|
|
TERM TWO CLASSES - Detail |
|
|
|
Class Nbr |
2727 |
Section |
CR01 |
Teaching Period |
T2 - Teaching Period Two |
|
Activity |
Course Enrolment |
Status |
Full |
Enrols/Capacity |
0/0 |
|
Offering Period |
29/05/2023 - 27/08/2023 |
Meeting Dates |
Standard dates |
Census Date |
25/06/2023 |
|
Mode of Delivery |
In Person |
Consent |
Consent not required |
|
|
Meeting Information |
|
|
|
Class Notes |
|
|
Back to top |
|
|
Class Nbr |
7234 |
Section |
1PGA |
Teaching Period |
T2 - Teaching Period Two |
|
Activity |
Lecture |
Status |
Full |
Enrols/Capacity |
20/20* |
|
Offering Period |
29/05/2023 - 27/08/2023 |
Meeting Dates |
Standard dates |
Census Date |
25/06/2023 |
|
Mode of Delivery |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
Meeting Information |
|
Day |
Time |
Location |
Weeks |
Instructor |
|
Tue |
10:00 - 12:00 |
Ainsworth 202 (K-J17-202) |
1-5,7-10 |
Prof C Morgan |
Wed |
11:00 - 12:00 |
Old Main Building 230 (K-K15-230) |
1-5,7-10 |
Prof C Morgan |
Fri |
11:00 - 12:00 |
Electrical Engineering G09 (K-G17-G09) |
1-5,7-10 |
Prof C Morgan |
|
|
Class Notes |
|
|
Back to top |
|
|
Back to top |
|