Project Hilbert Bernays Summerschool on Logic and Computation

Basic data

Title:
Hilbert Bernays Summerschool on Logic and Computation
Duration:
01/01/2019 to 31/12/2019
Abstract / short description:
Mit der Sommerschule werden die mit DAAD-Förderung an der Universität Göttingen durchgeführten „Hilbert-Bernays-Sommerschulen on Logic and Computation“ der Jahre 2015 bis 2018 fortgesetzt.
Das Leitthema der Sommerschule „Logic and Computation“ soll verschiedene Disziplinen ansprechen und Brücken zwischen diesen bilden: Mathematik, Informatik und Philosophie.
Konkret werden dafür vier wissenschaftliche Minikurse angeboten:
- Gerhard Jäger (Bern): From the Foundational Crisis of Mathematics to Explicit Mathematics.
- Reinhard Kahle (Lissabon/Tübingen): From Hilbert to Gentzen and beyond.
- Wolfgang Küchlin (Tübingen): Automatic Reasoning in the Automobile Industry.
- Klaus Mainzer (München): Foundations of Machine Learning and AI.

Involved staff

Managers

Faculty of Science
University of Tübingen
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science
College of Fellows
Centers
Grieg, Birgit
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science

Contact persons

Institute of Applied Physics (IAP)
Department of Physics, Faculty of Science

Local organizational units

Department of Informatics
Faculty of Science
University of Tübingen
College of Fellows
Centers
University of Tübingen

Funders

Bonn, Nordrhein-Westfalen, Germany
Help

will be deleted permanently. This cannot be undone.