STS Schedule
Wintersemester 2011/2012
| Monday | |||
| 10:15-11:00 | Exercise: Intelligent Autonomous Agents | R. Marrone |
SBS95 E4.042 |
| 9:45-11:15 | Einführung in Datenbanksysteme | R. Möller | ES40 N-0007 |
| 13:15-17:30 |
Projekt/Seminar: Realization of an I&K Application System | S. Schupp V.Turau |
SBS95 D1023 |
| 15.45-17:15 | Automaten und Formale Sprachen | R. Möller | SBS95 H006 |
| Tuesday | |||
| 8:00-9:30 | Software-Praktikum | S. Schupp, V.Turau |
SBS95 E2039P5a E2042P5b |
| 11:30-13:00 | Functional Programming | S. Schupp | SBS95 H009 |
| 11.30-13:00 | Intelligent Autonomous Agents | R. Marrone | SBS95 D1023 |
| 13:15-14:45 | Verified Software Systems | S. Schupp | SBS95 D0010 |
| 13:15-14:00 | Übung: Einführung in Datenbanksysteme | K. Martiny | N-ES40 0007 |
| 14:30-15:15 | Übung: Automaten und Formale Sprachen | K. Martiny | SBS95 E4.042 |
| 16:00-18:00 | Oberseminar Softwaresysteme | S. Schupp R. Möller |
SBS95 E4.042 |
| Wednesday | |||
| 8:00-9:30 | Exercise: Verified Software Systems | V. Menrad | SBS95 E2027P3b, E4.039 |
| 8:00-9:30 | Exercise: Verified Software Systems | V. Menrad | SBS95 E2054P4b |
| 9:45-11:15 | Software Praktikum | S. Schupp, V.Turau |
SBS95 E2039P5a E2042P5b |
Thursday |
|||
| 8:00-9:30 | Exercise: Functional Programming | V. Menrad | SBS95 E2054P4b |
| 8:00-9:30 | Exercise: Functional Programming | V. Menrad | SBS95 E2055P4a |
| 9:45-11:15 |
Project based learning:
Maschinennahe Programmierung |
K.-H. Zimmermann, R. Möller |
SBS95 4.042, 4.039, 4.095, H0.03 |
| 11:15-12:30 | Seminar: Software Analysis, and Verification | S. Schupp | SBS95 E4.042 |
| 12:15-13:45 | Exercise: Functional Programming | V. Menrad | SBS95 H009 4.042 |
| 16:00-17:30 | Proseminar: Cyber-Physical Systems: Modeling, Analysis, and Verification Techniques | S. Schupp | SBS95 E4.042 |
| Friday | |||
| 9:45-11:15 | Architecture and Implementation of Database Systems | R. Möller | SBS95 D0010 |
| 11:30-12:15 | Exercise: Architecture and Implementation of Database Systems | K. Martiny | SBS95 D0010 |