max planck institut
informatik
informatik
Action: New Event Entry | Mailing Lists | E-Mail Events | Search (with options) | iCal Format (Beta)
| Date Time | Title, Topic Speaker | Building Room | Event Type |
|---|---|---|---|
| March 2010 | |||
| 22 - Monday - Tomorrow | |||
| 11:00 | Program equivalence and compositional compiler correctness  Chung-Kil Hur | MPI-SWS 5th floor | SWS Colloquium |
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 23 - Tuesday | |||
| 13:00 | Lower Bounds for Data Structures Via Forbidden Submatrices (Work of Seth Pettie) Kurt Mehlhorn | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (others' work) |
| 24 - Wednesday | |||
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 25 - Thursday | |||
| 11:00 | Formal Program Verification Through Characteristic Formulae Arthur Chargueraud | MPI-SWS 5th floor | SWS Colloquium |
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 29 - Monday | |||
| 11:00 | Taming the Malicious Web: Avoiding and Detecting Web-based Attacks Marco Cova | MPI-SWS 5th floor | SWS Colloquium |
| 13:00 | Analysis of search heuristics: how ant colonies find shortest paths Dirk Sudholt | E1 4 - MPI-INF 024 | Talk |
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 31 - Wednesday | |||
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| April 2010 | |||
| 1 - Thursday | |||
| 11:00 | Binary Program Analysis and Model Extraction for Security Applications Juan Caballero | MPI-SWS 5th floor | SWS Colloquium |
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 5 - Monday | |||
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 7 - Wednesday | |||
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 8 - Thursday | |||
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 12 - Monday | |||
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 13 - Tuesday | |||
| 11:00 s.t. | Human Tracking and Motion Analysis from a Single Camera In Indoor Environments Ovgu Ozturk | E1 4 - MPI-INF 019 | Talk |
| 14 - Wednesday | |||
| 16:00 s.t. | Weakly-consistent Byzantine Fault Tolerance: A Tale of Two Systems Rodrigo Rodrigues | E1 4 - MPI-INF 024 | Joint MPI-INF/MPI-SWS Lecture Series |
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 15 - Thursday | |||
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 19 - Monday | |||
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 21 - Wednesday | |||
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 22 - Thursday | |||
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 26 - Monday | |||
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 28 - Wednesday | |||
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 29 - Thursday | |||
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| May 2010 | |||
| 3 - Monday | |||
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 5 - Wednesday | |||
| 16:00 s.t. | Randomized Phone Chains Benjamin Doerr | E1 4 - MPI-INF 024 | Joint MPI-INF/MPI-SWS Lecture Series |
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 6 - Thursday | |||
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 10 - Monday | |||
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 12 - Wednesday | |||
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 13 - Thursday | |||
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 17 - Monday | |||
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 19 - Wednesday | |||
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 20 - Thursday | |||
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 24 - Monday | |||
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 26 - Wednesday | |||
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 27 - Thursday | |||
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 31 - Monday | |||
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| June 2010 | |||
| 2 - Wednesday | |||
| 16:00 s.t. | Reasoning About Program Equivalence in Modern Languages Derek Dreyer | E1 4 - MPI-INF 024 | Joint MPI-INF/MPI-SWS Lecture Series |
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 3 - Thursday | |||
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 7 - Monday | |||
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 9 - Wednesday | |||
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 10 - Thursday | |||
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 14 - Monday | |||
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 16 - Wednesday | |||
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 17 - Thursday | |||
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 21 - Monday | |||
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 23 - Wednesday | |||
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 24 - Thursday | |||
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 28 - Monday | |||
| 11:00 | EGSR 2010 - 21st Eurographics Symposium on Rendering various | to be announced tba | Miscellaneous |
| 16:00 | AG 1 Discussion Group Foundations, Randomization, Bioinspired AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 30 - Wednesday | |||
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| July 2010 | |||
| 1 - Thursday | |||
| 16:00 | AG 1 Discussion Group Computational Geometry and Geometric Computing AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |
| 7 - Wednesday | |||
| 16:00 s.t. | Computer Vision and Multimodal Computing Bernt Schiele | E1 4 - MPI-INF 024 | Joint MPI-INF//MPI-SWS Lecture Series |
| 16:00 | AG 1 Discussion Group Optimization and Game Theory AG 1 | E1 4 - MPI-INF AG 1 Rotunde | SIG Meeting |