- The exam is a 24h take-home exam, starting 8am Fri 26 Oct 2012, due 7:59am on 27 Oct 2012.
- Exam specification [pdf] and theory file [thy].
- The submission system is now closed.
- You need to submit a .thy file using give, you may submit an additional pdf file. Example:
give cs4161 exam exam.thy
- If you have trouble using the submission system, you can also submit your exam to one of the lecturers by email. -->