Room BAR/SCHÖ
From International Center for Computational Logic
Room BAR/SCHÖ
Lecture hall on the 1st level of TU Dresden's Barkhausen-Bau with 400 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: 18. Turingmaschinen (Lecture) (6. January 2025 at 11:10 am – 6. January 2025 at 12:40 pm)
- Formale Systeme: 20. Typ 0 und Typ 1 (Lecture) (13. January 2025 at 11:10 am – 13. January 2025 at 12:40 pm)
- Formale Systeme: 22. Äquivalenzen und Normalformen (Lecture) (20. January 2025 at 11:10 am – 20. January 2025 at 12:40 pm)
- Formale Systeme: 24. Horn-Logik und Komplexitätstheorie (Lecture) (27. January 2025 at 11:10 am – 27. January 2025 at 12:40 pm)
- Formale Systeme: 26. Zusammenfassung und Ausblick (Lecture) (3. February 2025 at 11:10 am – 3. February 2025 at 12:40 pm)