24-30 July 2016, 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, in particular the edition 2015 which is been a great 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: From Hilbert to Gentzen and beyond, Proof mining, lambda-calculus, and Computational contents of proofs.

Application deadline for financial support: April 30, 2016. For more information, see http://www.math.uni-goettingen.de/summer