Vorlesungsverzeichnis
MI Fakultät für Mathematik und Informatik
Mathematik
Bachelor
Mathematik und Informatik / Mathematics and Computer Science
StO 2016
Veranstaltungen FR Mathematik / Events in Mathematics
Grundlagen der Mathematik / Basics in Mathematik
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
143846
Analysis II
-
Hartz
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
143847
Lineare Algebra II
-
Brandhorst
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
143849
Stochastik I
-
Bender
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
Stammvorlesungen der Mathematik / Core Lectures in Mathematics
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
143852
Complex Analysis (Funktionentheorie)
-
Groves
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
143853
Dynamical Systems (Dynamische Systeme)
-
Hill
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
143873
(Algebraic) Number Theory
-
Weitze-Schmithüsen
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
143988
Continuous Optimization (Kontinuierliche Optimierung)
-
Ochs
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
144034
Image Processing and Computer Vision
-
Peter
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
Proseminare der Mathematik / Proseminars in Mathematics
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
143883
Proseminar: Historische und Mathematische Aspekte der Analysis
-
Fuchs
,
Mitarbeiter des Lehrstuhls
Proseminar
143884
Proseminar zur Analysis
-
Hartz
Proseminar
144038
Proseminar: Simulation der Welt
-
Schaefer
,
Weickert
Proseminar
Seminare der Mathematik / Seminars in Mathematics
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
143876
Seminar: Nonstandard Analysis
-
Herzberg
Seminar
143880
Seminar: Computer-Assisted proofs
-
Bartholdi
Seminar
143881
Seminar: Computability in Mathematics
-
Pernak
,
Rauzy
Seminar
143882
Seminar/Proseminar: Quadratische Formen
-
Brandhorst
Seminar
143885
Seminar: Advanced Topics in Complex Geometry
-
Stenger
Seminar
144040
Seminar zur Stochastik
-
Zähle
Seminar
144041
Seminar: Probabilistic Diffusion: Theory and Applications
-
Schrader
,
Schaefer
,
Weickert
Seminar
Bachelor-/ Oberseminare / Bachelor/Research Seminars
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
143855
Oberseminar Stochastik
-
Bender
,
Herzberg
,
Zähle
Oberseminar
143856
Oberseminar Algebra/Geometrie
-
Bartholdi
,
Weitze-Schmithüsen
Oberseminar
143858
Oberseminar Algebraische Geometrie
-
Brandhorst
,
Lazic
Oberseminar
143859
Oberseminar Noncommutative and Functional Analysis
-
Hartz
,
Speicher
,
Weber
Oberseminar
143860
Bachelorseminar
-
Professoren/innen/Mathematik
Seminar
143886
Oberseminar on Quantum Information
-
Weber
,
Bläser
,
Morigi
Oberseminar
143993
Oberseminar Mathematical Optimization for Computer Science
-
Ochs
Oberseminar
144207
Oberseminar Angewandte Analysis
-
Fuchs
,
Bildhauer
,
Groves
Arbeitsgemeinschaft
Veranstaltungen FR Informatik / Events in Computer Science
Grundlagen der Informatik / Praktika (Pflicht)
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
142634
Programmierung 2
-
Hack
Grundvorlesung
Proseminare der Informatik
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
143242
Software Engineering Research in the Neuroage
-
Apel
Proseminar
143590
Ethics in Security Research
-
Krombholz
Proseminar
143591
Physical-Layer Security
-
Tippenhauer
Proseminar
143592
Theory on Consensus
-
Lenzen
Proseminar
143614
Optimization Methods for Large-Scale Machine Learning
-
Stich
Proseminar
143915
Through the eyes of the user: eye tracking for intelligent interfaces
-
Feit
Proseminar
143929
Proofs from the book / Das Buch der Beweise
-
Bläser
Proseminar
144038
Proseminar: Simulation der Welt
-
Schaefer
,
Weickert
Proseminar
Seminare der Informatik
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
143206
Hybrid Learning and Reasoning
-
Klusch
,
Nonnengart
,
Meyer-Vitali
Seminar
143241
Software Engineering Research in the Neuroage
-
Apel
Seminar
143442
Privacy Engineering und Recht
-
Sorge
Blockseminar
143575
Reproducibility in Computer Security
-
Holz
Seminar
143576
Machine Learning Security
-
Schönherr
Seminar
143577
Cryptographic Authentication
-
Hanzlik
Seminar
143580
The Web Security Seminar
-
Pellegrino
Seminar
143581
Hardware Security
-
Abbasi
Seminar
143582
Specification-Based Testing and Debugging
-
Zeller
Seminar
143583
Wireless Security
-
Singh
Seminar
143584
Trusted and Secure Computing
-
Bugiel
,
Schwarz
Seminar
143585
Do we really need overparameterization in deep learning?
-
Burkholz
Seminar
143586
Topics in Adversarial Machine Learning
-
Zhang
Seminar
143587
Formal Methods for AI Safety
-
Dimitrova
Seminar
143588
Data-driven Understanding of the Disinformation Epidemic (DUDE)
-
Zhang
Seminar
143721
AI for Programming Education
-
Singla
Seminar
143722
Computer Vision and Machine Learning for Computer Graphics
-
Theobalt
Seminar
143889
Seminar on Blockchains and Decentralized Finance (DeFi)
-
Gummadi
Seminar
143908
Photorealistic 3D Reconstruction with Deep Learning
-
Ilg
Seminar
143909
Advanced Cryptographic Primitives
-
Döttling
Seminar
143912
Aspects of Quantitative Program Verification
-
Kaminski
Seminar
143913
Accountable AI Through the Lens of Causality
-
Radanovic
Seminar
143914
Through the eyes of the user: eye tracking for intelligent interfaces
-
Feit
Seminar
143982
Rapid Game Development: Erstellung eines Computerspiels in einem interdisziplinären Team
-
Lessel
Seminar
144024
Formal Compiler Security
-
Cremers
,
Künnemann
Seminar
144025
AI for the Social Good
-
Wolf
,
Baum
,
Großmann
Seminar
144030
Query Optimization: Past to Present (Block seminar)
-
Dittrich
,
Haffner
Blockseminar
144035
Getting Hands-On with Wearable Robotics for Augmenting Human Capabilities
-
Steimle
,
Mühlhaus
Seminar
144043
SupRTwin: Sensing, Unterstanding, and Provisioning of Real-Time Digital Twins
-
Schwartz
Seminar
144044
Hyperproperties
-
Finkbeiner
Seminar
144048
Data-Driven Drug Design - Methods and Applications
-
Volkamer
Seminar
144049
Opportunities and Risks of Large Language Models and Foundation Models
-
Fritz
Seminar
144167
Simulating Reality for Boosting AI: Application of 3D Synthetic Data in Object Detection
-
Moniri
,
Krüger
Seminar
144181
Reading Course: Foundations of Machine Learning
-
Mehlhorn
,
Coupette
Seminar
Stammvorlesungen der Informatik
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
142952
Cryptography
-
Joux
,
Loss
Vorlesung / Übung
142953
Introduction to Computational Logic
-
Smolka
Vorlesung / Übung
143169
Data Networks
-
Feldmann
Vorlesung / Übung
143170
Machine Learning
-
Valera Martinez
Vorlesung / Übung
143171
Distributed Systems
-
Garg
,
Xia
,
Bindschaedler
Vorlesung / Übung
144034
Image Processing and Computer Vision
-
Peter
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
Vertiefungsvorlesungen der Informatik
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
141355
Statistical Natural Language Processing
-
Klakow
Vorlesung / Übung
141656
Digital Signal Processing / Digitale Signalverarbeitung
-
Klakow
Vorlesung / Übung
142572
Topics in Algorithmic Data Analysis
-
Vreeken
Weiterführende Vorlesung
142635
Interaktive Systeme
-
Krüger
Vorlesung
143057
Usable Security and Privacy (vormals Usable Security)
-
Krombholz
Weiterführende Vorlesung
143197
High Level Computer Vision
-
Schiele
Weiterführende Vorlesung
143203
Realistic Image Synthesis
-
Slusallek
,
Myszkowski
,
Singh
Weiterführende Vorlesung
143250
Physical-Layer Security
-
Tippenhauer
Weiterführende Vorlesung
143421
Algorithmic Quantifier Elimination
-
Sturm
Weiterführende Vorlesung
143438
IT-Forensics
-
Sorge
Weiterführende Vorlesung
143439
Recht der Cybersicherheit - Datenschutzrechtliche Aspekte
-
Sorge
Weiterführende Vorlesung
143443
Post-Quantum Cryptograph
-
Döttling
Weiterführende Vorlesung
143444
Quantum Complexity
-
Bläser
Weiterführende Vorlesung
143568
Attacks Against Machine Learning Models
-
Zhang
Weiterführende Vorlesung
143569
Foundations of Web Security
-
Stock
Weiterführende Vorlesung
143570
Privacy-Enhancing Technologies
-
Lueks
Weiterführende Vorlesung
143571
Distributed Graph Algorithms
-
Brandt
Weiterführende Vorlesung
143572
Optimization for Machine Learning
-
Stich
Weiterführende Vorlesung
143611
Parameterized Algorithms
-
Marx
Weiterführende Vorlesung
143757
Ethics for Nerds
-
Hermanns
,
Baum
,
Sterz
Weiterführende Vorlesung
143984
Techniques For Counting Problems
-
Wellnitz
Weiterführende Vorlesung
143989
Convex Analysis and Optimization
-
Ochs
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
144020
Image Compression
-
Peter
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
144033
Numerical Algorithms for Visual Computing
-
Weickert
,
Chizhov
Weiterführende Vorlesung
144275
Reverse Engineering and Exploit Development for Embedded Systems
-
Abbasi
Blockvorlesung
Wahlpflicht
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
142534
Hands-On Networking
-
Herfet
Blockpraktikum
143983
You can do IT. Start your idea! Entrepreneurship in IT and Maths
Vorlesung
144018
Ringvorlesung: Perspektiven der IT-Sicherheit und der KI
-
Raber
,
Lessel
Vorlesung