max planck institut
informatik
informatik
 | Speaker | Event, Title, Topic | Building, Room | Event Type | |||||
|---|---|---|---|---|---|---|---|---|---|
| | ||||||||
| Aniket Kate | | Differential Guarantees for Cryptographic Systems | E1 5 - MPI-SWS 002 | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI | | |||
| Guy even | to be announced | E1 4 - MPI-INF 024 | Lecture | | |||||
| Herrn Dipl.-Inform. Thomas Helten | | Processing and Tracking Human Motions Using Optical, Inertial, and Depth Sensors | E1 4 - MPI-INF 019 | Promotionskolloquium | | |||
| Jürgen Steimle |  | Beyond Multi-Touch: User Interfaces for Flexible Displays and Surfaces | E1 5 - MPI-SWS 002 | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI | | ||||
| Marvin Künnemann | | Tight Analysis of Randomized Rumor Spreading in Complete Graphs | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | | |||
| Simon Gog | Succinct Data Structures: From Theory to Practice | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | | |||||
| Stefan Kiefer |  | Verifying Probabilistic Programs | MPI-SWS [KL] 113 | SWS Colloquium | | |||
| Viktor Vafeiadis | Formal Reasoning about Relaxed Concurrency | E1 5 - MPI-SWS 002 | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI | | |||||