Hilbert Bernays Summer School on Logic and Computation 2016