Campus Event Calendar
6. Event History - 1. Date and Time - 1. for All AGs
Previous Page | Next Page | Expand All | Collapse All
 | | Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| | ||||||||||
|
|
| | |||||||||
| 2026-04-23 | 10:00 | Suvrit Sra | AI and Optimisation from a Geometric Lens | G26 [KL] 111 | Max Planck Distinguished Speaker Talk | | |||||
| 2026-04-23 | 13:00 | David Wajc | Prophets, Philosophers, and Online Algorithms | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2026-04-21 | 13:00 | Kilian Rothmund | Parallel Complexity of Graph Rigidity | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2026-04-16 | 10:00 | Natalie Neamtu | Supporting Weak Memory in Creusot and Verus | E1 5 029 | Talk | | |||||
| 2026-04-16 | 13:00 | Jakob Barkalaia | Impartial Selection from Rankings | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2026-04-16 | 14:00 | George Pîrlea | Proof Assistant as Platform: Building the Next Generation of Verifiers | E1 5 029 | Talk | | |||||
|
|
| | |||||||||
| 2026-04-15 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2026-04-14 | 13:00 | Shreyas Srinivas | Most Models are Query Models | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2026-04-02 | 13:00 | Alexander Mayorov | A few words about Derandomization and Polynomial Identity Testing | E1 4 024 | AG1 Mittagsseminar (others' work) | | |||||
|
|
| | |||||||||
| 2026-04-01 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2026-03-31 | 13:00 | Sandra Zilles | Distance-based Learning of Hypertrees | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2026-03-30 | 11:00 | Minh Tung Phung | AI-Generated Feedback in Programming Education: Ensuring High Quality and Pedagogically-Guided Interaction | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | | |||||
|
|
| | |||||||||
| 2026-03-27 | 10:00 | Rosa Abbasi | Pushing the Boundary on Automated Modular Floating-Point Verification | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | | |||||
|
|
| | |||||||||
| 2026-03-26 | 13:00 | Augusto Modanese | Strong and Hiding Distributed Certification of Bipartiteness | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2026-03-26 | 15:00 | Satya Prakash Nayak | Permissive Assumptions in Logical Controller Synthesis for Cyber-Physical Systems | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | | |||||
|
|
| | |||||||||
| 2026-03-24 | 13:00 | Sander Borst | To buy or not to buy: deterministic rent-or-buy problems on node-weighted graphs | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||