 | Speaker | | | Event, Title, Topic | Building, Room | Event Type | |
|---|
 | (Not Categorized) |
| |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| AG 1 | | | AG 1 Discussion Group Optimization and Game Theory | E1 4 - MPI-INF
AG 1 Rotunde | SIG Meeting | |
| Arthur Chargueraud | |  | Formal Program Verification Through Characteristic Formulae | MPI-SWS
5th floor | SWS Colloquium | |
| Benjamin Doerr | | | Randomized Phone Chains | E1 4 - MPI-INF
024 | Joint MPI-INF/MPI-SWS Lecture Series | |
| Bernt Schiele | | | Computer Vision and Multimodal Computing | E1 4 - MPI-INF
024 | Joint MPI-INF//MPI-SWS Lecture Series | |
| Chung-Kil Hur | | | Program equivalence and compositional compiler correctness | MPI-SWS
5th floor | SWS Colloquium | |
| Derek Dreyer | | | Reasoning About Program Equivalence in Modern Languages | E1 4 - MPI-INF
024 | Joint MPI-INF/MPI-SWS Lecture Series | |
| Dirk Sudholt | | | Analysis of search heuristics: how ant colonies find shortest paths | E1 4 - MPI-INF
024 | Talk | |
| Juan Caballero | | | Binary Program Analysis and Model Extraction for Security Applications | MPI-SWS
5th floor | SWS Colloquium | |
| Kurt Mehlhorn | | | Lower Bounds for Data Structures Via Forbidden Submatrices (Work of Seth Pettie) | E1 4 - MPI-INF
024 | AG1 Mittagsseminar (others' work) | |
| Marco Cova | | | Taming the Malicious Web: Avoiding and Detecting Web-based Attacks | MPI-SWS
5th floor | SWS Colloquium | |
| Ovgu Ozturk | | | Human Tracking and Motion Analysis from a Single Camera In Indoor Environments | E1 4 - MPI-INF
019 | Talk | |
| Rodrigo Rodrigues | | | Weakly-consistent Byzantine Fault Tolerance: A Tale of Two Systems | E1 4 - MPI-INF
024 | Joint MPI-INF/MPI-SWS Lecture Series | |
| various | | | EGSR 2010 - 21st Eurographics Symposium on Rendering | to be announced
tba | Miscellaneous | |
