Hilbert Bernays Summer School on Logic and Computation 2016
International Summer School in Mathematics on the topic "Logic and Computation"
The Mathematical Institute of the Georg-August-University Göttingen hosts a summer school in cooperation with the Departamento de Matemática of the Universitade Nova de Lisboa about the topic "Logic and Computation".
- Place: Mathematical Institute in Göttingen
- Date: July 24 - July 30, 2016
- The summer school is addressed at students of the subjects mathematics, philosophy and computer science.
Sponsors
- DAAD (from funds of the Foreign Office (Auswärtiges Amt - AA))
- Georg-August-Universität Göttingen
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