Vorlesungsverzeichnis (WiSe 2018/19)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Lehramt (modularisiert)

Informatik (LAB, LAG, LS1+2)

Einführungsveranstaltungen

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

Pflichtmodule

		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 113152 Fachdidaktikseminar II   -   Lethen Seminar

Seminare

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

Wahlpflichtbereich 1

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 112508 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung

Wahlpflichtbereich 2

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 111617 Project Management and Execution   -   Loos ,  Knop ,  Bayer Vorlesung 112042 Probabilistic Graphical Models and their Applications   -   Pons-Moll ,  Swoboda Weiterführende Vorlesung 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 113033 Human Computer Interaction   -   Steimle Vorlesung / Übung 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 113823 Data Networks Vorlesung / Übung 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 113947 Interpolation and Approximation for Visual Computing   -   Mitarbeiter des Lehrstuhls Vorlesung / Übung 114191 Perception for Computer Graphics   -   Myszkowski Weiterführende Vorlesung