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, 18-09-2025 01:03:05 EST

SENG2011 Workshop on Reasoning about Programs
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 2025.

Teaching Period Staff Contact Census Date Notes
  TERM THREE
 
  T3
Apro A Nymeyer 09-OCT-2025  
SUMMARY OF TERM THREE CLASSES
Go to Class Detail records - TERM THREE
Teaching Period Three

Activity Period Class Section Status Enrols/Capacity Day/Start Time
Course Enrolment T3 2108 CR01 Open 0/21
Lecture T3 8004 1UGA Open 179/200 Wed 13:00 - 16:00 (Weeks:1-5,7-10)
Lecture T3 8005 1UGB Full 80/80 Wed 13:00 - 16:00 (Weeks:1-5,7-10)
(* = jointly taught class)

TERM THREE CLASSES - Detail
Class Nbr 2108 Section CR01 Teaching Period T3 - Teaching Period Three
Activity Course Enrolment Status Open Enrols/Capacity 0/21
Offering Period 15/09/2025 - 14/12/2025 Meeting Dates Standard dates Census Date 09/10/2025
Mode of Delivery Multimodal Consent Consent not required
Meeting Information
Class Notes
Back to top
Class Nbr 8004 Section 1UGA Teaching Period T3 - Teaching Period Three
Activity Lecture Status Open Enrols/Capacity 179/200
Offering Period 15/09/2025 - 14/12/2025 Meeting Dates Standard dates Census Date 09/10/2025
Mode of Delivery In Person Consent Consent not required
Meeting Information
Day Time Location Weeks Instructor
Wed 13:00 - 16:00 F10 June Griffith M18 (K-F10-M18) 1-5,7-10 S Sequoiah-Grayson,Apro A Nymeyer
Class Notes
Back to top
Class Nbr 8005 Section 1UGB Teaching Period T3 - Teaching Period Three
Activity Lecture Status Full Enrols/Capacity 80/80
Offering Period 15/09/2025 - 14/12/2025 Meeting Dates Standard dates Census Date 09/10/2025
Mode of Delivery Online Consent Consent not required
Meeting Information
Day Time Location Weeks Instructor
Wed 13:00 - 16:00 Online (ONLINE) 1-5,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