en | de

Master Seminar 2

master program

SE2  SS 2017  703606

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.


Supervisors

room consultation hours
Martin Avanzini 2W04 Thursday14:15 – 15:15
Aart Middeldorp 3M07 Monday12:00 – 13:30
Georg Moser 1N05 Wednesday12:00 – 14:00
Rene Thiemann 3M09 Monday13:00 – 15:00
Cezary Kaliszyk 3M12 Tuesday14:15 – 15:45
Vincent van Oostrom 3M12 Thursday14:15 – 15:45
Christian Sternagel 3M03 Friday14:15 – 15:45
Sarah Winkler 3M03 Thursday12:30 – 14:30

Time & Place

The seminar takes place on Wednesdays, 9:15 – 11:00 in 3W03. Distribution of topics and scheduling of presentations will take place on March 7.


Grading

For master students the grade is based on presentation, seminar report, and active participation. For PhD students, presentation and very active participation is taken into account.


Registration

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