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: Kellerautomaten und CFGs (Vorlesung) (8. Dezember 2025 um 11:10 – 8. Dezember 2025 um 12:40)
- Formale Systeme: Turingmaschinen (Vorlesung) (15. Dezember 2025 um 11:10 – 15. Dezember 2025 um 12:40)
- Formale Systeme: Nichtdeterministische Turingmaschinen und Unentscheidbarkeit (Vorlesung) (5. Januar 2026 um 11:10 – 5. Januar 2026 um 12:40)
- Formale Systeme: Berechenbarkeit und Unentscheidbarkeit (Vorlesung) (12. Januar 2026 um 11:10 – 12. Januar 2026 um 12:40)
- Formale Systeme: Das Halteproblem und Reduktionen (Vorlesung) (19. Januar 2026 um 11:10 – 19. Januar 2026 um 12:40)
