This summer school (1-week (3 ECTS)) offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation, covering topics such as:

  • Gödel's Incompleteness Theorems
  • Recursion and Complexity
  • Ordinal Analysis
  • Automatic Reasoning in the Automobile Industry
  • Hilbert and Bernays in Göttingen

Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

The summer school receives financial support of the DAAD, the German Academic Exchange Service, with funds of the Foreign Office (Auswärtiges Amt - AA), to give a number of grants for foreign students to cover travel and living expenses. (Deadline for grant applications: 30.4.2015)

Further information about the summer school

For queries you might have, please contact