Workshop on Reasoning about Programs SENG2011 26T3

Welcome to SENG2011!

Posted by Ayra Saqib Sunday 13 September 2026, 03:29:30 PM.

Hi everyone, and welcome to SENG2011! I'm Ayra, and I will be your course admin this term. Albert Nymeyer will be your lecturer/course convenor, and Stephen will be managing the forum, answering your questions, and creating some practice exercises for the course.

This course's resources include:

• WebCMS3, the main course website and the main source of information. You can find the course outline, course announcements, lecture slides, practice exercises, quizzes, assignments, and exam information here.
• Moodle, which has lecture recordings, but attending lectures in person is highly recommended as they will be much more engaging and interactive.
• Discourse forum, which should be your first point of contact for most questions about the course. It is accessible here or through the sidebar. The login details for the forum are your zID and zPass.

I encourage you all to be actively asking and answering questions - explaining concepts to others is a great way to learn. Course announcements will not be posted on the forum.

For some queries, it may be more appropriate to talk directly to course staff by emailing the course account se2011@cse.unsw.edu.au rather than posting on the forum. This is also preferred over contacting course staff through personal email addresses.

Make sure you have read both the course outline on ECOS and the Course Outline Appendix so that you are familiar with the prerequisite knowledge that is expected of you, the course schedule, and assessment details.

The first lecture will be on Friday 12-3pm in Electrical Engineering G23. Enjoy learning and experimenting in SENG2011, and we’re looking forward to meeting you!