2017 FDP on "Theory of Computation"