Lecturers

		room	consultation hours
VO	Aart Middeldorp	3M07	Monday	11:30 – 13:00
UE	Johannes Niederhauser	3M03	Wednesday	10:00 – 11:30

Time & Place

UE

Monday

16:30 – 18:00

HS 11

The slides and recordings of the lecture (VO) are available in OLAT. The exercise sessions (UE) start on October 5; only international master students who have Logic as supplementary requirement can register.

Exams

• Tuesday March 23, 8:30 – 11:00 in HSB 3 (online registration from February 16 until March 9)
• Friday May 21, 13:00 – 15:30 in HSB 3 (online registration from April 16 until May 7)

You can also take the 3rd exam of the 26S course:

• Thursday February 4, 8:30 – 11:00 in HSB 3 (online registration from January 1 until January 21)

Language

The course is taught in English.

OLAT Links

• lecture (VO)
• exercise sessions (UE)