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 42 Vorlesung A 114189 Open FabLab (in cooperation with the CS student's council)   -   Steimle ,  Rüstig 19 Kurs A

Stammvorlesungen im Bereich Cybersecurity

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

Vertiefungsvorlesungen Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 113611 Machine Learning in Cybersecurity   -   Fritz 147 Weiterführende Vorlesung A 113612 Recht der Cybersicherheit - Datenschutz   -   Sorge 147 Weiterführende Vorlesung A 113613 Generating Software Tests   -   Zeller 147 Weiterführende Vorlesung A 113615 Mobile Security   -   Bugiel 147 Weiterführende Vorlesung A 113616 Advanced Public Key Encryption   -   Döttling 147 Weiterführende Vorlesung A 113617 Malware Analysis and Intrusion Detection   -   Rossow 147 Weiterführende Vorlesung A 113618 Automata, Games, and Verification   -   Finkbeiner 147 Weiterführende Vorlesung A

Stammvorlesungen Informatik

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

Vertiefungsvorlesungen Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 110908 Neural Networks: Implementation and Application   -   Klakow 94 Vorlesung / Übung A 110913 Statistik mit R   -   Demberg 94 Vorlesung / Übung A 112042 Probabilistic Graphical Models and their Applications   -   Pons-Moll ,  Swoboda 147 Weiterführende Vorlesung A 113024 Future Media Internet   -   Herfet 94 Vorlesung / Übung A 113466 Program Analysis   -   Reineke ,  Darulova 147 Weiterführende Vorlesung A 113551 AI Planning   -   Torralba 147 Weiterführende Vorlesung A 113558 Pseudorandomness and Derandomisation   -   Bläser 147 Weiterführende Vorlesung A 113595 Human-centered Machine Learning   -   Gummadi 147 Weiterführende Vorlesung A 113596 Multivariate Algorithmics   -   Dell 147 Weiterführende Vorlesung A 113841 Algorithms on Directed Graphs   -   Amiri ,  Rosenbaum ,  Oh 147 Weiterführende Vorlesung A 113868 Theory of Distributed Systems   -   Lenzen ,  Wiederhake 147 Weiterführende Vorlesung A 113869 Randomized and Approximation Algorithms   -   Antoniadis ,  Künnemann 147 Weiterführende Vorlesung A 114027 Spezialvorlesung Bioinformatik: Statistical Learning   -   Vreeken ,  Marschall 146 Spezialvorlesung A 114191 Perception for Computer Graphics   -   Myszkowski 147 Weiterführende Vorlesung A

Seminare

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

Freie Leistungspunkte

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