Campus Event Calendar
4. Category
Previous Page | Next Page | Expand All | Collapse All
 | Speaker | Event, Title, Topic | Building, Room | Event Type | |||||
|---|---|---|---|---|---|---|---|---|---|
| | ||||||||
| Cas Cremers | | The (In)Security of Modern Communication: From Guesses to Guarantees | E1 5 002 | Joint Lecture Series | | |||
| Jan-Oliver Kaiser | Mtac2: Strongly-Typed Tactic- and Meta-Programming for Coq | E1 5 Online | SWS Student Defense Talks - Thesis Proposal | | |||||
| Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | | |||
| Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | | |||||
| Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | | |||
| Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | | |||||
| Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | | |||
| Oliver Gasser | Internet Measurements: Evaluating Deployment and Security Practices | E1 3 HS 2 | Joint Lecture Series | | |||||