Raum HSZ/0003
Aus International Center for Computational Logic
Raum HSZ/0003
Raum im Campus Navigator anzeigen
Hörsaal im 4. Obergeschoss des Hörsaalzentrums mit insgesamt 590 Plätzen
Veranstaltungen in diesem Raum
Dies ist kein vollständiger Belegungsplan, da nicht alle Veranstaltungen auf dieser Site erfasst werden.
Nächste Veranstaltungen:
- Formale Systeme: Deterministische Sprachen / Entscheidungsprobleme (Vorlesung) (11. Dezember 2025 um 13:00 – 11. Dezember 2025 um 14:30)
- Formale Systeme: Repetitorium (1) (Konsultation) (18. Dezember 2025 um 13:00 – 18. Dezember 2025 um 14:30)
- Formale Systeme: Typ 0 und Typ 1 (Vorlesung) (8. Januar 2026 um 13:00 – 8. Januar 2026 um 14:30)
- Formale Systeme: WHILE und LOOP (Vorlesung) (15. Januar 2026 um 13:00 – 15. Januar 2026 um 14:30)
- Formale Systeme: Der Satz von Rice und das Postsche Korrespondenzproblem (Vorlesung) (22. Januar 2026 um 13:00 – 22. Januar 2026 um 14:30)