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: Kellerautomaten und CFGs (Lecture) (8. December 2025 at 11:10 am – 8. December 2025 at 12:40 pm)
- Formale Systeme: Turingmaschinen (Lecture) (15. December 2025 at 11:10 am – 15. December 2025 at 12:40 pm)
- 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)