Vorlesungsverzeichnis (SoSe 2012)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Fakultät 6 (Mathematik u. Informatik)

6.2 Informatik

Einführungsveranstaltungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 62248 Einführungsveranstaltung Informatik (nicht für Studienanfänger Bachelor)   -   Dozent*innen/Informatik Einführungsveranstaltung 62246 Einführungsveranstaltung für Lehramtsstudierende Informatik aller Semester   -   Mirold Einführungsveranstaltung 62247 Welcome Meeting for new Master Students Computer Science   -   Breinig Einführungsveranstaltung 62251 Einführungsveranstaltung für Studierende der Computer- und Kommunikationstechnik   -   Dozent*innen/Eingebettete Systeme/Embedded Systems Einführungsveranstaltung 62245 Organizational meeting "Visual Computing"   -   Weickert Einführungsveranstaltung 62249 Einführungsveranstaltung Informatik für Studienanfänger Bachelor   -   Breinig Einführungsveranstaltung

Grundvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 61140 Programmierung 2   -   Hack Grundvorlesung 61145 Systemarchitektur   -   Paul Grundvorlesung 61146 Nebenläufige Programmierung   -   Hermanns Grundvorlesung 61147 Informationssysteme   -   Dittrich Grundvorlesung 61292 Hardwaredesignpraktikum   -   Paul Grundvorlesung 61705 Mathematik für Informatiker II   -   Labs Vorlesung 64008 Softwarepraktikum   -   Zeller Grundvorlesung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 61150 Mobile Interaction Design   -   Löchtefeld Blockseminar 61937 Analysis jenseits von Leibniz und Newton   -   Weickert ,  Hoeltgen Proseminar / Seminar 62188 Funktionale Programmierung   -   Smolka ,  Doczkal Proseminar 62885 Suchmaschinen ,  Berberich Proseminar 63496 Perlen der Theoretischen Informatik   -   Seidel Proseminar

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 61156 Cryptography   -   Backes Vorlesung / Übung 61157 Automated Reasoning   -   Weidenbach ,  Kosta Vorlesung / Übung 61158 Optimization   -   van Stee ,  Spöhel Vorlesung / Übung 61159 Introduction to Computational Logic   -   Smolka ,  Brown Vorlesung / Übung 61242 Geometric Modeling   -   Wand Vorlesung / Übung 62256 Software Engineering   -   Zeller Vorlesung / Übung 62831 Artificial Intelligence   -   Wahlster ,  Hoffmann Vorlesung / Übung 62883 Embedded Systems   -   Finkbeiner Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 59968 Digitale Signalverarbeitung/ Digital Signal Processing   -   Klakow Vorlesung 60428 Algorithmen und Systeme   -   Schmidt ,  N. N. Vorlesung / Übung 60716 Text to Speech Synthesis   -   Möbius Forschungsseminar 61184 Telecommunications II   -   Herfet Vorlesung / Übung 61185 Computational Number Theory and Algebra   -   Bläser ,  Saha Weiterführende Vorlesung 61187 Limits of Computational Learning   -   Kötzing Weiterführende Vorlesung 61188 Algorithm Engineering   -   Mehlhorn ,  Gawrychowski Weiterführende Vorlesung 61189 High-Level Computer Vision   -   Schiele ,  Fritz Weiterführende Vorlesung 61190 Exponential-Time Algorithms   -   Mnich Weiterführende Vorlesung 61191 Quantitative Model Checking   -   Wolf ,  Spieler Weiterführende Vorlesung 61468 Advanced Graph Algorithms   -   Wahlström ,  Schmidt ,  Duan Weiterführende Vorlesung 61721 Algebraische Topologie   -   Schreyer Vorlesung 61810 Bioinformatik II   -   Lenhof Vorlesung 61927 Differential Equations in Image Processing and Computer Vision   -   Weickert Vorlesung 61933 Wavelets and Sparsity   -   Setzer Vorlesung 62101 Secure Information Flow   -   Hammer Weiterführende Vorlesung 62207 Computational Photography   -   Ihrke Weiterführende Vorlesung 62215 Elements of Statistical Learning 1   -   Lengauer Weiterführende Vorlesung 62458 Convex Optimization   -   Hein Weiterführende Vorlesung 62631 The impact of resource sharing on performance and performance prediction   -   Wilhelm ,  Reineke Weiterführende Vorlesung 62689 Concurrent and mobile languages   -   Turrini Weiterführende Vorlesung 62690 Applied Concurrency Theory   -   Garavel Blockvorlesung 62777 Interactive Image Synthesis   -   Krüger Weiterführende Vorlesung 62843 Scalable Uncertainty Management Weiterführende Vorlesung 62953 Realistic Image Synthesis   -   Slusallek Weiterführende Vorlesung 63040 Statistical Natural Language Processing   -   Klakow Vorlesung / Übung 63041 Search in NLP Vorlesung 63205 Computational Systems Biology   -   Pahle Spezialvorlesung

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 61072 Statistical Shape Analysis - or - How to Build a Digital Clone Using Simple Modalities   -   Wuhrer Seminar 61151 Massive Mobile Urban Computing   -   Gehring ,  Löchtefeld Blockseminar 61183 Reading Group in Algorithms   -   Mehlhorn ,  Winzen Seminar 61938 Hot Topics in Image Analysis   -   Setzer ,  Demetz Seminar / Hauptseminar 62443 Information Systems for Resource Efficiency and Sustainability   -   Wahlster Blockseminar 62572 Hot Topics in Security & Privacy   -   Backes ,  Maffei ,  Hammer Blockseminar 62692 Proof Theory   -   Garg Seminar 62778 Recent Topics in Computergraphics and Visualization   -   Krüger Blockseminar 62779 Current methods and open questions in scientific visualization   -   Krüger Seminar 62798 Visual Computing Techniques for Efficient Content Production   -   Thormählen Seminar 62800 Personalizing the User Experience: Techniques and Applications from Selected Domains (automotive, retail & web)   -   Heckmann ,  Müller ,  Feld ,  Kahl Seminar 62993 Self-Healing Systems   -   Zeller Seminar 62994 Testing, Verification, and Everything in Between   -   Zeller Seminar 63017 Recent Trends in Machine Learning for Natural Language Processing   -   Klakow ,  Roth Seminar 63025 Semi-supervised and Unsupervised learning with Applications to NLP   -   Titov Seminar 63206 Information Processing in Living Systems   -   Pahle Proseminar / Seminar 63405 Graphics, Vision and Video - Interdisciplinary Research Topics in Visual Computing   -   Theobalt Seminar 63470 Efficient Parallel Data Processing in MapReduce Workflows   -   Dittrich ,  Quiané-Ruiz Seminar

