Seminar Theoretische Informatik und Mathematische Logik
Seminar for Theoretical Computer Science and Mathematical Logic
Organizer: Prof. Dr. V. Brattka
Time: Mondays 14:00-15:00 (or ad hoc)
Venue: Seminar Room 1407 (or alternative)
Click on a calendar item in order to expand the abstract!
You can import this ICAL calendar link into your personal calendar.
Earlier presentations are accessible via the calendar by scrolling up.
Slides have been attached to calendar items, when available.
The seminar typically takes place in Room 1407, first floor, Building 41/400,
Faculty of Computer Science, Universität der Bundeswehr München,
Werner-Heisenberg-Weg 39, 85577 Neubiberg.
Please bring a valid identifcation document with a picture such that you can
enter the campus.
We offer a mailing list that is used to distribute seminar announcements.
You can subscribe to this list by sending an email with subject "subscribe" to
Logic in Munich
There is further information available on Logic in Munich.