Course pages 2012–13
Automated Reasoning
The assessment will be done by the lecturer and will consist of three parts:
- The write-up of the literature survey (term paper) will account for 30% of the final mark.
- The student's presentation of the review (an in-depth analysis) of an existing automated reasoning system together with a short assigned filled review form for the research paper (course work) will account for 10% of the final mark.
- A written test at the end of the course will account for 60% of the mark. The final grade for the course will be provided as a percentage.
Literature survey
Below you will find instructions for doing
your literature survey with some suggestions of topics. You are
welcome to suggest your own topic of automated reasoning that you
would like to survey. You need to finalise with the lecturer your
choice of topic by Tuesday 16 October 2012 and submit your literature survey
to the Graduate Education Office by Friday 30 November 2012.
Paper review and presentation
Below you will find
instructions for doing your paper review and presentation on its
content. You should review a research paper from the list of suggested
papers at the end of this document, or suggest to the lecturer a
conference or a journal paper on a topic in Automated Reasoning of
your interest (of length between 6 to 15 pages). You should
finalise the choice of a research paper for review and presentation
with the lecturer by Thursday 18 October, 2012.
- Instructions for paper review and presentation with suggestions of papers
- Paper review form: you should fill this in and hand it to the lecturer immediately prior to your presentation, accompanied with the MPhil or Part III cover sheet
- Anonymous student presentation peer review form
- Student presentation evaluation form: the lecturer uses this form to evaluate a student presentation
- Presentation timetable