Workshop on Reasoning about Programs SENG2011 24T3

Notices

  • Supplementary examination

    Posted by Albert Nymeyer about a month ago, last modified about a month ago.

    CSE have informed me that the supplementary exam will be held on Tuesday, February 11th. If you have been granted a supp exam, about a week before that date you should receive an email stating the time and place.

  • Sign-off for 2024

    Posted by Albert Nymeyer 3 months ago.

    Thanks to everyone for participating in SENG2011, we enjoyed giving the course very much. For most of you the course is finished, but there is a large group that will be doing the supplementary exam in 2025 (I cannot give you the exact date or time, the school will contact you in January). 177 students attended the final exam: the distribution of the final course marks for these students is as follows:

    • 95-100 marks: 7 students, 85-94: 23 students, 75-84: 36, 65-74: 37, 50-64: 44
    We have already started on ideas to re-style the course for 2025 taking into account the responses to the survey. If you wish to make any final comments on the legacy of the course for you, Ana has a 'takeaway' thread on the forum. If you wish to make any comments on the lecture slides, particularly where you think they need more work, more explanation, more examples, then please start a new thread. If you want to contact me regarding the course, do so via the forum as it will have my undivided attention over the summer. Good luck in the future.

    Albert (and Stephen and Sam)

  • Assignment 2

    Posted by Albert Nymeyer 3 months ago.

    Assignment 2 results have been released. Also, sample solutions and some general feedback is provided on the Assignments page. If you wish to query your mark, do so on the forum, privately of course, but make sure you have read the general feedback first. Please do not email me.

    • view all notices

Upcoming Due Dates

There is nothing due!

Loading...

Back to top

SENG2011 24T3 (Workshop on Reasoning about Programs) is powered by WebCMS3
CRICOS Provider No. 00098G