Freie Leistungspunkte (Soft Skills/Language/Lab)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 60427 Persönliche Finanzplanung   -   Schmidt ,  N. N. Vorlesung / Übung 60506 Praktika zum Informationsmanagement   -   Schmidt ,  N. N. Praktikum 61141 Ubiquitous Media   -   Krüger Grundvorlesung 61148 Programmieren für Ingenieure   -   Dittrich ,  Reineke Grundvorlesung 62635 User Interface Design   -   Oulasvirta ,  Jameson Grundvorlesung 63033 Unix-Kurs für Unix-/Linux-Einsteiger   -   Spurk Kurs 63420 eHumanities   -   Bartsch Hauptseminar Zur Zeit keine Belegung möglich 66252 Soft Skills Seminar   -   Gerling Blockkurs

Studiengang Medieninformatik

Grundvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 61140 Programmierung 2   -   Hack Grundvorlesung 61141 Ubiquitous Media   -   Krüger Grundvorlesung 61147 Informationssysteme   -   Dittrich Grundvorlesung 61705 Mathematik für Informatiker II   -   Labs Vorlesung 62635 User Interface Design   -   Oulasvirta ,  Jameson Grundvorlesung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 61150 Mobile Interaction Design   -   Löchtefeld Blockseminar 61937 Analysis jenseits von Leibniz und Newton   -   Weickert ,  Hoeltgen Proseminar / Seminar 62188 Funktionale Programmierung   -   Smolka ,  Doczkal Proseminar 62885 Suchmaschinen ,  Berberich Proseminar 63496 Perlen der Theoretischen Informatik   -   Seidel Proseminar

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 61156 Cryptography   -   Backes Vorlesung / Übung 61157 Automated Reasoning   -   Weidenbach ,  Kosta Vorlesung / Übung 61158 Optimization   -   van Stee ,  Spöhel Vorlesung / Übung 61159 Introduction to Computational Logic   -   Smolka ,  Brown Vorlesung / Übung 61242 Geometric Modeling   -   Wand Vorlesung / Übung 62256 Software Engineering   -   Zeller Vorlesung / Übung 62831 Artificial Intelligence   -   Wahlster ,  Hoffmann Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 61184 Telecommunications II   -   Herfet Vorlesung / Übung 61185 Computational Number Theory and Algebra   -   Bläser ,  Saha Weiterführende Vorlesung 61187 Limits of Computational Learning   -   Kötzing Weiterführende Vorlesung 61188 Algorithm Engineering   -   Mehlhorn ,  Gawrychowski Weiterführende Vorlesung 61189 High-Level Computer Vision   -   Schiele ,  Fritz Weiterführende Vorlesung 61190 Exponential-Time Algorithms   -   Mnich Weiterführende Vorlesung 61191 Quantitative Model Checking   -   Wolf ,  Spieler Weiterführende Vorlesung 61468 Advanced Graph Algorithms   -   Wahlström ,  Schmidt ,  Duan Weiterführende Vorlesung 61927 Differential Equations in Image Processing and Computer Vision   -   Weickert Vorlesung 61933 Wavelets and Sparsity   -   Setzer Vorlesung 62101 Secure Information Flow   -   Hammer Weiterführende Vorlesung 62207 Computational Photography   -   Ihrke Weiterführende Vorlesung 62215 Elements of Statistical Learning 1   -   Lengauer Weiterführende Vorlesung 62458 Convex Optimization   -   Hein Weiterführende Vorlesung 62631 The impact of resource sharing on performance and performance prediction   -   Wilhelm ,  Reineke Weiterführende Vorlesung 62689 Concurrent and mobile languages   -   Turrini Weiterführende Vorlesung 62690 Applied Concurrency Theory   -   Garavel Blockvorlesung 62777 Interactive Image Synthesis   -   Krüger Weiterführende Vorlesung 62843 Scalable Uncertainty Management Weiterführende Vorlesung

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 61072 Statistical Shape Analysis - or - How to Build a Digital Clone Using Simple Modalities   -   Wuhrer Seminar 61151 Massive Mobile Urban Computing   -   Gehring ,  Löchtefeld Blockseminar 61183 Reading Group in Algorithms   -   Mehlhorn ,  Winzen Seminar 61938 Hot Topics in Image Analysis   -   Setzer ,  Demetz Seminar / Hauptseminar 62443 Information Systems for Resource Efficiency and Sustainability   -   Wahlster Blockseminar 62572 Hot Topics in Security & Privacy   -   Backes ,  Maffei ,  Hammer Blockseminar 62692 Proof Theory   -   Garg Seminar 62778 Recent Topics in Computergraphics and Visualization   -   Krüger Blockseminar 62779 Current methods and open questions in scientific visualization   -   Krüger Seminar 62798 Visual Computing Techniques for Efficient Content Production   -   Thormählen Seminar 62800 Personalizing the User Experience: Techniques and Applications from Selected Domains (automotive, retail & web)   -   Heckmann ,  Müller ,  Feld ,  Kahl Seminar 62993 Self-Healing Systems   -   Zeller Seminar 62994 Testing, Verification, and Everything in Between   -   Zeller Seminar 63405 Graphics, Vision and Video - Interdisciplinary Research Topics in Visual Computing   -   Theobalt Seminar 63470 Efficient Parallel Data Processing in MapReduce Workflows   -   Dittrich ,  Quiané-Ruiz Seminar

