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	Donnerstag	10:30 – 11:30
	Aart Middeldorp	3M07	Montag	12:00 – 13:30
	Georg Moser	1N05	Mittwoch	12:00 – 14:00
	Arnab Roy	3M12	nach Vereinbarung
	Rene Thiemann	3M09	Dienstag	10:15 – 11:15

Zeit & Ort

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.