Vorlesungsverzeichnis (WiSe 2012/13)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Fakultät 6 (Mathematik u. Informatik)

6.2 Informatik

Einführungsveranstaltungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 66902 STEP - STudentenEinführungsPhase der Fachschaft für Studienanfänger der Informatikstudiengänge (Master)   -   Fachschaft Informatikstudiengänge Einführungsveranstaltung 66903 STEP - STudentenEinführungsPhase der Fachschaft für Studienanfänger der Informatikstudiengänge (Bachelor)   -   Fachschaft Informatikstudiengänge Einführungsveranstaltung 66899 Einführungsveranstaltung Informatik (nicht für Studienanfänger Bachelor)   -   Dozent*innen/Informatik Einführungsveranstaltung 66904 Einführungsveranstaltung für Lehramtsstudierende Informatik aller Semester   -   Mirold Einführungsveranstaltung 66900 Welcome Meeting for new Master Students Computer Science   -   Breinig Einführungsveranstaltung 66901 Organizational meeting "Visual Computing"   -   Weickert Einführungsveranstaltung 64603 Introductory Meeting Bioinformatics   -   Helms Einführungsveranstaltung 66898 Einführungsveranstaltung Informatik für Studienanfänger Bachelor   -   Hack ,  Breinig Einführungsveranstaltung 67238 Orientierungseinheit CuK/Computer- und Kommunikationstechnologie   -   Professoren/Fachschaft/Ingenieurwissenschaften Sonstiges

Grundvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65460 Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung 65461 Grundzüge der Theoretischen Informatik   -   Paul Grundvorlesung 65462 Grundzüge von Algorithmen und Datenstrukturen   -   Bläser Grundvorlesung 65464 Programmierung 1   -   Smolka Grundvorlesung 65823 Hardwaredesignpraktikum   -   Paul Grundvorlesung 66500 Mathematik für Informatiker III   -   Labs Vorlesung 66504 Mathematik für Informatiker I   -   Setzer Vorlesung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 66037 Nebenläufige Automaten / Concurrent Automata   -   Hermanns Proseminar / Seminar 67259 Anwendungen von Markov-Ketten   -   Wolf Blockseminar 67260 Das Erfüllbarkeitsproblem SAT   -   Weidenbach ,  Hack Proseminar 67589 Neural Networks for Pattern Recognition   -   Klakow ,  Faubel Blockseminar 67692 Das Buch der Beweise   -   Seidel Proseminar 67733 Statische Programmanalyse   -   Reineke Proseminar

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65470 Telecommunications I   -   Herfet Vorlesung / Übung 65471 Computer Graphics   -   Slusallek Vorlesung / Übung 65472 Machine Learning   -   Hein Vorlesung / Übung 65828 Database Systems   -   Dittrich Vorlesung / Übung 65829 Computer Architecture I   -   Paul Vorlesung / Übung 65843 Security   -   Backes ,  Maffei ,  Hammer Vorlesung / Übung 66379 Image Processing and Computer Vision   -   Weickert Weiterführende Vorlesung 66836 Algorithms and Datastructures   -   Seidel Vorlesung / Übung 67223 Distributed Systems   -   Druschel ,  Clement Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 63830 Entscheidung und Information   -   Mohr ,  N. N. Vorlesung / Übung 63866 Planung von Finanzinformationssystemen   -   Mohr Vorlesung / Übung 63867 Anwendung von Finanzinformationssystemen   -   Mohr Vorlesung / Übung 65300 Text to Speech Synthesis   -   Möbius Vorlesung 65366 Speech Technology - Pattern and Speech Recognition   -   Klakow Vorlesung / Übung 65473 Future Media Internet   -   Herfet Weiterführende Vorlesung 65485 Automatic Planning   -   Hoffmann Weiterführende Vorlesung 65780 Development of Safety-Critical Embedded Systems   -   Wilhelm ,  Kästner Weiterführende Vorlesung 65969 Algorithmic Game Theory   -   van Stee Weiterführende Vorlesung 65980 Sublinear Algorithms   -   Sauerwald Weiterführende Vorlesung 66222 Statistical Learning II   -   Lengauer Spezialvorlesung 66256 Public Key Encryption   -   Schröder Weiterführende Vorlesung 66258 Modelling and Simulation   -   Wolf Weiterführende Vorlesung 66659 Probabilistic Graphical Models and their Applications   -   Schiele Weiterführende Vorlesung 66660 Dynamic Geometry Processing   -   Wand ,  Wuhrer Blockvorlesung 66665 Image Compression   -   Schmaltz Spezialvorlesung 66712 Automated Testing and Verification   -   Gorla ,  Galeotti Weiterführende Vorlesung 66713 Automated Debugging   -   Zeller Weiterführende Vorlesung 66721 Automated Reasoning II   -   Weidenbach Blockvorlesung 66992 Parallel Programming with CUDA   -   Slusallek ,  Kalojanov ,  Danilewski Weiterführende Vorlesung 67063 Correspondence Problems in Computer Vision   -   Weickert ,  Mainberger Spezialvorlesung 67224 Visualization and Data Analysis   -   Krüger ,  Weinkauf Weiterführende Vorlesung 67261 Automata, Games and Verification   -   Finkbeiner Weiterführende Vorlesung 67341 Discrete Topics in Data Mining   -   Miettinen Weiterführende Vorlesung 67597 Randomized Methods in Computer Science   -   Doerr Weiterführende Vorlesung

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65469 Heuristic Search Algorithms   -   Hoffmann Seminar 65825 Automatic Parallelization in the Polyhedral Model   -   Hack Seminar 65968 Social Choice Theory   -   van Stee Seminar 65979 Non-Traditional Data Management (NoSQL and more)   -   Michel Seminar 66037 Nebenläufige Automaten / Concurrent Automata   -   Hermanns Proseminar / Seminar 66666 Hauptseminar: Milestones and Advances in Image Analysis   -   Weickert ,  Demetz Seminar / Hauptseminar 66912 Practical Cryptographic Systems   -   Kate Seminar 67073 Graphs in Surfaces   -   Mnich ,  Schmidt Seminar 67149 Multimodal dialog systems: personalization and generic approaches   -   Klakow ,  Alexandersson ,  Petukhova Seminar 67245 Reading Group in Algorithms (B)   -   Mehlhorn Seminar 67265 Recent Topics in Computergraphics and Visualization   -   Krüger Seminar 67275 Dynamic Streaming   -   Herfet Seminar 67330 Technology Enhanced Learning   -   Siekmann ,  Sosnovsky Seminar 67344 Parallel Visual Computing   -   Ihrke ,  Ritschel ,  Fritz Seminar 67365 Real-time Systems & Synthesis   -   Finkbeiner ,  Faymonville ,  Gerke Seminar 67435 Applied Perception   -   Myszkowski ,  Ritschel Seminar 67577 Real-Time Scheduling and Synchronization   -   Brandenburg Seminar 67610 Statistical Learning for Structured Prediction with Applications to Natural Language Processing   -   Titov Seminar 67670 Parametricity and Modular Reasoning   -   Dreyer Seminar 67680 Wissensrepräsentation und Bereichsontologien Seminar 67728 Decision Procedures   -   Piskac Seminar 67732 Embodied Interaction: User Interfaces Merge With the Real World   -   Steimle Blockseminar

