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 finalize with the lecturer your
choice of topic by 28 January 2010 and submit your literature survey
in pdf format via email to the lecturer by 12 March 2010.
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 8 to 15 pages). You should
finalize the choice of a research paper for review and presentation
with the lecturer by Thursday, 4 February 2010.