Course pages 2019–20
Automated Reasoning
The assessment will be done by the lecturer and will consist of three parts:
- A literature survey of at most 2500-words excluding mathematical formula, figures and bibliography (35% of the final mark);
- A short presentation of an in-depth analysis of a selected research paper and a completed review form (15%), as well as active participation in Q and A part of presentations of others; and
- A written test of under 90 minutes duration with an additional 15 minutes of reading time (50%).
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 Thursday 17
October 2019 and submit your literature survey via the L18 Course Moodle web page by
12:00noon on Friday 6 December 2019.
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 17 October 2019.
- 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