See also www.cs.ru.nl/~freek/courses/fr-2017 where you can find the exact schedule for the part from Formal Reasoning.