CS612: Automated Reasoning (2005-2006)


Important dates

Please let us know in good time if you have problems with the set deadlines.

Unless there are extenuating circumstances, late coursework attracts penalties, as set out in the Handbooks.

Handing in your work

Please hand in your written coursework as a hard copy to the Student Support Office, Room 2.3.

Programs implemented as part of the assignment should be sent to either alanw@cs.man.ac.uk or schmidt@cs.man.ac.uk -- please include all binaries, source files, makefiles, etc as well as examples and descriptions of sample runs.


Course description

The course description gives details about the aims and learning outcomes of the course, reading material, assessment, and the syllabus.


Locations and times

Refer to the MSc Course Unit Timetable for dates. Times: TBA.


Reading material

The course does not follow a specific book: copies of the slides are made available.

Recommended reading material is listed on the course description webpage. Further references may be given during the teaching period.

There is no need to buy a book. All books are available in the Resources Centre Library or the main library.

Copies of any additional papers will be made available on the web or can be found on the web.


Exercises and assignments are of varying difficulty - those in the teaching week are aimed to consolidate the material of the lectures and are thus easier.

Some exercises and assignments are to be done with pencil and paper, some will require the use of tools (probably (M)SPASS and Vampire).

For the post-course work you will be given a selection of topics from which you choose one. The topics available will be varied. In particular some involve further practical work, for example to undertake case-studies in automated reasoning, or writing Prolog programs. Others will require you to produce an essay.


30% teaching week assignments, 30% post-course work, 40% exam

Renate A. Schmidt
Home | Publications | FM Group | Dept Computer Science | Man Univ

Last modified: 18 Jan 06
Copyright © 2004-05 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk