Update: The command for submitting your completed assignments has been updated to reflect the new version of 'submit'.
The following files are for the first Automated Reasoning coursework assignment.
Required Files for MSc:
Required Files for UG4:
Your work should be submitted by 4pm on Friday 26th October 2012 .
The demonstrator, Yuhui Lin (Y.H.Linemail@example.com), will be available to give advice on Isabelle on Wednesdays from 4pm-5pm in room AT 4.12 and on Thursdays from 2pm-3pm in room AT 4.12. You may also email the demonstrator about the first assignment outside these hours.
Your work should submitted by 12:00 on Monday 26th November 2012.
Required Files: (UG4 & MSc unless otherwise stated)
The demonstrator, Andrew Sogokon, will be available to give advice in room AT 4.12 at the times:
Submission DeadlinesPlease note that extensions to coursework deadlines cannot be granted by the course lecturers. All requests for extensions should be directed to the ITO via the appropriate support form. These will then be logged and passed on to the appropriate Course Organiser for a decision.
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: firstname.lastname@example.org
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh