Campus Event Calendar
3. Type
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
 | Date | Time | Speaker | Event, Title, Topic | Building, Room | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| | ||||||||||
| Today | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4 333 | | |||
| 3 June | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | | ||||||
| 17 June | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4 333 | | |||
| 1 July | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | | ||||||
| 15 July | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4 333 | | |||
| | ||||||||||
| 3 June | 12:15 | | Cas Cremers | | The (In)Security of Modern Communication: From Guesses to Guarantees | E1 5 002 | | |||
| 1 July | 12:15 | Oliver Gasser | Internet Measurements: Evaluating Deployment and Security Practices | E1 3 HS 2 | | ||||||
| | ||||||||||
| Today | 10:30 | Jan-Oliver Kaiser | Mtac2: Strongly-Typed Tactic- and Meta-Programming for Coq | E1 5 Online | | ||||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)