en | de

Decision Procedures (WM 5)

master program

VO3 + PS2  SS 2021  703829 + 703830

Lecturers

room consultation hours
VO Aart Middeldorp 3M07 Wednesday13:00 – 14:30
VO René Thiemann 3M09 Tuesday10:00 – 11:00
PS Vincent van Oostrom 3M12 Wednesday12:00 – 13:30

Time & Place

VO Monday14:15 – 17:00 online Aart Middeldorp and René Thiemann
PS Friday14:15 – 16:00 online Vincent van Oostrom

The lecture (VO) starts on Monday March 1, the exercise sessions (PS) on Friday March 5.

Registration

Online registration for the exercises (PS) is required until 23:59 on February 21 and for the lecture (VO) until 23:59 on June 26.