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: 18. Turingmaschinen (Vorlesung) (6. Januar 2025 um 11:10 – 6. Januar 2025 um 12:40)
- Formale Systeme: 20. Typ 0 und Typ 1 (Vorlesung) (13. Januar 2025 um 11:10 – 13. Januar 2025 um 12:40)
- Formale Systeme: 22. Äquivalenzen und Normalformen (Vorlesung) (20. Januar 2025 um 11:10 – 20. Januar 2025 um 12:40)
- Formale Systeme: 24. Horn-Logik und Komplexitätstheorie (Vorlesung) (27. Januar 2025 um 11:10 – 27. Januar 2025 um 12:40)
- Formale Systeme: 26. Zusammenfassung und Ausblick (Vorlesung) (3. Februar 2025 um 11:10 – 3. Februar 2025 um 12:40)