Personal tools
  •  

Automated Reasoning

29/05/2017 07:47:57, theon, Refresh, Feedback

Course Details

TitleAutomated Reasoning
School AcronymAR
Level9
Points10
Normal Year Taken3
Delivery PeriodS1
Exam/Work Weighting60% / 40%
School Course Pagehttp://www.inf.ed.ac.uk/teaching/courses/ar
University Course PageINFR09042

Staff and Groups

The following staff are associated with this course. Please use the authenticated links below to access full group membership information, including group times, venue information and mailing lists:
Tutorial Groups
Laboaratory Groups

Course Lecturer(s)
NameEmailOfficePhone
J Fleuriot jdf@staffmail.ed.ac.uk IF-2.15 509342
Teaching Support
Demonstrator D Raggi
Marker D Raggi
Teaching Assistant D Raggi
Tutor D Raggi
Admin Support
Please use the ISS Contact Form to contact admin support
UG3 Year Secretary V Swann

Lecture Times

Please see the Web Timetable link on the DRPS page.

Coursework Assignments

The following coursework is associated with this course:

Tag Title Type Assessed? Out of Worth
1 Assignment 1 Practical Yes 100 100%

Deadlines & Feedback

The following coursework deadlines are associated with this course:

Tag Deadline Outcome*
Submission Feedback
1 21/11/2016 12/12/2016 6 days early

*The Outcome will show the number of days early or late (from the "Feedback" deadline) that feedback, or marks and feedback, was distributed to the students.


University guidelines require Schools to provide feedback on all formative coursework assignments within three weeks of the submission deadline. If the marking deadlines for summative (for-credit) coursework given above exceed this period, the course involves very large amounts of marking and the course team has been given permission to advertise a longer marking period. Please contact ito@inf.ed.ac.uk for further information.