Room BAR/SCHÖ
From International Center for Computational Logic
Room BAR/SCHÖ
Lecture hall on the 1st level of TU Dresden's Barkhausen-Bau with 400 seats in total
Events in this room
Not all events are registered at this site, and this information might therefore be incomplete.
Upcoming events:
- Formale Systeme: Nichtdeterministische Turingmaschinen und Unentscheidbarkeit (Lecture) (5. January 2026 at 11:10 am – 5. January 2026 at 12:40 pm)
- Formale Systeme: Berechenbarkeit und Unentscheidbarkeit (Lecture) (12. January 2026 at 11:10 am – 12. January 2026 at 12:40 pm)
- Formale Systeme: Das Halteproblem und Reduktionen (Lecture) (19. January 2026 at 11:10 am – 19. January 2026 at 12:40 pm)
- Formale Systeme: Unentscheidbare Probleme formaler Sprachen (Lecture) (26. January 2026 at 11:10 am – 26. January 2026 at 12:40 pm)
- Formale Systeme: Repetitorium (2) (Consultation) (2. February 2026 at 11:10 am – 2. February 2026 at 12:40 pm)