Room HSZ/0003
From International Center for Computational Logic
Room HSZ/0003
Lecture hall on the 4th level of TU Dresden's Hörsaalzentrum with 590 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: Deterministische Sprachen / Entscheidungsprobleme (Lecture) (11. December 2025 at 1:00 pm – 11. December 2025 at 2:30 pm)
- Formale Systeme: Repetitorium (1) (Consultation) (18. December 2025 at 1:00 pm – 18. December 2025 at 2:30 pm)
- Formale Systeme: Typ 0 und Typ 1 (Lecture) (8. January 2026 at 1:00 pm – 8. January 2026 at 2:30 pm)
- Formale Systeme: WHILE und LOOP (Lecture) (15. January 2026 at 1:00 pm – 15. January 2026 at 2:30 pm)
- Formale Systeme: Der Satz von Rice und das Postsche Korrespondenzproblem (Lecture) (22. January 2026 at 1:00 pm – 22. January 2026 at 2:30 pm)