26 July - 1 August 2015, Hilbert-Bernays Summer School on Logic and Computation, Goettingen, Germany

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". 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: Gödel's Incompleteness Theorems, Recursion and Complexity, Ordinal Analysis, Automatic Reasoning in the Automobile Industry, and Hilbert and Bernays in Göttingen

For more information, see http://www.math.uni-goettingen.de/summer