Prof. Dr. Helmut Seidl -
Sprachen und Beschreibungsstrukturen in der Informatik
Hauptseminar Automatische Deduktion
(Sommersemester 2005) Mittwochs von 12-14 Uhr in 02.07.014
Contents:
Automated deduction deals with using computer programs to automatically prove
logical statements. It has been successfully used in various fields
including hardware and software verification, verification of security
protocols, as well as proving mathematical conjectures.
In this seminar we are interested in various techniques and algorithms
used in automated deduction, existing automated deduction tools,
and applications.
The seminar language is English.
Prerequisites:
The seminar is meant for students in the Hauptstudium.
Familiarity with first order logic is expected.
Schein requirements:
Talk and active participation, written presentation of the subject of talk
Registration:
Please send an
email describing your favorite
topic. For any questions regarding the seminar, you may send an
email or meet me in my
office MI 02.07.041.
Some interesting links and papers: