en | de

Forschungsseminar in Logik und Lernen: CL/TCS

Masterstudium

SE2  SS 2025  703319


Introduction

In the seminar we study current topics relevant to logic and learning. For master students interested in these topics, the seminar provides an ideal preparation for a master project in the Computation Logic and Theoretical Computer Science research groups.

Betreuer

Raum Sprechstunde
Manuel Eberl 3M12 Donnerstag10:30 – 11:30
Aart Middeldorp 3M07 Mittwoch11:30 – 13:00
Georg Moser 1N05 Mittwoch12:00 – 14:00
Rene Thiemann 3M09 Dienstag10:15 – 11:15

Zeit & Ort

The seminar takes place on Wednesdays, 8:30 – 10:00 in 3W03. The distribution of topics and scheduling of the talks takes place in OLAT.

Registration

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

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.