Aims

• To offer a module where students can study a specific topic from Logic or Theoretical Computer Science to a point where current research issues can be understood.
• To lead to an appreciation of the methods of original research, and to inculcate an interest in pursuing postgraduate education.
• To encourage a critical evaluation of original publications in the light of practical experience and subsequent developments.
• To improve students' communication and presentation skills.
• To improve students' abilities to set their own goals and to pursue them according to their own timetable.

• have authoritative knowledge of one particular aspect of the seminar's overall topic;
• have good knowledge of all topics presented during the seminar;
• be able to research an area, find supporting sources of information, and critically assess the quality and significance of this information;
• be able to design and deliver a convincing presentation of a technical topic to a like-minded audience;
• be able to follow a technical presentation and engage in a meaningful debate.

Teaching Methods
Seminars with presentations and exercise sessions interleaved. Each seminar lasts between 1.5 and 2 hours, and is normally divided into three parts, each part consisting of a presentation and an exercise session.

Assessment
50% on basis of seminar. 50% on basis of two hour examination.

Recommended Books
The list of recommended books varies from year to year.