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.

Here are some instructions of how to get there.
And here is the journey planner of Munich public transport.

Please bring a valid identifcation document with a picture such that you can
enter the campus. 


Mailing List

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.