max planck institut
informatik
informatik
| Event, Title, Topic | Speaker | Date | Time | Event Type | |||
|---|---|---|---|---|---|---|---|
 | Beyond Multi-Touch: User Interfaces for Flexible Displays and Surfaces | Jürgen Steimle | 12.2. | 12:15 | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI | ||
 | Differential Guarantees for Cryptographic Systems | Aniket Kate | 8.1. | 12:15 | | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI | |
| Formal Reasoning about Relaxed Concurrency | Viktor Vafeiadis | 5.3. | 12:15 | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI | |||
| New Algorihtms for the Frechet Distance | Wolfgang Mulzer | 11.12. | 11:00 | | Talk | |
| Succinct Data Structures: From Theory to Practice | Simon Gog | 7.1. | 13:00 | AG1 Mittagsseminar (own work) | |||
| Tight Analysis of Randomized Rumor Spreading in Complete Graphs | Marvin Künnemann | 12.12. | 13:00 | | AG1 Mittagsseminar (own work) | |
| to be announced | Guy even | 4.2. | 13:00 | Lecture | |||
 | Verifying Probabilistic Programs | Stefan Kiefer | 16.12. | 11:00 | | SWS Colloquium |