en | de

Decision Procedures (WM 5)

master program

VO2 + VO1 + PS2  SS 2018  703620 + 703621 + 703622

Lecturers

room consultation hours
VO Aart Middeldorp 3M07 Wednesday11:30 – 13:00
VO Christian Sternagel 3M03 by arrangement
PS Vincent van Oostrom by arrangement

Time & Place

VO Monday08:15 – 10:00 HS 11 Aart Middeldorp
Monday10:00 – 11:00 HS 11 Christian Sternagel
PS Friday13:15 – 15:00 HSB 9 Vincent van Oostrom

Registration

Online registration is required until 23:59 on April 30 for the two lectures (VO), and until 23:59 on February 21 for the exercise session (PS).