Vorlesungsverzeichnis (SoSe 2020)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Bachelor (inkl. Optionalbereich)

Informatik (KB)

Einführungsveranstaltungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 122314 Einführungsveranstaltung Informatik (nicht für Studienanfänger Bachelor)   -   Dozent*innen/Informatik Einführungsveranstaltung

Grundvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 122203 Softwarepraktikum   -   Apel Grundvorlesung 122206 Big Data Engineering (vormals Informationssysteme)   -   Dittrich Grundvorlesung 122207 Nebenläufige Programmierung   -   Hermanns Grundvorlesung 122208 Systemarchitektur   -   Reineke Grundvorlesung 122209 Programmierung 2   -   Hack Grundvorlesung 123728 Mathematik für Informatiker II   -   Schreyer ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 122116 Artificial Intelligence   -   Hoffmann ,  Koehler Vorlesung / Übung 123525 Cryptography   -   Döttling Vorlesung / Übung 123526 Introduction to Computational Logic   -   Smolka Vorlesung / Übung 123531 Optimization   -   Karrenbauer Vorlesung / Übung 123532 Embedded Systems   -   Maggio Vorlesung / Übung 123537 Data Networks   -   Feldmann Vorlesung / Übung 123678 Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 121391 Statistical Natural Language Processing   -   Klakow Vorlesung / Übung 121407 Text-to-Speech Synthesis   -   Möbius Vorlesung 121574 Inferences in Artificial Intelligence and Computational Linguistics Vorlesung 121897 Digital Signal Processing / Digitale Signalverarbeitung   -   Klakow Vorlesung / Übung 122205 Interaktive Systeme (vorher Ubiquitous Media)   -   Steimle Grundvorlesung 123470 Automata and Sequences   -   Ouaknine ,  Mazowiecki Weiterführende Vorlesung 123546 High Level Computer Vision   -   Schiele Weiterführende Vorlesung 123591 Constructive Theory of Computation   -   Dudenhefner Weiterführende Vorlesung 123592 Geometric Complexity Theory   -   Bläser Weiterführende Vorlesung 123596 Advance Coq Programming   -   Smolka Blockvorlesung 123614 Automated Reasoning II   -   Waldmann Weiterführende Vorlesung 123622 Competitive Programming   -   Weidenbach ,  Bläser ,  Bringmann Weiterführende Vorlesung 123651 Space Informatics   -   Hermanns Blockvorlesung 123652 Ethics for Nerds   -   Hermanns Weiterführende Vorlesung 123690 Continuous Optimization (Kontinuierliche Optimierung)   -   Ochs ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 123713 Numerical Algorithms for Visual Computing Vorlesung / Übung 123714 Image Compression   -   Peter ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 123733 Data Science   -   Maaß ,  Banowitz Vorlesung / Übung 123825 Question Answering Systems   -   Saha Roy Weiterführende Vorlesung 123959 Realistic Image Synthesis   -   Slusallek Weiterführende Vorlesung 123965 Topics in Algorithmic Data Analysis (TADA)   -   Vreeken Weiterführende Vorlesung 124028 Gamification & Game Studies   -   Krüger ,  Lessel Weiterführende Vorlesung 124180 Privacy Enhancing Technologies   -   Zhang Weiterführende Vorlesung 124181 Usable Security   -   Krombholz Weiterführende Vorlesung 124182 Physical-Layer Security   -   Tippenhauer Weiterführende Vorlesung 124183 Secure Web Development   -   Pellegrino Blockvorlesung 124193 Sublinear Algorithms   -   Nakos ,  Bringmann Weiterführende Vorlesung 124221 Audio/Visual Communication and Networks (Telecommunications 2)   -   Herfet Vorlesung / Übung 124292 Computational Geometry   -   Seidel Weiterführende Vorlesung 124293 Parameterized Algorithms   -   Misra ,  Marx Weiterführende Vorlesung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 123469 Funktionale Programmierung   -   Smolka Proseminar 123719 Proseminar: Maschinelles Lernen   -   Weickert ,  Ertel Proseminar 123970 Software Engineering 2.0: AI for SE   -   Apel Proseminar 124024 Seminal papers in cryptography   -   Cremers Proseminar 124179 Das Buch der Beweise   -   Bläser Proseminar 124185 Trustworthy Machine Learning   -   Fritz Proseminar 124186 Cyber-Physical System Security Proseminar 124187 INfluential PApers in Web Security   -   Pellegrino ,  Stock Proseminar 124196 Automated Testing and Debugging   -   Zeller Proseminar 124237 Algorithms and Complexity Proseminar 124828 Artificial intelligence in relation to considerations from the perspective of history of science, philosophy (of nature)   -   Müller Proseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 121570 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 121571 Multimodal Dialogue Systems   -   Petukhova Seminar 123468 Advanced Fuzzing Techniques   -   Zeller Seminar 123594 Machine Learning and Formal Methods   -   Singla ,  Christakis Seminar 123621 Software Engineering 2.0: AI for SE   -   Apel Seminar 123624 Hybrid Learning and Reasoning   -   Klusch Seminar 123704 Machine Learning for Harvesting Health and Life Science Knowledge   -   Ernst ,  Yates ,  Terolli Seminar 123812 Seminar: Advances in Inpainting   -   Weickert ,  Andris ,  Tomasson Seminar 123841 Advanced Topics in Cloud and Datacenter Systems   -   Mace Seminar 123974 Artificial intelligence in relation to considerations from the perspective of history of science, philosophy (of nature) and ethics   -   Müller Seminar 123997 Advanced Topics in Approximation Algorithms   -   Mömke Seminar 124002 Refinement in program verification, compiler construction and cryptography   -   Künnemann ,  Nemati Seminar 124014 Digitalisierung und Datenschutz   -   Sorge Seminar 124015 Legal Tech and eJustice   -   Sorge Seminar 124144 Computer Vision and Machine Learning for Computer Graphics   -   Theobalt Seminar 124173 Brain-Computer Interaction   -   Rekrut Seminar 124174 Data-driven Approaches on Understanding Disinformation   -   Zhang Seminar 124175 Selected Topics in Mobile Security   -   Bugiel Seminar 124194 Reading Group Algorithms   -   Bringmann Seminar 124266 Neural-Symbolic Computing   -   Finkbeiner Seminar

Freie Leistungspunkte (Soft Skills/Language/Lab)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 121573 Neural Networks   -   Klakow Softwareprojekt 122390 Hands-On Networking   -   Herfet Blockpraktikum 123597 You can do IT. Start your idea! Entrepreneurship in IT and Maths Vorlesung 123734 KI in Unternehmen (die Veranstaltung wird auf das WS 2020/21 verschoben! )   -   Maaß ,  Kern Vorlesung / Übung 123821 Statistics Lab   -   Wolf Vorlesung / Übung