Master Program - Research Seminar in Logic and Learning: CL/TCS

SE2 SS 2026 703319

News

Registration Required
Online registration is required until 23:59 on February 21^st.

Overview

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.

Supervisors

	Room	Consultation Hours
Manuel Eberl	3M03	Thursday, 10:30 - 11:30
Aart Middeldorp	3M07	Monday, 12:00 – 13:30
Georg Moser	1N05	Wednesday, 12:00 – 14:00
Arnab Roy	3M12	by arrangement
René Thiemann	3M09	Tuesday, 10:15 – 11:15

Time & Place

The seminar takes place on Wednesdays, 8:30 - 10:00 in 3W04. In the slot on March 4^th, seminar topics will be presented, distributed and the scheduling for the talks will happen.

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.