Vorlesungsverzeichnis (WiSe 2018/19)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

MI Fakultät für Mathematik und Informatik

Informatik

Studiengänge Cybersicherheit / Entrepreneurial Cybersecurity

Master Entrepreneurial Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 114129 Ringvorlesung Cybersecurity   -   Researchers and Entrepreneurs in Cybersecurity Vorlesung 114189 Open FabLab (in cooperation with the CS student's council)   -   Steimle ,  Rüstig Kurs

Stammvorlesungen im Bereich Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 113023 Verification   -   Hermanns Vorlesung / Übung 113029 Security   -   Cremers Vorlesung / Übung 113031 Machine Learning   -   Schiele Vorlesung / Übung 113823 Data Networks Vorlesung / Übung

Vertiefungsvorlesungen Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 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

Stammvorlesungen Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 113025 Telecommunications I   -   Herfet Vorlesung / Übung 113027 Computer Graphics   -   Slusallek Vorlesung / Übung 113028 Database Systems   -   Dittrich Vorlesung / Übung 113030 Automated Reasoning   -   Weidenbach Vorlesung / Übung 113032 Distributed Systems   -   Druschel ,  Gummadi ,  Garg Vorlesung / Übung 113033 Human Computer Interaction   -   Steimle Vorlesung / Übung 113516 Compiler Construction   -   Hack Vorlesung / Übung 113524 Algorithms and Data Structures   -   Seidel Vorlesung / Übung

Vertiefungsvorlesungen Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 110908 Neural Networks: Implementation and Application   -   Klakow Vorlesung / Übung 110913 Statistik mit R   -   Demberg Vorlesung / Übung 112042 Probabilistic Graphical Models and their Applications   -   Pons-Moll ,  Swoboda Weiterführende Vorlesung 113024 Future Media Internet   -   Herfet Vorlesung / Übung 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 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 114027 Spezialvorlesung Bioinformatik: Statistical Learning   -   Vreeken ,  Marschall Spezialvorlesung 114191 Perception for Computer Graphics   -   Myszkowski Weiterführende Vorlesung

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 111067 Machine Learning for Natural Language Processing   -   Klakow ,  Trost Blockseminar 111073 Knowledge representation and domain ontologies 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 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 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

Freie Leistungspunkte

		(--- Keine Veranstaltung in diesem Bereich gefunden ---)