"Hilbert-Bernays Summer School on Logic and Computation" at the Georg-August-Universität Göttingen, 26th July – 1st August 2015
Homepage
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
20.04.2015