| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Programmieren für Wiederholer | Übungsschein | ||
| Entscheidungsverfahren mit Anwendungen in der Softwareverifikation | Vorlesung (V) | Mo 14:00-15:30 |
|
| Bug Finding Techniques | Seminar (S) |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Bug Finding Techniques | Seminar | ||
| Programmieren | Vorlesung |
30.95 Audimax 50.34 Räume -101, -102, -118, -119 (Videoübertragung) |
Mo 14:00-15:30 (wöchentlich) |
| Tutorenseminar zu Programmieren | Vorlesung |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Bug Finding Techniques | Seminar |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Bug Finding Techniques | Seminar | Seminarraum 236 (50.34) |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Computational Complexity II | Vorlesung | Seminarraum 301 (50.34) |
Do 11:30-13:00 (14-tägig) |
| Termersetzungssysteme | Vorlesung | Seminarraum 131 (50.34) |
Mo 09:45-11:15 (14-tägig) |
| Seminar: Software-Model-Checking | Seminar | Seminarraum 131 (50.34) |
Blockveranstaltung am Ende des Semesters |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Computational Complexity | Vorlesung | Seminarraum -109 (50.34 UG) | Mi 11:30-13:00 (14-tägig) |
| Entscheidungsverfahren für die Software-Verifikation | Vorlesung | Seminarraum 301 (50.34) |
Mi 14:00-15:30 |
| Übungen zur Vorlesung Entscheidungsverfahren | Übung | Seminarraum -109 (50.34 UG) | Mi 11:30-13:00 (14-tägig) |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Übungen zur Vorlesung Model Checking | Übung | Seminarraum -107 (50.34 UG) |
Mi. 15:45-17:15 |
| Model Checking | Vorlesung | Seminarraum 131 (50.34) |
Mo 11:30-13:15 |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Diplomanden- und Mitarbeiterseminar | Seminar | Seminarraum 131 (50.34) |
Do 16:15-17:45 |
| General Purpose GPU Programming | Praktikum | Rechnerraum 305 (50.34) |
09.-13.02.2009 (letzte Woche des Semesters) ganztags |
| Titel | Typ | Ort | Zeit |
|---|---|---|---|
| Seminar SAT-Solving | Seminar | Seminarraum -107 (50.34 UG) |
Mo 15:45-17:15 |
