COMP2600: Formal Methods for Software Engineering

Schedule

Here is an approximate schedule of lectures, tutorials and assessments.
It may change as the semester progresses, so check it regularly.
Updated 21st September, 2009.

Messages

The lectures on Thursday and Friday of week 12 are an opportunity for you to ask questions that may help your preparation for the final exam. Come prepared. In particular, you may wish to ask about some of the questions on last year's paper.
Assignment 4 is now available. It is due at 11am on Monday 26th October.
Worked solutions for several past years' assignments are available. You may find them useful study aids. Follow the link to last year's Assignments pages. From there is a link to 2007 and so on.

Drop-in tutorials

Depending on perceived demand, there will be occasional extra tutorial sessions for students seeking more help with their study. You can also ask for individual assistance at my office, of course.

Week 12: Wednesday 21st October 3-4pm in N108
Week 13: No session - see Clem for assistance