|
Offering information, including the availability of offerings and timetabling information, is subject to change.
|
Go to: |
New search by Teaching Period |
At times it may become necessary to cancel advertised offerings.
|
| Data is correct as at Thu, 17-09-2020 01:10:04 EST |
|
|
|
| COMP6721 (In-)Formal Methods: The Lost Art |
| This course is scheduled for offering in the following teaching periods for 2020. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
| |
TERM TWO |
| |
|
Prof C Morgan |
28-JUN-2020 |
|
|
|
|
|
|
| SUMMARY OF TERM TWO CLASSES
|
| Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
| Course Enrolment |
T2 |
1829 |
CR01 |
Open |
0/1 |
|
| Lecture |
T2 |
7352 |
1UGA |
Open |
14/15* |
Tue 12:00 - 14:00 (Weeks:1-5,7-10), Wed 12:00 - 13:00 (Weeks:1-5,7-10), Fri 12:00 - 13:00 (Weeks:1-5,7-10) |
|
| (* = jointly taught class) |
|
|
|
| TERM TWO CLASSES - Detail |
|
|
|
| Class Nbr |
1829 |
Section |
CR01 |
Teaching Period |
T2 - Teaching Period Two |
|
| Activity |
Course Enrolment |
Status |
Open |
Enrols/Capacity |
0/1 |
|
| Offering Period |
01/06/2020 - 30/08/2020 |
Meeting Dates |
Standard dates |
Census Date |
28/06/2020 |
|
| Instruction Mode |
In Person |
Consent |
Consent not required |
|
|
| Meeting Information |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
7352 |
Section |
1UGA |
Teaching Period |
T2 - Teaching Period Two |
|
| Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
14/15* |
|
| Offering Period |
01/06/2020 - 30/08/2020 |
Meeting Dates |
Standard dates |
Census Date |
28/06/2020 |
|
| Instruction Mode |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Tue |
12:00 - 14:00 |
Online (ONLINE) |
1-5,7-10 |
Prof C Morgan |
| Wed |
12:00 - 13:00 |
Online (ONLINE) |
1-5,7-10 |
Prof C Morgan |
| Fri |
12:00 - 13:00 |
Online (ONLINE) |
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 2020. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
| |
TERM TWO |
| |
|
Prof C Morgan |
28-JUN-2020 |
|
|
|
|
|
|
| SUMMARY OF TERM TWO CLASSES
|
| Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
| Course Enrolment |
T2 |
1006 |
CR01 |
Open |
0/15 |
|
| Lecture |
T2 |
7353 |
1PGA |
Open |
1/15* |
Tue 12:00 - 14:00 (Weeks:1-5,7-10), Wed 12:00 - 13:00 (Weeks:1-5,7-10), Fri 12:00 - 13:00 (Weeks:1-5,7-10) |
|
| (* = jointly taught class) |
|
|
|
| TERM TWO CLASSES - Detail |
|
|
|
| Class Nbr |
1006 |
Section |
CR01 |
Teaching Period |
T2 - Teaching Period Two |
|
| Activity |
Course Enrolment |
Status |
Open |
Enrols/Capacity |
0/15 |
|
| Offering Period |
01/06/2020 - 30/08/2020 |
Meeting Dates |
Standard dates |
Census Date |
28/06/2020 |
|
| Instruction Mode |
In Person |
Consent |
Consent not required |
|
|
| Meeting Information |
|
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Class Nbr |
7353 |
Section |
1PGA |
Teaching Period |
T2 - Teaching Period Two |
|
| Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
1/15* |
|
| Offering Period |
01/06/2020 - 30/08/2020 |
Meeting Dates |
Standard dates |
Census Date |
28/06/2020 |
|
| Instruction Mode |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Tue |
12:00 - 14:00 |
Online (ONLINE) |
1-5,7-10 |
Prof C Morgan |
| Wed |
12:00 - 13:00 |
Online (ONLINE) |
1-5,7-10 |
Prof C Morgan |
| Fri |
12:00 - 13:00 |
Online (ONLINE) |
1-5,7-10 |
Prof C Morgan |
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Back to top |
|