24-30 July 2016
Goettingen, Germany
The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation" 24th July ? 30th July 2016. www.math.uni-goettingen.de/summer 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 - Computational contents of proofs 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 expanses. Deadline for registration and grant applications: 30 April 2016 Further information about the summer school can be found at www.math.uni-goettingen.de/summer. We kindly ask you to distribute this information to interested students and please feel free to send any queries you or your students might have to summer@math.uni-goettingen.de. The summer school is also endorsed by the following scientific organizations: - Académie Internationale de Philosophie des Sciences (AIPS) - Association for Symbolic Logic (ASL) - Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) - European Association for Computer Science Logic - Gesellschaft für Analytische Philosophie (gap) - Kurt Gödel Society Thank you in advance and best regards, Hartje Kriete and Reinhard Kahle -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam