Previous Page | Next Page | Expand All | Collapse All
Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
|
| ||||||||||
2007-05-16 | 13:00 | Martin Strauss | An embodied real-time commentary agent | E1 4 024 | Masterseminar | ||||||
|
| ||||||||||
2007-05-14 | 11:15 | Annamaria Kovacs | Fast algorithms for two scheduling problems | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2007-05-11 | 13:30 | Anders Gidenstam | Implementing multi-threading in a lock-free manner | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2007-05-11 | 13:30 | Tobias Nopper | Avacs Virtuel Seminar"Computation of Minimal Counterexamples by Using Black BoxTechniques and Symbolic Methods" | E1 4 007 | Miscellaneous | ||||||
2007-05-11 | 16:00 | Ingmar | Cool stuff on the web: wordpress, sharedcopy, alex web service | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2007-05-10 | 13:00 | Edda Happ | Evolutionary Computation | E1 3 - Hörsaal Gebäude 013 | Ringvorlesung | ||||||
|
| ||||||||||
2007-05-08 | 13:00 | Hendrik Lensch | Approaching BIg Deadlines | E1 4 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2007-05-04 | 13:30 | Andreas Karrenbauer | Algorithms for longer OLED Lifetime | E1 4 024 | Talk | ||||||
2007-05-04 | 16:00 | Ingmar | Cool stuff on the web: wordpress, studivz, aws | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2007-05-03 | 13:00 | Sven Woop | B-KD Trees for Hardware Accelerated Ray Tracing of Dynamic Scenes | E1 3 - Hörsaal Gebäude 013 | Ringvorlesung | ||||||
|
| ||||||||||
2007-05-02 | 14:00 | Saurabh Ray | $\eps$-nets have Basis of Size $O(1/\eps \log {(1/\eps)})$ in any Dimension | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2007-04-27 | 13:15 | Johannes Lengler | Fermats letzter Satz – Ansätze aus der algebraischen Zahlentheorie | E2 5 - Mathematik Hörsaal III | Ringvorlesung | ||||||
2007-04-27 | 16:00 | Laura | Cool stuff on the web: tumblr, google notebook, scribd | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2007-04-26 | 13:00 | Daniel Grund | Register Allocation for Programs in SSA-Form | E1 3 Hörsaal Gebäude 013 | Ringvorlesung | ||||||
2007-04-26 | 15:00 | Andrey Rybalchenko | Abstraction for Liveness and Safety | E1 4 019 | SWS Colloquium | ||||||
|
| ||||||||||
2007-04-25 | 15:00 | Dennis Shasha | Upstart Puzzles | E1 4 024 | Distinguished speaker's lecture | ||||||
|
| ||||||||||
2007-04-24 | 10:00 | Fachschaft Informatik (Students' Council) | Firmeninformationstag FIT2007 (Job Fair) | E1 3 - CS Ground Floor | One-Day-Event | ||||||
2007-04-24 | 16:00 | Michael D. Ernst | Feedback-directed random test generation | E1 3 - Hörsaal Gebäude HS 003 | SWS Colloquium | ||||||
|
| ||||||||||
2007-04-23 | 16:00 | Thomas Hofmann | Title: Delivering Relevant Search Results on a Global Scale | E2 5 (Mathematics) HS 001 | Talk | ||||||
|
| ||||||||||
2007-04-20 | 10:30 | Martin Höfer | Near-optimal Cost Sharing with Selfish Agents | E1 4 023 | Talk | ||||||
2007-04-20 | 11:00 | Florent Jaquemard | Paramodulation based procedures for extended tree automata. | E1 4 633 | Talk | ||||||
2007-04-20 | 13:30 | Michael Schapira | Incentive-Compatible Distributed Routing: Mechanism Design Without Payments | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2007-04-20 | 16:00 | Irina | Cool stuff on the web: google notebook, dooodle, compete | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2007-04-19 | 13:00 | Hans Raj Tiwary | On the Hardness of Minkowski Addition and Related Operations | E1 3 Hörsaal Gebäude 013 | Ringvorlesung | ||||||
2007-04-19 | 15:00 | Derek Dreyer | Expanding and Exploiting the Expressive Power of Modules | E1 4 019 | SWS Colloquium | ||||||
|
| ||||||||||
2007-04-18 | 13:00 | Shady Elbassuoni | Talk: Personalized search on the client side | E1 4 024 | Master Seminar | ||||||
|
| ||||||||||
2007-04-17 | 16:00 | Lennart Witzke | Dense Optical Flow Estimation from Local Phase | E1 4 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2007-04-16 | 15:00 | Eno Thereska | Enabling what-if explorations in distributed systems | E1 4 019 | SWS Colloquium | ||||||
|
| ||||||||||
2007-04-13 | 16:00 | Ingmar | Cool stuff on the web: web2.0forsale.com, buzzillions, mycybertwin | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2007-04-05 | 13:30 | Jie Gao | Discovery of Sensor Network Layout | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2007-04-05 | 14:30 | Naveen Garg | Approximation algorithms reading group | E1 4 Rotunda 3rd floor | Lecture | ||||||
|
| ||||||||||
2007-04-04 | 14:00 | Ingmar Weber | Sponsored Search Results: Web advertising meets game theory | E1 4 024 | AG1 Mittagsseminar (basic education) | ||||||
2007-04-04 | 15:00 | Rodrigo Rodrigues | Scalable Byzantine Fault Tolerance | E1 5 019 | SWS Colloquium | ||||||
|
| ||||||||||
2007-04-02 | 13:30 | Frank Kammer | Determining the smallest k such that G is k-outerplanar | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2007-03-29 | 14:00 | Dr. Bernd Ctortecka | Connecting Science and Business | E1 4 024 | Talk | ||||||
2007-03-29 | 14:30 | Kanela Kaligosi | Approximation algorithms reading group | E1 4 Rotunda 3rd floor | Lecture | ||||||
2007-03-29 | 16:15 | Michael Gnewuch | Construction of low discrepancy sample spaces via dependent randomized rounding | E1 4 024 | Talk | ||||||
|
| ||||||||||
2007-03-28 | 12:00 | Taral Seierstad | The phase transition in random graphs and random graph processes | E1 4 024 | Talk | ||||||
|
| ||||||||||
2007-03-23 | 13:30 | Jens Oehlerking | Automated Stability Proofs for Hybrid Systems using Lyapunov Functions | E1 4 024 | Avacs Virtual Seminar | ||||||
2007-03-23 | 16:00 | Jochen | Cool stuff on the web: ning, twitter, wink, peterzahlt | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2007-03-22 | 09:00 | Christiane Wehle | ERC - European Research Council - Förderlinien und Beteiligungsmöglichkeiten des Europäischen Forschungsrates" | E1 4 024 | Talk | ||||||
2007-03-22 | 09:45 | Walter Denk | Marie-Curie-Maßnahmen im 7. RP | E1 4 024 | Talk | ||||||
2007-03-22 | 14:30 | Giorgos Christodoulou | Approximation algorithms reading group | E1 4 Rotunda 3rd floor | Lecture | ||||||
2007-03-22 | 23:15 | Pamela Weber | Das thematische Programm IKT im 7. RP | E1 4 024 | Talk | ||||||
|
| ||||||||||
2007-03-21 | 14:00 | Holger Bast | Ultrafast Shortest-Path Queries via Transit Nodes | E1 4 023 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2007-03-20 | 09:00 | Participants | SAPIR Workshop | E1 4 024 | Project Workshop | ||||||
|
| ||||||||||
2007-03-19 | 09:00 | Participants | SAPIR Workshop | E1 4 024 | Project Workshop | ||||||
2007-03-19 | 15:00 | Rainer Böhme | The Effect of Stock Spam on Financial Markets | E1 4 Rotunde 4. OG (433) | Talk | ||||||
|
| ||||||||||
2007-03-16 | 16:00 | Eric | Cool stuff on the web: postcrossing, changenotes, adwords | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2007-03-15 | 14:30 | Kevin Chang | Approximation algorithms reading group | E1 4 Rotunda 3rd floor | Lecture | ||||||
|
| ||||||||||
2007-03-14 | 14:00 | Sathish Govindarajan | Conflict-Free Coloring for Rectangle Ranges | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2007-03-12 | 14:15 | Thomas Sauerwald | Randomized Broadcasting and Random Walks on Cayley Graphs | E1 4 024 | Talk | ||||||
|
| ||||||||||
2007-03-09 | 16:00 | Arno | Cool stuff on the web: howstuffworks, ecologyfund, tree-nation, maydaycards | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2007-03-08 | 14:30 | Anna Niewiarowska | Approximation algorithms reading group | E1 4 Rotunda 3rd floor | Lecture | ||||||
|
| ||||||||||
2007-03-07 | 13:30 | Giorgos Christodoulou | A Lower Bound for Scheduling Mechanisms | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2007-03-06 | 13:00 | Sergey Tsarev | Curvature line parametrization from circle patterns | E1 4 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2007-03-02 | 16:00 | Ingmar | Cool stuff on the web: quintura, about, tba | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2007-03-01 | 14:30 | Khaled Elbassioni | Approximation algorithms reading group | E1 4 Rotunda 3rd floor | Lecture | ||||||
| |||||||||||
|
| ||||||||||
2007-02-27 | 13:00 | Simon Winkelbach | 3D Laser Scanning and Paiwise Matching of 3D Fragments | E1 4 019 | AG4 Group Meeting | ||||||
2007-02-27 | 13:00 | Students | Oberseminar | E1 4 024 | AG5 Oberseminar | ||||||
2007-02-27 | 13:30 | Torben Hagerup | A very practical algorithm for the two-paths problem in 3-connected planar graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2007-02-26 | 08:00 | Catalin Hritcu | Step-indexed Semantic Models for Functional and Imperative Objects | E1 4 024 | Talk | ||||||
2007-02-26 | 08:00 | Charilaos Efthymiou | On the existence of Hamilton Cycles in Random Intersection Graphs | E1 4 024 | Talk | ||||||
2007-02-26 | 08:00 | Christian Eisentraut | Complete completeness for weak bisimulation semantics | E1 4 024 | Talk | ||||||
2007-02-26 | 08:00 | Daniel Dumitriu | Graph-based conservative Surface Reconstruction | E1 4 024 | Talk | ||||||
2007-02-26 | 08:00 | Gerard De Melo | Multilingual Text Classification using Ontologies | E1 4 024 | Talk | ||||||
2007-02-26 | 08:00 | Hristo Pentchev | Verified Expression Evaluation for Multiplication and Division | E1 4 024 | Talk | ||||||
2007-02-26 | 08:00 | Lukas Marsalek | Interactive Volume Rendering in Theory and Practice: A Fast GPU Implementation and Error Bounded Linear Approximations | E1 4 024 | Talk | ||||||
2007-02-26 | 08:00 | Manuel Caroli | Applying a General Analysis Method for Controlled Perturbation | E1 4 024 | Talk | ||||||
2007-02-26 | 08:00 | Simon Peter | File Systems, Replication, Mutability and Trace Studies (an Introduction to My Current Research) | E1 4 024 | Talk | ||||||
2007-02-26 | 08:00 | Yassen Assenov | Topological Analysis of Biological Networks | E1 4 024 | Talk | ||||||
|
| ||||||||||
2007-02-23 | 15:00 | Arno Eigenwillig | On Descartes' rule | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
2007-02-23 | 16:00 | Edda | Cool stuff on the web: browsegoods, tauschticket, vyew | E1 4 333 | Lecture | ||||||
|
| ||||||||||
2007-02-22 | 14:00 | Christian Weichenberger | Self-consistent Assignment of Asparagine and Glutamine Side-Chain Amide Rotamers | E1 4 023 | AG3 Talk | ||||||
2007-02-22 | 14:30 | Naveen Garg | Approximation algorithms reading group | E1 4 Rotunda 3rd floor | Lecture | ||||||
|
| ||||||||||
2007-02-16 | 13:30 | Dimitrios Michail | New Approximation Algorithms for Minimum Cycle Bases of Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2007-02-16 | 14:15 | Walter Purkert | Georg Cantor (1845–1918) | E2 5 - Mathematik HS 2 | Lecture | ||||||
2007-02-16 | 14:30 | Alantha Newman | Approximation algorithms reading group | E1 4 Rotunda 3rd floor | Lecture | ||||||
2007-02-16 | 16:00 | Andre | Cool stuff on the web: fon, xing, phdcomics | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2007-02-15 | 13:00 | Ansley Post | Throughput Limits of Multi-hop Wireless Networks | E1 3 Hörsaal Gebäude 016 | Ringvorlesung | ||||||
2007-02-15 | 14:30 | Peter Zolliker | Gamut Mapping: From newspaper printing to geometric optimization and preference testing | E1 4 023 | Talk | ||||||
|
| ||||||||||
2007-02-14 | 13:00 | Yan Wang | Field: Computer Graphics | E1 4 024 | Talk | ||||||
|
| ||||||||||
2007-02-13 | 13:30 | Kurt Mehlhorn | AG1 Group Meeting | E1 4 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2007-02-12 | 14:00 | Patrick Pekczynski | Constraint Programming over Finite Domains | E1 4 023 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2007-02-09 | 14:15 | Darya Apushkinskaya | Vladimir Ivanovich Smirnov (1887–1974) | E2 5 - Mathematik HS 2 | Lecture | ||||||
2007-02-09 | 16:00 | Jochen | Cool stuff on the web: linkedin, orkut, fotocommunity | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2007-02-08 | 13:00 | Prof. Wolfgang Paul | Verification of Realtime Systems | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
2007-02-08 | 14:30 | Khaled Elbassioni | Approximation algorithms reading group | E1 4 Rutonda 3rd floor | Lecture | ||||||
|
| ||||||||||
2007-02-07 | 13:00 | Gaurav Pandrey | Retrieval model enhancement by implicit feedback | E1 4 024 | Talk | ||||||
|
| ||||||||||
2007-02-06 | 13:30 | Khaled Elbassioni | On approximating the TSP with intersecting neighborhoods | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2007-02-02 | 14:15 | Falko Lorenz | Käte Heys Zetafunktion und der Hauptsatz der Algebrentheorie | E2 5 - Mathematik HS 2 | Lecture | ||||||
2007-02-02 | 16:00 | Kevin | Cool stuff on the web: craigslist, picasa, sourceforge | E1 4 333 | Presentation | ||||||
2007-02-02 | 20:00 | Prof. Dr. Burkhard Scherer | Buddhas Lehre | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2007-02-01 | 12:30 | Nils Weskamp | "Structure-based Mapping of Protein Binding Pocket Space" | E1 4 024 | AG3 Talk | ||||||
2007-02-01 | 13:00 | Michael Kerber | Topology Computation of Algebraic Plane Curves | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
2007-02-01 | 13:30 | Many | DiscMathMeeting: GECCO submissions | E1 4 3rd floor rotunda | Lecture | ||||||
2007-02-01 | 15:00 | Domagoj Matijevic | Approximation algorithms reading group | E1 4 Rotunda 3rd floor | Lecture | ||||||
| |||||||||||
|
| ||||||||||
2007-01-31 | 11:00 | Elias P. Tsigaridas | Real root isolation using Continued Fractions | E1 4 023 | Talk | ||||||
2007-01-31 | 13:00 | Daniel Dumitriu | Graph-based conservative Surface Reconstruction | E1 4 024 | Talk | ||||||
|
| ||||||||||
2007-01-26 | 14:15 | Benno Artmann | Allgemeine Phänomene mathematischen Denkens bei Euklid | E2 5 - Mathematik HS 2 | Lecture | ||||||
2007-01-26 | 16:00 | Ralitsa | Cool stuff on the web: menow, frappr, digg | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2007-01-25 | 12:30 | Joachim Giesen | Collaborative Ranking Processes | E1 4 023 | Ringvorlesung | ||||||
|
| ||||||||||
2007-01-24 | 13:00 | Silvana Solomon | Evaluation of Relevance Feedback Algorithms for XML Retrieval | E1 4 024 | Talk | ||||||
|
| ||||||||||
2007-01-19 | 14:15 | Maximilian Gebhardt | Die Verschlüsselungsmaschine Enigma | E2 5 - Mathematik HS 2 | Lecture | ||||||
2007-01-19 | 16:00 | Evangelia | Cool stuff on the web: eyeos, flickr, hospitalityclub | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2007-01-18 | 13:00 | Andreas Schlicker | GOTax: Investigating Biological and Biochemical Activities along the Taxonomic Tree | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
|
| ||||||||||
2007-01-17 | 13:00 | Shady Elbassouni | Personalized Search on the Query Side | E1 4 024 | Talk | ||||||
|
| ||||||||||
2007-01-12 | 13:00 | Rob van Stee | Covering selfish machines | E1 4 024 | Talk | ||||||
2007-01-12 | 16:00 | Ingmar | Cool stuff on the web: sopcast, onlinetvrecorder, wwitv | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2007-01-11 | 13:00 | Christian Hoffmann | Hardness-Randomness Tradeoffs for Algebraic Branching Programs | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
|
| ||||||||||
2007-01-09 | 13:00 | Michael Goesele | Image-based Acquisition of Geometry and Reflectance | E1 4 019 | AG4 Group Meeting | ||||||
| |||||||||||
|
| ||||||||||
2006-12-20 | 13:00 | Yana Mileva | Invariance with Optic Flow | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-12-19 | 13:30 | Markus Behle | 0/1 vertex and facet enumeration with BDDs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-12-18 | 16:00 | Shin Yoshizawa | Computational Differential Geometry Tools for Surface Interrogation, Fairing, and Design | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2006-12-15 | 14:15 | Ernst-Ulrich Gekeler | Bemerkungen zur Entwicklung der Sprache der Mathematik | E2 5 - Mathematik HS 2 | Lecture | ||||||
2006-12-15 | 16:00 | Jochen | Cool stuff on the web: msdewey, tinyurl, doodle, a journal, and a surprise website | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2006-12-14 | 13:00 | Fabian Suchanek | Ontology Learning | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
2006-12-14 | 16:00 | Rafal Mantiuk | High-Fidelity Imaging | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2006-12-13 | 13:00 | Iliyan Georgiev | Scalable and Interactive Lighting Simulation | E1 4 024 | Talk | ||||||
2006-12-13 | 14:00 | Schulz | The Inside and Outside of E | E1 4 Rotunde 6.OG | Talk | ||||||
|
| ||||||||||
2006-12-12 | 13:30 | Ernst Althaus | An Exact Algorithm for the Maximum Parsimony Problem | E1 4 MPI-INF 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-12-08 | 14:15 | Heinz Klaus Strick | Mathematik-Geschichte(n) auf Briefmarken – Anregungen für den Mathematikunterricht | E2 5 - Mathematik HS 2 | Lecture | ||||||
2006-12-08 | 16:00 | Anders | Cool stuff on the web: flightgear, springdoo and 10minutemail | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2006-12-07 | 13:00 | Thomas Schultz | Flexible Segmentation and Smoothing of DT-MRI Fields | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
2006-12-07 | 14:30 | Giorgos Christodoulou | Approximation algorithms reading group | E1 4 Rutonda 3rd floor | Lecture | ||||||
2006-12-07 | 17:00 | Martin Zacharias | Computer simulation of biomolecules: The role of flexibility during molecular recognition | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-12-06 | 13:00 | Alexandru Chitea | Field: Information Retrieval | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-12-05 | 13:30 | Naveen Garg | Online Integer Packing | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-12-04 | 14:00 | Harald Muchow Norbert Schmidt | Vortrag über Bosch | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-12-01 | 13:00 | Peter Hachenberger | Boolean Operations on 3D Selective Nef Complexes | E1 4 024 | Promotionskolloquium | ||||||
2006-12-01 | 15:00 | Roman Dementiev | Algorithm Engineering for Large Data Sets | E1 4 024 | Promotionskolloquium | ||||||
2006-12-01 | 17:00 | Ingmar | Cool stuff on the web: singingfish, eyeos and MS virtual earth 3D | E1 4 333 | Presentation | ||||||
| |||||||||||
|
| ||||||||||
2006-11-30 | 13:00 | Andrzej Wasylkowski | Object Usage Models | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
2006-11-30 | 13:00 | Michael Waschbuesch | 3D Video Acquisition, Representation, and Editing | E1 4 019 | AG4 Group Meeting | ||||||
2006-11-30 | 14:30 | Stefan Canzar | Approximation Algorithms reading Group | E1 4 Rutonda 3rd floor | Lecture | ||||||
|
| ||||||||||
2006-11-29 | 13:00 | Stefana Nenova | Automatic Extraction of Attack Signatures | E1 4 024 | Talk | ||||||
2006-11-29 | 14:00 | Pascal Schweitzer | A Randomized Certifying Graph-Non-Isomorphism Algorithm | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2006-11-29 | 14:00 | Takehiro Tawara | Efficient Global Illumination for Dynamic Scenes | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2006-11-28 | 13:00 | Dr. Renato Renner | Security proof of quantum key distribution based on information-theoretic arguments | E1 4 024 | Talk | ||||||
2006-11-28 | 15:30 | Frank Neumann and Benjamin Doerr | DiscMathMeeting: EA/randomized search heuristics - Future work | E1 4 3rd floor rotunda | Meeting | ||||||
|
| ||||||||||
2006-11-27 | 16:15 | Eckart Zitzler | Evolutionary Multi-Criterion Optimization: Dealing With High-Dimensional Spaces | E1 4 024 | Talk | ||||||
2006-11-27 | 16:15 | Johannes Lengler | Lügnerspiele | E2 5 (Mathematik) IV | Talk | ||||||
|
| ||||||||||
2006-11-24 | 09:00 | TK | Bewerbertraining | E1 4 024 | Seminar | ||||||
2006-11-24 | 14:30 | Khaled Elbassioni | Approximation algorithms reading group | E1 4 Rutonda 3rd floor | Lecture | ||||||
2006-11-24 | 16:00 | Ingmar | Cool stuff on the web: facebook, jungledisk and a special guest | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2006-11-23 | 13:00 | Silke Wagner | Region Stability for Hybrid Systems | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
|
| ||||||||||
2006-11-22 | 13:00 | Chenhua Alice Chen | Context management with conflict resolution in pervasive computing based on semantic web technologies | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-11-21 | 13:30 | Benjamin Doerr | Partial Colorings of Unimodular Hypergraphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-11-17 | 14:15 | Ernst Albrecht | Analytische Fakultäten und die Weierstraß'sche Charakterisierung der Gammafunktion | E2 5 - Mathematik HS 2 | Lecture | ||||||
2006-11-17 | 14:30 | Kevin Chang | Approximation Algorithms Reading Group | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-11-16 | 13:00 | Prof. Holger Hermanns | Statemate Composition, and the Quantification Of Catastrophic Risks | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
2006-11-16 | 14:15 | Dimitrios Michail | Minimum Cycle Basis, Algorithms & Applications | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2006-11-15 | 13:00 | Fulya Horozal | Towards a natural representation of formalized mathematics in theorem provers | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-11-14 | 10:00 | Marco Patella | Processing preference queries in P2P networks | E1 4 024 | Talk | ||||||
2006-11-14 | 15:00 | Erik Sandewall | Consolidation of Software Systems - The Leonardo Approach | E1 4 024 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2006-11-10 | 16:00 | Michael Kerber | Cool stuff on the web: archive, alexa, clusty | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2006-11-09 | 13:00 | Prof. David G. Kirkpatrick | Optimality of Video-on-Demand Broadcast | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
|
| ||||||||||
2006-11-08 | 11:00 | Matthias Hullin | FFT-based melody detection and a micromechanical mass sensor for biofluidic applications | E1 4 019 | Presentation | ||||||
2006-11-08 | 13:00 | Catalin Hritcu | Seperation Logic | E1 4 024 | Talk | ||||||
2006-11-08 | 13:30 | Manuel Caroli | Evaluation of a Generic Method for Analyzing Controlled-Perturbation Algorithms | E1 4 333 | Talk | ||||||
|
| ||||||||||
2006-11-07 | 13:00 | Jens Krueger | A GPU Framework for Interactive Simulation and Rendering of Fluid Effects | E1 4 019 | AG4 Group Meeting | ||||||
2006-11-07 | 13:30 | Meena Mahajan | On the complexity of changing matrix rank | E1 4 024 | Lecture | ||||||
2006-11-07 | 14:30 | Johannes Lengler | DiscMathMeeting: Battlezone (Johannes Lengler, "Liar Games and Burst Errors") | E1 4 3rd floor rotunda | Meeting | ||||||
|
| ||||||||||
2006-11-03 | 10:00 | Ranjit Prasad Bahadur | Structural features of protein-protein recognition | E1 4 024 | Talk | ||||||
2006-11-03 | 11:00 | Viorica Sofronie-Stokkermans | On Properties of Local Theory Extensions (Part 2) | E1 4 Rotunda, 6th floor | Talk | ||||||
2006-11-03 | 11:00 | Viorica Sofronie-Stokkermans | On Properties of Local Theory Extensions (Part 2) | E1 4 Rotunda, 6th floor | Talk | ||||||
2006-11-03 | 14:15 | Ernst Albrecht | Zur Geschichte der Gammafunktion | E2 5 - Mathematik HS 2 | Lecture | ||||||
2006-11-03 | 16:00 | Ingmar Weber | Cool stuff on the web: secondlife, truveo, rememberthemilk | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2006-11-02 | 10:00 | Matthias Bender | CIKM Rehearsal Talk | E1 4 433 | AG5 Group Meeting | ||||||
2006-11-02 | 11:00 | Thorsten Joachims | Support Vector Machines for Structured Outputs | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
2006-11-02 | 13:00 | Pascal Schweitzer | Graph Problems Arising from Group Theoretic | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
2006-11-02 | 14:30 | Domagoj Matijevic | Approximation algorithms reading group | E1 4 Rotunda 3rd floor | Lecture | ||||||
2006-11-02 | 15:00 | Vijaya Parthiban | Factors Determining Protein Mutant Stability: Analysis and Application to Prediction | E1 4 021 | Talk | ||||||
2006-11-02 | 16:00 | Ken Calvert | Scalable Network Management Using Ephemeral State | E1 4 Rotunda 6th floor | SWS Colloquium | ||||||
| |||||||||||
|
| ||||||||||
2006-10-31 | 13:30 | Giorgos Christodoulou | Game theoretic analysis of networks | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2006-10-31 | 16:00 | Thomas Roelleke | On Information Retrieval Models and DB+IR | E1 4 024 | Colloquium Lecture | ||||||
|
| ||||||||||
2006-10-27 | 11:00 | Viorica Sofronie-Stokkermans | On Properties of Local Theory Extensions: Hierarchical and Modular Reasoning, Interpolation | E1 4 Rotunda 6th floor | Talk | ||||||
2006-10-27 | 13:30 | Anders Gidenstam | Memory management for lock-free concurrent data-structures | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2006-10-27 | 16:00 | Jochen Giesen | Cool stuff on the web: Netflix challenge, del.icio.us, pandora | E1 4 333 | Presentation | ||||||
|
| ||||||||||
2006-10-26 | 13:00 | Eyad Alkassar | "Hot Topics in Verisoft" | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
2006-10-26 | 14:30 | Naveen Garg | Approximation Algorithms Reading Group | E1 4 Rotunda on 3rd floor | Talk | ||||||
|
| ||||||||||
2006-10-25 | 10:00 | Julia Luxenburger | Web Search Clickstreams | E1 4 433 | AG5 Group Meeting | ||||||
2006-10-25 | 13:00 | Levan Machablishvili | Energy-Effcient Protocols in Wireless Sensor Networks | E1 4 024 | Talk | ||||||
2006-10-25 | 15:00 | Victor Neduva | Predicting molecular details for protein interaction networks | E1 4 021 | Talk | ||||||
|
| ||||||||||
2006-10-24 | 13:00 | Natasche Sauber | Multifield-Graphs | E1 4 019 | AG4 Group Meeting | ||||||
2006-10-24 | 14:30 | Mahmoud Fouz | DiscMathMeeting: Battlezone (Mahmoud Fouz: ``Linear and Hereditary Discrepancies'') | E1 4 3rd floor rotunda | Meeting | ||||||
2006-10-24 | 17:00 | Dr. Jörg Rahnenführer | "Wie uns Statistik hilft: Vom Lottoschein zur Bioinformatik" | E1 4 024 | Habilitationsvortrag und Kolloquium | ||||||
|
| ||||||||||
2006-10-20 | 11:00 | Ingmar Weber | Cool stuff on the web: peerflix, stumbleupon and blurb | E1 4 333 | Lecture | ||||||
|
| ||||||||||
2006-10-19 | 13:00 | Heiko Friedrich | Ray Tracing of Dynamic Scenes | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
|
| ||||||||||
2006-10-18 | 10:00 | Klaus Berberich | D5 Group Meeting | E1 4 433 | AG5 Group Meeting | ||||||
2006-10-18 | 13:00 | Pavel Emiliyanenko | Visualization of Points and Segments of Algebraic Curves in EXACUS | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-10-17 | 11:00 | Mauro Sozio | Finding Near Neighbors Through Cluster Pruning | E1 4 433 | Talk | ||||||
2006-10-17 | 13:00 | Prof. N. N. Mirenkov | "A new programming environment based on self-explanatory components" | E1 4 019 | Talk | ||||||
2006-10-17 | 13:30 | Rene Beier | Worst Case and Probabilistic Analysis of the 2-Opt Algorithm for the TSP | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2006-10-16 | 13:30 | AG1 | AG1 Group Meeting | E1 4 024 | AG1 Group Meeting | ||||||
2006-10-16 | 15:00 | Jean-Raymond Abrial | Using formally defined design patterns to improve system developments. | E1 4 024 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2006-10-13 | 14:00 | Dan Wallach | Electronic Voting: Risks and Research | E1 4 019 | SWS Colloquium | ||||||
|
| ||||||||||
2006-10-12 | 09:00 | Jasmina Bogojeska | Stability Analysis of Oncogenetic Trees | E1 4 024 | Talk | ||||||
2006-10-12 | 09:00 | Nazar Amin Khan | Silhouette Based 2D-3D Pose Estimation using Algebraic Surfaces | E1 4 024 | Talk | ||||||
2006-10-12 | 09:00 | Oliver Vogel | Variational Shape from Shading | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-10-11 | 11:00 | Calogero Zarba | INTERPOLATION FOR DATA STRUCTURES - Talk within RG1 meeting - | E1 4 Rotunda 6th floor | Talk | ||||||
2006-10-11 | 11:00 | Verena Wolf | A Numerical Aggregation Algorithm for the Enzyme-catalyzed Substrate Conversion | E1 3 528 | Talk | ||||||
2006-10-11 | 13:00 | Mohamed Abdelmaksoud | Generatin VHDL code and implementations from an intermediate representation of abstract VHDL models | E1 4 024 | Talk | ||||||
2006-10-11 | 15:00 | Dr. Mario Botsch | PriMo: Coupled Prisms for Intuitive Surface Modeling | E1 4 019 | Talk | ||||||
|
| ||||||||||
2006-10-10 | 10:00 | Dean Jacobs | Next Generation Internet Services | E1 4 024 | Talk | ||||||
2006-10-10 | 11:00 | Torsten Schwede | SWISS-MODEL Server and Repository: Practical applications of automated large-scale comparative protein structure modeling | E1 4 023 | Talk | ||||||
2006-10-10 | 13:00 | Volker Markl | Learning in Query Optimization | E1 4 024 | Talk | ||||||
2006-10-10 | 13:30 | Nils Hebbinghaus | Discrepancy of Sums of Two Arithmetic Progressions | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2006-10-10 | 13:30 | xxx | AG1 Mittagsseminar | E1 4 023 | Lecture | ||||||
|
| ||||||||||
2006-10-06 | 09:00 | TK | Stress- und Zeit- Management | E1 4 024 | Seminar | ||||||
2006-10-06 | 13:30 | Sören Laue | k-hop energy-efficient broadcast in the plane | E1 4 023 | AG1 Mittagsseminar (own work) | ||||||
2006-10-06 | 15:00 | Tobias | Three cool websites: snap, dodgeball and jumpcut | E1 4 333 | Miscellaneous | ||||||
| |||||||||||
|
| ||||||||||
2006-09-29 | 13:00 | V.A. Garanzha | Discrete curvatures and optimal quasi-isometric parameterizations of non-smooth manifolds. | E1 4 019 | AG4 Group Meeting | ||||||
2006-09-29 | 13:30 | xxx | AG 1 Mittagsseminar | E1 4 023 | Lecture | ||||||
|
| ||||||||||
2006-09-26 | 13:30 | Martin Kutz | A gap result for triangulations of finite point sets in the plane | E1 4 023 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-09-25 | 14:00 | Heiko Roeglin | On the Impact of Combinatorial Structure on Congestion Games | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-09-22 | 13:30 | Rouven Naujoks | A faster PTAS for the k-disc cover problem in Euclidean space | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-09-21 | 13:30 | Kevin Chang | Multiple pass streaming algorithms for clustering and machine learning | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-09-19 | 11:00 | Wolfram Burgard | Probabilistic Techniques for Mobile Robot Mapping and Exploration | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
2006-09-19 | 11:00 | Wolfram Burgard | Probabilistic Techniques for Mobile Robot Mapping and Exploration | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
2006-09-19 | 16:00 | Marc Pollefeys | Visual 3D modeling of real-world objects and scenes | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2006-09-18 | 13:00 | Jan Michael Frahm | Fast 3D Scene Reconstruction from Video and Applications | E1 4 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2006-09-12 | 13:30 | Evangelia Pyrga | Adaptive Heuristics | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2006-09-08 | 13:30 | Kaz Makino | Minimum Transversals in Posi-modular Systems | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-09-07 | 13:30 | Rohi Khandekar | Graph Partitioning using Single Commodity Flows | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-09-05 | 10:00 | Mouna Kacimi | A Cluster-based Hybrid Overlay Network for P2P Similarity Search | E1 4 433 | Talk | ||||||
2006-09-05 | 13:30 | Julian Mestre | The Gas Station Problem | E1 4 024 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2006-08-31 | 14:00 | J. Guenther | Eurographics 2006 Practice Talks | E1 4 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2006-08-30 | 14:00 | Hitoshi Yamauchi | What's the title of the talk? | E1 4 019 | Lecture | ||||||
|
| ||||||||||
2006-08-29 | 13:30 | Debapriyo Majumdar | Top 10 Hits: How to Compute them Fast | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-08-28 | 14:30 | Daniel Johannsen | Random sampling of 3-connected planar graphs | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-08-25 | 09:00 | Joel Spencer | Erdoes-Renyi Phase Transition | CS Building HS 1 | Lecture | ||||||
2006-08-25 | 14:00 | Michael Ley | The DBLP story | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2006-08-25 | 14:30 | Holger Bast | The CompleteSearch Engine | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-08-24 | 09:00 | Joel Spencer | Erdoes Magic | CS Building HS 1 | Lecture | ||||||
|
| ||||||||||
2006-08-21 | 09:00 | Tamal Dey / Joel Spencer / Ingo Wegener | ADFOCS 2006 | E1 4 - MPI-INF and E1 3 024 / HS3 | Miscellaneous | ||||||
|
| ||||||||||
2006-08-18 | 13:30 | Zvi Lotker | Tight Upper Bound on the Number of Vertices of Polyhedra with $0,1$-Constraint Matrices | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2006-08-17 | 13:00 | Andrew Nealen | Sketch-Based Editing and Optimization of Triangle Meshes | E1 4 019 | AG4 Group Meeting | ||||||
2006-08-17 | 15:00 | Olga Sorkine | Feature-aware texturing and 3D collages | E1 4 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2006-08-16 | 10:00 | Kurt Mehlhorn | IT-Strategy, MPI-INF and MPI-SWS | E1 4 024 | Meeting | ||||||
2006-08-16 | 13:00 | Meinard Mueller | Automatic Classification and Retrieval of Motion Capture Data | E1 4 019 | AG4 Group Meeting | ||||||
2006-08-16 | 15:00 | Friedrich Eisenbrand | Abtrittsvorlesung | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2006-08-08 | 11:00 | Alexander Malkis | Thread-Modular Verification and Cartesian Abstraction | E1 4 rotunda 6th floor | Probevortrag | ||||||
2006-08-08 | 13:30 | Stefan Funke | How much Geometry hides in Connectivity ? | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-08-07 | 13:30 | Domagoj Matijevic | (Approximate) Conic Nearest Neighbors and the induced Voronoi Diagram | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-08-04 | 13:30 | Tetsuo Asano | Angular and Aspect-Ratio Voronoi Diagram with Applications | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-08-03 | 14:30 | Holger Dell | The PCP Theorem by Gap Amplification | E1 3 - UdS-INF HS001 | Talk | ||||||
2006-08-03 | 15:00 | Thomas Hillenbrand | Sudokus as Logical Puzzles | E1 4 Rotunda 6th floor | Talk | ||||||
2006-08-03 | 16:00 | Peter Baumgartner | Blocking and Other Enhancements for Bottom-Up Model Generation Methods | E1 4 Rotunda 6th floor | Talk | ||||||
| |||||||||||
|
| ||||||||||
2006-07-28 | 13:30 | Andreas Karrenbauer | Multiline Addressing by Network Flow | E1 4 024 | Talk | ||||||
|
| ||||||||||
2006-07-26 | 14:15 | Joachim Niehren | Learning n-ary Queries in Trees for Web Information Extraction | E1 4 024 | Logik-Seminar | ||||||
|
| ||||||||||
2006-07-25 | 13:30 | Kavitha Telikepalli | Faster Algorithms for Approximate Distance Oracles and All-Pairs Small Stretch Paths | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-07-21 | 13:30 | Kavitha | News from ICALP | E1 4 Rotunda | AG1 Conference Report | ||||||
2006-07-21 | 15:30 | Bastian Goldlücke | Multi-Camera Reconstruction and Rendering for free-viewpoint Video | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2006-07-20 | 13:00 | Joachim Weickert | Real-Time Algorithms for Reliable Motion Estimation in Image Sequences | E1 3 - Hörsaal Gebäude 16 | Ringvorlesung | ||||||
2006-07-20 | 13:00 | Robert Strzodka | Mixed Precision Iterative Refinement - High Accuracy Results from Low Precision Computations | E1 4 019 | AG4 Group Meeting | ||||||
2006-07-20 | 16:00 | Magnor und Jäger (1. Prof. Marcus Magnor und 2. Dr. Klaus Jäger) | 1. Informatik und Astronomie: Sterne im Computer und 2. Galaxien und Gigabytes - Optische Astronomie im Zeitalter moderner Großteleskope | E1 4 024 | Festkolloquium und Demos | ||||||
|
| ||||||||||
2006-07-18 | 13:30 | Annamaria Kovacs | Non-approximability and the class max-SNP | E1 4 024 | AG1 Mittagsseminar (basic education) | ||||||
|
| ||||||||||
2006-07-17 | 14:00 | Ernst Althaus | Ein exakter Algorithmus für das Maximum-Parsimony-Problem | E1 1 407 | Habilitationsvortrag und Kolloquium | ||||||
|
| ||||||||||
2006-07-11 | 13:00 | Martin Fuchs | Adaptive sampling of reflectance fields | E1 4 019 | AG4 Group Meeting | ||||||
2006-07-11 | 13:30 | Sathish Govindarajan | Crossing lemma and its applications | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2006-07-10 | 08:30 | Artem Starostin | Formally Verified Data Structures Library for C. The String Data Structure | E1 4 024 | Talk | ||||||
2006-07-10 | 08:30 | Konstantin Halachev | EpiGRAPH: A Toolkit for (Epi-) Genomic Relationship Analysis and Prediction in Human | E1 4 024 | Talk | ||||||
2006-07-10 | 08:30 | Mathias Möhl | Non-projective Dependency Structure | E1 4 024 | Talk | ||||||
2006-07-10 | 08:30 | Matthias Horbach | Proof Nets for Intuitionistic Logic | E1 4 024 | Talk | ||||||
2006-07-10 | 08:30 | Michael Kerber | Analysis of Square Free Algebraic Plane Curves | E1 4 024 | Talk | ||||||
2006-07-10 | 08:30 | Rayna Dimitrova | Model Checking with Abstraction Refinement for Well-structured Systems | E1 4 024 | Talk | ||||||
2006-07-10 | 08:30 | Sebastian Altmeyer | Parametric Worst Case Execution Time Analysis. | E1 4 024 | Talk | ||||||
2006-07-10 | 08:30 | Vitaly Osipov | A Polynomial Time Randomized Parallel Approximation Algorithm for Finding Heavy Planar Subgraphs | E1 4 024 | Talk | ||||||
2006-07-10 | 10:00 | Alexander Belyaev | Digital Geometry & Graphics Session I | E1 4 019 | AG4 Group Meeting | ||||||
2006-07-10 | 14:00 | Oliver Schall | Digital Geometry & Graphics, Afternoon session | E1 4 019 | AG4 Group Meeting | ||||||
2006-07-10 | 16:15 | Joachim Reichel | Bestimmung des Gepäckraumvolumens eines PKWs | E1 4 024 | Promotionskolloquium | ||||||
2006-07-10 | 19:00 | Gerhard Weikum | Was kommt nach Google? Suchmaschinen im Internet | vhs-Zentrum am Saarbrücker Schlossplatz n.a. | Ringvorlesung | ||||||
|
| ||||||||||
2006-07-07 | 13:30 | Arno Eigenwillig | Almost Tight Recursion Tree Bounds for the Descartes Method | E1 4 023 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-07-06 | 13:00 | Eyad Alkassar | Formal Semantics of Remote Procedure Calls | E1 3 - Hörsaal Gebäude 16 | Ringvorlesung | ||||||
|
| ||||||||||
2006-07-05 | 13:00 | Shady Elbassuoni | Query-Log Based Authority Analysis for Web Information Search | E1 4 024 | Talk - Masters Seminar | ||||||
|
| ||||||||||
2006-07-04 | 13:00 | Reinhard Klette | Shape and texture of complex scenes using modern sensor technologies | E1 4 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2006-07-03 | 14:00 | Devika Subramanian | Adaptive Embedded Systems | E1 5 024 | SWS Colloquium | ||||||
2006-07-03 | 19:00 | Maximilian Herberger | Kann die Informatik dem Recht helfen? | vhs-Zentrum am Saarbrücker Schlossplatz n.a. | Ringvorlesung | ||||||
| |||||||||||
|
| ||||||||||
2006-06-30 | 13:30 | Martin Kutz | Computing Shortest Non-Trivial Cycles on Orientable Surfaces of Bounded Genus in Almost Linear Time | E1 4 Rotunda 3rd floor | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-06-29 | 10:00 | Eli Gafni | What is Shared-Memory? | E1 5 rotunda 6th floor | Talk | ||||||
2006-06-29 | 13:00 | Bernd Finkbeiner | Monitoring Reactive Systems | E1 3 - Hörsaal Gebäude 16 | Ringvorlesung | ||||||
|
| ||||||||||
2006-06-28 | 13:05 | Silvana Solomon | Building a peer-to-peer full-text Web search engine with highly discriminative keys | E1 4 024 | Master's Seminar | ||||||
|
| ||||||||||
2006-06-26 | 11:00 | Dr. Alkis Simitsis | Précis Queries: A Novel Way to Query Answering Over Relational Data | E1 4 433 | Talk | ||||||
2006-06-26 | 19:00 | Andreas Zeller | Warum stürzt mein Programm ab? Automatische Fehlersuche in großen Computerprogrammen | vhs-Zentrum am Saarbrücker Schlossplatz n.a. | Ringvorlesung | ||||||
|
| ||||||||||
2006-06-23 | 13:30 | Anand Bhalgat | A fast algorithm for computing steiner edge connectivity" (Published in STOC 2003. Author : Cole-Ramesh) | E1 4 023 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2006-06-22 | 13:00 | Julia Luxenburger | Exploiting Community Behavior for Link Analysis | E1 3 - Hörsaal Gebäude 16 | Ringvorlesung | ||||||
|
| ||||||||||
2006-06-21 | 10:00 | Prof. Sreenivasa Kumar | Path Based Storage and Metadata Guided XPath Evaluation | E1 4 024 | Talk | ||||||
2006-06-21 | 13:05 | Daniel Dumitriu | Sample-based Shape Analysis for 3D Surfaces | E1 4 024 | Master's Seminar | ||||||
|
| ||||||||||
2006-06-20 | 13:00 | Erno Langendijk | Working at Philips Research: Making best in class LCD-TVs | E1 4 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2006-06-19 | 19:00 | Joachim Weickert | Scharfe Bilder: Wie Bildverarbeitung der Medizin und Kriminalpolizei neue Erkenntnisse bringt | vhs-Zentrum am Saarbrücker Schlossplatz n.a. | Ringvorlesung | ||||||
|
| ||||||||||
2006-06-16 | 13:30 | Lukasz Kowalik | Faster Exponential Time Algorithm for Edge Coloring Using 3 Colors | E1 4 rotunda 3rd floor | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-06-14 | 13:00 | Irina Ioana Brudaru | A genetic algorithm for the k traveling repairman problem | E1 4 024 | Talk - IMPRS Masters Seminar | ||||||
|
| ||||||||||
2006-06-12 | 16:00 | Dipl.-Math. Jens Vorsatz | Dynamic Remeshing and Applications | E1 4 019 | Promotionskolloquium | ||||||
2006-06-12 | 19:00 | Helmut G. Folz | Von Menschen und Software - zur Geschichte der Software-Entwicklung | vhs-Zentrum am Saarbrücker Schlossplatz n.a. | Ringvorlesung | ||||||
|
| ||||||||||
2006-06-09 | 11:00 | Boris Ajdin | Ray Tracing in Poincaré's ball model of hyperbolic space | E1 4 019 | Talk | ||||||
|
| ||||||||||
2006-06-08 | 13:00 | Swen Jacobs | Applications of Hierarchical Reasoning in Verification | E1 3 - Hörsaal Gebäude 16 | Ringvorlesung | ||||||
|
| ||||||||||
2006-06-07 | 13:00 | Yan Wang | Visualization and Interaction of Autostereogram | E1 4 024 | Talk / IMPRS Masters Seminar | ||||||
|
| ||||||||||
2006-06-06 | 10:00 | Georgia Koutrika | Query Personalization: when one size does not fit all | E1 4 433 | Talk | ||||||
|
| ||||||||||
2006-06-02 | 13:30 | Tobias Friedrich | Deterministic Random Walks | E1 4 023 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-06-01 | 13:00 | Marcel Dischinger | Measurement and Analysis of Commercial Broadband Networks | E1 3 - Hörsaal Gebäude 16 | Ringvorlesung | ||||||
| |||||||||||
|
| ||||||||||
2006-05-31 | 13:05 | Jasmina Bogojeska | Stability analysis for oncogenetic trees | E1 4 024 | Master's Seminar | ||||||
2006-05-31 | 13:30 | Tobias Friedrich | DiscMathMeeting: Battlezone | E1 4 3rd floor rotunda | Meeting | ||||||
|
| ||||||||||
2006-05-30 | 13:30 | Ingmar Weber | bzip2 Compression: Burrows-Wheeler, Move-to-Front and Huffman | E1 4 024 | AG1 Mittagsseminar (basic education) | ||||||
2006-05-30 | 13:30 | Thomas Fuhrmann | Peer-to-Peer Self-Organization and Embedded Systems | E1 5 Rotunda 6th floor | Talk | ||||||
|
| ||||||||||
2006-05-29 | 14:30 | Rolf Harren | Approximating the Orthogonal Knapsack Problem for Hypercubes | E1 4 024 | Talk | ||||||
2006-05-29 | 19:00 | Hans Uszkoreit | Wer viel fragt, wird schlau...: Intelligente mehrsprachige Informationsdienste | vhs-Zentrum am Saarbrücker Schlossplatz n.a. | Ringvorlesung | ||||||
|
| ||||||||||
2006-05-24 | 13:05 | Kristina Scherbaum | 'Learning Based Prediction of Children's Facial Growth' | E1 4 024 | Master's Seminar | ||||||
|
| ||||||||||
2006-05-23 | 13:00 | Boris Ajdin | Ray Tracing in Poincare's Ball Model of Hyperbolic Space | E1 4 019 | AG4 Group Meeting | ||||||
2006-05-23 | 13:30 | Edda Happ | Provisioning a Virtual Private Network Under the Presence of Non-communicating Groups | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-05-22 | 19:00 | Thomas Lengauer | Aidsforschung in Saarbrücken: Wie Bioinformatiker den HIV-Kranken helfen können | vhs-Zentrum am Saarbrücker Schlossplatz n.a. | Ringvorlesung | ||||||
|
| ||||||||||
2006-05-18 | 11:00 | Prof. Wolfgang Schulz | Epigenetics in Prostate Cancer | E1 3 - Hörsaal Gebäude HS 2 | Talk | ||||||
2006-05-18 | 13:00 | Wolfram von Funck | Vector Field Based Shape Deformations | E1 3 - Hörsaal Gebäude 16 | Ringvorlesung | ||||||
|
| ||||||||||
2006-05-17 | 10:00 | Michalis Vazirgiannis | K-Landmarks: Distributed Dimensionality Reduction for Clustering Quality Maintenance | E1 4 024 | Informatik-Kolloquium | ||||||
2006-05-17 | 13:05 | Feryal Fulya Horozal | Formal representation of mathematics in the mathematical assistant system Scunak | E1 4 024 | Masters Seminar | ||||||
2006-05-17 | 13:30 | Edda Happ | DiscMathMeeting: Battlezone (Edda on Virtual Private Networks) | E1 4 3rd floor rotunda | Meeting | ||||||
2006-05-17 | 14:00 | Bernhard Schölkopf | !!Talk Cancelled!! Kernel methods and applications | MPII 024 | MPI Colloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2006-05-16 | 09:00 | Norbert Fuhr | Comparing different architectures for query routing in peer-to-peer networks | E1 4 024 | MPI-Kolloquium | ||||||
2006-05-16 | 11:00 | Martin Theobald | TopX: Efficient and Versatile Top-k Query Processing for Text, Structured, and Semistructured Data | E1 1 - Informatik 407 | Promotionskolloquium | ||||||
2006-05-16 | 11:45 | Pierpaolo Baccichet | Robust Transmission of H.264/AVC Video Signals | E1 4 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2006-05-15 | 13:30 | Surender Baswana | A tutorial on the use of Martingales in randomized algorithms | E1 4 024 | Lecture | ||||||
2006-05-15 | 19:00 | Manfred Pinkal | Wie funktioniert maschinelle Übersetzung? | vhs-Zentrum am Saarbrücker Schlossplatz n.a. | Ringvorlesung | ||||||
|
| ||||||||||
2006-05-12 | 14:00 | Angela Bonifati | XML Updates: Semantics, Optimization and Static Analysis | E1 3 - Hörsaal Gebäude 001 | Informatik-Kolloquium | ||||||
|
| ||||||||||
2006-05-11 | 13:00 | Andre Altmann | Optimization of Highly Active Antiretroviral Theray against HIV-1 | E1 3 - Hörsaal Gebäude 16 | Ringvorlesung | ||||||
2006-05-11 | 16:00 | Jens Graupmann | Die Sphere-Search-Suchmaschine zur Graphbasierten Suche auf Heterogenen, Semistrukturierten Daten | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2006-05-10 | 13:05 | Melih Demir | Predicting Component Failures at Early Design Time | E1 4 024 | Masters Seminar | ||||||
2006-05-10 | 14:00 | Seth Pettie | Bloom Filters | E1 4 Rotunda - 3rd Floor | AG1 Mittagsseminar (basic education) | ||||||
|
| ||||||||||
2006-05-09 | 13:00 | Brian Chen | Algorithms for Protein Function Prediction | E1 4 21 | Talk | ||||||
2006-05-09 | 13:30 | Dimitrios Michail | Minimum Cycle Basis | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-05-08 | 19:00 | Holger Hermanns | Von der Marmelade zum Airbag: Eingebettete Systeme sind überall, aber | vhs-Zentrum am n.a. | Lecture | ||||||
|
| ||||||||||
2006-05-04 | 10:15 | Tobias Storch and Frank Neumann | Minisymposium "Evolutionary Algorithms" | 46.1 - MPII 024 | Talk | ||||||
2006-05-04 | 13:00 | Arno Eigenwillig | On Classical Real Root Isolation and its Complexity Analysis | E1 3 - Hörsaal Gebäude 16 | Ringvorlesung | ||||||
|
| ||||||||||
2006-05-03 | 14:00 | Frank Neumann and Carsten Witt and Benjamin Doerr | Minisymposium "Evolutionary Algorithms" | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2006-05-02 | 13:00 | Markus Gross | Physically-Based Modeling for Interactive Applications | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2006-05-02 | 14:00 | Dr. Georg Botz | What about Open Access | E1 4 023 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2006-04-27 | 13:00 | Philipp Slusallek | "Recent Advances in Real-Time Ray Tracing" | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
2006-04-27 | 16:00 | Tobias Friedrich | Internationale Programmierwettbewerbe | E1 1 - FB Informatik 407 | Presentation | ||||||
|
| ||||||||||
2006-04-26 | 11:15 | Hendrik Dahlkamp | Self-driving cars - winning the DARPA Grand Challenge | E1 4 019 | AG4 Group Meeting | ||||||
2006-04-26 | 13:00 | Lyublena Antova | Efficient representation and processing of incomplete information | E1 4 024 | Talk - Masters' Seminar | ||||||
|
| ||||||||||
2006-04-25 | 13:30 | Eric Berberich | A Non-Linear Story | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-04-24 | 15:00 | Jean-Philippe Martin | Byzantine Fault-Tolerance and Beyond | E1.4 024 | SWS Colloquium | ||||||
2006-04-24 | 19:00 | Wolfgang Paul | Garantiert fehlerfreie Konstruktion von Automobilelektronik und Flugzeugsteuerungen | vhs-Zentrum am Saarbrücker Schlossplatz n.a. | Ringvorlesung | ||||||
|
| ||||||||||
2006-04-21 | 13:00 | Bodo Rosenhahn | Seminar WS 06/07 Computer Graphik | E1 4 024 | AG4 Seminar | ||||||
|
| ||||||||||
2006-04-20 | 13:00 | Thomas Zimmermann | Mining Additions of Method Calls | E1 3 - Hörsaal Gebäude 016 | Ringvorlesung | ||||||
2006-04-20 | 13:30 | Benjamin Doerr | DiscMathMeeting: News and Plans for the Summer Term | E1 4 Rotunda, 3rd floor | Meeting | ||||||
|
| ||||||||||
2006-04-19 | 11:00 | Thomas Hofmann | Machine Learning Methods for Structured and Collective Classification | E1 4 024 | Kolloquium | ||||||
|
| ||||||||||
2006-04-18 | 13:30 | Kurt Mehlhorn | Directed Cycle Basis in Graphs, an Improved Algorithm | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-04-13 | 13:00 | Michael Wand | Bayesian Point Cloud Reconstruction | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2006-04-13 | 14:00 | Ingo Wald | To be announced | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2006-04-11 | 10:30 | Filip Murlak | The Wadge Hierarchy of Deterministic Tree Languages | E1 3 - Hörsaal Gebäude 528 | Talk | ||||||
2006-04-11 | 13:30 | Deepak Ajwani | Online Topological Ordering | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-04-06 | 15:00 | Viktor Kuncak | Modular Static Analysis with Sets and Relations | E1 4 022 | SWS Colloquium | ||||||
|
| ||||||||||
2006-04-04 | 13:30 | Holger Bast | Real Shortest Paths in Real Time | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-04-03 | 13:30 | Benjamin Doerr | DiscMathMeeting: News from Madison | MPI Rotunda, 3rd floor | Meeting | ||||||
2006-04-03 | 19:00 | Philipp Slusallek | „Ray Tracing“: Technologie aus Saarbrücken revolutioniert Auto- und Flugzeugdesign und die Welt der Computerspiele | vhs-Zentrum am Saarbrücker Schlossplatz n.a. | Ringvorlesung | ||||||
| |||||||||||
|
| ||||||||||
2006-03-31 | 13:30 | Benjamin Doerr | DiscMathMeeting: News from East Setauket | E1 4 Rotunda, 3rd floor | Meeting | ||||||
|
| ||||||||||
2006-03-30 | 13:30 | Benjamin Doerr | DiscMathMeeting: News from Banff | MPI Rotunda, 3rd floor | Meeting | ||||||
2006-03-30 | 14:00 | Matthias Felleisen | Interfaces and Contracts | G26 [KL] 024 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2006-03-29 | 16:00 | David Basin | From Security Protocols to Secure Systems | 46.1 - MPII 024 | MPI-Kolloquium Series Distinguished Speaker | ||||||
2006-03-29 | 16:00 | David Basin | From Security Protocols to Secure Systems | 46.1 - MPII 024 | MPI-Kolloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2006-03-27 | 14:00 | Anja Feldmann | Reverse engineering the Internet: inter-domain topology and ab/use | G26 [KL] 024 | SWS Distinguished Lecture Series | ||||||
2006-03-27 | 19:00 | Hans-Peter Seidel | Alte Skulpturen, schlaue Köpfe und moderne Computergrafik | vhs-Zentrum am Saarbrücker Schlossplatz n.a. | Ringvorlesung | ||||||
|
| ||||||||||
2006-03-23 | 14:00 | Luca Cardelli | Biological Systems as Reactive Systems | G26 [KL] 24 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2006-03-22 | 10:00 | Ralf Kuesters | Constraint Solving for Contract-Signing Protocols | E1 4 021 | Talk | ||||||
2006-03-22 | 13:30 | Kurt Mehlhorn | Reliable Geometric Computation via Controlled Perturbation !? | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2006-03-21 | 13:00 | Mike Sips | Exploring Large Geo-Spatial Point Sets | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2006-03-21 | 13:30 | Nabil Mustafa | Three questions on weak eps-nets | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2006-03-20 | 14:00 | Jack Tumblin | Re-thinking Photography: What Devices should capture Visual Appearance? | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2006-03-20 | 14:00 | Rustan Leino | The Spec# Programming System | G26 [KL] 024 | SWS Distinguished Lecture Series | ||||||
2006-03-20 | 19:00 | Kurt Mehlhorn | Rechner effizient nutzen: Anwendungen und Herausforderungen | vhs-Zentrum am Saarbrücker Schlossplatz n.a. | Ringvorlesung | ||||||
|
| ||||||||||
2006-03-17 | 16:30 | Yevgeny Kazakov | Saturation-Based Decision Procedures for Extensions of the Guarded Fragment | 46.1 - MPII 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2006-03-15 | 16:00 | Ueli Maurer | New approaches to digital evidence | 46.1 - MPII 024 | Distinguished Speaker Series: Talk | ||||||
|
| ||||||||||
2006-03-14 | 13:00 | Gabriel Fournier | Multi-mesh caching and GPU for progressive and interactive realistic rendering | E 1.4 - MPI Informatik 019 | Talk - AG 4 Group Meeting | ||||||
2006-03-14 | 13:30 | Pascal Schweitzer (Frankfurt) | Bewerbung Promotion (Contextfreeness of a Problem in Group Theory) | 46.1 - MPII 024 | Lecture | ||||||
2006-03-14 | 14:00 | Khaled Elbassioni | Finding All Minimal Infrequent Multi-dimensional Intervals | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-03-13 | 13:30 | Norbert Zeh | Simplified Cache-Oblivious Planar Orthogonal Range Searching | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-03-10 | 13:30 | Christian Klein | Unbiased Controlled Rounding | 46.1 - MPII 023 | Probevortrag | ||||||
2006-03-10 | 14:15 | Vinton G. Cerf (Google) | "Tracking the Internet into the 21st Century " | E1 3 002 | Joint Computer Science Colloquium University of Kaiserslautern & Saarland University | ||||||
|
| ||||||||||
2006-03-09 | 13:30 | Katarzyna Paluch | DiscMathMeeting: Rectangle Tilings | 46.1 - MPII 3rd floor rotunda | Talk | ||||||
|
| ||||||||||
2006-03-08 | 16:00 | Alexandra Kiemer | Toll-like Rezeptor 9 (TLR9)-Aktivierung von Makrophagen in der Tuberkulose | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2006-03-07 | 09:00 | Friederike Meyer zu Tittingdorf; Kerstin Kathy Meyer-Ross | Pressemitteilungen und Öffentlichkeitsarbeit | 45 - FR 6.2 SR 0.15 | Course | ||||||
2006-03-07 | 13:00 | Torsten Langer | Classical Polygonal Interpolation: A Unified Geometric Approach | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2006-03-07 | 14:00 | Soeren Kammel | 3D Reconstruction for Industrial Applications and Autonomous Navigation | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2006-03-03 | 13:30 | Alantha Newman | My Favorite Problems, Open and Closed | 46.1 - MPII 023 | Talk | ||||||
|
| ||||||||||
2006-03-01 | 13:30 | Benjamin Doerr | Few News From STACS'06 | 46.1 - MPII 3rd floor rotunda | Talk | ||||||
| |||||||||||
|
| ||||||||||
2006-02-28 | 14:00 | Benjamin Doerr | Generating Randomized Roundings with Constraints (practiced talk). | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-02-23 | 16:00 | Cormac Flanagan | Type Systems for Multithreaded Software | 46.1 - MPII 024 | SWS Colloquium | ||||||
|
| ||||||||||
2006-02-22 | 13:15 | Seth Pettie | practice talk | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2006-02-21 | 09:00 | Massimiliano Marcon | Trace-Based Connectivity and Delay-Tolerant Networks - Ph.D. application talk | 46.1 - MPII 0.24 | Talk | ||||||
2006-02-21 | 09:30 | Lublena Antova | Incomplete Information in Databases - Ph.D. application talk | 46.1 - MPII 0.24 | Talk | ||||||
2006-02-21 | 10:00 | Gjergji Kasneci | On Implication Problems for XML Schema Languages - Ph.D. application talk | 46.1 - MPII 0.24 | Talk | ||||||
2006-02-21 | 11:00 | Stefan Popov | Efficient ray-tracing on GPUs - Ph.D. application talk | 46.1 - MPII 0.24 | Talk | ||||||
2006-02-21 | 11:30 | Laura Tolosi | Analysis of arrayCGH Data for Estimation of Genetic Tumor Progression - Ph.D. application talk | 46.1 - MPII 0.24 | Talk | ||||||
2006-02-21 | 12:00 | Daniel Grund | Register Allocation for SSA-Form Programs | 46.1 - MPII 0.24 | Talk | ||||||
2006-02-21 | 13:30 | Khaled Elbassioni | News from SODA 2006, PART II | 46.1 - MPII Rotunda (3rd floor) | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2006-02-20 | 13:00 | Prashant Batra (Hamburg) | Minimum Root Separation | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2006-02-16 | 13:00 | Prof. Michael Backes | Symbolic XOR and Hash Functions – Where Abstract Security Protocol Analysis and Cryptography Lose Synchronization | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
|
| ||||||||||
2006-02-15 | 13:30 | Khaled Elbassioni and Lukasz Kowalik | News from SODA | 46.1 - MPII rotunda, 3th floor | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2006-02-14 | 13:00 | Carsten Dachsbacher | Interactive Rendering of Indirect Illumination | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2006-02-14 | 14:00 | Kerstin Kathy Meyer-Ross | About Posters (Masters Seminar) | 46.1 - MPII 0.24 | Talk | ||||||
2006-02-14 | 16:00 | Albrecht Schmidt | Interacting with Ubiquitous Computing Systems | E1 5 024 - Harald Ganzinger Hoersaal | SWS Colloquium | ||||||
|
| ||||||||||
2006-02-13 | 13:30 | AG1 | Group Meeting AG1 | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2006-02-09 | 13:00 | Hansraj Tiwary | Convexity of Union of Polytopes | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
|
| ||||||||||
2006-02-07 | 13:00 | Daniel Grest | Towards Human Motion Tracking | 46.1 - MPII 024 | AG4 Group Meeting | ||||||
|
| ||||||||||
2006-02-03 | 14:00 | Dr. Katja Krüger | Funktionales Denken – zur Begriffsgeschichte eines didaktischen Prinzips | 27 - Hörsaal Gebäude Hörsaal 2 | Ringvorlesung zur Geschichte der Mathematik | ||||||
|
| ||||||||||
2006-02-02 | 13:00 | Prof. Reinhard Wilhelm | Timing Predictability for Systems | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
2006-02-02 | 17:00 | Christoph Becher | Physik-Nobelpreis 2005: Von Photonen, Frequenzkaemmen und optischen Uhren | C6.3 (alias Geb. 22) HS II | Talk | ||||||
|
| ||||||||||
2006-02-01 | 09:15 | Benjamin Doerr | The Rotor Router Model (Propp Machine) | 46.1 - MPII 022 | Lecture | ||||||
| |||||||||||
|
| ||||||||||
2006-01-31 | 13:00 | Chenhua Alice Chen | Context Processing and Management for Pervasive Computing (Masters Seminar) | 46.1 - MPII 0.24 | Talk | ||||||
|
| ||||||||||
2006-01-27 | 13:30 | Christian Sohler | A Simple Coreset Construction for Clustering | 46.1 - MPII 024 | Talk | ||||||
2006-01-27 | 14:00 | Prof. Dr. Ernst Albrecht | Tschebyscheff und seine Polynome | 27 - Hörsaal Gebäude Hörsaal 2 | Ringvorlesung zur Geschichte der Mathematik | ||||||
|
| ||||||||||
2006-01-26 | 13:00 | Prof. Markus Bläser | On the Complexity of Evaluating Graph Polynomials | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
|
| ||||||||||
2006-01-25 | 13:30 | Rene Beier | Improving results from two STOC papers | 46.1 - MPII Rotunda AG1 | Talk | ||||||
2006-01-25 | 16:00 | Prof. Javier Esparza | A nugget of probable truth | 46.1 - MPII R 024 | Talk | ||||||
|
| ||||||||||
2006-01-24 | 13:00 | Stefan Popov | Efficient ray tracing on GPUs (Masters Seminar) | 46.1 - MPII 0.24 | Talk | ||||||
|
| ||||||||||
2006-01-20 | 14:00 | Prof. Dr. Ernst-Ulrich Gekeler | Modulformen einst und jetzt | 27 - Hörsaal Gebäude Hörsaal 2 | Ringvorlesung zur Geschichte der Mathematik | ||||||
|
| ||||||||||
2006-01-19 | 13:00 | Kuangyu Shi | Pathline Topology of 2D Time Dependent Vector Fields | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
2006-01-19 | 13:00 | Kuangyu Shi | Pathline Topology of 2D Time Dependent Vector Fields | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
2006-01-19 | 13:30 | Rouven Naujoks | Computing Steiner Minimum Trees in Hamming Metric | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2006-01-17 | 13:00 | Laura Tolosi | Analysis of array CGH data for the estimation of genetic trumor progression | 46.1 - MPII 0.24 | Talk (Masters Seminar) | ||||||
2006-01-17 | 13:30 | Nils Hebbinghaus and Benjamin Doerr | DiscMathMeeting: Lower Bound Open Problems | 46.1 - MPII Rotunda 3rd floor | Meeting | ||||||
|
| ||||||||||
2006-01-16 | 13:30 | Bodo Manthey | Smoothed Analysis of Binary Search Trees | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2006-01-13 | 14:00 | Prof. Dr. Ernst Albrecht | Koeffizienten- und Interpolationsprobleme für analytische Funktionen im frühen 20. Jahrhundert | 27 - Hörsaal Gebäude Hörsaal 2 | Ringvorlesung zur Geschichte der Mathematik | ||||||
|
| ||||||||||
2006-01-12 | 11:15 | Benjamin Doerr | Dependent Randomized Rounding | 46.1 - MPII 021 | Lecture | ||||||
2006-01-12 | 13:00 | Edda Happ | Approximation in Network Design | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
|
| ||||||||||
2006-01-11 | 13:30 | Deepak Ajwani | A Computational Study of External-Memory BFS Algorithms | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2006-01-11 | 15:00 | Arun Mukhija | CASA : A framework for dynamically adaptive applications | 46.1 - MPII Rotunda 433 | Talk | ||||||
|
| ||||||||||
2006-01-10 | 13:30 | Tobias Friedrich and ??? | DiscreteMathsMeeting | 46.1 - MPII Rotunda 3rd floor | Meeting | ||||||
|
| ||||||||||
2006-01-06 | 14:00 | Kai Hormann | Barycentric Coordinates for Arbitrary Planar Polygons | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
| |||||||||||
|
| ||||||||||
2005-12-27 | 10:00 | Christian Theobalt | From Image-based Motion Analysis To Free-Viewpoint Video | E1.4 - MPII 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2005-12-22 | 10:00 | Prof. Dr. Tobias Scheffer | Graphische Modelle und halbüberwachtes Lernen für knifflige Information-Retrieval-Probleme | 46.1 - MPII 024 | Talk | ||||||
2005-12-22 | 17:00 | Irene Albrecht | Faces and Hands -- Modeling and Animating Anatomical and Photorealistic Models with Regard to the Communicative Competence of Virtual Humans | E1.4 - MPII 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2005-12-20 | 13:30 | Prashant Batra (Hamburg) | Root Separation Bounds, cancelled due to illness | 46.1 - MPII 024 | Lecture | ||||||
2005-12-20 | 16:00 | Dr. Jörg Rahnenführer | Genetic Tumor Progression Scores | 46.1 - MPII 046 | Habilitationsvortrag und Kolloquium | ||||||
|
| ||||||||||
2005-12-19 | 11:00 | Sergej Sizov | Automatic Generation of Thematically Focused Information Portals from Web Data | 46.1 - MPII 024 | Promotionskolloquium | ||||||
2005-12-19 | 15:00 | Prof. Dr. Andreas Henrich | Ein Kontext-basiertes IR-System für Software-Artefakte auf Basis von RDF Ähnlichkeitsanfragen | E 1.4 (46) 024 | Talk | ||||||
2005-12-19 | 16:00 | Prof. Dr. Armen Mulkidjanian | Layering of surface water: Implications for physical and biological systems | 46.1 - MPII 23 | ZBI-Vortrag | ||||||
|
| ||||||||||
2005-12-15 | 13:00 | Prof. Andreas Zeller | Dynamic Invariants via Model Mining | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
2005-12-15 | 15:00 | Dr. Matthias Schneider | Mechanically Activated Proteins in Acoustically Driven Microfluidic Systems | A5.1 (former building 13) 1.22 | ZBI-Kolloquium | ||||||
2005-12-15 | 16:00 | Martin Ginkel | Modeling cellular systems with ProMoT/Diva | 046 024 | Talk | ||||||
|
| ||||||||||
2005-12-14 | 13:30 | Marcin Mucha | Group-theoretic approach to matrix multiplication of H. Cohn et al. - from this year's FOCS | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2005-12-13 | 13:00 | Melih Demir | Token Based Risk-Classification of Software Components | 46.1 - MPII 0.24 | Talk | ||||||
|
| ||||||||||
2005-12-09 | 14:00 | Prof. Dr. Hans Schupp | Die Mathematik im Werk des Nikolaus von Kues | 27 - Hörsaal Gebäude Hörsaal 2 | Ringvorlesung zur Geschichte der Mathematik | ||||||
|
| ||||||||||
2005-12-08 | 13:00 | Thomas Wies | Symbolic Shape Analysis | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
2005-12-08 | 17:00 | Dr. Hans Georg Osthof | FDSI lädt ein zum Beitrag im Rahmen der Reihe: Saarbrücker Informatiker in der Praxis | E 1.3 Hörsaal 002 | Talk | ||||||
|
| ||||||||||
2005-12-07 | 13:30 | Michal Meyerovitch | Lower envelopes (3D) in CGAL | 46.1 - MPII 024 | Talk | ||||||
2005-12-07 | 16:00 | Stefan Siersdorfer | Restrictive Methods and Meta Methods for Automatic Document Organization | 46.1 - MPII 021 | Promotionskolloquium | ||||||
|
| ||||||||||
2005-12-06 | 13:00 | Konstantin Halachev | Methods for association analysis of genomic and epigenomic attributes | 46.1 - MPII 0.24 | Talk - IMPRS Masters Seminar | ||||||
|
| ||||||||||
2005-12-02 | 14:00 | Prof. Dr. Walter Purkert | Felix Hausdorff – Mathematiker, Philosoph und Literat | 27 - Hörsaal Gebäude Hörsaal 2 | Ringvorlesung zur Geschichte der Mathematik | ||||||
|
| ||||||||||
2005-12-01 | 09:30 | Silvio Tosatto | Towards the reliable identification of accurate protein structures | 46.1 - MPII 024 | Talk | ||||||
2005-12-01 | 13:00 | Andreas Hildebrand | Computer Aided Design of Drugs | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
| |||||||||||
|
| ||||||||||
2005-11-29 | 13:00 | Rayna Dimitrova | Completeness Results for Predicate Abstraction with Refinement | 46.1 - MPII 0.24 | Masters Seminar | ||||||
|
| ||||||||||
2005-11-25 | 14:00 | Prof. Dr. Thomas Sonar | Ich rechne, also bin ich: Carl Friedrich Gauß als Zahlenrechner und Numeriker | 27 - Hörsaal Gebäude Hörsaal 2 | Ringvorlesung zur Geschichte der Mathematik | ||||||
2005-11-25 | 15:30 | Andrew Appel | Practical Semantic Foundations for Typed Assembly Languages | 45 - FR 6.2 (jetzt E1 3) Hörsaal 002 | Informatik-Kolloquium | ||||||
|
| ||||||||||
2005-11-24 | 13:00 | Dimitrios Michail | Cycle Bases and Applications | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
2005-11-24 | 13:00 | Marcus Magnor | Visuelle Ästhetik vs. Visual Computing | 46.1 - MPII 024 | Antrittsvorlesung | ||||||
|
| ||||||||||
2005-11-23 | 09:00 | everybody of AG1 | AG1 Round of Introductions | t.b.a. t.b.a. | One-Day-Event | ||||||
|
| ||||||||||
2005-11-22 | 13:00 | Lyublena Antova | Incomplete Information in Databases | 46.1 - MPII 0.24 | Talk | ||||||
2005-11-22 | 15:00 | Dr. Benno Schwikowski | Analyzing heterogeneous large data sets in molecular biology: Approaches to data integration, and the Cytoscape platform | 46.1 - MPII 023 | Talk | ||||||
|
| ||||||||||
2005-11-18 | 14:00 | Prof. Knut Radbruch | Die literarische Analyse des Bildungswertes der Mathematik im Werk von Robert Musil | 27 - Hörsaal Gebäude Hörsaal 2 | Ringvorlesung zur Geschichte der Mathematik | ||||||
|
| ||||||||||
2005-11-17 | 13:00 | Adrian Alexa | Scoring Gene Ontology Terms: From a Gene List to Biological Function | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
2005-11-17 | 13:30 | Frank Neumann | Evolutionary Algorithms for Eulerian Cycles | 46.1 - MPII 3rd floor rotunda | Talk | ||||||
|
| ||||||||||
2005-11-16 | 13:30 | Frank Neumann | Randomized Search Heuristics and the Minimum Spanning Tree Problem | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2005-11-16 | 14:00 | Juergen Gall | Generalised Annealed Particle Filter | 46.1 - MPII 019 | Talk | ||||||
|
| ||||||||||
2005-11-15 | 09:30 | Hans-Peter Seidel | International Cooperation Saarbrücken – Stanford in Visual Computing and Communication Tuesday, November 15th, 2005 Max-Planck Institut für Informatik in Saarbrücken, Room 024 | 46.1 - MPII 024 | Meeting | ||||||
2005-11-15 | 13:00 | Kerstin Meyer-Ross | Masters Seminar: Talk on Presentation Skills | 46.1 - MPII 0.21 | Talk | ||||||
2005-11-15 | 13:30 | Seth Pettie | The News From FOCS | 46.1 - MPII 3rd floor rotunda | Talk | ||||||
2005-11-15 | 13:30 | Seth Pettie and Frank Neumann | Discrete Maths Meeting: News from Outer Space | 46.1 - MPII Rotunda 3rd floor | Meeting | ||||||
|
| ||||||||||
2005-11-14 | 11:00 | Ulrich Kremer | Programming Ad-hoc Networks of Mobile Devices | E1 5 024 | SWS Colloquium | ||||||
2005-11-14 | 13:30 | Łukasz Kowalik | Low outdegree orientations of graphs and their applications | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2005-11-11 | 16:00 | Prof. Dr. Nicole Schweikardt | The Complexity of Querying External Memory and Streaming Data | 45 - FR 6.2 Hörsaal 1 | Informatik-Kolloquium | ||||||
|
| ||||||||||
2005-11-10 | 13:00 | Prof. Tetsuo Asano | Voronoi Diagrams with Neutral Zones Based on Distance Trisector Curves | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
|
| ||||||||||
2005-11-09 | 10:00 | Jochen Leidner | From Text to Geographic Space: Toponym Resolution in Text | 46.1 - MPII 024 | Talk | ||||||
2005-11-09 | 14:00 | Andre Seifert | FlexSched*: A Parameterized Data Schedule Generator for Multi-Channel Broadcast Systems | 46.1 - MPII 021 | Talk | ||||||
|
| ||||||||||
2005-11-08 | 13:05 | Yassen Assenov | Domain - Domain Interaction Networks | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2005-11-07 | 16:00 | P Sreenivasa Kumar | Modified Prufer Sequences for Indexing and Querying of XML Data | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2005-11-04 | 14:00 | Prof. Dr. Ulrich Nortmann | Von Frege bis Gödel – die Frage nach den Grundlagen der Mathematik | 27 - Hörsaal Gebäude Hörsaal 2 | Ringvorlesung zur Geschichte der Mathematik | ||||||
|
| ||||||||||
2005-11-03 | 13:00 | Dr. Viorica Sofronie-Stokkermans | Local Reasoning is Easy: On Hierarchic and Modular Therorem Proving | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
2005-11-03 | 14:00 | Soeren Laue | A 3-approximation algorithm for the k-level uncapacitated facility location problem | 46.1 - MPII Rotunda 3rd floor | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2005-11-02 | 13:30 | Bodo Manthey | (Non-)Approximability of Restricted Cycle Covers | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2005-11-02 | 14:00 | Andreas Limacher Department Of Chemistry And Applied Biosciences | Structural Characterisation of Cross-Reactive Allergens | 46.1 - MPII 023 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2005-10-27 | 13:00 | Ralitsa Angelova | Graph-based Classification – Learn from your Neighbor | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
|
| ||||||||||
2005-10-25 | 13:00 | Kiriakos N. Kutulakos | 3D Photography of Specular Scenes by Light-Path Triangulation | 46.1 - MPII 019 | Talk | ||||||
2005-10-25 | 13:30 | Benjamin Doerr et al. | DiscMathMeeting | 46.1 - MPII Rotunda 3rd floor | Meeting | ||||||
|
| ||||||||||
2005-10-20 | 13:00 | Dipl.-Inf. Sven Woop | A Programmable Ray Processing Unit for Realtime Ray Tracing | 45 - FR 6.2 (E1 3) 016 | Ringvorlesung | ||||||
|
| ||||||||||
2005-10-19 | 13:30 | Seth Pettie | Towards a Final Analysis of Pairing Heaps | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2005-10-18 | 13:30 | Benjamin Doerr et al. | DiscMathMeeting | 46.1 - MPII Rotunda 3rd floor | Meeting | ||||||
|
| ||||||||||
2005-10-17 | 13:00 | AG1 | AG1 Group Meeting (Attendance is a must for AG1 members) | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2005-10-11 | 11:00 | Vivien Quema | DREAM: a Component Framework for the Construction of Resource-Aware, Dynamically Configurable Communication Middleware* | 46.1 - MPII Rotunda 6th floor | Talk | ||||||
2005-10-11 | 13:00 | Olga Gerber | Approximation Algorithms for 2D Packing Problems | 46.1 - MPII 024 | Talk | ||||||
2005-10-11 | 15:30 | Vikram Sharma | Amortized Bounds for Real Root Isolation | 46.1 - MPII 021 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2005-10-04 | 13:15 | Surender Baswana | Algorithms for approximate shortest paths in weighted graphs : Improvement from Sub-cubic to Quadratic time | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2005-09-30 | 09:00 | Anna Moleda | Probabilistic Scheduling for Top-k Query Processing | 46.1 - MPII 0.24 | Ph.D. application talk | ||||||
2005-09-30 | 09:30 | Marvin Schiller | Qualitative Aspects of Mathematical Proofs - the Case of Granularity | 46.1 - MPII 0.24 | Ph.D. application talk | ||||||
2005-09-30 | 10:00 | Andrzej Wasylkowski | Static type checker for Python | 46.1 - MPII 0.24 | Ph.D. application talk | ||||||
2005-09-30 | 11:00 | Natalia Slesareva | Optic Flow Goes Stereo: A Variational Approach for Estimating Discontinuity-Preserving Dense Disparity Maps | 46.1 - MPII 0.24 | Ph.D. application talk | ||||||
2005-09-30 | 11:30 | Markus Dürmuth | A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System | 46.1 - MPII 0.24 | Ph.D. application talk | ||||||
2005-09-30 | 12:00 | Stefan Schueffler | Ray Tracing for Computergames | 46.1 - MPII 0.24 | Ph.D. application talk | ||||||
2005-09-30 | 12:30 | Scott Cotton | Satisfiability Checking with Difference Constraints | 46.1 - MPII 0.24 | Ph.D. application talk | ||||||
2005-09-30 | 13:30 | Tobias Friedrich | Rounding of Sequences and Matrices, with Applications | 46.1 - MPII 023 | AG1 Mittagsseminar (own work) | ||||||
2005-09-30 | 14:00 | Christian Hoffmann | Theoretische und experimentelle Untersuchungen zu einem hocheffizienten randomisierten Primzahltest | 46.1 - MPII 0.24 | Ph.D. application talk | ||||||
|
| ||||||||||
2005-09-28 | 13:30 | Annamaria Kovacs | Fast monotone 3-approximation algorithm for scheduling related machines | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2005-09-27 | 13:30 | Nico Kruithof | Interpolating Balls | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2005-09-26 | 13:00 | Sung Yong Shin | Computer Graphics Research at KAIST | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2005-09-21 | 13:30 | Zvi Lotker | Titel Timing Games | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2005-09-20 | 13:00 | Min Chen | Video Visualization | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2005-09-19 | 15:15 | Andrei Voronkov | Using a Theorem Prover for Reasoning with Large Ontologies | 46.1 - MPII 021 | Logik-Seminar | ||||||
|
| ||||||||||
2005-09-16 | 10:15 | Yaniv Eytani | On producing scheduling that makes concurrent programs fail | 46.1 - MPII 024 | Talk | ||||||
2005-09-16 | 15:00 | Scott Daly | Exploring the Visual System's Orientation Mechanisms in the Perception of Spatial Aliasing and De-Contouring Applications | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2005-09-15 | 14:00 | Stephan Raub | Chemically Diverse Subgraphs And Matchscores for FlexX | 46.1 - MPII 024 | AG3 Talk | ||||||
|
| ||||||||||
2005-09-14 | 14:30 | Gilles Muller | Coccinelle: A Language-Based Approach to Managing the Collateral Evolution of Linux Device Drivers | 46.1 - MPII Harald Ganzinger Hoersaal | Talk | ||||||
2005-09-14 | 14:30 | Gilles Muller | Coccinelle: A Language-Based Approach to Managing the Collateral Evolution of Linux Device Drivers | E1 5 24 | SWS Colloquium | ||||||
2005-09-14 | 15:00 | Martina Daum | Recognition of special pattern in the upstream DNA of Streptomyces | 46.1 - MPII 533 | Talk | ||||||
|
| ||||||||||
2005-09-08 | 11:00 | Vivien Quema | DREAM: a Component Framework for the Construction of Resource-Aware, Dynamically Configurable Communication Middleware | 46.1 - MPII 024 | SWS Colloquium | ||||||
2005-09-08 | 14:00 | Nico Pfeifer | Machine Learning for Prediction of Protein-Protein Interactions | 46.1 - MPII 533 | Talk | ||||||
2005-09-08 | 15:30 | Andre Altmann | Lattice Rescoring and Log-Linear System Combination | 46.1 - MPII 533 | Talk | ||||||
|
| ||||||||||
2005-09-07 | 14:00 | String and Tree Pattern Generalization for n-Ary Information Extraction from the Web. | Benjamin Habegger | 46.1 - MPII 024 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2005-08-26 | 10:00 | German Shegalov | Integrated Data, Message, and Process Recovery for Failure Masking in Web Services | 46.1 - MPII 024 | Promotionskolloquium | ||||||
2005-08-26 | 13:30 | Susanne Schmitt | The diamond operator -- Implementation of exact real algebraic numbers | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2005-08-26 | 15:15 | David Lomet | Dependability, Abstraction, and Programming | 46.1 - MPII 024 | Kolloquium | ||||||
|
| ||||||||||
2005-08-25 | 13:30 | Martin Kutz and Benjamin Doerr and ? | DiscMathMeeting | 46.1 - MPII Rotunda 3rd floor | Meeting | ||||||
|
| ||||||||||
2005-08-24 | 15:00 | Timothy Roscoe | Implementing Declarative Overlays | 46.1 - MPII 024 | Informatik-Kolloquium | ||||||
2005-08-24 | 15:00 | Timothy Roscoe | Implementing Declarative Overlays | E1 4 24 | SWS Colloquium | ||||||
|
| ||||||||||
2005-08-16 | 13:00 | Yoron Lipman | Linear Rotation-invariant Coordinates for Meshes | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2005-08-12 | 13:30 | Guy Even | The Recursive Greedy Method, 2 hour talk | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2005-08-03 | 13:30 | Zhen Zhou (Joseph) | On Queuing Lengths in On-Line Switching | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2005-08-01 | 13:30 | Yan Zhang | Quadrangle Inequality Dynamic Programming Speedup is a Consequence of Totally Monotonicity | 46.1 - MPII 024 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2005-07-27 | 13:30 | Kavitha Telikepalli | Undirected ST-Connectivity in Logspace | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2005-07-26 | 13:00 | Jörg Haber | Geocaching for Dummies | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2005-07-26 | 13:30 | Not specified | Discrete Maths Meeting | 46.1 - MPII Rotunda 3rd floor | Meeting | ||||||
|
| ||||||||||
2005-07-22 | 13:00 | Christian Fuchs | An Empirical Model for Heterogeneous Translucent Objects | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2005-07-22 | 13:30 | Rudolf Fleischer | Exploring an unknown graph efficiently | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2005-07-21 | 13:00 | Johannes Günther | Precomputed Light Sets for Fast High Quality Global Illumination | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2005-07-21 | 13:30 | Kaleigh Smith | Animosaics - creating animated mosaics | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2005-07-20 | 10:00 | Christian Rössl | New Techniques for the Modelling, Processing and Visualization of Surfaces and Volumes | 46.1 - MPII 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2005-07-19 | 16:00 | Natascha Sauber | Display of major white matter tracts based on diffusion tensor imaging | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2005-07-18 | 10:00 | Niko Beerenwinkel | Algebraic Statistics for Biological Sequence Analysis | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2005-07-14 | 13:00 | Prof. Dr.-Ing. Gerhard Weikum | Towards a Statistically Semantic Web | 45 016 | Ringvorlesung | ||||||
|
| ||||||||||
2005-07-08 | 10:00 | Petr Kouznetsov | Latest news about lock-free object implementations | 46.1 - MPII 024 | SWS Colloquium | ||||||
2005-07-08 | 10:00 | Ulrich Baumann | The Birth and Death of Proteins: Structural Aspects of Translation Initiation and Protein Degradation" | 46.1 - MPII 021 | Talk | ||||||
2005-07-08 | 13:30 | Andreas Meyer | Generic Implementation and Benchmarks of a Linear-Time Planar-Map Overlay Algorithm | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2005-07-08 | 14:00 | Valentin Deleplace | Protein Alignment | 46.1 - MPII AG1 Rotunde (333) | Probevortrag | ||||||
2005-07-08 | 16:00 | Peter Triantafillou | Counting at Large (Efficient Scalable Counting in Internet-Scale Data Networks) | 45 - FR 6.2 HS 001 | Informatik-Kolloquium | ||||||
|
| ||||||||||
2005-07-07 | 11:00 | Milan Vojnovic | On Systems of File Swarming and Mobile Users | 46.1 - MPII 024 | Talk | ||||||
2005-07-07 | 14:00 | Valentin Deleplace | Protein Alignment | 46.1 - MPII AG1 Rotunde (333) | Probevortrag | ||||||
|
| ||||||||||
2005-07-06 | 13:45 | Seth Pettie | The new from STOC | 46.1 - MPII 3rd floor rotunda | Talk | ||||||
|
| ||||||||||
2005-07-04 | 09:00 | Fabian Suchanek | Ontological Reasoning for Natural Language Understanding | 46.1 - MPII 024 | PhD Application Talk | ||||||
2005-07-04 | 09:40 | Sebastian Obermaier | An Integrated Commit Protocol for Mobile Network Databases | 46.1 - MPII 024 | PhD Application Talk | ||||||
2005-07-04 | 10:20 | Odysseas Papapetrou | On the Usage of Global Document Occurrences in Peer-to-Peer Search Engines for Avoiding Overlapping Results | 46.1 - MPII 024 | PhD Application Talk | ||||||
2005-07-04 | 11:15 | Eyad Alkassar | Communicating Applications - Road to Verification | 46.1 - MPII 024 | PhD Application Talk | ||||||
2005-07-04 | 11:55 | Steffen Knapp | From eCall 2 Reality | 46.1 - MPII 024 | PhD Application Talk | ||||||
2005-07-04 | 12:35 | Hans-Jörg Peter | Controller Program Synthesis | 46.1 - MPII 024 | PhD Application Talk | ||||||
2005-07-04 | 13:30 | Annamaria Kovacs | Polynomial Time Preemptive Sum-Multicoloring on Paths | 46.1 - MPII 023 | AG1 Mittagsseminar (own work) | ||||||
2005-07-04 | 14:00 | Jan Reineke | Shape Analysis of Sets | 46.1 - MPII 024 | PhD Application Talk | ||||||
2005-07-04 | 14:40 | Natalia Slessareva | Optic Flow Goes Stereo: A Variational Approach for Estimating Discontinuity-Preserving Dense Disparity Maps | 46.1 - MPII 024 | PhD Application Talk | ||||||
|
| ||||||||||
2005-07-01 | 13:30 | Dominik Schultes | Highway hierachies hasten exact shortest path queries | 46.1 - MPII 023 | Talk | ||||||
2005-07-01 | 14:15 | Kanela Kaligosi | Towards optimal multiple selection | 46.1 - MPII 023 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2005-06-30 | 13:00 | Prof. Dr. Kurt Mehlhorn | Root Isolation of Polynomials with Black-Box Coefficients | 45 016 | Ringvorlesung | ||||||
2005-06-30 | 16:00 | Lawrence C. Paulson | Integrating Isabelle with Automatic Theorem | 45 HS 001 | Informatikkolloquium | ||||||
|
| ||||||||||
2005-06-29 | 10:00 | Gerhard Weikum | SIGMOD and WebDB impressions | 46.1 - MPII Rotunda | AG5 Group Meeting | ||||||
2005-06-29 | 13:30 | Seth Pettie | News from STOC 2005 | 46.1 - MPII Rotunda, 3rd floor | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2005-06-28 | 11:00 | Martin Isenburg | - to be announced - | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2005-06-28 | 16:00 | Manuel Bodirsky | A model-theoretic approach to the complexity of constraint satisfaction problems | 45 - FR 6.2 016 | Logik-Seminar | ||||||
2005-06-28 | 16:00 | Wolfgang Müller | Minerva vs. Rumorama | 46.1 - MPII Rotunda 4th floor | Talk | ||||||
|
| ||||||||||
2005-06-24 | 13:30 | Benjamin | Lecture: Linear Discrepancy and Rounding Problems | CS Building 45 Lecture Hall 002 | Lecture | ||||||
|
| ||||||||||
2005-06-23 | 13:00 | Prof. Dr. Gert Smolka | Higer-order Equational Logic | 45 016 | Ringvorlesung | ||||||
|
| ||||||||||
2005-06-22 | 13:30 | Aleksei V.Fishkin | Preemptive Scheduling Subject to Migration Delay | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2005-06-21 | 13:30 | Some attendees including Wei Ding and Holger Bast | Discrete Maths Group Meeting | 46.1 - MPII Rotunda 3rd floor | Meeting | ||||||
|
| ||||||||||
2005-06-20 | 11:00 | Christian Lennerz | Distance Computation for Extended Quadratic Complexes | 46.1 - MPII 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2005-06-17 | 13:30 | Gerald Luettgen | Structured Symbolic Model Checking of Asynchronous Systems | 46.1 - MPII Harald Ganzinger Hoersaal | Talk | ||||||
|
| ||||||||||
2005-06-16 | 13:00 | Fidel Ramirez | Role of Mutation and Recombination in Biological Evolution | 45 016 | Ringvorlesung | ||||||
2005-06-16 | 13:30 | Alantha Newman | Aggregating Inconsistent Information: Ranking and Clustering | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2005-06-16 | 14:15 | Gerald Luettgen | Towards a Model-Theory for Esterel and Statechart | 45 - FR 6.2 HS 1 | Talk | ||||||
2005-06-16 | 16:15 | Alessio Guglielmi | Classical Logic in Deep Inference and Some Ideas on Proof Search | 45 001 | Logik-Seminar | ||||||
|
| ||||||||||
2005-06-15 | 13:30 | Khaled Elbassioni | The Hadwiger debrunner (p,q) theorem | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2005-06-14 | 12:59 | Kerstin Meyer-Ross | Scientific Posters | 46.1 - MPII 024 | Masters' Lunch | ||||||
2005-06-14 | 13:00 | Martin Fuchs | Bayesian Relighting | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2005-06-13 | 10:00 | Ulrich Graef | SUNDAY: Solaris 10 | 46.1 - MPII 024 | One-Day-Event | ||||||
2005-06-13 | 13:15 | Mihai Patrascu | The Saga of Dynamic Lower Bounds around the Logarithmic Barrier | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2005-06-13 | 16:00 | Mark Hillebrand | Address Spaces and Virtual Memory – Specification, Implementation, and Correctness | 45 HS 001 | Promotionskolloquium | ||||||
|
| ||||||||||
2005-06-10 | 13:00 | Andreas Karrenbauer | Packing a trunk - now with a Twist! | 46.1 - MPII 024 | Talk | ||||||
2005-06-10 | 13:30 | David Kirkpatrick | Curvature-bounded traversals of narrow corridor | 45 HS 001 | Talk | ||||||
|
| ||||||||||
2005-06-09 | 13:00 | Imran Rauf | Earliest-Arrival Flows with Multiple Sources | 45 016 | Ringvorlesung | ||||||
|
| ||||||||||
2005-06-08 | 13:30 | N.S. Narayanaswamy (Nari) | First Fit for Coloring of Interval Graphs | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2005-06-06 | 14:00 | Prof. Dr. Ekkart Kindler | The Aspects of Business Processes: An Open and Formalism Independent Architecture | 11 AV-Studio of the "Medienzentrum" | Talk | ||||||
|
| ||||||||||
2005-06-02 | 13:00 | Gerd Marmitt | Fast Ray Traversal of Unstructured Volume Data | 45 016 | Ringvorlesung | ||||||
|
| ||||||||||
2005-06-01 | 09:00 | Andrey Rybalchenko | Temporal Verification with Transition Invariants | 46.1 - MPII 024 | Promotionskolloquium | ||||||
2005-06-01 | 17:00 | Marco Lohse | Network-Integrated Multimedia Middleware, Services, and Applications | 45 HS 003 | Promotionskolloquium | ||||||
| |||||||||||
|
| ||||||||||
2005-05-30 | 13:30 | Nicola Wolpert | On the Exact Computation of the Topology of Real Algebraic Curves (Exploiting a little more Geometry and a little less Algebra) | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2005-05-30 | 17:00 | Krishna Gummadi | Measurement-driven Modeling and Design of Internet-scale Systems | 46.1 - MPII 024 | SWS Colloquium | ||||||
|
| ||||||||||
2005-05-27 | 13:30 | Eric Berberich | An Exact, Complete and Efficient Implementation for Computing Planar Maps of Quadric Intersection Curves | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2005-05-27 | 14:30 | Some Attendees | Discrete Maths Meeting | 46.1 - MPII Rotunda, 3rd floor | Forschungsseminar | ||||||
|
| ||||||||||
2005-05-25 | 13:30 | Domagoj Matijevic | Energy-Aware Stage Illumination | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2005-05-24 | 13:00 | Wenping Wang | Efficent Optimization for B-spline Curve Approximation | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2005-05-23 | 13:30 | Kent Andersen (Joint work with Laurence Wolsey) | Cuts from two rows of a simplex tableau | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2005-05-20 | 13:30 | Alexey Fishkin | Derivatives: Option Pricing Problem | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2005-05-19 | 13:00 | Stefan Siersdorfer | Meta-Methods for Automatic Document Organization | 45 016 | Ringvorlesung | ||||||
|
| ||||||||||
2005-05-18 | 10:00 | Nikos Ntarmos | to be announced | 46.1 - MPII Rotunda 4th floor | Lecture | ||||||
2005-05-18 | 13:30 | All who are interested | Discrete Maths Subgroup Meeting | 46.1 - MPII Rotunda 3rd floor | Forschungsseminar | ||||||
|
| ||||||||||
2005-05-17 | 12:59 | Odysseas Papapetrou | Location-aware web crawling with the use of Migrating Crawlers, part II | 46.1 - MPII 024 | Masters' Lunch | ||||||
|
| ||||||||||
2005-05-12 | 10:00 | Niklas von Oehsen | Probabilistic Models for Protein Domain Structure Prediction | 46.1 - MPII 024 | Talk | ||||||
2005-05-12 | 13:00 | Prof. Dr. Christoph Koch | Conjunctive Queries | 45 016 | Ringvorlesung | ||||||
2005-05-12 | 14:00 | Wolf-Tilo Balke | Towards Efficient Skyline Queries under Weak Pareto Dominance | 46.1 - MPII Rotunda 4th floor | Lecture | ||||||
|
| ||||||||||
2005-05-11 | 13:30 | Benjamin Doerr | Discrepancy Theory | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2005-05-10 | 12:59 | Odysseas Papapetrou | Location-aware web crawling with the use of Migrating Crawlers, part I | 46.1 - MPII 024 | Masters' Lunch | ||||||
2005-05-10 | 13:00 | Dr. Bodo Rosenhahn | On 2D-3D Pose Estimation: From Rigid Objects to Human Motion | 46.1 - MPII 019 | Talk | ||||||
|
| ||||||||||
2005-05-09 | 11:15 | Marc Bezem | Automating Geometric Logic | 46.1 - MPII AG2 meeting room ("Rotunda") | AG2 Working Group Seminar | ||||||
2005-05-09 | 17:00 | Dr. Leslie Lamport | Cancelled: Thinking for Programmers | MPI 024 | Informatik-Kolloquium | ||||||
|
| ||||||||||
2005-05-04 | 13:30 | Nabil H. Mustafa | Weak eps-nets | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2005-05-02 | 13:00 | AG 1 | AG 1 Group Meeting | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
| |||||||||||
|
| ||||||||||
2005-04-28 | 13:00 | Sven Schewe | Reactive Synthesis | 45 016 | Ringvorlesung | ||||||
|
| ||||||||||
2005-04-27 | 13:30 | Peter Korteweg | Diameter of the Transportation Polytope | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2005-04-27 | 17:00 | Dr. Csaba Pal | Adaptive evolution of metabolic networks | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2005-04-26 | 13:00 | Marc Spoor | Multilevel Methods and Their Applications | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2005-04-22 | 13:30 | Guido Schäfer | From Primal-Dual to Cost Shares and Back: A Stronger LP Relaxation for the Steiner Forest Problem | 46.1 - MPII 023 | AG1 Mittagsseminar (own work) | ||||||
2005-04-22 | 14:15 | Markus Behle | BDDs in a Branch and Cut Framework | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2005-04-21 | 13:00 | Prof. Dr. Hans-Peter Seidel | 3D Image Analysis and Synthesis | 45 013 | Ringvorlesung | ||||||
|
| ||||||||||
2005-04-19 | 13:05 | Anna Moleda | Probabilistic Scheduling for Top-k Index Processing | 46.1 - MPII 024 | Master-Seminar | ||||||
|
| ||||||||||
2005-04-18 | 13:30 | Dimitris Michail | Implementing minimum cycle basis algorithms | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) |