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	3M12	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
	Rene 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, seminar topics will be presented, distributed and the scheduling for the talks will happen.

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.