23-29 Jul 2017
Goettingen, Germany
Resent-Subject: [folli] Hilbert-Bernays Summer School on Logic and Computation, July 23-29, 2017 The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation" 23rd July ? 29th July 2017. 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, 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: - Term Rewriting Systems - Recursion and Complexity - Proof Theory and the Art of Ordinal Analysis - Geometric Logic-Topos Theory 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: 31 March 2017 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