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	Wednesday	11:30 – 13:00
	Georg Moser	1N05	Wednesday	12:00 – 14:00
	Rene Thiemann	3M09	Tuesday	10:15 – 11:15

Time & Place

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.