Working with Automated Reasoning Tools

Block-Lecture at Saarland University
September 1 to September 5, 2008


PD Dr. Christoph Benzmueller and Prof. Dr. Geoff Sutcliffe (Miami, USA)

Credit Points


Preparation and Lecture Registration Meeting:

16:00, Wednesday, June 18, Office of Christoph Benzmüller, Room 212, Building E1 1, Saarland University


9:00-10:30, 11:00-12:30, 14:00-15:30, 16:00-17:30, Monday-Friday, September 1-5, Hörsaal 003, Building E1 3, Saarland University


Students will learn to work with different automated reasoning systems for first-order and higher-order logic. The theory part of the lecture will introduce these systems and sketch their background. The focus of the lecture will be on practical work with the systems, and for this the TPTP ( infrastructure will be introduced and exploited.

Preparation Phase

The students will be asked to prepare for the course by:

Syllabus of Lecture

Monday, September 1
Tuesday, September 2
Wednesday, September 3
Thursday, September 4
Friday, September 5

Course Materials


Relevant Literature

Links to Systems and Tools