Previous Page | Next Page | Expand All | Collapse All
![]() | ![]() | Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||
---|---|---|---|---|---|---|---|---|---|---|---|
| ![]() | ||||||||||
|
| ![]() | |||||||||
2025-06-06 | 13:00 | Meike Hatzel | Strongly sublinear separators for sphere intersection graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-06-05 | 13:00 | Tomasz Kociumaka | On the Hardness Hierarchy for the O(n√log n) Complexity in the Word RAM | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-06-04 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2025-06-04 | 12:15 | Mannat Kaur | System and Network Operations Through a Sociotechnical Lens: The human aspects of running digital systems | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2025-06-03 | 13:00 | Shreyas Srinivas | Clock Distribution with Gradient Trix | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2025-05-27 | 13:00 | Egor Gorbachev | Bounded Edit Distance: Optimal Static and Dynamic Algorithms for Small Integer Weights | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-05-22 | 13:00 | Danupon Nanongkai | On the Limitations of the Transformer Architecture (Brief Paper Presentation) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-05-21 | 10:00 | Pascal Fontaine | Around Congruence Closure | E1 4 024 | Talk | ![]() | |||||
2025-05-21 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2025-05-21 | 12:00 | Hendrik Leidinger | SCL(EQ): Simple Clause Learning in First-Order Logic with Equality | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2025-05-20 | 11:00 | Ahana Ghosh | Quizzes in Elementary-Level Visual Programming: Synthesis Methods and Pedagogical Utility | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
2025-05-20 | 13:00 | Yanheng Wang | How Fast Can You Estimate the Volume of a Union? | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-05-16 | 11:00 | Simon Spies | Shaking Up the Foundations of Modern Separation Logic | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2025-05-15 | 13:00 | Dani Dorfman | Faster all-pairs optimal electric car routing | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-05-13 | 13:00 | Evangelos Kipouridis and Rex Lei | Brief Biennial Reviews | E1 4 024 | AG1 Conference Report | ![]() | |||||
|
| ![]() | |||||||||
2025-05-08 | 13:00 | Andreas Karrenbauer | Brief Biennial Reviews | E1 4 024 | AG1 Conference Report | ![]() |