Freie Leistungspunkte (Soft Skills/Language/Lab)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 61146 Nebenläufige Programmierung   -   Hermanns Grundvorlesung

Praktika

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 64008 Softwarepraktikum   -   Zeller Grundvorlesung

Spezialisierungsfach: Medienpsychologie

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 61774 Modul Allgemeine Psychologie I: Gedächtnis & Denken   -   Wentura Vorlesung 63404 Medienpsychologie und Mensch-Maschine-Interaktion   -   Mahr Seminar

Lehramt Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 62604 Fachdidaktisches Laborpraktikum   -   Mirold Praktikum 62605 Fachdidaktikseminar II   -   Mirold Seminar 62606 Begleitendes Seminar zum semesterbegleitenden fachdidaktischen Schulpraktikum   -   Mirold Praktikum / Seminar 62607 Begleitendes Seminar zum fachdidaktischen Blockpraktikum   -   Mirold Seminar

Veranstaltungen der Bioinformatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 61805 Bioinformatic approaches for cancer research   -   Lenhof Proseminar 61806 Antigen based diagnostics   -   Lenhof Praktikum 61807 Selected topics in molecular docking   -   Lenhof Seminar 61808 Modelling and analyzing biological networks   -   Lenhof Seminar 61809 Efficient algorithms for RNA molecules   -   Lenhof Proseminar 61810 Bioinformatik II   -   Lenhof Vorlesung 62215 Elements of Statistical Learning 1   -   Lengauer Weiterführende Vorlesung 62723 Computational Biology of Transcriptional Gene Regulation   -   Baumbach Spezialvorlesung

Veranstaltungen für Studierende anderer Fakultäten

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 61148 Programmieren für Ingenieure   -   Dittrich ,  Reineke Grundvorlesung