Note that this page is not being updated automatically if there are changes in the official roster

See also www.cs.ru.nl/~freek/courses/fd-2016. There you can find the exact schedule for the part from Formal Reasoning.