max planck institut
informatik
informatik
| Event, Title, Topic | Speaker | Date | Time | Event Type | |||
|---|---|---|---|---|---|---|---|
 | A type theory for amortized resource analysis | Vineet Rajani | 27.8. | 14:00 | SWS Student Defense Talks - Thesis Proposal | ||
 | Aiming Low is Harder: Inductive Lower Bounds in Probabilistic Program Verification | Marcel Hark | 20.8. | 16:00 | s.t. | Talk | |
| Circuit Delay Minimization Using Convex Optimization | Stephan-Alexander Ariesanu | 10.9. | 13:00 | AG1 Mittagsseminar (own work) | |||
| D1 Group Meeting | Kurt Mehlhorn | 16.10. | 11:30 | | AG1 Group Meeting | |
| D1 Group Meeting | Kurt Mehlhorn | 18.12. | 11:30 | AG1 Group Meeting | |||
| D1 Group Meeting | Kurt Mehlhorn | 18.9. | 11:30 | | AG1 Group Meeting | |
| D1 Group Meeting | Kurt Mehlhorn | 28.8. | 11:30 | AG1 Group Meeting | |||
| D1 Group Meeting | Kurt Mehlhorn | 2.10. | 11:30 | | AG1 Group Meeting | |
| D1 Group Meeting | Kurt Mehlhorn | 4.12. | 11:30 | AG1 Group Meeting | |||
| D1 Group Meeting | Kurt Mehlhorn | 4.9. | 11:30 | | AG1 Group Meeting | |
| D1 Group Meeting | Kurt Mehlhorn | 6.11. | 11:30 | AG1 Group Meeting | |||
| Modeling and Individualizing Learning in Computer-Based Environments | Tanja Käser | 21.8. | 10:30 | | SWS Colloquium |