| Zeit | Montag | Dienstag | Mittwoch | Donnerstag | Freitag |
|---|---|---|---|---|---|
| 08:00-09:30 | |||||
| 09:45-11:15 |
Datenstrukturen und Algorithmen Ertl / Wiss. MA [Ü] |
Formal Verification of Microprocessors Wunderlich / Wiss. MA [HS] |
Correspondence Problems in Computer Vision (auf Englisch) Bruhn [V] |
Methoden und Systeme der CAD-Technologie Roller / Chamakh [S] |
|
| 11:30-13:00 |
Recent Advances in Computer Vision Bruhn / Wiss. MA [HS] |
Advanced Information Management Schwarz / Mitschang / Roth [Ü] |
Grundlagen der Graphischen Ingenieursysteme/CAD und Produktmodelle Roller / Chamakh [14-tg Ü] |
Correspondence Problems in Computer Vision (auf Englisch) Wiss. MA [Ü] |
|
| 14:00-15:30 |
Bildsynthese Fuchs [14-tg Ü] |
Advanced Information Management Schwarz / Mitschang / Roth [V] |
Mensch-Computer-Interaktion/Human-Computer Interaction Sahami / Funk / Schneegaß [14-tg Ü] |
Interaktive Visualisierungstechniken Weiskopf / Wiss. MA [HS] |
Konkrete Mathematik Diekert / Kufleitner / Lauser [14-tg Ü] |
| 15:45-17:15 |
Digital System Design Simon [V] |
Digital System Design Simon [Ü] |
Datenstrukturen und Algorithmen Ertl / Wiss. MA [Ü] |
||
| 17:30-19:00 |
Lab Course High Performance Computing with Graphic Cards (bis 20:30 Uhr) Simon [Ü] |
Formale Sprachen und Automatentheorie Hertrampf / Walter [14-tg Ü] |