21 - 27 July 2019, Hilbert-Bernays Summer School on Logic and Computation, Tuebingen, Germany

The University of Tübingen hosts a summer school about the topic "Logic and Computation". The summer school is addressed at students of the subjects mathematics, philosophy and computer science, preferably undergraduate students in their final year and graduate students.

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:
 - From the Foundational Crisis of Mathematics to Explicit Mathematics.
 - From Hilbert to Gentzen and beyond.
 - Automatic Reasoning in the Automobile Industry.
- Foundations of Machine Learning and AI.
Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.