Campus Event Calendar
2. Speaker
 | Date | Time | Event, Title, Topic | Building, Room | Event Type | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| | ||||||||||
| 4 Dec | 10:00 | |  | The Never-Ending Trace: An Under-Approximate Approach to Divergence Bugs | E1 5 029 | SWS Colloquium | | |||
| | ||||||||||
| 6 Dec | 11:30 | |  | | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | | ||
| 20 Dec | 11:30 | | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
| 3 Jan 2024 | 11:30 | | | | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | | ||
| 17 Jan 2024 | 11:30 | | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
| 7 Feb 2024 | 11:30 | | | | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | | ||
| 21 Feb 2024 | 11:30 | | | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | | ||||
| 6 Mar 2024 | 11:30 | | | | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | | ||
| 20 Mar 2024 | 11:30 | | | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | | ||||
| 3 Apr 2024 | 11:30 | | | D1 Group Meeting | E1 4 R024 | AG1 Group Meeting | | |||
| 17 Apr 2024 | 11:30 | | | D1 Group Meeting | E1 4 R021 | AG1 Group Meeting | | ||||
| | ||||||||||
| 10 Jan 2024 | 12:15 | I never willingly consented to this! Investigating PII leakage through SSO logins | E1 5 002 | Joint Lecture Series | | ||||||
| | ||||||||||
| 14 Dec | 13:00 | Decision Problems for Automaton Groups and Monoids of Bounded ActivityTBA | E1 4 024 | AG1 Advanced Mini-Course | | ||||||
| | ||||||||||
| 6 Dec | 12:15 | Improving Decision Making with Machine Learning, Provably | E1 5 002 | Joint Lecture Series | | ||||||
| | ||||||||||
| 4 Dec | 17:00 | | Automated and Foundational Verification of Low-Level Programs | E1 5 029 | SWS Student Defense Talks - Thesis Defense | | |||||
| | ||||||||||
| 7 Feb 2024 | 12:15 | New Tools for Text Indexing and Beyond: Substring Complexity and String Synchronizing Sets | E1 5 002 | Joint Lecture Series | | ||||||