| Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Aktion |
|
133204
|
Neural Networks in AI Planning
-
Hoffmann
|
Blockseminar
|
|
|
133398
|
Joint Advances in Web Security
-
Pellegrino
,
Stock
,
Staicu
|
Seminar
|
|
|
133525
|
Privacy of Machine Learning
-
Zhang
|
Seminar
|
|
|
133526
|
Pruning deep neural networks for lottery tickets
-
Burkholz
|
Seminar
|
|
|
133528
|
Digital and Privacy-Preserving Signatures
-
Hanzlik
|
Seminar
|
|
|
133529
|
Program Analysis for Vulnerability Detection
-
Staicu
|
Seminar
|
|
|
133530
|
Formal Methods for Finding and Fixing Information Leaks
-
Jacobs
|
Seminar
|
|
|
133531
|
eJustice und Datenschutz
-
Sorge
|
Blockseminar
|
|
|
133657
|
Formal Methods for AI Safety
-
Dimitrova
|
Seminar
|
|
|
133658
|
Topics in Optimization for Machine Learning
-
Stich
|
Blockseminar
|
|
|
133691
|
Software Analytics
-
Apel
|
Seminar
|
|
|
133808
|
Adversarial Reinforcement Learning
-
Singla
,
Radanovic
|
Seminar
|
|
|
133900
|
Walk While Work - UX-Driven Development of Player Type-Centric Motion Games
-
Krüger
,
Lessel
,
Altmeyer
|
Seminar
|
|
|
133904
|
Current Topics in Systems Security
-
Holz
|
Seminar
|
|
|
133905
|
Trustworthy Graph Neural Networks
-
Bojchevski
|
Seminar
|
|
|
133907
|
Interactive Touch Surfaces
-
Steimle
,
Pourjafarian
|
Seminar
|
|
|
133911
|
Hot Topics in Data Networks
-
Feldmann
|
Seminar
|
|
|
133912
|
Complexity Theory
-
Bläser
|
Seminar
|
|
|
133943
|
Reading Group Algorithms: Continuous Methods for Combinatorial Problems
-
Mehlhorn
,
Sharma
|
Seminar
|
|
|
134071
|
Adaptive Human Machine Interfaces for Autonomous Systems
-
Feld
|
Seminar
|
|
|
134083
|
SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins
-
Schwartz
,
Porta
|
Seminar
|
|
kurz
