Vorlesungsverzeichnis (WiSe 2018/19)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Bachelor (inkl. Optionalbereich)

Medieninformatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 114189 Open FabLab (in cooperation with the CS student's council)   -   Steimle ,  Rüstig Kurs

Bachelor PO 2010

Einführungsveranstaltungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 113827 Einführungsveranstaltung Informatik (nicht für Studienanfänger Bachelor)   -   Dozent*innen/Informatik Einführungsveranstaltung

Grundvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 112502 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 112503 Grundzüge von Algorithmen und Datenstrukturen   -   Paul Grundvorlesung 112504 Programmierung 1   -   Smolka Grundvorlesung 112508 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung 112509 Medienprojekt   -   Krüger Grundvorlesung 112510 Grundlagen der Medieninformatik   -   Krüger Grundvorlesung 113033 Human Computer Interaction   -   Steimle Vorlesung / Übung 113492 Mathematik für Informatiker I   -   Groves Vorlesung / Übung 113495 Mathematik für Informatiker III   -   Zähle Vorlesung / Übung

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 113023 Verification   -   Hermanns Vorlesung / Übung 113025 Telecommunications I   -   Herfet Vorlesung / Übung 113027 Computer Graphics   -   Slusallek Vorlesung / Übung 113028 Database Systems   -   Dittrich Vorlesung / Übung 113029 Security   -   Cremers Vorlesung / Übung 113030 Automated Reasoning   -   Weidenbach Vorlesung / Übung 113031 Machine Learning   -   Schiele Vorlesung / Übung 113032 Distributed Systems   -   Druschel ,  Gummadi ,  Garg Vorlesung / Übung 113516 Compiler Construction   -   Hack Vorlesung / Übung 113524 Algorithms and Data Structures   -   Seidel Vorlesung / Übung 113823 Data Networks Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 110908 Neural Networks: Implementation and Application   -   Klakow Vorlesung / Übung 110913 Statistik mit R   -   Demberg Vorlesung / Übung 111617 Project Management and Execution   -   Loos ,  Knop ,  Bayer Vorlesung 112042 Probabilistic Graphical Models and their Applications   -   Pons-Moll ,  Swoboda Weiterführende Vorlesung 113024 Future Media Internet   -   Herfet Vorlesung / Übung 113432 Convex Analysis and Optimization   -   Ochs Weiterführende Vorlesung 113466 Program Analysis   -   Reineke ,  Darulova Weiterführende Vorlesung 113551 AI Planning   -   Torralba Weiterführende Vorlesung 113558 Pseudorandomness and Derandomisation   -   Bläser Weiterführende Vorlesung 113595 Human-centered Machine Learning   -   Gummadi Weiterführende Vorlesung 113596 Multivariate Algorithmics   -   Dell Weiterführende Vorlesung 113611 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 113612 Recht der Cybersicherheit - Datenschutz   -   Sorge Weiterführende Vorlesung 113613 Generating Software Tests   -   Zeller Weiterführende Vorlesung 113615 Mobile Security   -   Bugiel Weiterführende Vorlesung 113616 Advanced Public Key Encryption   -   Döttling Weiterführende Vorlesung 113617 Malware Analysis and Intrusion Detection   -   Rossow Weiterführende Vorlesung 113618 Automata, Games, and Verification   -   Finkbeiner Weiterführende Vorlesung 113643 Space Informatics   -   Hermanns Blockvorlesung 113841 Algorithms on Directed Graphs   -   Amiri ,  Rosenbaum ,  Oh Weiterführende Vorlesung 113868 Theory of Distributed Systems   -   Lenzen ,  Wiederhake Weiterführende Vorlesung 113869 Randomized and Approximation Algorithms   -   Antoniadis ,  Künnemann Weiterführende Vorlesung 113944 Differential Equations in Image Processing and Computer Vision   -   Peter ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 113945 Image Acquisition Methods   -   Peter Vorlesung / Übung 113947 Interpolation and Approximation for Visual Computing   -   Mitarbeiter des Lehrstuhls Vorlesung / Übung 114027 Spezialvorlesung Bioinformatik: Statistical Learning   -   Vreeken ,  Marschall Spezialvorlesung 114191 Perception for Computer Graphics   -   Myszkowski Weiterführende Vorlesung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 113625 Physical-Layer Security   -   Tippenhauer Proseminar 113627 Low-Level Software Security Proseminar 113628 Malware   -   Rossow Proseminar 114036 Rust   -   Hack ,  Leißa Proseminar 114045 Hardware Design   -   Reineke ,  Hahn Proseminar 114074 Berechenbarkeits- und Komplexitätstheorie   -   Bläser Blockseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 111067 Machine Learning for Natural Language Processing   -   Klakow ,  Trost Blockseminar 111073 Knowledge representation and domain ontologies Seminar 113151 Seminar: "Steuerrechtliche Herausforderungen der digitalen Wirtschaft"   -   Morsch ,  Sorge Seminar 113561 Web Service Search and Composition   -   Klusch ,  Nonnengart Seminar 113568 Hyperproperties   -   Finkbeiner Seminar 113619 Data Privacy   -   Zhang Seminar 113620 Hands-on Protocol Verification   -   Künnemann Seminar 113621 Selected Topics in Formal Methods for Security   -   Jacobs Seminar 113622 Joint Advances in Web Security   -   Stock Seminar 113623 Usable Security   -   Krombholz Seminar 113647 Probabilistic Models of Concurrency   -   Hermanns ,  Wolf Seminar 113648 Advanced Topics in Knowledge Bases   -   Razniewski Seminar 113649 Sensing Virtual Reality: Practical Seminar on Dynamic Passive Haptics   -   Daiber ,  Kosmalla ,  Degraen ,  Zenner Seminar 113658 Computational Fabrication   -   Seidel ,  Babaei Seminar 113664 Foundations of Mathematics - an Introduction to Sets and Types   -   Smolka ,  Keller Seminar 113899 Usability Testing for Virtual Reality: Theory & Practice   -   Speicher Seminar 113948 Seminar/Hauptseminar Advances in Image Processing and Computer Vision   -   Bergerhoff Seminar / Hauptseminar 114043 Reading Group in Algorithms   -   Mehlhorn ,  Vaz Seminar 114044 Hardware Design   -   Reineke ,  Hahn Seminar 114050 Inductive Logic Programming: a Symbolic Approach to Machine Learning   -   Tourret Seminar 114073 Die elektronische Akte und der elektronische Rechtsverkehr - Technische und rechtliche Aspekte   -   Sorge ,  Krüger Seminar 114120 Strafrechtliche Betrachtung von Cyberangriffen   -   Sorge ,  Krüger ,  Vogelgesang Blockseminar 114178 Applied Deep Learning in the Automotive Industry and Industry 4.0   -   Klusch ,  Feld Seminar 114188 Machine Learning for Big Data Systems   -   Dittrich Seminar 116098 Innovative Retail Technologies   -   Krüger ,  Lessel ,  Speicher ,  Kosmalla Blockseminar 116468 Advanced Program Analysis   -   Darulova Blockseminar

Spezialisierungsfach Medienpsychologie

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 113299 Modul Allgemeine Psychologie I: Modulelement 'Allgemeine Psychologie I: Wahrnehmung und Aufmerksamkeit'   -   Wentura Vorlesung 113881 Medienpsychologisches Seminar: Sozialpsychologische Aspekte der Medienpsychologie   -   Wennerhold Seminar

Freie Leistungspunkte (Soft Skills/Language/Lab)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 113042 Unix-Kurs für Unix/Linux-Einsteiger   -   Spurk Kurs belegen/abmelden 114129 Ringvorlesung Cybersecurity   -   Researchers and Entrepreneurs in Cybersecurity Vorlesung

Bachelor PO 2013

Einführungsveranstaltungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 113827 Einführungsveranstaltung Informatik (nicht für Studienanfänger Bachelor)   -   Dozent*innen/Informatik Einführungsveranstaltung 113832 STEP - STudentenEinführungsPhase der Fachschaft für Studienanfänger der Informatikstudiengänge (Bachelor)   -   Fachschaft Informatikstudiengänge Einführungsveranstaltung

Pflichtbereich aus dem Fachbereich Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 112503 Grundzüge von Algorithmen und Datenstrukturen   -   Paul Grundvorlesung 112504 Programmierung 1   -   Smolka Grundvorlesung 112508 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung 113492 Mathematik für Informatiker I   -   Groves Vorlesung / Übung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 113625 Physical-Layer Security   -   Tippenhauer Proseminar 113627 Low-Level Software Security Proseminar 113628 Malware   -   Rossow Proseminar 114036 Rust   -   Hack ,  Leißa Proseminar 114045 Hardware Design   -   Reineke ,  Hahn Proseminar 114074 Berechenbarkeits- und Komplexitätstheorie   -   Bläser Blockseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 111067 Machine Learning for Natural Language Processing   -   Klakow ,  Trost Blockseminar 113151 Seminar: "Steuerrechtliche Herausforderungen der digitalen Wirtschaft"   -   Morsch ,  Sorge Seminar 113561 Web Service Search and Composition   -   Klusch ,  Nonnengart Seminar 113568 Hyperproperties   -   Finkbeiner Seminar 113619 Data Privacy   -   Zhang Seminar 113620 Hands-on Protocol Verification   -   Künnemann Seminar 113621 Selected Topics in Formal Methods for Security   -   Jacobs Seminar 113622 Joint Advances in Web Security   -   Stock Seminar 113623 Usable Security   -   Krombholz Seminar 113647 Probabilistic Models of Concurrency   -   Hermanns ,  Wolf Seminar 113648 Advanced Topics in Knowledge Bases   -   Razniewski Seminar 113649 Sensing Virtual Reality: Practical Seminar on Dynamic Passive Haptics   -   Daiber ,  Kosmalla ,  Degraen ,  Zenner Seminar 113658 Computational Fabrication   -   Seidel ,  Babaei Seminar 113664 Foundations of Mathematics - an Introduction to Sets and Types   -   Smolka ,  Keller Seminar 113899 Usability Testing for Virtual Reality: Theory & Practice   -   Speicher Seminar 113948 Seminar/Hauptseminar Advances in Image Processing and Computer Vision   -   Bergerhoff Seminar / Hauptseminar 114043 Reading Group in Algorithms   -   Mehlhorn ,  Vaz Seminar 114044 Hardware Design   -   Reineke ,  Hahn Seminar 114050 Inductive Logic Programming: a Symbolic Approach to Machine Learning   -   Tourret Seminar 114073 Die elektronische Akte und der elektronische Rechtsverkehr - Technische und rechtliche Aspekte   -   Sorge ,  Krüger Seminar 114120 Strafrechtliche Betrachtung von Cyberangriffen   -   Sorge ,  Krüger ,  Vogelgesang Blockseminar 114178 Applied Deep Learning in the Automotive Industry and Industry 4.0   -   Klusch ,  Feld Seminar 114188 Machine Learning for Big Data Systems   -   Dittrich Seminar 116098 Innovative Retail Technologies   -   Krüger ,  Lessel ,  Speicher ,  Kosmalla Blockseminar 116468 Advanced Program Analysis   -   Darulova Blockseminar

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 113023 Verification   -   Hermanns Vorlesung / Übung 113025 Telecommunications I   -   Herfet Vorlesung / Übung 113027 Computer Graphics   -   Slusallek Vorlesung / Übung 113028 Database Systems   -   Dittrich Vorlesung / Übung 113029 Security   -   Cremers Vorlesung / Übung 113030 Automated Reasoning   -   Weidenbach Vorlesung / Übung 113031 Machine Learning   -   Schiele Vorlesung / Übung 113032 Distributed Systems   -   Druschel ,  Gummadi ,  Garg Vorlesung / Übung 113516 Compiler Construction   -   Hack Vorlesung / Übung 113524 Algorithms and Data Structures   -   Seidel Vorlesung / Übung 113823 Data Networks Vorlesung / Übung

Pflichtbereich aus dem Fachbereich Medieninformatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 112509 Medienprojekt   -   Krüger Grundvorlesung 112510 Grundlagen der Medieninformatik   -   Krüger Grundvorlesung 113033 Human Computer Interaction   -   Steimle Vorlesung / Übung

Pflichtbereich aus dem Fachbereich Psychologie

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 113299 Modul Allgemeine Psychologie I: Modulelement 'Allgemeine Psychologie I: Wahrnehmung und Aufmerksamkeit'   -   Wentura Vorlesung 113881 Medienpsychologisches Seminar: Sozialpsychologische Aspekte der Medienpsychologie   -   Wennerhold Seminar

Wahlpflichtbereich

Sonstiges

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 113042 Unix-Kurs für Unix/Linux-Einsteiger   -   Spurk Kurs belegen/abmelden 114129 Ringvorlesung Cybersecurity   -   Researchers and Entrepreneurs in Cybersecurity Vorlesung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 110908 Neural Networks: Implementation and Application   -   Klakow Vorlesung / Übung 110913 Statistik mit R   -   Demberg Vorlesung / Übung 111617 Project Management and Execution   -   Loos ,  Knop ,  Bayer Vorlesung 112042 Probabilistic Graphical Models and their Applications   -   Pons-Moll ,  Swoboda Weiterführende Vorlesung 113024 Future Media Internet   -   Herfet Vorlesung / Übung 113432 Convex Analysis and Optimization   -   Ochs Weiterführende Vorlesung 113466 Program Analysis   -   Reineke ,  Darulova Weiterführende Vorlesung 113551 AI Planning   -   Torralba Weiterführende Vorlesung 113558 Pseudorandomness and Derandomisation   -   Bläser Weiterführende Vorlesung 113595 Human-centered Machine Learning   -   Gummadi Weiterführende Vorlesung 113596 Multivariate Algorithmics   -   Dell Weiterführende Vorlesung 113611 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 113612 Recht der Cybersicherheit - Datenschutz   -   Sorge Weiterführende Vorlesung 113613 Generating Software Tests   -   Zeller Weiterführende Vorlesung 113615 Mobile Security   -   Bugiel Weiterführende Vorlesung 113616 Advanced Public Key Encryption   -   Döttling Weiterführende Vorlesung 113617 Malware Analysis and Intrusion Detection   -   Rossow Weiterführende Vorlesung 113618 Automata, Games, and Verification   -   Finkbeiner Weiterführende Vorlesung 113643 Space Informatics   -   Hermanns Blockvorlesung 113841 Algorithms on Directed Graphs   -   Amiri ,  Rosenbaum ,  Oh Weiterführende Vorlesung 113868 Theory of Distributed Systems   -   Lenzen ,  Wiederhake Weiterführende Vorlesung 113869 Randomized and Approximation Algorithms   -   Antoniadis ,  Künnemann Weiterführende Vorlesung 113944 Differential Equations in Image Processing and Computer Vision   -   Peter ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 113945 Image Acquisition Methods   -   Peter Vorlesung / Übung 113947 Interpolation and Approximation for Visual Computing   -   Mitarbeiter des Lehrstuhls Vorlesung / Übung 114027 Spezialvorlesung Bioinformatik: Statistical Learning   -   Vreeken ,  Marschall Spezialvorlesung 114191 Perception for Computer Graphics   -   Myszkowski Weiterführende Vorlesung