Vorlesungsverzeichnis (WiSe 2018/19)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

MI Fakultät für Mathematik und Informatik

Informatik

Studiengang Computer- und Kommunikationstechnik

Master Computer- und Kommunikationstechnik (PO 2007)

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

Vorlesungen der Informatik als Stammvorlesung

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 110908 Neural Networks: Implementation and Application   -   Klakow Vorlesung / Übung 113023 Verification   -   Hermanns Vorlesung / Übung 113024 Future Media Internet   -   Herfet Vorlesung / Übung 113025 Telecommunications I   -   Herfet Vorlesung / Übung 113029 Security   -   Cremers Vorlesung / Übung 113823 Data Networks Vorlesung / Übung

Vertiefungsvorlesungen der Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 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 113027 Computer Graphics   -   Slusallek Vorlesung / Übung 113028 Database Systems   -   Dittrich Vorlesung / Übung 113030 Automated Reasoning   -   Weidenbach Vorlesung / Übung 113031 Machine Learning   -   Schiele Vorlesung / Übung 113032 Distributed Systems   -   Druschel ,  Gummadi ,  Garg Vorlesung / Übung 113033 Human Computer Interaction   -   Steimle Vorlesung / Übung 113432 Convex Analysis and Optimization   -   Ochs Weiterführende Vorlesung 113466 Program Analysis   -   Reineke ,  Darulova Weiterführende Vorlesung 113516 Compiler Construction   -   Hack Vorlesung / Übung 113524 Algorithms and Data Structures   -   Seidel Vorlesung / Übung 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

Seminare der Informatik

		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 113416 Wie baut man eigentlich einen sozialen Computer? (Interdisziplinäres Seminar der Psychologie und Künstlichen Intelligenz) / How to Make Computers Social? (Interdisciplinary Seminar in Psychology and Artificial Intelligence)   -   Gebhard ,  König ,  Langer Arbeitsgemeinschaft belegen/abmelden 113561 Web Service Search and Composition   -   Klusch ,  Nonnengart 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 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

Stammvorlesungen der Mechatronik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 111800 Computational Electromagnetics 1 (Elektromagnetische Feldsimulation II)   -   Dyczij-Edlinger Vorlesung / Übung 111819 High Frequency Engineering (Hochfrequenztechnik) (Elektronik IV)   -   Möller Vorlesung / Übung 111831 Systemtheorie und Regelungstechnik 2   -   Rudolph Vorlesung / Übung 111859 Mikroelektronik III   -   Xu Vorlesung / Übung

Vertiefungsvorlesungen der Mechatronik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 111813 Soft Control (Rechnergestützte Methoden in der Automatisierungstechnik)   -   Frey Vorlesung / Übung

Seminare der Mechatronik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 111818 Seminar zu Themen aus Elektronik, Schaltungs- und Hochfrequenztechnik   -   Möller Seminar 111827 Seminar Systemtheorie und Regelungstechnik   -   Rudolph Seminar 111837 Seminar Intelligente Materialsysteme (Seminar zur Unkonventionellen Aktorik)   -   Seelecke Seminar 111841 Spezielle Probleme der Messtechnik   -   Schütze Seminar 111879 Seminar zur Antriebstechnik   -   Nienhaus Seminar

Freie Leistungspunkte

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 111080 Neural Networks   -   Klakow Softwareprojekt 114129 Ringvorlesung Cybersecurity   -   Researchers and Entrepreneurs in Cybersecurity Vorlesung