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 | ||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| | ||||||||||
|
|
| | |||||||||
| 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 | | |||||
|
|
| | |||||||||
| 2025-05-07 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2025-05-06 | 13:00 | Xinkai Shu | The Long Arm of Nashian Allocation in Online p-Mean Welfare Maximization | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2025-04-29 | 13:00 | Anita Dürr | Fine-Grained Complexity of Ambiguity Problems on Automata | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2025-04-29 | 13:00 | Carolina Coimbra Vieira | Migration and culture in algorithmically-mediated societies | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | | |||||
|
|
| | |||||||||
| 2025-04-24 | 11:30 | Tuan Phong Nguyen | Large-Scale Acquisition of Refined Commonsense Knowledge | E1 5 0.29 | Promotionskolloquium | | |||||
| 2025-04-24 | 16:00 | Fabian Suchanek | On Language Models and Knowledge Bases | E1 4 024 | Max Planck Distinguished Speaker Talk | | |||||
|
|
| | |||||||||
| 2025-04-17 | 13:00 | Tomasz Kociumaka and Daniel Neun | Brief Biennial Reviews | E1 4 024 | AG1 Conference Report | | |||||
|
|
| | |||||||||