Vorlesungsverzeichnis (SoSe 2020)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

MI Fakultät für Mathematik und Informatik

Mathematik

Studiengang Master Mathematik und Informatik

Einführungsveranstaltungen

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

Stammvorlesungen der Mathematik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 123669 Complex Analysis (Funktionentheorie)   -   Eschmeier ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 123673 Partial Differential Equations I (Partielle Differentialgleichungen I)   -   Groves ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 123676 Dynamical Systems (Dynamische Systeme)   -   Groves ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 123678 Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 123690 Continuous Optimization (Kontinuierliche Optimierung)   -   Ochs ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Vertiefungsvorlesungen der Mathematik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 123692 Algebraische Geometrie III   -   Mitarbeiter des Lehrstuhls ,  Lazic Vorlesung / Übung 123694 Topologie II: Ausgewählte Kapitel aus mengentheoretischer und algebraischer Topologie   -   Eschmeier ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 123695 Diskrete Finanzmathematik   -   Bender ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 123697 Differentialgeometrie   -   Fuchs ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 123698 Funktionalanalysis II   -   Mitarbeiter des Lehrstuhls ,  Hartz Vorlesung / Übung 123700 Potential Theory in the Complex Plane   -   Mitarbeiter des Lehrstuhls ,  Mai Vorlesung / Übung 123706 High Dimensional Probability with Applications to Big Data Science   -   Banna Vorlesung / Übung 123713 Numerical Algorithms for Visual Computing Vorlesung / Übung 123714 Image Compression   -   Peter ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 123924 Numerik partieller Differentialgleichungen   -   Rjasanow ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Seminare der Mathematik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 123720 Oberseminar Funktionalanalysis   -   Albrecht ,  Wittstock ,  Eschmeier ,  König ,  Speicher Oberseminar 123721 Oberseminar Algebraische Geometrie   -   Lazic ,  Schreyer Oberseminar 123722 Oberseminar Algebra und Zahlentheorie   -   Weitze-Schmithüsen Oberseminar 123723 Oberseminar Angewandte Analysis   -   Fuchs ,  Bildhauer ,  Groves Oberseminar 123724 Oberseminar Freie Wahrscheinlichkeitstheorie   -   Speicher ,  Weber Oberseminar 123811 Seminar: Gaussian Hilbert Spaces   -   Mai ,  Banna Seminar 123812 Seminar: Advances in Inpainting   -   Weickert ,  Andris ,  Tomasson Seminar 123814 Seminar: Blockseminar zur Analysis (September 2020)   -   Weber Seminar 123913 Oberseminar Angewandte Mathematik   -   Ochs ,  Rjasanow ,  Schuster Oberseminar

Stammvorlesungen der Informatik

		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 123537 Data Networks   -   Feldmann Vorlesung / Übung 123678 Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Vertiefungsvorlesungen der Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 121391 Statistical Natural Language Processing   -   Klakow Vorlesung / Übung 121407 Text-to-Speech Synthesis   -   Möbius 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 123713 Numerical Algorithms for Visual Computing Vorlesung / Übung 123714 Image Compression   -   Peter ,  Mitarbeiter des Lehrstuhls 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

Seminare der Informatik

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

Wahlpflicht

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 122390 Hands-On Networking   -   Herfet Blockpraktikum 123597 You can do IT. Start your idea! Entrepreneurship in IT and Maths Vorlesung