Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 26 July - 1 August 2015
Location: 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

Please note that this newsitem has been archived, and may contain outdated information or links.