Prof. Dr. Christian Pape - Seminar

Seminar

General Information

For a given subject in computer science the students have to write a home work consisting of approximatly 25 to 30 pages and give a small talk with slides (20 min). The talks take place four weeks before the end of lectures. The written home work must be finished two week before the talk. Talk and home work are graded.

The home work of all my students have to be written with LaTeX. All figures and tables except photos have to be created by the student himself. The content of the home work must be backed up with citable sources (books and articles). Content from the WWW is only allowed as supplement material.

Details to the home work and talk (in german only): PDF, HTML.

Automated Theorem Proving (WS 07/08)

Past seminars

Algorithm Design (SS07): genetic algorithms, probabilistic optimization, design by contract, sweep-line, algorithm design with induction