en | de

Master Seminar 1

Masterstudium

SE2  WS 2012/2013  703605

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

Zeit & Ort

Mittwoch10: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

Model