26 Jul - 1 Aug 2015
Goettingen, Germany
The Georg-August-Universität Göttingen organizes a
"Hilbert-Bernays Summer School on Logic and Computation"
26th July ? 1st August 2015
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:
Gödel's Incompleteness Theorems
Recursion and Complexity
Ordinal Analysis
Automatic Reasoning in the Automobile Industry
Hilbert and Bernays in Göttingen
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 grant applications: 30.4.2015)
Further information about the summer school can be found on
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
- The Association for Logic, Language and Information (FoLLI)
- Kurt Gödel Society
Thank you in advance and best regards,
Hartje Kriete and Reinhard Kahle