Vorlesungsverzeichnis (WiSe 2019/20)

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 119718 Programmierung 1   -   Hermanns Grundvorlesung 119719 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 119720 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 120539 Fachdidaktikseminar II   -   Lethen Seminar 120540 Semesterbegleitendes fachdidaktisches Schulpraktikum   -   Strobel Praktikum

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 120311 Explainable AI Planning   -   Hoffmann Seminar 120314 Software Engineering Research in the Neuroage   -   Apel Seminar 120502 Rein4cement Learning   -   Wolf Seminar 120503 Exploring Complex Network Dynamics   -   Wolf Seminar 120504 Cognitive and Cooperative Robotics   -   Schwartz Seminar 120666 Concurrency Theory   -   Hermanns Seminar 120679 Data Privacy   -   Zhang Seminar 120680 Formal Methods in Security   -   Jacobs Seminar 120681 Joint Advances in Web Security   -   Stock ,  Pellegrino Seminar 120683 How Secure is Messaging? Provable Guarantees for Secure Messaging   -   Cremers Seminar 120685 Designing Usable Security   -   Krombholz Seminar 120889 Hybrid Learning and Reasoning   -   Klusch Seminar 120897 Algorithms for Big Data   -   Mömke Blockseminar 120931 Automotive User Interfaces   -   Feld Seminar 120932 Machine Teaching   -   Singla Blockseminar 120945 Computational Design and Manufacturing   -   Seidel ,  Babaei Seminar 120946 Crazy Papers in Big Data Engineering   -   Dittrich Seminar 120947 Interactive Computing with Augmented and Virtual Reality   -   Steimle Seminar 120956 IT-Forensik und Strafverfolgung   -   Sorge Seminar 120957 Legal Tech   -   Sorge Seminar 120978 Topics in Fair Division   -   Mehlhorn Seminar 121017 Less Injuries by Making Cars Secure Seminar 121219 Optimization and Entrepreneurship   -   Karrenbauer Seminar

Wahlpflichtbereich 1

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

Wahlpflichtbereich 2

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 118863 Project Management and Execution   -   Knop ,  Bayer ,  Scheid ,  Loos Vorlesung 120237 Automated Reasoning   -   Waldmann Vorlesung / Übung 120241 Security   -   Tippenhauer Vorlesung / Übung 120245 Digital Transmission, Signal Processing (Telecommunications I)   -   Herfet Vorlesung / Übung 120250 Computer Graphics   -   Slusallek Vorlesung / Übung 120255 Operating Systems   -   Brandenburg Vorlesung / Übung 120256 Complexity Theory   -   Bläser ,  Komarath Vorlesung / Übung 120258 Human Computer Interaction   -   Steimle ,  Fruchard Vorlesung / Übung 120264 Information Retrieval and Data Mining   -   Saha Roy ,  Yates Vorlesung / Übung 120281 Semantics   -   Smolka ,  Dreyer Vorlesung / Übung 120308 AI Planning   -   Hoffmann Weiterführende Vorlesung 120381 Architectural Thinking for Intelligent Systems   -   Koehler Weiterführende Vorlesung 120417 Geometric Modeling   -   Zayer Vorlesung / Übung 120432 Recht der Cybersicherheit - Datenschutz   -   Sorge Weiterführende Vorlesung 120433 Social Computing (Affective Computing)   -   Gebhard Weiterführende Vorlesung 120589 Information Extraction   -   Razniewski Weiterführende Vorlesung 120623 Algorithms and Data Structures   -   Seidel Blockvorlesung 120665 Verification   -   Finkbeiner Vorlesung / Übung 120674 Generating Software Tests (Security Testing)   -   Zeller ,  Gopinath Weiterführende Vorlesung 120676 Mobile Security   -   Bugiel Weiterführende Vorlesung 120677 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 120678 Reactive Synthesis   -   Jacobs Blockvorlesung 120790 Machine Learning   -   Ochs Vorlesung / Übung 120802 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 120806 Interpolation and Approximation for Visual Computing   -   Mitarbeiter des Lehrstuhls Vorlesung / Übung 120970 Program Analysis   -   Reineke Weiterführende Vorlesung 120971 Theory of Distributed Systems   -   Lenzen ,  Bund Weiterführende Vorlesung 120977 Web Security   -   Stock Weiterführende Vorlesung 120993 Ethics for Nerds   -   Hermanns Blockvorlesung