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 Sat, 04-04-2026 01:03:20 EST

COMP2111 Foundations of Formal Methods
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 2026.

Teaching Period Staff Contact Census Date Notes
  TERM TWO
 
  T2
S Sequoiah-Grayson 25-JUN-2026  
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 3412 CR01 Open 51/60
Lecture T2 6667 1UGA Open 0/60 Tue 11:00 - 13:00 (Weeks:1-5,7-10), Thu 11:00 - 13:00 (Weeks:1-5,7-10)
Tutorial-Laboratory T2 6668 T14A Open 0/24 Tue 14:00 - 16:00 (Weeks:1-5), Tue 14:00 - 16:00 (Weeks:7-10)
Tutorial-Laboratory T2 6669 T16A Open 0/24 Tue 16:00 - 18:00 (Weeks:1-5), Tue 16:00 - 18:00 (Weeks:7-10)
Tutorial-Laboratory T2 6670 W10A Open 0/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 Open Enrols/Capacity 51/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
Class Notes
Back to top
Class Nbr 6667 Section 1UGA Teaching Period T2 - Teaching Period Two
Activity Lecture Status Open Enrols/Capacity 0/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 6668 Section T14A Teaching Period T2 - Teaching Period Two
Activity Tutorial-Laboratory Status Open Enrols/Capacity 0/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 Open Enrols/Capacity 0/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 Open Enrols/Capacity 0/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
UNSW Sydney NSW 2052, Australia Telephone: (within Aust.) 02 9385 1000, (International) +61 2 9385 1000
CRICOS Provider Code 00098G ABN: 57 195 873 179 Authorised by Vice-President and Deputy Vice-Chancellor (Academic)Privacy Policy  Copyright & Disclaimer  Accessibility