Hilbert-Bernays Summer School on Logic and Computation 2019
International Summer School on the topic "Logic and Computation"
The University of Tübingen hosts a summer school about the topic "Logic and Computation".
- Place: University of Tübingen
- Date: 21 July - 27 July 2019
- 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.
Sponsors
- DAAD (from funds of the Foreign Office (Auswärtiges Amt - AA))
- University of Tübingen
Scientific Sponsors
- 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
- Kurt Gödel Society