Previous Page | Next Page | Expand All | Collapse All
Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
| |||||||||||
|
| ||||||||||
2024-04-25 | 13:00 | Johnnatan Messias | On Fairness Concerns in the Blockchain Ecosystem | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2024-04-19 | 10:00 | Haibo Chen | Formal Methods for Systems Software: The Good, The Bad, The Ugly | E1 5 002 | Talk | ||||||
|
| ||||||||||
2024-04-17 | 10:00 | Andrew Ilyas | Making machine learning predictably reliable | G26 [KL] 111 | CIS@MPG Colloquium | ||||||
2024-04-17 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ||||||
|
| ||||||||||
2024-04-09 | 13:00 | Ariel Kulik | Algorithms and Hardness for the Budgeted Matroid Independent Set problem | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2024-04-03 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ||||||
2024-04-03 | 12:15 | Evangelos Kipouridis | Hierarchical clustering beyond heuristics: Quality guarantees without speed sacrifices | E1 5 002 | Joint Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2024-03-27 | 14:45 | Debasmita Lohar | Expanding the Horizons of Finite-Precision Analysis | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2024-03-26 | 12:00 | Till Speicher | On Fairness, Invariance and Memorization in Machine Decision and DeepLearning Algorithms | E1 5 005 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2024-03-25 | 16:00 | Rati Devidze | Reward Design for Reinforcement Learning Agents | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2024-03-20 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ||||||
|
| ||||||||||
2024-03-14 | 10:00 | Andrea Lattuada | Practical, automation-assisted verification of efficient systems software | E1 5 029 | Talk | ||||||
|
| ||||||||||
2024-03-11 | 10:00 | Emily Tseng | Digital Safety and Security for Survivors of Technology-Mediated Harms | E1 5 002 | CIS@MPG Colloquium | ||||||
|
| ||||||||||
2024-03-08 | 13:00 | Guy Even | An Improved Approximation Algorithm for Dynamic Minimum Linear Arrangement | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ||||||
2024-03-08 | 14:00 | Mohamed Alzayat | Efficient Request Isolation in Function-as-a-Service | E1 5 002 | SWS Student Defense Talks - Thesis Defense | ||||||
|
|