|
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, 25-09-2014 01:10:09 EST |
|
|
|
| COMP9153 Algorithmic Verification |
| This course is scheduled for offering in the following teaching periods for 2014. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
| |
SEMESTER ONE |
| |
|
Dr F Cassez |
31-MAR-2014 |
Please email postgrad@cse.unsw.edu.aut to be placed on a waiting list if you are unable to enrol |
|
|
|
|
|
| SUMMARY OF SEMESTER ONE CLASSES
|
| Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
| Lecture |
T1 |
6460 |
1PGA |
Open |
6/8* |
Tue 14:00 - 16:00 (Weeks:1-7,8-12), Wed 12:00 - 13:00 (Weeks:1-7,8-12) |
|
| (* = jointly taught class) |
|
|
|
| SEMESTER ONE CLASSES - Detail |
|
|
|
| Class Nbr |
6460 |
Section |
1PGA |
Teaching Period |
T1 - Teaching Period One |
|
| Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
6/8* |
|
| Offering Period |
03/03/2014 - 08/06/2014 |
Meeting Dates |
Standard dates |
Census Date |
31/03/2014 |
|
| Instruction Mode |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
| Meeting Information |
|
| Day |
Time |
Location |
Weeks |
Instructor |
|
| Tue |
14:00 - 16:00 |
Quadrangle G045 (K-E15-G045) |
1-7,8-12 |
Dr F Cassez,Dr P Hofner |
| Wed |
12:00 - 13:00 |
Quadrangle G027 (K-E15-G027) |
1-7,8-12 |
Dr F Cassez,Dr P Hofner |
|
|
| Class Notes |
|
|
| Back to top |
|
|
| Back to top |
|