Universiteit van Amsterdam


Institute for Logic, Language and Computation

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

Date: 23 - 29 July 2017
Location: Goettingen, Germany
Deadline: Friday 31 March 2017

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.