Hilbert-Bernays Summer School on Logic and Computation

The Georg-August-Universit?t G?ttingen organizes a "Hilbert-Bernays
Summer School on Logic and Computation" 24th July ¨C 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