Hilbert-Bernays Summer School on Logic and Computation 2017