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.

Lecturers

		room	consultation hours
	Aart Middeldorp	3M07	Wednesday	11:30 – 13:00
	Georg Moser	1N05	Wednesday	12:00 – 14:00
	Cezary Kaliszyk	3M12	Wednesday	11:15 – 12:45
	Rene Thiemann	3M09	Tuesday	10:15 – 11:15
	Harald Zankl	3M12	Thursday	14:30 – 16:00

Time & Place

Wednesday

10:15 – 12:00

3W04 (ICT building, 2nd floor)

Distribution of topics and scheduling of presentations will take place on March 7.

Registration

Online registration is required until 23:59 on February 29.