Talk dates in the summer semester 2024
Wednesday, 1:30-3:00 pm in ZT 1204 (Data Theater), if not otherwise specified.
| Date | Speaker | Talk |
|---|---|---|
| 10.04.24 | Tommaso Gagliardoni (Kudelski Security) | Shufflecake: plausible deniability for multiple hidden filesystems on Linux |
| 24.04.24 | Andreagiovanni Reina | Blockchain technology for mobile multi-robot systems |
| 22.05.24 | Patrick Struck (University of Konstanz) | Cryptography: Formalizing, Proving, and Breaking Security |
| 05.06.24 | Peyman Mohajerin Esfahani (TU Delft) | The Role of Convexity in Learning: An Inverse Optimization Case Study |
| 19.06.24 in R 611 | Emanuele D'Osualdo (University of Konstanz) | Deductive verification of probabilistic programs via independence and conditioning |
| 10.07.24 | Mariami Gachechiladze (TU Darmstadt) | Classical certification of quantum computation and promise problems |
Previous semesters