Introduction

In the seminar we study current and interesting topics from logic, program analysis, term rewriting, and verification. For master students interested in these topics, the seminar provides an ideal preparation for a master project in the Computational Logic group, and the seminar counts as an official master seminar in the master curriculum. A list of earlier seminar reports is available.

Betreuer

		Raum	Sprechstunde
	Cezary Kaliszyk	3M12	Mittwoch	11:15 – 12:45
	Aart Middeldorp	3M07	Mittwoch	11:30 – 13:00
	Georg Moser	1N05	Mittwoch	12:00 – 14:00
	Rene Thiemann	3M09	Dienstag	10:15 – 11:15

Zeit & Ort

The seminar takes place on Wednesdays, 10:15 – 12:00 in 3W04. Distribution of topics and scheduling of presentations will take place on March 4.

Benotung

For master students the grade is based on presentation, seminar report, and active participation. The deadline for the seminar report is 10:00 on July 31. For PhD students, presentation and very active participation is taken into account.