23 - 29 July 2017, Hilbert-Bernays Summer School on Logic & Computation, Goettingen, Germany

This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Term Rewriting Systems, Recursion and Complexity, Proof Theory and the Art of Ordinal Analysis, or Geometric Logic-Topos Theory. Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.