Raum BAR/SCHÖ
Aus International Center for Computational Logic
Raum BAR/SCHÖ
Raum im Campus Navigator anzeigen
Hörsaal im 1. Obergeschoss des Barkhausen-Baus mit insgesamt 400 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: WHILE und LOOP (Vorlesung) (12. Januar 2026 um 11:10 – 12. Januar 2026 um 12:40)
- Formale Systeme: Der Satz von Rice und das Postsche Korrespondenzproblem (Vorlesung) (19. Januar 2026 um 11:10 – 19. Januar 2026 um 12:40)
- Formale Systeme: Unentscheidbare Probleme formaler Sprachen (Vorlesung) (26. Januar 2026 um 11:10 – 26. Januar 2026 um 12:40)
- Formale Systeme: Repetitorium (2) (Konsultation) (2. Februar 2026 um 11:10 – 2. Februar 2026 um 12:40)