Freie Leistungspunkte (Soft Skills/Language/Lab)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65467 Grundlagen der Medieninformatik   -   Krüger Grundvorlesung 66254 Ideen der Informatik   -   Mehlhorn Vorlesung 67074 Science Slam Workshop   -   Dittrich Blockkurs 67257 Unix-Kurs für Unix/Linux-Einsteiger   -   Spurk Kurs 67562 Basic Mathematical Techniques for Computer Scientists   -   Philip Kurs

Studiengang Medieninformatik

Grundvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65460 Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung 65461 Grundzüge der Theoretischen Informatik   -   Paul Grundvorlesung 65462 Grundzüge von Algorithmen und Datenstrukturen   -   Bläser Grundvorlesung 65464 Programmierung 1   -   Smolka Grundvorlesung 65467 Grundlagen der Medieninformatik   -   Krüger Grundvorlesung 66504 Mathematik für Informatiker I   -   Setzer Vorlesung 66718 Medienprojekt   -   Krüger Grundvorlesung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 66037 Nebenläufige Automaten / Concurrent Automata   -   Hermanns Proseminar / Seminar 67259 Anwendungen von Markov-Ketten   -   Wolf Blockseminar 67260 Das Erfüllbarkeitsproblem SAT   -   Weidenbach ,  Hack Proseminar 67401 Programmierung mobiler Geräte mit Android   -   Jung Proseminar 67589 Neural Networks for Pattern Recognition   -   Klakow ,  Faubel Blockseminar 67692 Das Buch der Beweise   -   Seidel Proseminar 67733 Statische Programmanalyse   -   Reineke Proseminar

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65470 Telecommunications I   -   Herfet Vorlesung / Übung 65471 Computer Graphics   -   Slusallek Vorlesung / Übung 65472 Machine Learning   -   Hein Vorlesung / Übung 65829 Computer Architecture I   -   Paul Vorlesung / Übung 65843 Security   -   Backes ,  Maffei ,  Hammer Vorlesung / Übung 66379 Image Processing and Computer Vision   -   Weickert Weiterführende Vorlesung 66836 Algorithms and Datastructures   -   Seidel Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65485 Automatic Planning   -   Hoffmann Weiterführende Vorlesung 65780 Development of Safety-Critical Embedded Systems   -   Wilhelm ,  Kästner Weiterführende Vorlesung 65969 Algorithmic Game Theory   -   van Stee Weiterführende Vorlesung 65980 Sublinear Algorithms   -   Sauerwald Weiterführende Vorlesung 66222 Statistical Learning II   -   Lengauer Spezialvorlesung 66256 Public Key Encryption   -   Schröder Weiterführende Vorlesung 66258 Modelling and Simulation   -   Wolf Weiterführende Vorlesung 66659 Probabilistic Graphical Models and their Applications   -   Schiele Weiterführende Vorlesung 66660 Dynamic Geometry Processing   -   Wand ,  Wuhrer Blockvorlesung 66712 Automated Testing and Verification   -   Gorla ,  Galeotti Weiterführende Vorlesung 66713 Automated Debugging   -   Zeller Weiterführende Vorlesung 66721 Automated Reasoning II   -   Weidenbach Blockvorlesung 66992 Parallel Programming with CUDA   -   Slusallek ,  Kalojanov ,  Danilewski Weiterführende Vorlesung 67063 Correspondence Problems in Computer Vision   -   Weickert ,  Mainberger Spezialvorlesung 67224 Visualization and Data Analysis   -   Krüger ,  Weinkauf Weiterführende Vorlesung 67261 Automata, Games and Verification   -   Finkbeiner Weiterführende Vorlesung 67341 Discrete Topics in Data Mining   -   Miettinen Weiterführende Vorlesung 67597 Randomized Methods in Computer Science   -   Doerr Weiterführende Vorlesung

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 65469 Heuristic Search Algorithms   -   Hoffmann Seminar 65825 Automatic Parallelization in the Polyhedral Model   -   Hack Seminar 65968 Social Choice Theory   -   van Stee Seminar 65979 Non-Traditional Data Management (NoSQL and more)   -   Michel Seminar 66037 Nebenläufige Automaten / Concurrent Automata   -   Hermanns Proseminar / Seminar 66666 Hauptseminar: Milestones and Advances in Image Analysis   -   Weickert ,  Demetz Seminar / Hauptseminar 66912 Practical Cryptographic Systems   -   Kate Seminar 67073 Graphs in Surfaces   -   Mnich ,  Schmidt Seminar 67149 Multimodal dialog systems: personalization and generic approaches   -   Klakow ,  Alexandersson ,  Petukhova Seminar 67245 Reading Group in Algorithms (B)   -   Mehlhorn Seminar 67265 Recent Topics in Computergraphics and Visualization   -   Krüger Seminar 67275 Dynamic Streaming   -   Herfet Seminar 67330 Technology Enhanced Learning   -   Siekmann ,  Sosnovsky Seminar 67344 Parallel Visual Computing   -   Ihrke ,  Ritschel ,  Fritz Seminar 67365 Real-time Systems & Synthesis   -   Finkbeiner ,  Faymonville ,  Gerke Seminar 67435 Applied Perception   -   Myszkowski ,  Ritschel Seminar 67547 Tangible Maps   -   Löchtefeld Blockseminar 67577 Real-Time Scheduling and Synchronization   -   Brandenburg Seminar 67670 Parametricity and Modular Reasoning   -   Dreyer Seminar 67728 Decision Procedures   -   Piskac Seminar 67732 Embodied Interaction: User Interfaces Merge With the Real World   -   Steimle Blockseminar

