en | de

Forschungsseminar in Logik und Lernen: CL/TCS

Masterstudium

SE2  WS 2022/2023  703319

Introduction

In the seminar we study current and interesting topics from logic, program analysis, term rewriting, verification, and learning for reasoning. 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.


Betreuer

Raum Sprechstunde
Manuel Eberl 3M12 Mittwoch14:15 – 15:45
Cezary Kaliszyk 3M12 Mittwoch11:15 – 12:45
Aart Middeldorp 3M07 Mittwoch13:00 – 14:30
Rene Thiemann 3M09 Dienstag10:00 – 11:00

Zeit & Ort

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


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.