Event
Hilbert-Bernays Summer School on Logic and Computation 2017| Title of the event | Hilbert-Bernays Summer School on Logic and Computation 2017 |
| Organizer | Mathematisches Institut |
| Speaker institution | Fakultät für Mathematik und Informatik |
| Category | Forschung |
| Registration required | Nein |
| Details | 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". The summer school is addressed at students of mathematics, philosophy, computer science and other subjects that are related to mathematics with basic knowledge in logics. The summer school conveys insight into current research topics in the areas of logics and computability. The scientific program consists of mini courses (with lectures, exercises and projects) that are complemented with a historical excursus. Mini courses: - Term Rewriting Systems (Franz Baader, Dresden) - Recursion and Complexity (Isabel Oitavem, Lisbon) - Proof Theory and the Art of Ordinal Analysis (Michael Rathjen, Leeds) - Geometric Logic - Topos Theory (Ulrich Stuhler, Göttingen) Details: www.math.uni-goettingen.de/summer |
| Date | Start: 24.07.2017, 09:00 Uhr Ende: 29.07.2017 , 18:00 Uhr |
| Location |
Mathematisches Institut (Bunsenstr 3-5) Bunsenstraße 3-5 |
| Contact |
Dr. Hartje Kriete summer@math.uni-goettingen.de |
| External link | http://www.math.uni-goettingen.de/summer |