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.

24-30 July 2016, Hilbert-Bernays Summer School on Logic and Computation, Goettingen, Germany

Date: 24-30 July 2016
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, 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

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