Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 21 - 27 July 2019
Location: Tuebingen, Germany
Deadline: Tuesday 30 April 2019

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.

Please note that this newsitem has been archived, and may contain outdated information or links.