Vorlesungsverzeichnis (WiSe 2018/19)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

MI Fakultät für Mathematik und Informatik

Informatik

Studiengang Medieninformatik

Bachelor PO 2013

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 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

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