The University of New South Wales
Class Details
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, 14-09-2023 01:03:03 EST

COMP6721 (In-)Formal Methods: The Lost Art
Faculty Faculty of Engineering School School of Computer Sci & Eng Go to Online Handbook record
Select new Course for same Subject Area
Select new Subject Area
Campus Sydney Career Undergraduate
This course is scheduled for offering in the following teaching periods for 2023.

Teaching Period Staff Contact Census Date Notes
  TERM TWO
 
  T2
Prof C Morgan 25-JUN-2023  
SUMMARY OF TERM TWO CLASSES
Go to Class Detail records - TERM TWO
Teaching Period Two

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 - 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 7233 Section 1UGA Teaching Period T2 - Teaching Period Two
Activity Lecture Status Open Enrols/Capacity 25/30*
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
COMP6721 (In-)Formal Methods: The Lost Art
Faculty Faculty of Engineering School School of Computer Sci & Eng Go to Online Handbook record
Select new Course for same Subject Area
Select new Subject Area
Campus Sydney Career Postgraduate
This course is scheduled for offering in the following teaching periods for 2023.

Teaching Period Staff Contact Census Date Notes
  TERM TWO
 
  T2
Prof C Morgan 25-JUN-2023  
SUMMARY OF TERM TWO CLASSES
Go to Class Detail records - TERM TWO
Teaching Period Two

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