Freie Leistungspunkte (Soft Skills/Language/Lab)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 63834 Marketingmanagement   -   Gröppel-Klein ,  N. N. Vorlesung / Übung

Spezialisierungsfach: Medienpsychologie

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 64634 Modul Allgemeine Psychologie I: Modulelement 'Allgemeine Psychologie I: Wahrnehmung und Aufmerksamkeit'   -   Wentura Vorlesung

Lehramt Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 67052 Einführung in die Didaktik der Informatik - (Modul Didaktik der Informatik)   -   Mirold Vorlesung / Übung 67053 Begleitendes Seminar zum semesterbegleitenden fachdidaktischen Schulpraktikum   -   Mirold Seminar 67056 Begleitendes Seminar zum fachdidaktischen Blockpraktikum   -   Mirold Seminar

Veranstaltungen der Bioinformatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 64607 Bioinformatik 3   -   Helms Vorlesung 64609 Special-topic Lecture Bioinformatics: Modern Methods in Drug Discovery   -   Hutter Vorlesung 66212 Bioinformatik I   -   Lenhof Vorlesung

Veranstaltungen für Studierende anderer Fakultäten

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 66254 Ideen der Informatik   -   Mehlhorn Vorlesung 67074 Science Slam Workshop   -   Dittrich Blockkurs