Annual Report 2010 - Fachgruppe Informatik an der RWTH Aachen ...

Postgraduate Courses – Winter Term
Master-Mentorenprogramm: Angewandte Informatik
Satisfiability Checking
Abraham, Giesl, Brockschmidt,
Chen, Emmes, Fuhs, Jansen, Loup,
Otto, Ströder,
Erfuellbarkeitsueberpruefung (Satisfiability Checking) Abraham, Loup, Jansen VÜT (V3
Ü1)
Seminar: Mobile-Anwendungen & Location Based Akbari, Schroeder
ST
Services
Betriebssysteme Bemmerl, Lankes, Clauß, VÜ (3)
Einführung in die Bioinformatik Berlage Ü (1)
Einführung in die Bioinformatik Berlage VT (2)
Introduction to Scientific Computing Languages Bientinesi VPT
(V3/ÜE1)
iPhone Anwendungsprogrammierung Borchers, Heller, Diehl VÜ (V3Ü2)
Designing Interactive Systems I
Borchers, Herkenrath
VÜ (V3/Ü2)
Wacharamanotham
Post-Desktop User Interfaces
Borchers, Lichtschlag,
ST (2)
Wittenhagen,
The Media Computing Project (Praktikum
Borchers, Weiß, Möllers, Karrer, PT (2)
Hauptstudium)
Lichtschlag,
Ringvorlesung Medizinische Bildverarbeitung Deserno, Kobbelt, Ney,
VT (2)
Rossmanith, Seidl, Spitzer
Logikprogrammierung Giesl V (3
(Bachelor &
Master), 4
(Diplom))
Arbeitsgemeinschaft: Programmverifikation
Giesl, Brockschmidt, Emmes, Fuhs, Ü (2)
Otto, Plücker, Ströder
Verifikationsverfahren
Giesl, Brockschmidt, Emmes, Fuhs, S (2)
Otto, Ströder,
Logikprogrammierung Giesl, Fuhs, Otto, Ströder Ü (2)
Mathematische Logik II Grädel Ü (2)
Mathematische Logik II Grädel V (4
(Mathematik
), 3
(Informatik))
Seminar: Logik, Komplexität, Spiele Grädel, ST (2)
Arbeitsgemeinschaft: Logik und Automaten Grädel, Thomas AG (2)
Network Calculus Gross, VÜ (2+1)
Arbeitsgemeinschaft: Deduktive Objektbanken Jarke, Klamma AGT (2)
Web Science Jarke, Klamma, Cao, Pham VT (V2/Ü1)
Lehrstuhlseminar Jarke, Lakemeyer Ü (2)
Doktorandenseminar Jarke, Lakemeyer Ü (2)
Benutzerorientierte Systemgestaltung und
Jarke, Oppermann PT (5)
personalisierte Informationsdienste
Arbeitsgemeinschaft Model Management Jarke, Quix AGT (2)
Advanced Model Checking Katoen V (4)
Model Checking Praktikum Katoen P
Lehrstuhlseminar Katoen, Giesl, Abraham Ü (2)
Advanced Model Checking Katoen, Mereacre Ü (2)
Arbeitsgemeinschaft: Probabilistic Model Checking Katoen, Noll, Bohnenkamp, Han Ü (2)
Exakte Algorithmen Kneis, Sikdar, Rossmanith V (4)
Diplomanden- u. Doktorandenseminar Kobbelt S (2)
Polynomial Curves and Surfaces Kobbelt V (3)
Basic Techniques in Computer Graphics Kobbelt V (3)
Polynomial Curves and Surfaces Kobbelt, Bommes Ü (2)
S (2)
40