Introduction

In the seminar we study current and interesting topics from logic, SMT solving, theorem proving, 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.

Lehrende

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

Zeit & Ort

Mittwoch

10:15 – 12:00

3W04 (ICT-Gebäude, 2.Stock)

Distribution of topics and scheduling of presentations will take place on October 3.

Anmeldung

Online registration is required until 18:00 on September 27.

Benotung

• master students: presentation, seminar report, active participation
• PhD students: presentation, very active participation

Model

• all: 30 minutes presentation + 15 minutes for discussion
• all: submit title of talk + material (2 papers max) on Monday 10 am before your talk
• all: submit slides after presentation (with typos corrected)
• master students: submit seminar report before 10 am on 28 February 2013
• the seminar is chaired by CL members