Current courses
Vorlesung: Mathematische Logik I (WS18/19)
Beginn: Mo 22.10. 17-19 Uhr
Ort: Sand 6, Hörsaal 1, F119
Dozent: René Gazzari
Tutor: Paul Stöckle
Beschreibung im Campus (Portal für Studium und Lehre)
Vorlesung: Advanced Mathematical Logic: Introduction to Denotational Semantics (WS18/19)
Beginn: Do 18.10. 17-19 Uhr
Ort: Sand 6, Hörsaal 1, F122
Dozent: Paolo Pistone, PhD
Beschreibung im Campus (Portal für Studium und Lehre)
Vorlesung: Lambda Calculus and Combinatory Logic (WS18/19)
Beginn: ganztägige Kompaktveranstaltung, voraussichtlich 4.-9. März 2019.
Ort: tba
Klausur: tba
Dozent: Dr. Thomas Piecha
Tutor: Natalie Clarius
Beschreibung im Campus (Portal für Studium und Lehre)
Seminar: Mathematical and Philosophical Logic (WS18/19)
Planning meeting: Thursday 25th October 2018, 18:15 hrs, Sand 13, B 109 (ground floor, entrance Sand 14)
Dozent: Prof. Dr. Peter Schroeder-Heister
Beschreibung im Campus (Portal für Studium und Lehre)