Campus Event Calendar
5. Title
Previous Page | Next Page | Expand All | Collapse All
| Event, Title, Topic | Speaker | Date | Time | Event Type | |||
|---|---|---|---|---|---|---|---|
| D1 Group Meeting (virtual) | Kurt Mehlhorn | 15.7. | 11:30 | AG1 Group Meeting | |||
 | D1 Group Meeting (virtual) | Kurt Mehlhorn | 17.6. | 11:30 | | AG1 Group Meeting | |
| D1 Group Meeting (virtual) | Kurt Mehlhorn | 1.7. | 11:30 | AG1 Group Meeting | |||
| D1 Group Meeting (virtual) | Kurt Mehlhorn | 27.5. | 11:30 | | AG1 Group Meeting | |
| D1 Group Meeting (virtual) | Kurt Mehlhorn | 3.6. | 11:30 | AG1 Group Meeting | |||
| Internet Measurements: Evaluating Deployment and Security Practices | Oliver Gasser | 1.7. | 12:15 | | Joint Lecture Series | |
| Mtac2: Strongly-Typed Tactic- and Meta-Programming for Coq | Jan-Oliver Kaiser | 27.5. | 10:30 | SWS Student Defense Talks - Thesis Proposal | |||
| The (In)Security of Modern Communication: From Guesses to Guarantees | Cas Cremers | 3.6. | 12:15 | | Joint Lecture Series |