SOMMERSEMESTER 2007 Stand: 15.01.2007 Achtung: Noch ohne Kommentare! Änderungen vorbehalten! GRUNDSTUDIUM 32 201 Praktische Informatik 2 (D, B.A.) VL Mo 09-11 wöch. RUD 26, 0’115 H.-D. Burkhard VL Mi 09-11 wöch. RUD 26, 0’115 UE Mo 11-13 wöch. RUD 26, 1’305 D. Weinberg UE Mo 15-17 wöch. RUD 26, 1’307 N.N. UE Di 15-17 wöch. RUD 26, 1’303 D. Göhring UE Mi 11-13 wöch. RUD 26, 1’306 D. Weinberg UE Mi 13-15 wöch. RUD 26, 1’305 G. Lindemann-v. Trz. UE Mi 15-17 wöch. RUD 26, 1’305 G. Lindemann-v. Trz. UE Do 09-11 wöch. RUD 26, 1’307 N.N. PR Mo 13-15 wöch. RUD 25, 3.209, 3.210, 3.213 K. Ahrens PR Mo 15-17 wöch. RUD 25, 3.209, 3.210, 3.213 K. Ahrens PR Mi 13-15 wöch. RUD 25, 3.209, 3.210, 3.213 K. Ahrens PR Mi 15-17 wöch. RUD 25, 3.209, 3.210, 3.213 K. Ahrens PR Fr 13-15 wöch. RUD 25, 3.209, 3.210, 3.213 K. Ahrens PR Fr 15-17 wöch. RUD 25, 3.209, 3.210, 3.213 K. Ahrens 32 202 Technische Informatik 1 (Teil 1; D) VL* Do 13-15 wöch. RUD 26, 0’115 F. Winkler UE (fak.) Di 13-15 14tgl./ 1. RUD 25, 3.113 F. Winkler UE (fak.) Di 13-15 14tgl./ 2. RUD 25, 3.113 F. Winkler UE (fak.) Fr 11-13 14tgl./ 1. RUD 25, 3.113 N.N. UE (fak.) Fr 11-13 14tgl./ 2. RUD 25, 3.113 N.N. PR Mo 13-15 wöch. RUD 25, 3.216, 4.316 M. Günther, F. Winkler PR Mo 15-17 wöch. RUD 25, 3.216, 4.316 M. Günther, F. Winkler PR Mi 11-13 wöch. RUD 25, 3.216, 4.316 M. Günther, F. Winkler PR Mi 15-17 wöch. RUD 25, 3.216, 4.316 M. Günther, F. Winkler PR Do 11-13 wöch. RUD 25, 3.216, 4.316 M. Günther, F. Winkler PR Do 15-17 wöch. RUD 25, 3.216, 4.316 M. Günther, F. Winkler * Vorlesung nur bis 14.06.07 32 203 Technische Informatik 2 (D,B.A.) VL Di 13-15 wöch. RUD 26, 0’115 M. Malek VL Do 13-15 wöch. RUD 26, 0’115 UE Mo 13-15 wöch. RUD 26, 1’303 S. Sommer UE Mo 15-17 wöch. RUD 26, 1’303 S. Sommer UE Di 15-17 wöch. RUD 26, 1’306 J. Richling 32 204 Theoretische Informatik 3 (D) VL Mi 15-17 wöch. RUD 26, 0’115 M. Schacht UE Di 11-13 14tgl./ 1. RUD 26, 1’307 M. Schacht UE Di 11-13 14tgl./ 2. RUD 26, 1’307 M. Schacht UE Mi 13-15 14tgl./ 1. RUD 26, 1’307 N.N. UE Mi 13-15 14tgl./ 2. RUD 26, 1’307 N.N. UE Do 11-13 14tgl./ 1. RUD 26, 1’307 M. Schacht UE Do 11-13 14tgl./ 2. RUD 26, 1’307 M. Schacht 32 205 Informatik und Gesellschaft (D; L – Hauptstudium, B.A.) VL Di 09-11 wöch. RUD 25, 3.001 W. Coy UE (nur L und B.A.) n.V. W. Coy 32 206 Analyse, Planung und Beurteilung von Informatikunterricht (B.A.) SE Mi 15-17 wöch. RUD 25, 3.113 E. Lehmann 32 207 Unterrichtspraktikum/ Blockpraktikum (B.A., L) PR n.V. Ch. Dahme 32 208 Softwarespezifikation mit UML (D, B.A.) PS Do 09-11 wöch. RUD 25, 3.113 J. Fischer 32 209 Self-Organizing Middleware (D, B.A.) PS Di 15-17 wöch. RUD 26, 1’307 J.-P. Redlich 32 210 Digitale Medien: Fotografie und Grafik (D, B.A.) PS Mo 13-15 wöch. RUD 25, 3.113 W. Coy 32 211 Beauty is our Business (D,B) PS Mi 13-15 wöch. RUD 25, 3.113 W. Reisig 32 212 Die Grenzen der Berechenbarkeit (D,B.A.) PS Fr 09-11 wöch. RUD 26, 1’307 M. Grüber Weitere Angebote: Institut für Mathematik 32 421 Mathematik für InformatikerInnen 2 (2. Sem./D) HAUPTSTUDIUM Halbkurse/Kern- und Vertiefungsmodule/Wahlpflichtfächer (D, M, N, L, B.A.) Praktische Informatik (PI) 32 213 Objektorientierte Modellierung, Spezifikation und Implementierung 1 [OMSI 1] (HK)* VL Mi 11-13 wöch. RUD 26, 1’303 K. Ahrens VL Mi 13-15 wöch. RUD 26, 1’303 J. Fischer VL Fr 11-13 wöch. RUD 26, 1’303 K. Ahrens VL Fr 13-15 wöch. RUD 26, 1’303 J. Fischer PR Mi 15-17 wöch. RUD 26, 1’303 A. Kunert * erste Hälfte des Semesters 32 214 Objektorientierte Modellierung, Spezifikation und Implementierung 2 [OMSI 2] (HK)* VL Mi 11-13 wöch. RUD 26, 1’303 K. Ahrens VL Mi 13-15 wöch. RUD 26, 1’303 J. Fischer VL Fr 11-13 wöch. RUD 26, 1’303 K. Ahrens VL Fr 13-15 wöch. RUD 26, 1’303 J. Fischer PR Mi 15-17 wöch. RUD 26, 1’303 A. Kunert * zweite Hälfte des Semesters 32 215 Operating Systems Principles (HK) VL Di 09-11 wöch. RUD 26, 1’306 J.-P. Redlich VL Do 09-11 wöch. RUD 26, 1’306 PR Di 11-13 wöch. RUD 25, 4.113 M. Kurth PR Do 11-13 wöch. RUD 26, 1’308 M. Kurth 32 216 Operating Systems – Tools and Unix API (HK) VL Mi 09-11 wöch. RUD 25, 3.101 J.-P. Bell VL Fr 09-11 wöch. RUD 25, 3.101 PR n.V. wöch. RUD 25, 3.327 W. Müller 32 217 Software Engineering 1: Software-Entwicklung (HK) VL Mo 13-15 wöch. RUD 25, 3.001 K. Bothe VL Mi 13-15 wöch. RUD 25, 3.001 VL/UE Mo 15-17 wöch. RUD 25, 3.001 K. Bothe, K. Schützler UE Mi 09-11 wöch. RUD 25, 4.113 M. Ritzschke UE Mi 15-17 wöch. RUD 25, 3.101 M. Ritzschke 32 218 Informatik und Informationsgesellschaft II: Technik, Geschichte und Kontext (HK) VL Di 15-17 wöch. RUD 25, 3.101 J. Koubek VL Do 15-17 wöch. RUD 25, 3.101 UE/PR Do 17-19 wöch. RUD 25, 3.101 J.-M. Loebel 32 219 Implementierung von Datenbanksystemen [DBS II] (HK) VL Di 13-15 wöch. RUD 26, 0’313 J.-C. Freytag VL Mi 09-11 wöch. RUD 26, 0’313 PR Di 15-17 wöch. RUD 26, 0’313 N.N. PR Mi 15-17 wöch. RUD 26, 1’306 N.N. 32 220 Entwicklung von Informationssystemen – Gestern, heute, morgen (HK) VL Mo 11-13 wöch. RUD 26, 0’313 J.-C. Freytag PJ Mi 11-13 wöch. RUD 26, 0’313 J.-C. Freytag 32 221 Data Warehousing und Data Mining (HK) VL Di 11-13 wöch. RUD 26, 1’306 U. Leser VL Do 11-13 wöch. RUD 26, 1’306 UE Do 13-15 wöch. RUD 26, 1’306 U. Leser 32 222 Moderne Methoden der Künstlichen Intelligenz (HK) VL Di 15-17 wöch. RUD 26, 1’305 H.-D. Burkhard VL Do 15-17 wöch. RUD 26, 1’305 UE Do 13-15 wöch. RUD 26, 1’305 N.N. 32 223 Constraintlogische Programmierung (HK-2. Teil) VL Do 09-11 wöch. RUD 25, 4.113 J. Goltz UE Do 11-13 14tgl. RUD 25, 4.113 N.N. 32 224 Mathematische Grundlagen der Wahrnehmung und Sensomotorik (HK, auch math. Ergänzungsfach) VL Mo 13-15 wöch. RUD 26, 0’313 H.-D. Burkhard, M. Hild VL Mi 13-15 wöch. RUD 26, 0’313 UE/PR Mo 15-17 wöch. RUD 26, 0’313 H.-D. Burkhard, M. Hild 32 225 Werkzeuge der empirischen Forschung (HK, auch math. Ergänzungsfach) VL Mo 13-15 wöch. RUD 25, 3.101 W. Kössler VL Mi 13-15 wöch. RUD 25, 3.101 UE/PR Mo 15-18 wöch. RUD 25, 3.101, 2.212, 2.213 W. Kössler 32 226 Verteilte Algorithmen (HK, auch ThI) VL Di 11-13 wöch. RUD 26, 1’303 W. Reisig VL Do 11-13 wöch. RUD 26, 1’305 UE Di 13-15 wöch. RUD 26, 1’303 W. Reisig 32 269 Algebraische Spezifikation von Software und Hardware (HK, 1. Teil) VL BLOCK H. Schlingloff, M. Roggenbach Theoretische Informatik (ThI) 32 227 Logik und Komplexität (HK) VL Mo 13-15 wöch. RUD 26, 1’305 N. Schweikardt VL Mi 15-17 wöch. RUD 26, 1’307 UE Mo 15-17 wöch. RUD 26, 1’305 A. Hernich, N. Schweikardt 32 228 Anwendungen von Graphzerlegungen in Algorithmik und Logik (HK) VL Di 11-13 wöch. RUD 26, 0’313 S. Kreutzer, I. Adler VL Do 13-15 wöch. RUD 26, 0’313 UE Di 13-15 wöch. RUD 26, 1’306 S. Kreutzer, I. Adler 32 229 Lineare Optimierung (HK, auch math. Ergänzungsfach) VL Di 09-11 wöch. RUD 26, 1’303 L. Popova-Zeugmann VL Do 09-11 wöch. RUD 26, 1’303 UE Do 11-13 wöch. RUD 26, 1’303 M. Grüber 32 230 Zeit und Petrinetze (HK) VL Di 13-15 wöch. RUD 26, 1’307 L. Popova-Zeugmann VL Do 13-15 wöch. RUD 26, 1’307 32 231 Graphen und Algorithmen 2 (HK) VL Mi 11-13 wöch. RUD 25, 3.011 M. Bodirsky VL Fr 11-13 wöch. RUD 26, 1’305 UE Fr 09-11 wöch. RUD 26, 1’305 S. Kirchner 32 232 Analytische Kombinatorik (HK) VL Mi 09-11 wöch. RUD 26, 1’306 M. Kang VL Fr 09-11 wöch. RUD 26, 1’303 32 233 Kryptologie – Hilfsmittel und Algorithmen (HK-1. Teil) VL Mi 09-11 wöch. RUD 25, 3.113 E.-G. Giessmann Technische Informatik (TI) 32 234 Grundlagen der Signalverarbeitung (HK) VL Mo 15-17 wöch. RUD 26, 1’306 B. Meffert VL Mi 09-11 wöch. RUD 26, 1’305 UE Mi 11-13 wöch. RUD 26, 1’305 O. Hochmuth PR Mi 13-15 14tgl./1. RUD 25, 3.213 M. Salem PR Mi 13-15 14tgl./2. RUD 25, 3.213 M. Salem 32 235 Bildverarbeitung (HK) VL Di 09-11 wöch. RUD 26, 1’305 B. Meffert UE Di 11-13 wöch. RUD 26, 1’305 O. Hochmuth PR Di 13-15 n.V. RUD 25, 4.314 O. Hochmuth 32 236 Prozessinformatik (HK) VL Mo 11-13 wöch. RUD 26, 1’306 M. Ritzschke UE Mo 13-15 wöch. RUD 26, 1’306 M. Ritzschke PR n.V. M. Ritzschke 32 237 Spezielle Techniken der Rechnerkommunikation (HK) VL Mi 15-17 wöch. RUD 26, 0’313 S. Sommer VL Do 09-11 wöch. RUD 26, 0’313 PJ Do 11-13 wöch. RUD 26, 0’313 S. Sommer 32 270 Stochastische Modellierung und Simulation von Kommunikationssystemen (HK, auch PI) VL Di 13-15 wöch. RUD 26, 1'305 K. Wolter VL Do 13-15 wöch. RUD 26, 1’303 PJ n.V. K. Wolter Mathematisches Ergänzungsfach (D) siehe 32 224 (HK Mathematische Grundlagen der Wahrnehmung und Sensomotorik) siehe 32 225 (HK Werkzeuge der empirischen Forschung) siehe 32 229 (HK Lineare Optimierung) Pflichtfach (L, B.A.) 32 238 Multimedia in der Schule SE Mo 15-17 wöch. RUD 25, 3.113 C. Kurz Spezialvorlesung (D) 32 239 Wireless Mesh Technologies VL Fr 09-11 wöch. RUD 26, 1’306 A. Zubow UE/PR Fr 11-13 wöch. RUD 26, 1’306 A. Zubow Seminare (D, B.A., M, L) Praktische Informatik (PI) 32 240 Modellbasierte Sprachen: Definition & Tools SE Di 15-17 wöch. RUD 25, 3.113 J. Fischer 32 241 Compilergeneratoren SE Do 11-13 wöch. RUD 25, 3.113 A. Kunert 32 242 Ad-Hoc Networks SE Do 13-15 wöch. RUD 26, 1’308 J.-P. Redlich 32 243 Security Engineering SE Di 13-15 wöch. RUD 26, 1’308 W. Müller 32 244 Softwaresanierung PJ Do 13-15 wöch. RUD 25, 3.113 K. Bothe 32 245 Softwaresanierung für Fortgeschrittene PJ Do 15-17 wöch. RUD 25, 3.113 K. Bothe 32 246 Lehrmaterial-Repositories SE Di 09-11 wöch. RUD 25, 3.113 K. Bothe 32 247 Query Containment and View Selection Problem SE Mo 09-11 wöch. RUD 25, 3.113 J.-C. Freytag 32 248 Sensordatenbanken SE BLOCK U. Leser 32 249 Humanoide Roboter PJ Do 09-11 wöch. RUD 26, 1’308 H.-D. Burkhard, M. Hild 32 250 Automotive Software Engineering & Model-Based Design SE BLOCK H. Schlingloff, M. Conrad 32 251 Programmierung mit Hardware Accelerators: FPGA, Clearspead, GPU (auch TI) SE Mi 14-16 wöch. ZIB, 2006 A. Reinefeld, T. Schütt, T. Steinke PJ Mi 16-18 wöch. ZIB, 2006 A. Reinefeld, T. Schütt, T. Steinke 32 252 Management verteilter Ressourcen im Grid SE BLOCK A. Reinefeld, T. Röblitz 32 253 Self-Management and Reliability SE Mo 15-17 wöch. RUD 26, 1’308 A. Andrzejak 32 254 Theorie der Programmierung SE Mi 09-11 wöch. RUD 26, 1’307 W. Reisig 32 255 Formale Grundlagen der Geschäftsprozessmodellierung (auch ThI) SE Fr 11-13 wöch. RUD 26, 1’307 P. Massuthe Theoretische Informatik (ThI) 32 256 Automaten für unendliche Wörter SE Di 09-11 wöch. RUD 26, 1’307 M. Weyer 32 257 Graphentheorie und Kombinatorik SE BLOCK M. Schacht 32 258 Komplexität und Kryptologie SE Di 15-17 wöch. RUD 26, 1’308 O. Beyersdorff Technische Informatik (TI) 32 259 Spezialgebiete der Signalverarbeitung PJ Do 17-19 wöch. RUD 26, 1’305 B. Meffert 32 260 Anwendungen der Signalverarbeitung und Mustererkennung SE Do 09-11 wöch. RUD 26, 1’305 B. Meffert 32 261 Parallele Signalverarbeitung mit FPGA PJ Di 15-17 wöch. RUD 25, 4.113 F. Winkler 32 262 NOMADS – Networks of Mobile Adaptive Dependable Systems SE Do 15-17 wöch. RUD 26, 1’307 M. Malek, P. Ibach 32 264 Ausgewählte Probleme des Echtzeitrechnens SE Fr 09-11 wöch. RUD 25. 3.113 J. Richling 32 271 Self-Reliant Computing SE Mo 11-13 wöch. RUD 26, 1’307 F. Salfner Forschungsseminare/Kolloquium 32 265 FS n.V. K. Bothe FS Di 11-13 wöch. RUD 25, 3.408 H.-D. Burkhard FS n.V. W. Coy FS n.V. J. Fischer FS n.V. J.-C. Freytag FS Fr 11-13 wöch. RUD 25, 4.410 M. Grohe, S. Kreutzer, N. Schweikardt FS n.V. J. Köbler FS n.V. U. Leser FS Di 11-13 wöch. RUD 25, 2. Etage M. Malek FS Mo 17-19 14tgl./2. RUD 25, 3.113 B. Meffert FS Fr 13-15 wöch. RUD 25, 3.321 H.-J. Prömel, M. Schacht FS n.V. J.-P. Redlich FS n.V. ZIB A. Reinefeld FS Mi 15-17 wöch. RUD 25, 4.410 W. Reisig 32 266 Oberseminar Theoretische