en | de

Seminar 3

PhD program

SE2  SS 2012  703940

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 Wednesday11:30 – 13:00
Georg Moser 1N05 Wednesday12:00 – 14:00
Cezary Kaliszyk 3M12 Wednesday11:15 – 12:45
Rene Thiemann 3M09 Tuesday10:15 – 11:15
Harald Zankl 3M12 Thursday14:30 – 16:00

Time & Place

Wednesday10: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.