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 (preliminary) list of seminar topics and a list of earlier seminar reports are available.
Betreuer
| Raum | Sprechstunde | |||
|---|---|---|---|---|
| Aart Middeldorp | 3M07 | Mittwoch | 13:00 – 14:30 | |
| Cezary Kaliszyk | 3M12 | Mittwoch | 12:15 – 13:45 | |
| René Thiemann | 3M09 | Dienstag | 10:00 – 11:00 | |
Zeit & Ort
The seminar takes place online on Wednesdays, 8:15 – 10:00. Distribution of topics and scheduling of presentations will take place on March 3.
Benotung
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.