Date | Time | | Speaker | | Event, Title, Topic | Building, Room | Event Type |
07/04/2013 | 10:30 | | Przemyslaw Grabowicz | | Complex networks approach to modeling online social systems | E1 5, 029 | SWS Colloquium |
07/03/2013 | 12:15 | | Jürgen Steimle | | Embodied Display Interfaces | E1 3 - Hörsaal Gebäude, 00^1 | Joint MPI-INF/MPI-SWS Lecture Series |
07/02/2013 | 13:00 | | Lisa Wagner | | Locally Stable Marriage with Strict Preferences | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/28/2013 | 11:30 | | Alexey Reznichenko | | Privad: Practical Non-tracking Advertising System | G26 [KL], 112 | SWS Student Defense Talks - Thesis Proposal |
06/27/2013 | 13:00 | | Khaled Elbassioni | | A Dichotomy for the Approximability of the Complex-Demand Knapsack Problem | E1 4, 024 | Lecture |
06/25/2013 | 13:00 | s.t. | Jonathan Huang | | Algebraic methods for probabilistic reasoning with permutations | E1 4, R019 | Talk |
06/25/2013 | 13:00 | s.t. | Soeren Laue | | Convex Optimization for Machine Learning Made Fast and Easy | E1 4, 024 | AG1 Mittagsseminar (others' work) |
06/24/2013 | 14:00 | | Frank McSherry | | Naiad: a system for iterative, incremental, and interactive distributed dataflow | G26 [KL], 113 | SWS Distinguished Lecture Series |
06/20/2013 | 15:00 | | Tomasz Kociumaka | | Efficient Indexes for Jumbled Pattern Matching with Constant-Sized Alphabet | E1 4, rotunda at 3rd floor | AG1 Mittagsseminar (own work) |
06/20/2013 | 13:30 | | John Augustine | | Storage and Search in Dynamic Peer-to-Peer Networks | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/20/2013 | 13:00 | | Wiebke Höhn | | On the performance of Smith's rule in single-machine scheduling with nonlinear cost | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/19/2013 | 17:00 | | Prof. Dr. Johannes Söding | | New methods for protein sequence searching, structure and function prediction | E2 1, 001 | colloquium series of the CBI |
06/18/2013 | 13:00 | | Michael Lampis | | Model Checking Lower Bounds for Simple Graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/13/2013 | 13:30 | | Amit Kumar | | The Power of Deferral : Maintaining a constant-competitive Steiner Tree Online (Talk starts right after Marvin's talk) | E1 4, 024 | Lecture |
06/13/2013 | 13:00 | | Marvin Künnemann | | Royal Road Functions and the (1 + λ) Evolutionary Algorithm | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/11/2013 | 13:00 | | Martin Hoefer | | Truthfulness and Stochastic Dominance | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/11/2013 | 13:00 | | Rafal Mantiuk | | Beyond high dynamic range | E1 4, 019 | Talk |
06/07/2013 | 14:00 | | Franziska Ebel | | Faster Genetic Algorithms (Master Talk) | E1 4, D1 Rotunde | Talk |
06/07/2013 | 13:00 | | Benjamin Doerr | | Some Open Problems on Mastermind | E1 4, 024 | Talk |
06/06/2013 | 13:00 | | Danupon Nanongkai | | Even-Shiloach Tree: Variants and Applications to Dynamic Shortest Paths | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/05/2013 | 12:15 | | Klaus Hildebrandt | | Discrete Differential Operators and Geometry Processing | E1 5, 002 | Joint MPI-INF/MPI-SWS Lecture Series |
06/04/2013 | 13:00 | | Kavitha Telikepalli | | Pairwise spanners | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/04/2013 | 13:00 | | Dominik L. Michels | | Exponential Integrators for Stiff Elastodynamic Problems | E1 4, 019 | Talk |
06/03/2013 | 10:30 | | Nedeljko Vasic | | Dealing with Resource Allocations and Performance Interference in Virtualized Environments | E1 5, 029 | SWS Colloquium |
05/31/2013 | 13:00 | | Alex Tiskin | | Semi-local LCS: superglue for string comparison | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/28/2013 | 13:00 | | Ragesh Jaiswal | | Sampling based algorithms for k-means clustering | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/27/2013 | 11:00 | | ArunavMishra | | Design and Evaluation of an IR-Benchmark for SPARQL Fulltext Queries | E1 4, 24 | PhD Application Talk |
05/27/2013 | 11:00 | | RudrasisChakraborty | | Feature Selection with Controlled Redundancy | E1 4, 24 | PhD Application Talk |
05/27/2013 | 11:00 | | XucongZhang | | Object Detection | E1 4, 24 | PhD Application Talk |
05/27/2013 | 08:50 | | Daniel Vaz | | Subset Selection Algorithms in Multiobjective Optimisation” | E1 4, 24 | PhD Application Talk |
05/27/2013 | 08:50 | | Felix Klein | | Encoding strategies for bounded synthesis | E1 4, 24 | PhD Application Talk |
05/27/2013 | 08:50 | | SayanBandyapadhyay | | VoronoiGame on Graphs | E1 4, 24 | PhD Application Talk |
05/27/2013 | 08:50 | | Selin Karagülle | | Critical Assessment of the Methods and the Features Used for Hot Spot Residue Prediction at Protein-Protein Interfaces | E1 4, 24 | PhD Application Talk |
05/24/2013 | 13:00 | | Tetsuo Ueda | | The Physarum plasmodium as a model system for bioinformatics: Behavioral intelligence | E1 4, 024 | AG1 Mittagsseminar (basic education) |
05/23/2013 | 16:00 | c.t. | Dr. Klaus Estenfeld | | Innovative ICT-Lösungen bei TÜV SÜD AG | E1 3 - Hörsaal Gebäude, 001 | Talk |
05/23/2013 | 13:00 | | Karl Bringmann | | Succinct Sampling from Discrete Distributions | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/22/2013 | 17:00 | | Prof. Dr. Luis Serrano Pubull | | A quantitative systems biology on a model bacterium | E2 1, 001 | CBI-Colloquium-Series |
05/21/2013 | 13:00 | | Anna Adamaszek | | Approximation Schemes for Maximum Weight Independent Set of Rectangles | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/16/2013 | 13:00 | | Andreas Wiese | | A 2 + ε Approximation Algorithm for Unsplittable Flow on a Path | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/16/2013 | 10:30 | | Thomas Wies | | Logical Abstractions of Systems | E1 5, 029 | SWS Colloquium |
05/15/2013 | 15:00 | | Georg Neis | | Compositional Inter-Language Reasoning | E1 5, 005 | SWS Student Defense Talks - Thesis Proposal |
05/13/2013 | 14:00 | c.t. | Martin Hofmann | | Proof-relevant logical relations | E1 5, 029 | SWS Colloquium |
05/13/2013 | 13:00 | | D1 | | D1 Group Meeting | E1 4, 024 | Lecture |
05/13/2013 | 11:00 | s.t. | Carmel Majidi | | Soft-Matter “Electronic Skin” for Monitoring Hand Motion and Tactile Sensing | E1 4, 019 | Talk |
05/10/2013 | 14:30 | | Meeyoung Cha | | Gender Swapping and User Behaviors in Online Social Games | E1 5, 005 | SWS Colloquium |
05/08/2013 | 12:15 | | Martin Hoefer | | Algorithms for Spectrum Allocation in Wireless Networks | E1 5, 002 | Joint MPI-INF/MPI-SWS Lecture Series |
05/07/2013 | 13:00 | | Ali Pourmiri | | Faster Rumor Spreading with Multiple Calls | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/06/2013 | 11:15 | | Yuri Gurevich | | Impugning Alleged Randomness (hosted by UdS-CS) | E1 5, 029 | Talk |
05/03/2013 | 11:00 | s.t. | Amit Zoran | | FREE-D: Human-Computer Collaboration in 3D Craft | E1 4, 019 | Talk |
04/30/2013 | 13:00 | | Roberto Henschel | | A connection of the chromatic polynomial to geometry | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/30/2013 | 11:00 | | Carlos Garcia | | Parameter Adaptation and Criticality in Particle Swarm Optimization | E1 4, 019 | Lecture |
04/25/2013 | 14:00 | s.t. | Sylvain Malacria | | Improving user's intermodal expertise with user interfaces | E1 4, 019 | Talk |
04/25/2013 | 13:00 | | He Sun | | Randomness-Efficient Rumor Spreading | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/23/2013 | 13:00 | | Shion Chaudhury | | The Sensitivity conjecture and related complexity measures of Boolean functions | E1 4, 024 | Talk |
04/23/2013 | 10:30 | | Florin Dinu | | Understanding and Improving the Efficiency of Failure Resilience for Big Data Frameworks | E1 5, 029 | SWS Colloquium |
04/22/2013 | 14:00 | | Jyotirmoy Deshmukh | | Mining Requirements from an Industrial-scale Control System | G26 [KL], 206 | SWS Colloquium |
04/19/2013 | 15:00 | | Uday Khedkar | | Liveness-Based Pointer Analysis | G26 [KL], 206 | SWS Colloquium |
04/19/2013 | 14:00 | | Some AG1 members | | Meeting: What do we have at GECCO'13? | E1 4, 3rd floor rotunda | Forschungsseminar |
04/19/2013 | 13:00 | | Benjamin Doerr | | A Simple Solution for the Min-Max Selecting Items Problem | E1 4, 024 | Talk |
04/18/2013 | 16:00 | | Prof. Joost-Pieter Katoen | | Zero-Defect Software in Space: A True Mission | E1 3 - Hörsaal Gebäude, 002 | Talk |
04/18/2013 | 11:00 | | Rayna Dimitrova | | Synthesis and Control of Infinite-State Systems with Partial ObservabilitySpeaker | G26 [KL], 206 | SWS Colloquium |
04/17/2013 | 17:00 | | Prof. Dr. Hermann-Georg Holzhütter | | Mathematical Modeling of the Cellular Metabolism | E2 1, 001 | Colloquium Series of the CBI |
04/17/2013 | 15:00 | s.t. | Ulrich Loup | | A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition | E1 4, 019 | Talk |
04/16/2013 | 13:00 | | Adam Kurpisz | | Approximating the minmax selecting items problem | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/16/2013 | 10:00 | | Sophie Stellmach | | Gaze-supported Multimodal Interaction | E1 4, 019 | Talk |
04/08/2013 | 10:30 | | Aslan Askarov | | Securing information release: systems, models, and programming languages | G26 [KL], 206 | SWS Colloquium |
04/04/2013 | 11:00 | | Daniel Kroening | | Verifying shared-variable concurrent programs | G26 [KL], 206 | SWS Colloquium |
03/27/2013 | 13:00 | | Matthias Mnich | | Fixed-Parameter Algorithms for Scheduling Problems | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/26/2013 | 13:00 | | AG1 | | AG1 Group Meeting | E1 4, 024 | AG1 Group Meeting |
03/21/2013 | 10:30 | | David Choffnes | | Diagnosing and Repairing Internet Performance Problems | G26 [KL], 206 | SWS Colloquium |
03/18/2013 | 14:00 | c.t. | Nan-Wei Gong | | Design and Applications for Inkjet-Printed Flexible Sensate Surfaces | E1 7 - MMCI, 0.01 | Talk |
03/12/2013 | 13:00 | | Rüdiger Reischuk | | Smoothed Analysis of Online Caching | E1 4, 024 | Lecture |
03/12/2013 | 10:30 | | Dongyoon Lee | | Holistic System Design for Deterministic Replay | G26 [KL], 206 | SWS Colloquium |
03/11/2013 | 15:00 | | Johannes Kloos | | Incremental, Inductive Coverability | G26 [KL], 318 | SWS Student Defense Talks - Qualifying Exam |
03/11/2013 | 13:30 | s.t. | Elliot Anshelevish | | Assignment Games with Conflicts: Price of Total Anarchy and Convergence Results via Semi-Smoothness | E1 4, 024 | Talk |
03/07/2013 | 10:30 | | Alexei Czeskis | | Practical, Usable, and Secure Authentication and Authorization on the Web | G26 [KL], 206 | SWS Colloquium |
03/06/2013 | 12:15 | | Björn Brandenburg | | Real-Time Locking in Theory and Practice | E1 5, 002 | Joint MPI-INF/MPI-SWS Lecture Series |
03/05/2013 | 13:00 | | Andreas Karrenbauer | | Bearings and Graph Theory | E1 4, 024 | Talk |
03/04/2013 | 11:00 | | Karsten Schwenk | | Filtering techniques for interactive previews of global illumination | E1 4, 019 | Talk |
03/04/2013 | 10:30 | | Kasper Bonne Rasmussen | | Selected Topics on Wireless Security and Localization | G26 [KL], 206 | SWS Colloquium |
03/01/2013 | 13:30 | | Suresh Venkatasubramanian | | Approximate Near Neighbor Search for Bregman Divergences | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/01/2013 | 13:00 | | Oliver Dejon | | (Master Seminar Talk) Swarm Intelligence For The Biclique Cover Problem | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/26/2013 | 14:00 | | Alec Jacobson | | Achieving high-quality shape deformation in real time | E1 4, 019 | Talk |
02/26/2013 | 13:00 | s.t. | Adrian Neumann | | Online Checkpointing with Improved Worst-Case Guarantees | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/25/2013 | 15:15 | | Yafang WANG | | Methods and Tools for Temporal Knowledge Harvesting | E1 4, 024 | Promotionskolloquium |
02/25/2013 | 11:00 | s.t. | Adam Grycner | | Finding incompatible entities in medical definitions | E1 4, R024 | PhD Application Talk |
02/25/2013 | 11:00 | s.t. | Kai Hui | | Relevance Weighting in Information Retrieval using Within-document Term Statistics | E1 4, R024 | PhD Application Talk |
02/25/2013 | 11:00 | s.t. | Subhabrata Mukherjee | | Adapting Sentiment Analysis to the Challenges of Social Media | E1 4, R024 | PhD Application Talk |
02/25/2013 | 11:00 | s.t. | Venkata Rama Kiran Garimella | | Political Polarization of Hashtags for U.S and U.K. | E1 4, R024 | PhD Application Talk |
02/25/2013 | 08:45 | s.t. | Ankit Pat | | On Construction of a Class of Orthogonal Arrays | E1 4, R024 | PhD Application Talk |
02/25/2013 | 08:45 | s.t. | Florian Benz | | An Effective Heuristic for the Smallest Grammar Problem | E1 4, R024 | PhD Application Talk |
02/25/2013 | 08:45 | s.t. | Kumar Vishal | | Comparagram aided ghost-free multi-exposure compositing, and enhanced background subtraction | E1 4, R024 | PhD Application Talk |
02/25/2013 | 08:45 | s.t. | Ozan Sener | | Efficient Mobile Image and Video Segmentation via Dynamic Graph-Cuts and Bilateral Filters | E1 4, R024 | PhD Application Talk |
02/25/2013 | 08:45 | s.t. | Wenbin Li | | Improving Learning and Representations for Visual Material Recognition | E1 4, R024 | PhD Application Talk |
02/22/2013 | 13:00 | | Doug Terry | | Cloud Storage Consistency Explained Through Baseball | E1 5, 029 | SWS Colloquium |
02/22/2013 | 11:00 | s.t. | Chuan Li | | Exploring computer vision and machine learning for Model Capturing and Synthesis | E1 4, 019 | Talk |
02/20/2013 | 14:30 | | Franziska Ebel | | (Master student talk) A new genetic algorithm | E1 4, Rotunda D1 | Talk |
02/19/2013 | 13:00 | | Parinya Chalermsook | | How to make everyone happy in the network? | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/18/2013 | 10:30 | | Janick Martinez Esturo | | Interactive and Automatic Surface-based Flow Visualization | E1 4, 019 | Talk |
02/18/2013 | 10:30 | | Peter Sewell | | Tales from the Jungle | E1 5, 002 | SWS Distinguished Lecture Series |
02/14/2013 | 14:00 | | Babak Bagheri | | Borders of Decidability in Verification of Data-Centric Dynamic Systems | G26 [KL], 206 | SWS Colloquium |
02/14/2013 | 10:30 | | Alexey Gotsman | | Abstraction for Weakly Consistent Systems | G26 [KL], 206 | SWS Colloquium |
02/13/2013 | 10:30 | | Divesh Srivastava | | In Search of Truth (on the Deep Web) | TU - 48 [KL], 680 | SWS Distinguished Lecture Series |
02/12/2013 | 13:00 | | Haya Shulman | | Towards a Secure DNS | E1 5, 029 | SWS Colloquium |
02/08/2013 | 14:00 | | Nikita Borisov | | Breaking the Internet for Fun and Censorship Resistance | E1 4, 0.24 | CISPA Distinguished Lecture Series |
02/08/2013 | 13:00 | | Sudeshna Kolay | | Faster Parameterized Algorithms for Split Graph Deletion | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/06/2013 | 12:15 | | Pauli Miettinen | | Boolean Matrix Factorizations and Data Mining | E1 5, 002 | Joint MPI-INF/MPI-SWS Lecture Series |
02/06/2013 | 11:00 | | Daniele Panozzo | | Fields on Symmetric Surfaces | E1 4, 019 | Talk |
02/05/2013 | 13:00 | | Artur Jeż | | One variable word equations in linear time | E1 4, 021 | Lecture |
01/29/2013 | 13:00 | | Gerard Pons | | Human Pose Estimation from Video and Inertial Sensors | E1 4, 019 | Talk |
01/28/2013 | 14:00 | | Filip Sadlo | | Flow Visualization Beyond Steady-State Advection | E1 4, 019 | Talk |
01/28/2013 | 10:30 | | David Walker | | Networking: A Killer App for Programming Languages Researchers | E1 5, 029 | SWS Distinguished Lecture Series |
01/24/2013 | 13:00 | s.t. | Tetsuo Uedo | | Physarum as a model system of Bio-Informatics | E1 4, 024 | Talk |
01/23/2013 | 14:00 | | Prof. Anastasia Ailamaki | | Scientific Data Management: Not your everyday transaction | E1 5, 002 | SWS Distinguished Lecture Series |
01/22/2013 | 11:00 | | Fahimeh Ramezani | | On Randomized Fictitious Play for Approximating Saddle Points Over Convex Sets | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/20/2013 | 15:00 | | Tomasz Kociumaka | | Efficient Indexes for Jumbled Pattern Matching with Constant-Sized Alphabet | E1 4, rotunda at 3rd floor | AG1 Mittagsseminar (own work) |
01/18/2013 | 13:30 | | John Augustine | | TBA | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/18/2013 | 13:30 | | John Augustine | | TBA | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/18/2013 | 13:00 | | Bernhard Haeupler | | TBA | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/18/2013 | 10:00 | | Yan Chen | | Type-Directed Automatic Incrementalization | E1 5, 422 | SWS Student Defense Talks - Qualifying Exam |
01/17/2013 | 10:00 | | Vitaly Shmatikov | | Building Privacy-Preserving Systems: What Works, What Doesn't, and What Is To Be done | G26 [KL], 206 | SWS Distinguished Lecture Series |
01/15/2013 | 14:00 | | Jens Schmidt | | Open Problem Session | E1 4, 024 | Talk |
01/15/2013 | 13:00 | | AG1 | | Group Meeting | E1 4, 024 | AG1 Group Meeting |
01/13/2013 | 13:45 | | Amit Kumar | | to be announced (talk starts right after Marvin's talk) | E1 4, 024 | Lecture |
01/13/2013 | 13:00 | | D1 | | D1 Group Meeting: SAB Visit | E1 4, 024 | AG1 Group Meeting |
01/11/2013 | 13:00 | s.t. | Jens M. Schmidt | | On Barnette's Conjecture | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/09/2013 | 11:00 | | Nikolaj Bjorner | | SecGuru - Symbolic Analysis of Network Connectivity Restrictions | E1 5, 002 | SWS Distinguished Lecture Series |
01/03/2013 | 11:00 | | Kurt Mehlhorn | | A Geometric View of Binary Search Trees | E1 4, 024 | AG1 Mittagsseminar (others' work) |
12/21/2012 | 13:00 | | Jose Verschae | | Scheduling on a machine with varying speed: Minimizing cost and energy via dual schedules | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/21/2012 | 12:00 | | Rawia AWADALLAH | | Methods for Constructing an Opinion Network Politically Controversial Topics | E1 4, 024 | Promotionskolloquium |
12/20/2012 | 15:15 | | Ndapandula T. Nakashole, M.Sc. | | Automatic Extraction of Facts, Relations, and Entities for Web-Scale Knowledge Base Population | E1 4, 024 | Promotionskolloquium |
12/19/2012 | 16:00 | | Tomasz Jurkiewicz | | The Cost of Address Translation | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/18/2012 | 14:00 | | Kurt Mehlhorn | | Open Problems Session | E1 4, AG1 Rotunda | Talk |
12/18/2012 | 13:00 | | Antonios Antoniadis | | Race to Idle: New Algorithms for Speed Scaling with a Sleep State | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/18/2012 | 10:00 | c.t. | Dipl.-Math. David Günther | | Topological Analysis of Discrete Scalar Data | E1 4, 019 | Promotionskolloquium |
12/14/2012 | 13:30 | | Julien Tierny | | Structural analysis of spatial data: a control-freak's perspective | E1 4, 019 | Talk |
12/14/2012 | 11:00 | | Sandra Ebert | | Semi-Supervised Learning for Image Classification | E1 4, 024 | Promotionskolloquium |
12/13/2012 | 13:00 | | Torsten Sattler | | Image-Based Localization from SfM Point Clouds | E1 4, D2 Rotunda | Talk |
12/13/2012 | 10:00 | | Bryan Russell | | Online image annotation and 3D scene understanding | E1 4, 024 | Talk |
12/11/2012 | 13:00 | | AG1 | | Group Meeting AG1 | E1 4, 024 | AG1 Group Meeting |
12/10/2012 | 13:00 | | Alexander Hartmann | | Phase transition for cutting-plane approach to vertex-cover problem | E1 4, 024 | Lecture |
12/07/2012 | 16:00 | | Juhi Kulshrestha | | Geographic Dissection of the Twitter Network | E1 5, 005 | SWS Student Defense Talks - Qualifying Exam |
12/07/2012 | 13:00 | | Artur Jeż | | Fully compressed pattern matching by recompression | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/07/2012 | 11:00 | | Timothy Roscoe | | Reasoning as a First-class Operating System Service | E1 5, 029 | SWS Distinguished Lecture Series |
12/05/2012 | 12:15 | | Klaus Berberich | | Text + Time Search & Analytics | E1 5, 002 | Joint MPI-INF/MPI-SWS Lecture Series |
12/03/2012 | 11:00 | | Esther Galbrun | | Relational Redescription Mining | E1 4, 433 | Talk |
11/30/2012 | 13:00 | | Rob van Stee | | Truthful Scheduling | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/30/2012 | 10:30 | | Prof. Michael Hicks | | Expositor: Scriptable Time-Travel Debugging with First Class Traces | E1 5, 029 | SWS Distinguished Lecture Series |
11/27/2012 | 14:00 | | Anna Adamaszek & Magnus Wahlström | | Open problems and good research habits | E1 4, 024 | Talk |
11/26/2012 | 09:00 | | Bjoern Andres | | Advancing the State of the Art in Image Segmentation and Tracking by Combinatorial Optimization | E1 4, 024 | Talk |
11/23/2012 | 13:00 | | Matthias Mnich | | Efficiency in Kernelization | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/23/2012 | 10:30 | | Roxana Gabriela Horincar
()
On Friday, Nov 23, 2012
| | Refresh Strategies and Online Change Estimation for Highly Dynamic Web Content | E1 4, 433 | Postdoc Application Talk |
11/20/2012 | 13:00 | | He Sun | | From Kant to Turing: On the Philosophical Foundations of Computer Science | E1 4, 024 | Talk |
11/19/2012 | 18:00 | | Nuno Santos | | System Designs for Securing Data and Computations against Administration Threats | E1 5, 005 | SWS Student Defense Talks - Thesis Proposal |
11/19/2012 | 13:00 | | Moritz Hardt | | Differential Privacy as a Learning Problem | E1 4, 024 | Lecture |
11/16/2012 | 13:30 | | Prof. Dr. Kurt Mehlhorn, et al. | | Fest-Kolloquium anlässlich des 60. Geburtstags von Prof. Dr. Dr. Thomas Lengauer | E2 2, Günter-Hotz-Hörsaal | Fest-Kolloquium |
11/16/2012 | 11:00 | | Andreas Wiese | | A New Approach to Online Scheduling: Approximating the Optimal Competitive Ratio | E1 5, 029 | Talk |
11/14/2012 | 10:00 | | Brigitte Pientka | | Beluga^mu: Programming proofs in context | E1 5, 029 | SWS Colloquium |
11/13/2012 | 13:00 | | AG1 | | AG 1 Group Meeting | E1 4, 024 | AG1 Group Meeting |
11/12/2012 | 12:05 | | Razvan Belet | | Leveraging Independence and Locality for Random Forests in a Distributed Environment | E1 4, 024 | IMPRS Research Seminar |
11/09/2012 | 17:00 | | Pavel Emeliyanenko | | Harnessing the Power of GPUs for Problems in Real Algebraic Geometry | E1 4, 024 | Promotionskolloquium |
11/09/2012 | 14:00 | s.t. | Andreas Baak | | Retrieval-based Approaches for Tracking and Reconstruction Human Motions | E1 4, 019 | Promotionskolloquium |
11/09/2012 | 12:00 | s.t. | Peter Matthias Grosche | | Signal Processing Methods for Beat Tracking, Music Segmentation and Audio Retrieval | E1 4, 019 | Promotionskolloquium |
11/09/2012 | 10:00 | s.t. | Verena Konz | | Automated Methods for Audio – Based Music Analysis with Applications to Musicology | E1 4, 0.19 | Promotionskolloquium |
11/07/2012 | 12:15 | | Allen Clement | | Robust Replication | E1 5, 002 | Joint MPI-INF/MPI-SWS Lecture Series |
11/06/2012 | 14:30 | | Torsten Schaub | | Problem Solving with Answer Set Programming | E1 5, Hörsaal 002 | Talk |
11/05/2012 | 14:00 | | Jeffrey Mogul | | Corybantic: Towards the Modular Composition of SDN Controllers | E1 5, 029 | SWS Distinguished Lecture Series |
11/02/2012 | 13:00 | | Pinyan Lu | | Correlation Decay up to Uniqueness in Spin Systems | E1 4, 024 | Talk |
10/31/2012 | 10:30 | | Lorenzo Alvisi | | Reasoning with MAD distributed systems | E1 5, 029 | SWS Distinguished Lecture Series |
10/23/2012 | 17:15 | | Dr. Sabine Bartsch | | Gender-spezifische Wissenschaft? eHumanities Explorationen wissenschaftlicher Texte | A2.2, 2.02 | Lecture |
10/11/2012 | 14:00 | | Zilong Wang | | Provenance Verification | G26 [KL], 204 | SWS Student Defense Talks - Qualifying Exam |
10/10/2012 | 12:15 | | Tobias Ritschel | | Perception-driven and artistically motivated interactive graphics | E1 3 - Hörsaal Gebäude, HS 002 | Joint MPI-INF/MPI-SWS Lecture Series |
10/09/2012 | 13:00 | | Klaus Hildebrandt | | Modeling and Animating Deformable Objects | E1 4, 019 | Talk |
10/09/2012 | 11:00 | | Andreas Broschart | | Efficient Query Processing and Index Tuning using Proximity Scores | E1 4, 024 | Promotionskolloquium |
10/08/2012 | 16:00 | | Jozef Dobos | | 3D Revision Control Framework | D 3 2, VizCenter, DFKI | Talk |
10/08/2012 | 11:20 | s.t. | Alkmini Sgouritsa | | Online Prot-Maximizing Sampling Auctions For DigitalGoods | E1 4, 024 | PhD Application Talk |
10/08/2012 | 11:20 | | Cosmina Croitoru | | Algorithmic Aspects of Abstract Argumentation Frameworks | E1 4, 024 | PhD Application Talk |
10/08/2012 | 11:20 | s.t. | Milivoj Simeonovski | | Introducing Accountability in Onion Routing | E1 4, 024 | PhD Application Talk |
10/08/2012 | 11:20 | s.t. | Sarvesh Nikumbh | | Classification of Promoters based onChromatin Features | E1 4, 024 | PhD Application Talk |
10/08/2012 | 09:00 | s.t. | Ba Dat Nguyen | | Efficient Entity Disambiguation via Similarity Hashing | E1 4, 024 | PhD Application Talk |
10/08/2012 | 09:00 | s.t. | Kumar Srijan | | Scalable Techniques for Organizing and Visualizing Community Photo Collections | E1 4, 024 | PhD Application Talk |
10/08/2012 | 09:00 | | Sergei Shudler | | The Effects of Untruthful Bids on User Utilities and Stability in Computing Markets | E1 4, 024 | PhD Application Talk |
10/08/2012 | 09:00 | | Sourav Dutta | | Space-Efficient Management of String Databases by Reusing Common Characters | E1 4, 024 | PhD Application Talk |
10/05/2012 | 16:15 | s.t. | Nasimi Eldarov | | Modeling influenza evolution in response to immune system pressure | E1 4, 024 | PhD Application Talk |
10/05/2012 | 16:08 | | Gregorio Palmas | | Computer-Assisted Assembling of Fragmented Objects | E1 4, 024 | PhD Application Talk |
10/02/2012 | 14:00 | | Ben Livshits | | Client-side Personalization and Privacy: Browser and Mobile | E1 4, 0.24 | CISPA Distinguished Lecture Series |
10/02/2012 | 14:00 | | Ben Livshits | | Client-side Personalization and Privacy: Browser and Mobile | E1 4, 0.24 | CISPA Distinguished Lecture Series |
10/02/2012 | 13:00 | | Jakub Sliacan | | Residual-based Gauss-Seidel method | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/01/2012 | 11:00 | | Dr. Christopher Kruegel | | Automated Malware Analysis | E1 5, 029 | SWS Distinguished Lecture Series |
09/28/2012 | 13:00 | s.t. | Dr. Andreas Karrenbauer | | On Planar Min-Cost Flow | E1 4, 024 | Talk |
09/27/2012 | 13:00 | | Raphael Reitzig | | PhD Application Talk | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/26/2012 | 14:00 | | Benjamin Doerr | | The Discrepancy of Random Points | E1 4, 024 | Talk |
09/25/2012 | 16:00 | | Sandy Heydrich | | Dividing connected chores fairly | E1 4, Rotunde | Talk |
09/25/2012 | 15:00 | | Prof. Jan Vitek | | Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection | G26 [KL], 206 | SWS Distinguished Lecture Series |
09/25/2012 | 13:00 | | Cosmina Croitoru | | Algorithmic Aspects of Abstract Argumentation Frameworks | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/25/2012 | 13:00 | | Jochen Lang, Ph.D. | | Haptic Exploration of Photographs | E1 4, 019 | Talk |
09/24/2012 | 13:00 | | Gernot Heiser | | Towards Trustworthy Embedded Systems | G26 [KL], 206 | SWS Distinguished Lecture Series |
09/14/2012 | 14:00 | | Aditya Thakur | | A deductive algorithm for symbolic abstraction with applications to SMT | G26 [KL], 206 | Talk |
09/13/2012 | 13:00 | | Michael Kerber | | The Medusa of Spatial Sorting | E1 4, 024 | Talk |
09/11/2012 | 16:00 | | Wolfram Wagner | | How to backup your notebook | E1 4, 024 | Technical Tea Time |
09/11/2012 | 13:00 | | Ralf Osbild | | Controlled Perturbation (PhD-thesis) | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/07/2012 | 13:00 | | Rob van Stee | | Online scheduling of jobs with fixed start times on related machines | E1 5, 630 | AG1 Mittagsseminar (own work) |
09/04/2012 | 13:00 | | Ignaz Rutter | | Cubic Augmentation of Planar Graphs | MPI-INF, Geb E1 4, 023 | AG1 Mittagsseminar (own work) |
09/03/2012 | 13:00 | | Shay Moran | | Shattering Extremal systems (Master thesis) | E1 4, 023 | AG1 Mittagsseminar (own work) |
08/31/2012 | 10:00 | | Daniel Peek | | A Brief History of Facebook's User Data Storage System | E1 5, 029 | Talk |
08/30/2012 | 10:00 | | Michael Emmi | | Analysis of Recursively Parallel Programs | G26 [KL], 206 | Talk |
08/28/2012 | 16:00 | | Marcus Rohrbach | | Intro to the moinmoin wiki | E1 4, 623 - Rotunde | Technical Tea Time |
08/28/2012 | 13:00 | | Quentin de Mourgues | | Intersection Time of Random Walks | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/24/2012 | 13:00 | | Zeyu Guo | | Randomness Optimal Curve Sampling | E1 4, 024 | Talk |
08/24/2012 | 11:00 | | Prof. Dr. habil Douglas W. Cunningham | | Experimental Design Part III: Quantitative Tasks? | E1 4, 019 | Talk |
08/23/2012 | 14:00 | | Prof. Dr. habil Douglas W. Cunningham | | Experimental Design Part II: Qualitative and Physiological Tasks? | E1 4, 019 | Talk |
08/22/2012 | 15:00 | | Prof. Dr. habil Douglas W. Cunningham | | Experimental Design Part I: What is an experiment and why does ittake so long? | E1 4, 019 | Talk |
08/22/2012 | 13:30 | | Robert Harper | | Cache and I/O-Efficient Functional Algorithms | E1 4, 024 | MPI Colloquium Series Distinguished Speaker |
08/20/2012 | 16:30 | | Piotr DIDYK | | Perceptual Display: Exceeding Display Limitations by Exploiting the Human Visual System | E1 4, 019 | Promotionskolloquium |
08/20/2012 | 15:00 | | Dimitar DENEV | | Models and Methods for Web Archive Crawling | E1 4, 024 | Promotionskolloquium |
08/17/2012 | 14:00 | | Vijay V. Vazirani | | Dispelling an Old Myth about an Ancient Algorithm | E1 4, 024 | MPI Colloquium Series Distinguished Speaker |
08/17/2012 | 12:30 | | Marcin Eichner | | Articulated pose estimation of multiple persons: pose co-estimation | E1 4, Rotunda 6th floor | Talk |
08/17/2012 | 11:00 | | Berthold Voecking | | Randomized Mechanism Design: Approximation and Online Algorithms (3) | E1. 3, 001 | Lecture |
08/17/2012 | 09:00 | | Luca Trevisan | | Spectral Graph Theory and its Algorithmic Applications (3) | E1. 3, 001 | Lecture |
08/16/2012 | 14:30 | | Berthold Voecking | | Randomized Mechanism Design: Approximation and Online Algorithms (3) | E1. 3, 001 | Lecture |
08/16/2012 | 09:00 | | Luca Trevisan | | Spectral Graph Theory and its Algorithmic Applications (2) | E1. 3, 001 | Lecture |
08/15/2012 | 09:00 | | Avi Wigderson | | Expander Graphs: Constructions and Applications (3) | E1. 3, 001 | Lecture |
08/14/2012 | 16:00 | | Wolfram Waagner | | Taming the beast - handling directory trees | E1 4, 633 | Talk |
08/14/2012 | 14:30 | | Avi Wigderson | | Expander Graphs: Constructions and Applications (2) | E1. 3, 001 | Lecture |
08/14/2012 | 11:00 | | Michael Sagraloff | | Exaktes Geometrisches Rechnen | E1 4, 021 | Vorstellungsvortrag für einen Habilitationsantrag |
08/14/2012 | 10:00 | | Alexander Vezhnevets | | Weakly Supervised Structured Output Learning for Semantic Segmentation | E1 4, 019 | Talk |
08/14/2012 | 09:00 | | Berthold Voecking | | Randomized Mechanism Design: Approximation and Online Algorithms (1) | E1. 3, 001 | Lecture |
08/13/2012 | 14:30 | | Luca Treivsan | | Spectral Graph Theory and its Algorithmic Applications (1) | E1. 3, 001 | Lecture |
08/13/2012 | 14:00 | | Rodrigo Benenson | | Using 100 classifiers to detect a single class | E1 4, 019 | Talk |
08/13/2012 | 09:00 | | Avi Wigderson | | Expander Graphs: Constructions and Applications (1) | E1. 3, 001 | Lecture |
08/09/2012 | 11:00 | | Saikat Guha | | Measuring and Fingerprinting Click-Fraud in Ad Networks | 49 [KL], 204 | Talk |
08/01/2012 | 12:15 | | Antti Oulasvirta | | Optimizing User Interfaces for Human Performance | E1 3 - Hörsaal Gebäude, HS 002 | Joint MPI-INF/MPI-SWS Lecture Series |
07/30/2012 | 14:00 | | Céline Teulière | | Research activities in visual tracking for robotics applications: Moving object tracking, 3D localization and positioning tasks using monocular or RGB-D cameras | E1 4, 019 | Talk |
07/26/2012 | 17:00 | | Dr. Sabine Bartsch | | Gender-spezifische Wissenschaft? eHumanities Explorationen wissenschaftlicher Texte | A2.2, 2.02 | Lecture |
07/23/2012 | 13:00 | | Xavier Pérez Giménez | | Asymptotic enumeration of sparse strongly connected digraphs by vertices and edges | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/20/2012 | 13:00 | | Sourav Chakraborty | | Testing Boolean Function Isomorphism | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/17/2012 | 13:00 | | Ruben Becker | | The Bolzano Method to Isolate the Roots of a Bitstream Polynomial | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/10/2012 | 13:00 | | Manoj Gupta | | Fully dynamic maximal matching in O(log n) update time | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/06/2012 | 13:30 | | Anna-Kaisa Pietilainen | | Opportunistic Mobile Social Networks at Work | E1 5, 029 | SWS Colloquium |
07/06/2012 | 13:00 | | Sebastian Ott | | Truthfully maximizing the minimum load on selfish machines | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/05/2012 | 14:00 | s.t. | Cesare Tinelli | | Incremental SMT-based model checking of synchronous systems | E1 4, 024 | Talk |
07/05/2012 | 11:00 | | Dario Fiore | | Provably-Secure Cryptographic Protocols: from Practice to Theory to Practice | E1 5, 029 | SWS Colloquium |
07/04/2012 | 12:15 | | Olga Kalinina | | Structural Bioinformatics Methods for Identification of Protein Function and Interactions | E1 3 - Hörsaal Gebäude, HS 002 | Joint MPI-INF/MPI-SWS Lecture Series |
07/03/2012 | 14:30 | | Peter Baumgartner | | Reasoning with Data-Centric Business Processes | E1 4, 024 | Talk |
07/03/2012 | 13:00 | | Marvin Kuenemann | | to be announced | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/03/2012 | 11:00 | | Bryan Ward | | Supporting Nested Locking in Multiprocessor Real-Time Systems | E1 5, 029 | SWS Colloquium |
07/02/2012 | 14:00 | s.t. | Sandeep Sen | | Computing in presence of uncertainty: models and algorithms | E1 4, 022 | Talk |
07/02/2012 | 12:05 | | Noran Azmy | | Formula Renaming | E1 4, 024 | IMPRS Research Seminar |
06/29/2012 | 13:00 | | Matthias Feldmann | | Stochastic Optimization with Fitness Proportional Ant Systems | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/22/2012 | 14:00 | | Istemi Ekin Akkus | | Non-tracking Web Analytics | G26 [KL], 204 | SWS Student Defense Talks - Qualifying Exam |
06/22/2012 | 13:00 | s.t. | Kavitha Telikepalli | | Popular matchings in the stable marriage setting | E1 4, 024 | Talk |
06/21/2012 | 16:00 | | Val Tannen | | Provenance for Database Transformations | E1 5, 029 | SWS Distinguished Lecture Series |
06/19/2012 | 13:00 | | AG 1 | | AG1 Group Meeting | E1 4, 024 | AG1 Group Meeting |
06/19/2012 | 13:00 | s.t. | Burkhard Wuensche | | TBA | E1 4, 019 | Talk |
06/18/2012 | 14:00 | s.t. | Ondřej Karlík and Jirka Vorba | | Importance Sampling for Incident Illumination | E1 4, 019 | Talk |
06/18/2012 | 13:00 | | Stephen Kobourov | | From Graphs to Maps | E1 4, 024 | Lecture |
06/15/2012 | 13:00 | | Hendrik Molter | | ACO beats EA on a Dynamic Pseudo-Boolean Function | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/13/2012 | 12:15 | | Viktor Vafeiadis | | Relaxed memory concurrency and verified compilation | E1 3 - Hörsaal Gebäude, HS 002 | Joint MPI-INF/MPI-SWS Lecture Series |
06/12/2012 | 13:00 | | G.Ramakrishna | | Characterization of Minimum Cycle Basis in Partial 2-trees | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/08/2012 | 13:00 | | Shay Moran | | Shattering Extremal Set Systems (Master Thesis, First Talk) | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/06/2012 | 15:00 | | Magnus Wahlström | | Kernelization via magic | E1 4, Rotunda, 3rd floor | AG1 Mittagsseminar (own work) |
06/05/2012 | 13:00 | | Shlomo Moran | | Towards Optimal Distance Functions for Stochastic Substitutions Models | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/01/2012 | 13:00 | s.t. | Hans Raj Tiwary | | Extended Formulations, Matrix Factorization and Communication Complexity - part II | E1 4, 024 | Lecture |
06/01/2012 | 10:30 | | Monica Lam | | How Mobile Disrupts and Opens Up Social as We Know It | E1 5, 029 | SWS Distinguished Lecture Series |
05/30/2012 | 11:30 | | Mr. Ram Sewak Sharma | | Design for UID Numbers to all Indian residents | E1 5, 029 | SWS Colloquium |
05/29/2012 | 13:00 | | Pengming Wang | | Certification of Curve Arrangements (Master Thesis) | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/25/2012 | 13:00 | | Cosmina Croitoru | | Argumentation systems: Complexity and algorithmic aspects | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/25/2012 | 13:00 | s.t. | Antti Nurminen | | Mobile 3D City Maps | E1 4, 019 | Talk |
05/23/2012 | 16:00 | | Scott Kilpatrick | | A typed package language for Haskell | E1 5, 029 | SWS Student Defense Talks - Qualifying Exam |
05/23/2012 | 10:00 | | Anjo Vahldiek | | Protecting Data Integrity with Storage Leases | E1 5, 005 | SWS Student Defense Talks - Qualifying Exam |
05/22/2012 | 13:00 | | Surender Baswana | | Dynamic trees and algorithms | E1 4, 024 | Lecture |
05/15/2012 | 13:00 | | Kurt Mehlhron | | Certifying Algs for Approximation and FPT-Algorithms (A Thesis Proposal) | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/14/2012 | 11:00 | | Alexander J. Smola | | Scalable Machine Learning for the User | E1 4, 019 | SWS Distinguished Lecture Series |
05/11/2012 | 13:00 | | Chandan Saha | | Identity testing and lower bounds using algebraic independence | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/09/2012 | 11:00 | | Kevin Ashley | | Toward Teaching Writing and Argumentation with AI-Supported Peer Review | D3 1 - DFKI, Reuse, SB (HG -2.17) | Talk |
05/08/2012 | 13:00 | | Martin Hoefer | | Local Matching Dynamics in Social Networks | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/07/2012 | 11:00 | | Abubakrelsedik Alsebai Karali | | Novel View invariant 3D features for human action recognition | E1 4, 024 | PhD Application Talk |
05/07/2012 | 11:00 | | Santanu Bhowmick | | Modeling and Testing of Multi-cycle Power Droop Faults | E1 4, 024 | PhD Application Talk |
05/07/2012 | 11:00 | | Tomasz Dudziak | | Relational cache analysis in presence of pointer-based data structures | E1 4, 024 | PhD Application Talk |
05/07/2012 | 09:20 | | Anne-Christin Hauschild | | Statistical Learning on Metabolic Ion Mobility Spectrometry Profiles for Disease Identification | E1 4, 024 | PhD Application Talk |
05/07/2012 | 09:20 | | Bibek Paudel | | Redundancy Control in Web Archives | E1 4, 024 | PhD Application Talk |
05/07/2012 | 09:20 | | Sergey Paramonov | | Query Completeness: A Logic Programming Approach | E1 4, 024 | PhD Application Talk |
05/04/2012 | 13:00 | | He Sun | | Counting Arbitrary Subgraphs in Data Streams | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/02/2012 | 12:15 | | Fabian Suchanek | | The Ontologies Group at the Max Planck Institute for Informatics | E1 3 - Hörsaal Gebäude, HS 002 | Joint MPI-INF/MPI-SWS Lecture Series |
04/27/2012 | 13:00 | | Tomasz Jurkiewicz | | Computational Complexity of the Virtual Address Translation | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/26/2012 | 14:15 | | Bodo Manthey | | 25 Years of Isolation Lemma | E1 3, HS 002 | Antrittsvorlesung |
04/24/2012 | 13:00 | | Danny Hermelin | | Loss Minimization Scheduling for Generalizations of Interval Jobs | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/23/2012 | 16:30 | | Tom Crecelius | | Socially Enhanced Search and Exploration in Social Tagging Networks | E1 4, 024 | Promotionskolloquium |
04/23/2012 | 11:00 | | Pranav Dandekar | | Credit Networks: Liquidity and Formation | E1 5, 5th floor | SWS Colloquium |
04/16/2012 | 11:00 | | Charlie Hu | | Energy Debugging in Smartphones | E1 5, 5th floor | SWS Colloquium |
04/13/2012 | 13:00 | | Paul Bonsma | | Surface Split Decompositions and Subgraph Isomorphism in Graphs on Surfaces | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/12/2012 | 12:30 | s.t. | Thomas Lengauer | | Life Ascending - A Biological History of Creation | E1 4, 024 | Talk |
04/04/2012 | 14:00 | | Marc Renault | | On Online Algorithms with Advice for the k-Server Problem | E1 4, 024 | Talk |
04/03/2012 | 13:00 | | Anton Krohmer | | Finding Cliques in Scale-Free Networks | E1 4, 0.24 | AG1 Mittagsseminar (own work) |
03/30/2012 | 14:00 | | Stan Sclaroff | | Algorithms for Detection, Tracking, Analysis, and Classification of Objects and Humans Actions | E1 4, 024 | Talk |
03/28/2012 | 13:00 | | Michael Dirnberger | | Methods of Computational Physics in Lattice Gauge Theory: A Case Study on Confinement | E1 4, 024 | Talk |
03/28/2012 | 11:00 | | Adrian Perrig | | SCION: Scalability, Control, and Isolation On Next-Generation Networks | E1 5, 5th floor | SWS Distinguished Lecture Series |
03/28/2012 | 10:30 | | Eleftherios Anastasiadis | | Approximation algorithms for combinatorial auctions | E1 4, 024 | Talk |
03/28/2012 | 10:00 | | Bojana Kodric | | Efficient construction of a finite-state automaton from a set of strings | E1 4, 024 | Talk |
03/27/2012 | 13:00 | | Benjamin Doerr | | Still Playing Mastermind | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/26/2012 | 10:30 | | Tim Kraska | | Forecast: Cloudy with a Chance of Consistency | G26 [KL], 206 | SWS Colloquium |
03/23/2012 | 13:00 | | Johannes Lengler | | Evolutionary Algorithms on Quantum Computers | E1 4, 021 | AG1 Mittagsseminar (own work) |
03/22/2012 | 15:00 | | Petr Kuznetsov | | Turning Sequential into Concurrent | E1 5, 5th floor | SWS Colloquium |
03/21/2012 | 11:00 | c.t. | Abdullah Bulbul | | Perceptually Aware 3-D Computer Graphics | E1 4, 019 | Talk |
03/21/2012 | 10:00 | s.t. | Pascal Fontaine | | Combination of disjoint theories: beyond decidability | E1 4, 019 | Talk |
03/20/2012 | 15:00 | | Chen Avin | | Random walks techniques for (wireless) networks | E1 4, 023 | AG1 Mittagsseminar (own work) |
03/20/2012 | 13:00 | | Henning Thomas | | A Randomized Version of Ramsey's Theorem | E1 4, 021 | AG1 Mittagsseminar (own work) |
03/19/2012 | 16:00 | | Alexey Pospelov | | How to use and misuse mathematical statistics (3/3) | E1 4, 023 | Lecture |
03/19/2012 | 10:30 | | Cristian Danescu-Niculescu-Mizil | | Language as Influence(d) | G26 [KL], 206 | SWS Colloquium |
03/19/2012 | 10:00 | | Iliyan Georgiev | | Complex illumination in occluded environments and light path sampling | E1 4, 019 | Talk |
03/16/2012 | 13:00 | | Carola Winzen | | Computing Star Discrepancies | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/15/2012 | 16:00 | | Alexey Pospelov | | How to use and misuse mathematical statistics (2/3) | E1 4, 024 | Lecture |
03/15/2012 | 10:30 | | Julia Stoyanovich | | Information Discovery in Large Complex Datasets | G26 [KL], 206 | SWS Colloquium |
03/14/2012 | 16:00 | | Alexey Pospelov | | How to use and misuse mathematical statistics (1/3) | E1 4, 024 | Lecture |
03/13/2012 | 13:30 | | Erik Jan van Leeuwen | | Algorithms for Firefighting | E1 4, 024 | Lecture |
03/13/2012 | 13:00 | | Stefan Kratsch | | Lower bounds for kernelization using co-nondeterminism | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/09/2012 | 13:00 | | Benjamin Doerr, Pawel Gawrychowski, He Sun, Carola Winzen | | Best of STACS | E1 4, 024 | Talk |
03/08/2012 | 13:00 | | Tobias Mömke | | Approximationg Graphic TSP by Matchings | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/06/2012 | 13:00 | | Reto Spöhel | | Upper bounds for asymmetric Ramsey properties of random graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/06/2012 | 11:00 | | Maurice van Keulen | | Managing uncertainty - the road towards better data interoperability | E1 4, 433 | Talk |
03/02/2012 | 13:00 | | Kostas Kollias | | Restoring Pure Equilibria to Weighted Congestion Games | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/28/2012 | 13:30 | | Saket Saurabh | | Faster FPT algorithms using Linear Programming | E1 4, 024 | Lecture |
02/28/2012 | 13:00 | | Nina Taslaman | | Shortest Cycle Through Specified Elements | E1 4, 024 | Lecture |
02/27/2012 | 10:30 | | Alexandra Meliou | | Why and How: A Reverse Perspective on Data Management | G26 [KL], 206 | SWS Colloquium |
02/24/2012 | 13:00 | | Matthias Mnich | | Cuts in Graphs - Algorithms and Combinatorics | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/21/2012 | 13:00 | | Kostas Tsakalidis | | Using Persistence for Efficient Dynamic Orthogonal Range Reporting | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/20/2012 | 10:30 | | Ashwin Machanavajjhala | | No Free Lunch in Data Privacy | G26 [KL], 206 | SWS Colloquium |
02/17/2012 | 13:00 | | Timo Kötzing | | Learning XML Specifications | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/14/2012 | 13:00 | | Geevarghese Philip | | Smaller Kernels for Minimum Fill-In on Sparse Graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/13/2012 | 16:00 | | Anke van Zuylen | | The Subtour LP for the Traveling Salesman Problem | E1 4, AG1 rotunda | Talk |
02/13/2012 | 10:30 | | Allen Clement | | Robust replication | G26 [KL], 206 | SWS Colloquium |
02/07/2012 | 13:00 | | Fidaa Abed | | Preemptive Coordination Mechanisms for Unrelated Machines | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/06/2012 | 15:00 | | Shady Elbassuoni | | Effective Searching of RDF Knowledge Bases | E1 4, 024 | Promotionskolloquium |
02/06/2012 | 14:00 | s.t. | Ryusuke Sagawa | | One-shot Dense 3D Reconstruction for Objects in Fast Motion | E1 4, 019 | Talk |
02/02/2012 | 16:00 | c.t. | Dr. Guillaume Bouchard | | The Benefit of Adaptation in Knowledge Management Systems | E1 7 - cluster building, 0.01 | Talk |
02/01/2012 | 12:15 | | Jan Baumbach | | Biological network analysis in a nutshell | E1 3 - Hörsaal Gebäude, 002 | Joint MPI-INF/MPI-SWS Lecture Series |
01/31/2012 | 11:00 | | Christos Orlis | | PhD Application Talk: Algorithmic approaches around the evacuation problem | E1 4, 333 (Rotunda) | Talk |
01/27/2012 | 13:00 | | Thomas Sauerwald | | Tight Bounds for Randomized Load Balancing on Arbitrary Network Topologies | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/23/2012 | 12:00 | s.t. | Jennifer Gerling | | About Posters | E1 4, R022 | IMPRS Research Seminar |
01/19/2012 | 13:00 | | Michael Ying Yang | | A Generic Probabilistic Graphical Model for Region-based Scene Interpretation | E1 4, Rotunde 6th floor | Talk |
01/19/2012 | 13:00 | s.t. | Dr. Nina Zweig | | How to forget the second side of the story - a new approach to one-mode projections of bipartite graphs | E1 4, 024 | Talk |
01/16/2012 | 12:00 | s.t. | Mónica Vidriales | | 3D object reconstruction using Kinect depth camera | E1 4, 024 | IMPRS Research Seminar |
01/16/2012 | 11:00 | | Prof. Geoffrey Voelker | | Exploring the Technical and Economic Factors Underlying Internet Scams | E1 5, 5th floor | SWS Distinguished Lecture Series |
01/11/2012 | 12:15 | | Tobias Friedrich | | Taming Randomness: From Physics to Efficient Algorithms | E1 3 - Hörsaal Gebäude, 002 | Joint MPI-INF/MPI-SWS Lecture Series |
01/09/2012 | 15:00 | | Jannis Bulian | | Exploring Canonical Axiomatisations of Representable Cylindric Algebras | E1 4, D1 Rotunda | Talk |
01/09/2012 | 12:00 | s.t. | Cosmina Croitoru | | Algorithmic Aspects of Argumentation Frameworks | E1 4, 024 | IMPRS Research Seminar |
01/04/2012 | 11:00 | | Bryan Ford | | Dissent: Accountable Anonymous Group Communication | E1 5, 5th floor | SWS Colloquium |
12/21/2011 | 10:00 | s.t. | Art TEVS | | Deformable Shape Matching | E1 4, 019 | Promotionskolloquium |
12/20/2011 | 16:30 | | Raquel Urtasun | | Efficient learning and inference for holistic scene understanding | E1 4, 019 | Talk |
12/20/2011 | 14:15 | c.t. | Madhusudan Manjunath | | Riemann-Roch for sublattices of the Root Lattice A_n, Graph Automorphisms and Counting Cycles in Graphs | E1 4, 024 | Promotionskolloquium |
12/16/2011 | 11:00 | | Carola Winzen | | Toward a Complexity Theory for Randomized Search Heuristics: Black-Box Models | E1 4, 024 | Promotionskolloquium |
12/14/2011 | 16:15 | | Khaled Elbassioni | | The Arora-Kale algorithm for approximately solving SDP's using multiplicative weights updates | E1 4, 022 | Lecture |
12/13/2011 | 13:00 | | AG1 | | AG1 Group Meeting: Teaching et al. | E1 4, 024 | AG1 Group Meeting |
12/13/2011 | 11:00 | | Julia Stoyanovich | | Ranked Exploration of Large Structured Datasets | E1 4, 019 | Colloquium lecture |
12/09/2011 | 13:00 | | Pawel Gawrychowski | | Tying up the loose ends in fully LZW-compressed pattern matching | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/08/2011 | 15:00 | | Sohaib Khan | | Bilinear Spatiotemporal Basis Models | E1 4, Rotunda 6th floor | Talk |
12/07/2011 | 12:15 | | Umut Acar | | Efficient Parallel Computation for Multicore Computers | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
12/07/2011 | 11:00 | | Andrea Vedaldi | | Semantic image analysis with structure and kernels | E1 4, 019 | Talk |
12/07/2011 | 10:00 | | Nicole Megow | | Meeting deadlines when jobs arrive online | E1 4, Rotunda | Talk |
12/06/2011 | 13:00 | | Jens Schmidt | | Cubic Graphs on Point Sets | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/05/2011 | 10:00 | s.t. | Iliyan Georgiev | | Complex illumination in occluded environments | E1 4, 019 | Talk |
12/02/2011 | 13:00 | | Patrick Ernst | | A Data-Driven Approach for the Generation of Quantitative Digital Atlases of Human Anatomy | E1 4, 433 | D5 application talk |
12/02/2011 | 13:00 | | Uday Reddy | | An Automata-theoretic Model of Programming Languages | G26 [KL], 206 | SWS Colloquium |
11/29/2011 | 13:00 | | Pengming Wang | | Certification of Curve Arrangements (Master Thesis) | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/29/2011 | 10:00 | s.t. | Martin Bokeloh | | Symmetry in 3D Shapes - Analysis and Applications to Model Synthesis | E1 4, 019 | Promotionskolloquium |
11/28/2011 | 13:00 | s.t. | Simon Fuhrmann | | Fusion of Depth Maps with Multiple Scales | E1 4, 019 | Talk |
11/25/2011 | 16:00 | | Philip Busch | | Randomized Rumor Spreading in the Karlsruhe Email Graph (Bachelor Thesis Final Talk) | E1 4, 3rd floor rotunda | Talk |
11/25/2011 | 13:00 | | Megha Khosla | | A tour into CSPs | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/25/2011 | 10:30 | | Nicholas Feamster | | The Battle for Control of Online Communications | E1 5, Wartburg, 5th floor | Talk |
11/25/2011 | 09:15 | | Kosta Panagiotou | | Mathematical Models of Real-World Networks | E1 4, 024 | Talk |
11/24/2011 | 14:15 | | Krishna Gummadi | | Detecting Useful Communities in Social Network Graphs | E1 4, 024 | Talk |
11/24/2011 | 10:30 | | Marshini Chetty | | Making Networked Infrastructure Manageable: A Case Study of Home Networking | G26 [KL], 204 | Talk |
11/24/2011 | 10:30 | | Volker Weispfenning | | The Importance of Parameters in Logic and Algebra | E1 4, 024 | MPI Colloquium Series Distinguished Speaker |
11/22/2011 | 13:00 | | Georgios Anagnostopoulos | | Kernel-based Metric Multi-Dimensional Scaling | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/21/2011 | 14:00 | | Sebastian Ott | | [Starter Master Talk] Thou shalt not lie. On truthfully maximizing the minimum load on selfish related machines. | E1 4, Rotunda | Talk |
11/18/2011 | 10:30 | | Vijay Ingalalli | | [Final Master Talk] Evolutionary Algorithms to Compute Lower Bounds for the Star Discrepancy | E1 4, Rotunda AG1 (3rd floor) | Talk |
11/17/2011 | 14:30 | | Christoph Zengler | | New Approaches to Boolean Quantifier Elimination | E1 4, 019 | Talk |
11/15/2011 | 13:00 | | Benjamin Doerr | | Another Game People Don't Play or The Black-Box Complexity of the LeadingOnes Class | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/15/2011 | 11:00 | | Michael Waldvogel | | Algebraic Characterization of Hedge Languages | E1 4, Rotunde D1 | Talk |
11/11/2011 | 13:00 | | Mingji Xia | | An introduction to algebraic reduction methods for counting problems | E1 4, 024 | AG1 Mittagsseminar (basic education) |
11/08/2011 | 13:00 | | Rob van Stee | | The ACM Author-Izer service | E1 4, 024 | Miscellaneous |
11/04/2011 | 13:00 | | Fahimeh Ramezani | | Towards Faster Lp-based Approximation Algorithm for Truthful Mechanism | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/02/2011 | 12:15 | | Michael Sagraloff | | Exact Geometric Computing - From Numerical Analysis to Algebraic Geometry | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
10/31/2011 | 11:00 | | Thomas Anderson | | Towards a Highly Available Internet | E1 5, 5th floor | SWS Distinguished Lecture Series |
10/28/2011 | 13:00 | | Michael Sagraloff | | When Newton meets Descartes: A simple and fast method to isolate the real roots of a polynomial | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/25/2011 | 13:00 | | Anke van Zuylen | | The Subtour LP for the Traveling Salesman Problem (A Proof of the Boyd-Carr Conjecture) | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/25/2011 | 09:00 | s.t. | Imran Rauf | | Polynomially Solvable Cases of Hypergraph Transversal and Related Problems | E1 4, 024 | Promotionskolloquium |
10/19/2011 | 15:00 | s.t. | Nobuyuki Umetani | | Integration of Design, Simulation and Interaction | E1 4, 019 | Talk |
10/14/2011 | 11:15 | s.t. | Archana Prabahar | | PhD Application Talk: Microarray data analysis with relation to cancer classification using SVM | E1 4, 024 | PhD Application Talk |
10/14/2011 | 11:15 | s.t. | Hassan Issa | | PhD Application Talks: Semantic-Aware Document Similarity Search | E1 4, 024 | PhD Application Talk |
10/14/2011 | 11:15 | s.t. | Noushin Saeedi | | PhD Application Talk: On Fully Characterizing Terrain Visibility Graphs | E1 4, 024 | PhD Application Talk |
10/14/2011 | 11:15 | s.t. | Svitlana Vakulenko | | PhD Application Talk: Extraction of Process Models from Business Process Descriptions | E1 4, 024 | PhD Application Talk |
10/14/2011 | 09:00 | s.t. | Bang Le Thanh | | PhD Application Talk: Compression of digital hologram for three-dimensional object using Wavelet-Bandelets transform And Conversion of stereoscopic image pair into elemental images for three-dimensional display based on integral imaging | E1 4, 024 | PhD Application Talk |
10/14/2011 | 09:00 | s.t. | Beata Turonova | | PhD Application Talk: Simultaneous Algebraic Reconstruction Technique for Electron Tomography using OpenCL | E1 4, 024 | PhD Application Talk |
10/14/2011 | 09:00 | s.t. | Bernhard Reinert | | PhD Application Talk: Evaluation of nonlinear methods to calculate the camera pose from point- and line-feature-correspondences in the context of analysis by synthesis | E1 4, 024 | PhD Application Talk |
10/14/2011 | 09:00 | s.t. | Constantin Comendant | | PhD Application Talk: Matrix factorization for the Link Prediction Problem | E1 4, 024 | PhD Application Talk |
10/14/2011 | 09:00 | s.t. | Olga Voitenko | | PhD Application Talk: Mathematical methods and models for banks’ financial state analyzing and forecasting | E1 4, 024 | PhD Application Talk |
10/13/2011 | 14:00 | | Avinash Sharma | | 3D Shape Segmentation and Matching using Graph Spectral Methods | E1 4, 019 | Talk |
10/07/2011 | 09:00 | | many | | FroCoS 2011: 8th International Symposium Frontiers of Combining Systems (day 3) | E1 4, 024 | Meeting |
10/06/2011 | 09:00 | | many | | FroCoS 2011: 8th International Symposium Frontiers of Combining Systems (day 2) | E1 4, 024 | Meeting |
10/05/2011 | 12:15 | | Tino Weinkauf | | Applications of Discrete Morse Theory: From Structures in Cells to Rivers on Mars | E1 3 - Hörsaal Gebäude, HS I | Joint MPI-INF/MPI-SWS Lecture Series |
10/05/2011 | 09:00 | | many | | FroCoS 2011: 8th International Symposium Frontiers of Combining Systems (day 1) | E1 4, 024 | Meeting |
10/04/2011 | 15:15 | | Anton Krohmer | | Clique on sparse scale-free networks is easy | E1 4, Rotunda 3rd floor | Talk |
10/04/2011 | 13:00 | | Ali Pourmiri | | Cutoff Phenomenon for Random Walk on Kneser Graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/27/2011 | 14:00 | s.t. | Justin Parks | | Detecting structural regularity in perspective images | E1 4, 019 | AG4 Seminar |
09/27/2011 | 13:00 | | Ran Duan | | Approximate Matching Algorithms | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/27/2011 | 11:15 | | Carsten Rother | | Recent Progress in stereo matching | E1 4, 019 | Talk |
09/20/2011 | 13:00 | s.t. | Alan Brunton | | Geometric and Image-based Methods for Scene and Object Modeling | E1 4, 019 | Talk |
09/16/2011 | 13:00 | | Asaf Levin | | The benefit of adaptivity in the stochastic knapsack problem with dependence on the state of nature | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/14/2011 | 14:00 | | Vahid Hashemi | | Own Work | E1 4, AG 1 Rotunde | Lecture |
09/14/2011 | 12:15 | | Mario Fritz | | Towards Recognition in the Real-World | E1 3 - Hörsaal Gebäude, HS I | Joint MPI-INF/MPI-SWS Lecture Series |
09/13/2011 | 13:00 | | Leah Epstein | | On Variants of File Caching | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/12/2011 | 17:00 | | Daniel Johannsen | | Tree Universality in Random Graphs | E1 4, Rotunde 3rd floor | Talk |
09/08/2011 | 10:00 | | Torsten Stöter | | Fluid Simulation on Curved Triangle Mesh Surfaces | E1 4, 019 | Talk |
09/05/2011 | 17:00 | | Hendrik Molter | | ACO vs EA on Dynamic Optimization Problems | E1 4, AG1 Rotunda | Talk |
09/02/2011 | 10:00 | | Andreas Rossberg | | JavaScript and V8 -- Functional-ish progamming in the mainstream | E1 5, 5th floor | SWS Colloquium |
09/01/2011 | 11:00 | s.t. | Prof. Jon Crowcroft | | Opportunity is the Mother of Invention - how Delay Tolerant Networking necessitated Data Centric Networking... | G26 [KL], 206 | SWS Distinguished Lecture Series |
08/30/2011 | 13:00 | s.t. | Stefanie Wuhrer | | Isometry-Invariant Shape Analysis | E1 4, 019 | Talk |
08/26/2011 | 15:00 | | Magnus Wahlström | | Polynomial kernels for some graph cut problems | E1 4, AG1 rotunda (3rd floor) | AG1 Mittagsseminar (own work) |
08/26/2011 | 13:00 | | Christine Rizkallah | | Verification of Certifying Computations | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/25/2011 | 16:00 | | Karolina Sołtys | | Polynomial Kernelization Hardness | E1 4, AG1 rotunda (3rd floor) | AG1 Mittagsseminar (own work) |
08/25/2011 | 14:00 | | Guy Even | | Introduction to LP decoding of Error Correcting Codes (Part 2) | E1 4, 024 | Talk |
08/24/2011 | 14:00 | | Guy Even | | Introduction to LP decoding of Error Correcting Codes (Part 1) | E1 4, 024 | Talk |
08/23/2011 | 13:30 | s.t. | Prof. Ion Stoica | | Mesos: Multiprogramming for Datacenters | E1 5, 5th floor | SWS Distinguished Lecture Series |
08/23/2011 | 11:00 | | Philip Busch | | Randomized Rumor Spreading in the Karlsruhe Email Graph (Bachelor Thesis Initial Talk) | E1 4, 3rd floor rotunda | Talk |
08/19/2011 | 13:00 | s.t. | Shakhar Smorodinsky | | The potential to improve the choice: List coloring for geometric hypergraphs | E1 4, 024 | Talk |
08/16/2011 | 13:00 | | Hans De Sterck | | A residual-minimizing nonlinear optimization method applied to tensor approximation | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/16/2011 | 13:00 | s.t. | Eakta Jain | | Attention-guided Augmentation of Animations and Stills | E1 4, 019 | Talk |
08/11/2011 | 14:30 | | Prof. Donald Kossmann | | Predictable Performance for Unpredictable Workloads | E1 5, 5th floor | SWS Distinguished Lecture Series |
08/09/2011 | 13:00 | | Weidong Ma | | A Novel Approach to Improve the Quality of Equilibria of Selfish Scheduling | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/02/2011 | 13:00 | | Rob van Stee | | A (5/3+epsilon)-approximation for strip packing | E1 4, 021 | AG1 Mittagsseminar (own work) |
08/01/2011 | 14:00 | | Chris Bregler | | From the Silver Screen to the Stadium: Next Gen Motion Capture | E1 4, 019 | Talk |
07/29/2011 | 13:00 | | He Sun | | Low Randomness Rumor Spreading via Hashing | E1 4, 021 | AG1 Mittagsseminar (own work) |
07/28/2011 | 13:30 | s.t. | Johannes Gehrke | | Declarative Data-Driven Coordination Through Entanglement | E1 4, 024 | SWS Distinguished Lecture Series |
07/27/2011 | 13:00 | | Katarzyna Paluch | | Half-edges | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/26/2011 | 13:00 | | Torsten Mütze | | On sparse Ramsey graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/25/2011 | 11:15 | | Marek Kosta | | PhD Application Talk: Flip-pushdown automata: Nondeterministic ε-moves can be removed | E1 4, 024 | PhD Application Talk |
07/25/2011 | 11:15 | | Martin Simonovsky | | PhD Application Talk: Hand shape recognition using a ToF camera - an application to sign language | E1 4, 024 | PhD Application Talk |
07/25/2011 | 11:15 | | Rohit Babbar | | PhD Application talk: Regularization path for Lp-norm multiple kernel learning | E1 4, 024 | PhD Application Talk |
07/25/2011 | 11:15 | | Vineet Ghandi | | PhD Application Talk: 3D reconstruction by fusion of TOF sensor and stereoscopic matching by seed growing | E1 4, 024 | PhD Application Talk |
07/25/2011 | 09:00 | | Ahmed El-Roby | | PhD Application Talk: Ranged maximal pairs queries using suffix trees and relational model | E1 4, 024 | PhD Application Talk |
07/25/2011 | 09:00 | | Ahmet Emre Aladag | | PhD Application Talk: Robinviz (Reliability Oriented Bioinformatic Network Visualization) | E1 4, 024 | PhD Application Talk |
07/25/2011 | 09:00 | | Min Ye | | PhD Application Talk: Text mining for building a biomedical knowledge base on diseases, risk Factors, and symptoms | E1 4, 024 | PhD Application Talk |
07/25/2011 | 09:00 | | Sairam Gurajada | | PhD Application Talk: Query-log based on-line index maintenance for information retrieval systems | E1 4, 024 | PhD Application Talk |
07/25/2011 | 09:00 | | Yagiz Kargin | | PhD Application Talk: Distributed analytics over web archives | E1 4, 024 | PhD Application Talk |
07/22/2011 | 14:30 | | Massimiliano Marcon | | System Designs for Bulk and User-generated Content Delivery in the Internet | E1 5, 205 | SWS Student Defense Talks - Thesis Defense |
07/22/2011 | 13:00 | | Dominik Freydenberger | | Extended Regular Expressions: Succinctness and Decidability | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/19/2011 | 13:00 | | Pascal Schweitzer | | Online Graph Exploration | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/13/2011 | 15:00 | | Manindra Agrawal | | The N notequal NP Hypthothesis | E1 4, 024 | MPI Colloquium Series Distinguished Speaker |
07/11/2011 | 12:00 | s.t. | Ilya Goncharov | | Local assumption selection for variational optical flow | E1 4, 024 | IMPRS Research Seminar |
07/11/2011 | 12:00 | s.t. | Richard Röttger | | Extensions to Transitivity Clustering | E1 4, 024 | IMPRS Research Seminar |
07/08/2011 | 13:00 | | Ragesh Jaiswal | | Streaming k-means Clustering | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/07/2011 | 10:00 | | Deepak Kapur | | A Geometric Local Quantifier-Elimination Heuristic for Octagonal Constraints | E1 4, 019 | Talk |
07/06/2011 | 12:15 | | Sebastian Michel | | Efficient Processing of Web 2.0 Streams | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
07/05/2011 | 14:15 | | Matthias Horbach | | Towards Automated Program Analysis using First-Order Theorem Proving | E1 4, 024 | Talk |
07/05/2011 | 13:00 | | Markus Wagner | | Evolving Pacing Strategies for Team Pursuit Track Cycling | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/05/2011 | 13:00 | | Ragesh Jaiswal | | Streaming k-means Clustering | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/05/2011 | 13:00 | | Thomas Neumann | | The "Fit to Deformation" Project: Precise Surface Mo-Cap of High Performance Sports Apparel | E1 4, 019 | Talk |
07/04/2011 | 14:00 | | Erin Wolf Chambers | | Flows in 1-crossing-minor-free graphs | E1 4, 024 | Talk |
07/01/2011 | 13:00 | | Mahmoud Fouz | | Almost Optimal Randomized Rumor Spreading | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/30/2011 | 14:15 | | Philipp Ruemmer | | Craig interpolation for integer arithmetic, uninterpreted functions, and the theory of arrays | E1 4, 024 | Talk |
06/28/2011 | 13:00 | | Ragesh Jaiswal | | Streaming k-means Clustering | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/28/2011 | 13:00 | s.t. | Tobias Tscheuschner | | On the complexity of local max-cut | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/22/2011 | 16:00 | | Nitin Saxena | | Algebraic Independence and Applications | E1 4, 024 | Talk |
06/22/2011 | 13:00 | | Claudio Magni | | k-Clustering Minimum Biclique Completion | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/21/2011 | 13:00 | | R. Ravi | | Approximation Algorithms for Correlated Knaspacks and Non-Martingale Bandits | E1 4, 024 | Talk |
06/17/2011 | 14:00 | | Dr Barry G. Blundell | | 3D: ARE WE GETTING IT RIGHT? | Build. D3 2, VisCenter at DFKI | Lecture |
06/17/2011 | 13:00 | | Khaled Elbassioni | | Some algorithmic results on two-person zero-sum limit average payoff stochastic games | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/16/2011 | 14:00 | s.t. | Antti Oulasvirta | | Embodied human-computer interaction | E1 4, 019 | Talk |
06/09/2011 | 14:00 | | Christian Hammer | | Flexible Access Control Policies with Delimited Histories with Revocation | E1 4, 019 | Talk |
06/09/2011 | 11:30 | | Eric Bodden | | Clara: Proving safety and security properties by evaluating runtime monitors ahead of time | E1 4, 019 | Talk |
06/09/2011 | 09:00 | | Sebastian Gajek | | Composable Protocols for the Cloud | E1 4, 019 | Talk |
06/07/2011 | 11:30 | | Dominique Schröder | | Limitations on Provable Security, and Beyond | E1 4, 019 | Talk |
06/07/2011 | 09:00 | | Thomas Schneider | | Engineering Privacy-Preserving Cryptographic Protocols | E1 4, 019 | Talk |
06/03/2011 | 13:00 | s.t. | Efi Fogel | | Polyhedral Assembly Partitioning with Infinite Translations | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/02/2011 | 15:00 | | Andrew Pitts | | Names, Binding and Computation | E1 5, 5th floor | SWS Colloquium |
06/02/2011 | 11:00 | | Dawn Song | | WebBlaze: New Techniques and Tools for Web Security & BitBlaze: Computer Security via Binary Analysis | G26 [KL], 206 | SWS Distinguished Lecture Series |
06/01/2011 | 14:00 | | Maximilian Imgrund | | Search engines redefined: Combining random-walk and evolutionary algorithms to a distributed search engine | E1 4, 3rd floor rotunda | Talk |
06/01/2011 | 12:15 | | Paul Francis | | Targeting without Tracking, or: Not all Adware is Badware | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
06/01/2011 | 11:00 | | Ashish Ranjan Rota | | Ant Colony Optimization and Hypergraph Covering Problems | E1 4, 3rd floor rotunda | Talk |
05/27/2011 | 13:00 | | Xi Wu | | Weak Compositions and Polynomial Lower-Bounds for Kernelization | E1 4, 024 | Talk |
05/25/2011 | 16:00 | | Ron Goldman | | Understanding Quaternions | E1 4, 019 | Talk |
05/25/2011 | 15:00 | | Xiaohong Jia | | Using Four Explicit Formulas to Determine the Configuration of Two Ellipsoids | E1 4, 019 | Talk |
05/25/2011 | 11:00 | | Vijay Ingalalli | | master thesis (initial talk): Evolutionary Algorithms to Compute Lower Bounds for the Star Discrepancy | E1 4, Rotunda 3rd floor | Talk |
05/24/2011 | 13:00 | s.t. | Eric Berberich | | Arrangement Computation for Planar Algebraic Curves | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/23/2011 | 16:00 | | Barbara Liskov | | The Power of Abstraction | Uni Kaiserlautern [KL], Rotunda 57 | SWS Distinguished Lecture Series - Spring |
05/23/2011 | 12:00 | | Nikolaos Arvanitopoulos-Darginis | | Aggregation of Clustering Information for Semi-Supervised Learning | E1 4, 024 | IMPRS Research Seminar |
05/23/2011 | 12:00 | | Sergiy Byelozyorov | | An Open Modular Architecture for Effective Integration of Virtual Worlds in the Web | E1 4, 024 | IMPRS Research Seminar |
05/20/2011 | 15:00 | | Sebastian Nowozin | | Interpreting the Visual World with Statistical Models: Pitfalls and Potentials | E1 4, 022 | Talk |
05/20/2011 | 13:00 | s.t. | Alexander Kobel | | Certified Complex Numerical Root Finding | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/18/2011 | 14:00 | | Violeta Ivanova | | Comparison of Methods for the Discovery of Copy Number Aberrations Relevant to Cancer | E1 4, 022 | Talk |
05/17/2011 | 16:00 | | Rudolf Fleischer | | Traffic control with a fixed budget | E1 4, Rotunde AG1 | Talk |
05/13/2011 | 13:00 | | Juan Gerardo Alcázar | | Shapes in One-Parameter Families of Algebraic Objects | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/10/2011 | 14:00 | | All members of D1 | | Practice Run of Poster Presentation for the Advisory Board Visit | E1 4, 3rd Floor | Presentation |
05/10/2011 | 13:00 | | Elad Cohen | | Intersection Graphs of Paths on a Grid | E1 4, 024 | Talk |
05/09/2011 | 12:00 | s.t. | Leonid Pishchulin | | Learning People Detection Models from Few Training Samples | E1 4, R024 | IMPRS Research Seminar |
05/09/2011 | 12:00 | s.t. | Mateusz Malinowski | | Reconstruction of MR Images from Incomplete Measurements | E1 4, R024 | IMPRS Research Seminar |
05/06/2011 | 13:00 | | Madhusudan Manjunath | | A duality theorem and computing the rank of a configuration on a finite graph. | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/06/2011 | 10:00 | | Frank Staals | | Geographic Grid Embeddings | E1 4, 022 | Talk |
05/06/2011 | 10:00 | s.t. | Gernot ZIEGLER | | GPU Data Structures for Graphics and Vision | E1 4, 019 | Promotionskolloquium |
05/04/2011 | 12:15 | | Thomas Sturm | | Effective Quantifier Elimination - Implementations, Applications, Perspectives | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
05/03/2011 | 13:00 | | AG 1 | | Group Meeting AG1 (Preparation of visit of advisory board) | E1 4, 024 | AG1 Group Meeting |
04/29/2011 | 13:00 | | Neel Krishnaswami | | Ultrametric Semantics of Reactive Programs: or, How to Prove a GUI Correct | E1 5, 5th floor | SWS Colloquium |
04/29/2011 | 13:00 | | Tomasz Jurkiewicz | | FIT2011 - report | E1 4, 024 | AG1 Mittagsseminar (others' work) |
04/28/2011 | 14:15 | | Cezara Dragoi | | On Inter-Procedural Analysis of Programs with Lists and Data | Uni Kaiserlautern, building 48 [KL], 680 | SWS Colloquium |
04/28/2011 | 14:00 | s.t. | Silvio Ranise | | Efficient Symbolic Automated Analysis of Administrative Attribute-based RBAC-Policies | E1 4, 019 | Talk |
04/21/2011 | 15:00 | | Katarzyna Paluch | | Balanced matchings, unbalanced ones and related problems. | E1 4, 024 | Talk |
04/20/2011 | 15:00 | | Vincenzo Bonifaci | | Secrets of the Slime Mold | E1 4, D1 Rotunda | Talk |
04/19/2011 | 13:00 | | Fritz Eisenbrand | | Talk is cancelled due to illness of speaker | E1 4, 024 | Lecture |
04/19/2011 | 11:00 | | Christoph Rhemann | | Recent progress for alpha matting and visual correspondence | E1 4, 019 | Talk |
04/18/2011 | 15:00 | | Ashish Choudhury | | Statistical Asynchronous Weak Commitment Scheme: A NewPrimitive to Design Statistical Asynchronous Verifiable SecretSharing Scheme | E 1 7, 323 | SWS Colloquium |
04/18/2011 | 11:00 | | Martin Vechev | | Machine-Assisted Concurrent Programming | G26 [KL], 206 | SWS Colloquium |
04/15/2011 | 14:00 | | Thomas Wies | | Logical Abstractions for Verification | E1 3, 407 | Talk |
04/15/2011 | 13:00 | | Konstantinos Panagiotou | | Ultra-Fast Rumor Spreading in Models of Real-World Networks | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/12/2011 | 13:00 | | Carola Winzen | | Towards a Complexity Theory for Randomized Search Heuristics: Black-Box Models | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/08/2011 | 13:00 | | Keping Huang | | Introduction to holographic algorithms and dichotomy theorems | E1 4, 024 | AG1 Mittagsseminar (others' work) |
04/07/2011 | 14:00 | | Ina Schaefer | | Delta-oriented Software Product Lines | E1 3, 407 | Talk |
04/07/2011 | 13:30 | | Biwas Mitra | | Resilience to Clustering: Analyzing Dynamics in Evolving Networks | E1 5, 5th floor | SWS Colloquium |
04/07/2011 | 11:30 | | Jan Reineke | | What is Predictability? | E1 3, 407 | Talk |
04/07/2011 | 09:45 | | Andreas Raabe | | Hardware/Software Interaction in Embedded MPSoC Systems | E1 3, 407 | Talk |
04/07/2011 | 08:00 | | Swen Jacobs | | Hierarchic Decision Procedures for Verification | E1 3, 407 | Talk |
04/06/2011 | 12:15 | | Rainer Gemulla | | Large-Scale Matrix Factorization | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
04/04/2011 | 14:00 | s.t. | Timothy Mattson | | The Future of Many Core Processors - A Tale of Two Processors | D3 2, Visualization Center | Talk |
04/04/2011 | 14:00 | | Nitin Saxena | | Blackbox Identity Testing for Depth-3 Circuits | E1 4, 024 | Talk |
04/04/2011 | 12:00 | | Matthias Mnich | | Domination When the Stars Are Out | E1 4, 024 | Lecture |
04/04/2011 | 10:30 | | Deepak Garg | | Controlling Access to Data: A Logic-Based Approach | E1 5, 5th floor | SWS Colloquium |
03/30/2011 | 13:30 | | Adrian Neumann | | An Implementation of Schmidts Certifying Algorithm for Triconnectivity | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/29/2011 | 13:00 | | Xavier Pérez Giménez | | Hamilton cycles in the random geometric graph | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/28/2011 | 10:30 | | Rohan Narayana Murty | | Opportunistic Wireless Network Architectures | E1 5, 5th floor | SWS Colloquium |
03/25/2011 | 13:00 | | Nikolaos Fountoulakis | | What I tell you three times is true: bootstrap percolation in small worlds | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/23/2011 | 11:00 | | Dan Suciu | | Querying Probabilistic Data | E1 5, 5th floor | SWS Distinguished Lecture Series |
03/22/2011 | 13:00 | | Timo & Lap-Kei & Benjamin | | Best of STACS | E1 4, 024 | Lecture |
03/21/2011 | 10:30 | | Björn Brandenburg | | Towards Multicore-Ready real-time operating Systems | G26 [KL], 206 | SWS Colloquium |
03/18/2011 | 15:00 | | Tetsuo Asano | | Memory-Constrained Computation | E1 4, 024 | Lecture |
03/18/2011 | 13:00 | | Danny Hermelin | | Distance Oracles for Vertex-Colored Graphs | E1 4, 024 | Lecture |
03/17/2011 | 14:00 | | Prahladh Harsha | | Almost Settling the Hardness of Noncommutative Determinant | E1 4, 024 | Talk |
03/17/2011 | 10:30 | | Emiliano De Cristofaro | | Sharing Sensitive Information with Privacy | G26 [KL], 206 | SWS Colloquium |
03/16/2011 | 13:00 | s.t. | Jaroslav Krivanek | | Solving global illumination with many-light methods | E1 4, 019 | Talk |
03/15/2011 | 14:00 | | Santiago Zanella Béguelin | | Automated Construction of Machine-Checked Cryptographic Proofs | E1 4, 024 | SWS Colloquium |
03/15/2011 | 13:00 | | Sven-Ake Wegner | | Equidistant Sets in the Hypercube | E1 4, Rotunde | Talk |
03/14/2011 | 14:00 | | Alla Sheffer | | Geometry Processing for Man-Made Shapes | E1 4, 024 | Talk |
03/08/2011 | 11:00 | | Prof. Robert Kraut | | Commitment and Coordination in Open Source Production: Studies in Wikipedia | Uni Kaiserlautern [KL], Rotunda in bldg.57 | SWS Distinguished Lecture Series |
03/04/2011 | 13:00 | | Vincent van der Weele | | Convex Treemaps with Bounded Aspect Ratio | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/03/2011 | 14:00 | | Benjamin Doerr | | Randomized Rumor Spreading in Social Networks | E1 4, 3rd floor rotunda | Talk |
03/03/2011 | 10:00 | | Ruzica Piskac | | Software Synthesis using Automated Reasoning | G26 [KL], 206 | SWS Colloquium |
03/01/2011 | 13:00 | | Stefan Kratsch | | Preprocessing for Treewidth: A Combinatorial Analysis through Kernelization | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/28/2011 | 10:00 | | Karyn Moffatt | | Accessibility and Beyond:Addressing the Technology Needs and Wants of Older Adults | G26 [KL], 206 | SWS Colloquium |
02/25/2011 | 13:30 | | Asaf Levin | | An AFPTAS for variable sized bin packing with general bin costs | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/25/2011 | 13:00 | | Leah Epstein | | Optimal robust algorithms for preemptive scheduling | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/24/2011 | 14:00 | | George Giakkoupis | | Rumor Spreading and Graph Conductance | E1 4, TBD | Talk |
02/23/2011 | 15:00 | c.t. | Touseef Liaqat | | An Introduction to Python | E1 4, 024 | Talk |
02/23/2011 | 14:00 | s.t. | Zhao D O N G | | Visually Pleasing Real-Time Global Illumination Rendering for Fully-Dynamic Scenes | E1 4, 019 | Promotionskolloquium |
02/22/2011 | 13:00 | | Timo Kötzing | | Measuring Learning Complexity | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/21/2011 | 14:00 | s.t. | Amirhossein Habibian | | Using Visual Attention for Omnidirectional Image Classification | E1 4, R024 | PhD Application Talk |
02/21/2011 | 14:00 | s.t. | Caigui Jiang | | Linear Camera Pose Estimation from 3D to 2D Feature Correspondences | E1 4, R024 | PhD Application Talk |
02/21/2011 | 14:00 | s.t. | David Weiss | | Schedule Optimization for Software Projects | E1 4, R024 | PhD Application Talk |
02/21/2011 | 14:00 | s.t. | Rashid Ibragimov | | Graph Edit Distance for Knowledge Discovery in Biological Networks | E1 4, R024 | PhD Application Talk |
02/21/2011 | 11:00 | s.t. | Claudio Magni | | Biclique Completion Problem: Models and Algorithms | E1 4, R024 | PhD Application Talk |
02/21/2011 | 11:00 | s.t. | Ebrahim Ehsanfar | | Generating Recommendations in Social Networks of Intelligent Blogs | E1 4, R024 | PhD Application Talk |
02/21/2011 | 11:00 | s.t. | Georgios Askalidis | | Kernelization Algorithms on Sparse Graphs | E1 4, R024 | PhD Application Talk |
02/21/2011 | 11:00 | s.t. | Jiehua Chen | | Scalability of a Distributed Virtual Environment Based on a Structured Peer-To-Peer Architecture | E1 4, R024 | PhD Application Talk |
02/21/2011 | 11:00 | s.t. | Maria Anikeeva | | Modeling of Evaluation Systems Using Aggregation Operators | E1 4, R024 | PhD Application Talk |
02/21/2011 | 09:00 | s.t. | Erdal Kuzey | | Extraction of Temporal Facts and Events from Wikipedia | E1 4, R024 | PhD Application Talk |
02/21/2011 | 09:00 | s.t. | Han Xiao | | Toward Artificial Synesthesia: Linking Images and Sounds via Words | E1 4, R024 | PhD Application Talk |
02/21/2011 | 09:00 | s.t. | Nanzhu Jiang | | An Analysis of Automatic Chord Recognition Procedures for Music Recordings | E1 4, R024 | PhD Application Talk |
02/21/2011 | 09:00 | s.t. | Ziquan Zhu | | Incorporating Domain-Dependent Knowledge into a Golog-based System – An Empirical Evaluation | E1 4, R024 | PhD Application Talk |
02/18/2011 | 13:00 | | Jane Gao | | Some (open) problems in geometric combinatorics | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/17/2011 | 14:00 | s.t. | Prof. Marie-Paule Cani | | Implicit blending revisited: new advances towards intuitive modeling and animation | E1 4, 019 | Talk |
02/15/2011 | 13:00 | | Mihyun Kang | | Phase transitions in random graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/14/2011 | 15:00 | | Andreea Minca | | Resilience to Contagion in Financial Networks | E1 4, 3rd floor rotunda | Talk |
02/11/2011 | 13:00 | | Kurt Mehlhorn | | The Physarum Computer | E1 4, 024 | Talk |
02/09/2011 | 14:00 | | Spyros Angelopoulos | | Multi-target ray searching problems | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/08/2011 | 14:15 | | Florent Jacquemard | | Emptiness decision for tree automata with global equality and disequality constraints | E1 4, 019 | Talk |
02/08/2011 | 13:00 | | Glenn Lawyer | | The Chinese Restaurant from Hell | E1 4, 024 | Lecture |
02/04/2011 | 14:00 | | Prof. Leonidas Guibas | | The Information is in the Maps | E1 4, 024 | Talk |
02/04/2011 | 13:00 | | Piyush P Kurur | | Correcting quantum errors without the physics. | E1 4, 024 | Lecture |
02/02/2011 | 16:00 | | Christian Theobalt | | New Methods for Dynamic Scene Reconstruction | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
02/02/2011 | 10:15 | | Alexey Pospelov | | Fast Fourier transforms: Exhaustive performance in restricted conditions | E1 3, 415 | Talk |
02/01/2011 | 13:00 | s.t. | Tobias Friedrich | | Fast Simulation of Large-Scale Growth Models | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/01/2011 | 11:00 | | Anne Schlicht | | Distributed Resolution for Description Logic Ontologies | E1 7, 0.01 | Talk |
01/28/2011 | 10:15 | | Alexey Pospelov | | Fast Fourier transforms: An overview | E1 3, 415 | Talk |
01/25/2011 | 13:00 | | Dr. Nikolaus Augsten | | TASM: Top-k Approximate Subtree Matching | E 1 7 - MMCI, 0.01 | Talk |
01/24/2011 | 16:00 | | Benjamin Doerr | | Randomized Rumor Spreading---Talking to More or Less Random People | E1 4, 3rd floor rotunda | Talk |
01/21/2011 | 13:00 | | Valentin Polishchuk | | Simple Wriggling is Hard unless you are a Fat Hippo | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/20/2011 | 14:00 | | Slobodan Ilic | | Probabilistic Deformable Surface Tracking from Multiple Videos: A Patch-Based Approach | E1 4, 019 | AG4 Talk |
01/18/2011 | 13:00 | | Megha Khosla | | The Multiple-orientability Thresholds for Random Hypergraphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/14/2011 | 13:00 | | Oliver Schaudt | | The structure of total dominating sets | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/14/2011 | 11:00 | | Christoph Sticksel | | Instantiation-based Methods for Equational Reasoning and Towards Theories Beyond | E1 7, 2.01 | Talk |
01/12/2011 | 16:00 | | Giorgos Christodoulou | | Mechanisms for Resource Allocation Games | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
01/12/2011 | 13:30 | | Prof. M. Angela Sasse | | Designing systems that are secure and usable | G26 [KL], 206 | SWS Distinguished Lecture Series |
01/11/2011 | 12:00 | | Laura Dietz | | Exploiting Graph-Structured Data in Generative Probebilistic Models | E1 4, 024 | Promotionskolloquium |
01/06/2011 | 13:00 | s.t. | Aravind Vasudevan | | An Introduction to Mixed Precision Methods | E1 4, R024 | IMPRS Research Seminar |
01/01/2011 | 14:00 | | peter | | einmal über die Sicherheit<b>ddd</b> | E1 5, 007 | Talk |
12/20/2010 | 11:00 | | Baris Sertkaya | | An Overview on Description Logics | E1 7, 2.01 | Talk |
12/17/2010 | 14:00 | | Nestan Tsiskaridze | | Conflict Resolution | E1 7, 2.01 | Talk |
12/17/2010 | 13:00 | | Alexandre Stauffer | | Detection and Percolation in Mobile Geometric Graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/16/2010 | 11:00 | | Marco Volpe | | Labeled natural deduction for temporal logics | E1 7, 2.01 | Talk |
12/15/2010 | 14:00 | | Prof. Dr.-Ing. Hendrik Lensch | | Efficient Rendering, Filtering and Acquisition | E1 4, 019 | Talk |
12/15/2010 | 13:00 | | Gerard de Melo | | Graph-based Methods for Large-Scale Multilingual Knowledge Integration | E1 4, 024 | Promotionskolloquium |
12/15/2010 | 13:00 | s.t. | Hélène Papadopoulos | | Joint Estimation of Musical Content Information From an Audio Signal | E1 4, 019 | Talk |
12/15/2010 | 09:00 | s.t. | Matthias Hullin | | Reconsidering Light Transport: Acquisition and Display of Real-World Reflectance and Geometry | E1 4, 019 | Promotionskolloquium |
12/14/2010 | 14:30 | | François Schwarzentruber | | Seeing, knowing, doing: some modal logics for Articial Intelligence | E1 7, 2.01 | Talk |
12/14/2010 | 13:00 | | Reto Spöhel | | Coloring random graphs online without creating monochromatic subgraphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/10/2010 | 15:15 | | Marianne Winslett | | Addressing Insider Threats to Data Integrity-- and --Supporting Differentially-private Analysis of Sensitive Biomedical Data | E1 4, 024 | Talk |
12/10/2010 | 13:00 | | Piotr Krysta | | Utilitarian Mechanism Design for Multi-objective Optimization | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/10/2010 | 11:00 | | Jens Dittrich | | The Hadoop++ Project | E1 5, 5th floor | SWS Colloquium |
12/09/2010 | 13:00 | | AG1 | | Group Meeting | E1 4, 024 | Lecture |
12/09/2010 | 10:30 | | Martin Hoefer | | Approximation Algorithms for Secondary Spectrum Auctions | E1 4, Rotunda | Talk |
12/09/2010 | 09:00 | s.t. | Tunc Ozan A Y D I N | | Human Visual System Models in Computer Graphics | E1 4, 019 | Promotionskolloquium |
12/07/2010 | 13:00 | | Anna Huber | | Submodular Functions in Computer Science | E1 4, 024 | AG1 Mittagsseminar (basic education) |
12/03/2010 | 15:00 | | Pinyan Lu | | Asymptotically Optimal Strategy-Proof Mechanisms for Two-Facility Games | E1 4, Rotunda 3rd Floor | Talk |
12/03/2010 | 13:00 | | Thomas Sauerwald | | Rumor Spreading and Vertex Expansion | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/02/2010 | 14:00 | | Tomoyuki Suzuki | | Towards an algebraic foundation of general program logics | E1 7, 2.01 | Talk |
12/01/2010 | 16:00 | | Ivo Ihrke | | Light in a Box: Ye Olde Camera in a Different Perspective | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
11/30/2010 | 15:00 | | Vladimir Gurvich | | Metric and ultrametric spaces of resistances | E1 4, Rotunda 3rd floor | AG1 Mittagsseminar (own work) |
11/30/2010 | 13:00 | | Jane Gao | | Approach to a mystery -- Distributions of spanning subgraphs in random graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/29/2010 | 11:00 | | Yuri Gurevich | | Logic, Policy, and Federation in the Cloud | E1 4, 024 | SWS Distinguished Lecture Series |
11/25/2010 | 14:00 | | Everardo Barcenas | | On the Count of Trees | E1 7, 2.01 | Talk |
11/24/2010 | 14:15 | | Uli Sattler | | Logics and Ontology Engineering | E1 4, 024 | Talk |
11/23/2010 | 13:00 | | Tomasz Jurkiewicz | | Efficient Quicksort and 2D Convex Hull for CUDA, and MPRAM as a Realistic Model of Massively Parallel Computations. | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/23/2010 | 11:00 | | Nitin Gupta | | SMOOTHIE: Scalable transaction processing in the cloud | E1 5, 5th floor | SWS Colloquium |
11/23/2010 | 10:30 | | Dirk Sudholt | | Computational Complexity of Parallel Evolutionary Algorithms | E1 4, 3rd floor rotunda | Talk |
11/17/2010 | 17:00 | s.t. | Arne Elofsson | | Multidomain protein evolution and orphans. | E2 1, 001 | CBI Colloquium Series |
11/17/2010 | 14:15 | | Prof. Arne Elofsson | | Progress in Membrane protein bioinformatics. | E1 4, 024 | Talk |
11/17/2010 | 14:00 | | Veronique Cortier | | Verification of Security Protocols | E1 7 Clustergebäude, 001 | Talk |
11/16/2010 | 13:00 | | Frank Neumann | | Optimizing the Turbine Placement of Large Wind Farms | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/13/2010 | 14:45 | | Marc Noy | | Asymptotic enumeration of maps and graphs | E1 3, HS 002 | Talk |
11/13/2010 | 09:30 | | Daniela Kühn | | Hamilton cycles in graphs and digraphs | E1 3, HS 002 | Talk |
11/13/2010 | 09:00 | | Many More, e.g. Gariele Nebe and Marc Noy | | 29th Colloquium on Combinatorics (2nd day) | E1 4 - MPI-INF and E1 3, Many | Mathematisches Kolloquium |
11/12/2010 | 17:30 | | Gabriele Nebe | | An extremal even unimodular lattice of dimension 72 | E1 2, HS 002 | Talk |
11/12/2010 | 11:00 | | Lucja Kot | | Entangled queries: an abstraction for declarative data-driven coordination. | G26 [KL], 206 | SWS Colloquium |
11/12/2010 | 10:00 | s.t. | Mohammad Reza Yousefi | | Generating Detailed Face Models by Controlled Lighting | E1 4, 019 | Talk |
11/12/2010 | 09:30 | | Dominique Foata | | Descents and decreases, rises and increases | E1 3, HS 002 | Talk |
11/12/2010 | 09:00 | | Many, e.g. Dominique Foata and Daniela K"uhn | | 29th Colloquium on Combinatorics | E1 4, 024 | Mathematisches Kolloquium |
11/11/2010 | 13:00 | | Karolina Soltys | | Scrabble is PSPACE-complete | E1 4, 3rd floor rotunda | Talk |
11/11/2010 | 10:30 | | Hamid Mahini | | Iterative Pricing over Social Networks | E1 4, Rotunda 3rd floor | Talk |
11/10/2010 | 14:15 | | Thomas Schneider | | Modularity of Ontologies | E1 3, 528 | Talk |
11/05/2010 | 13:00 | | Sagarmoy Dutta | | Quantum Cyclic Code | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/04/2010 | 13:30 | | Alberto Griggio | | Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic | E1 4, 019 | Talk |
11/03/2010 | 16:00 | | Sebastian Michel | | Efficient Processing of Web 2.0 Streams | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
11/02/2010 | 13:00 | | Anke van Zuylen | | How to combine preferences | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/29/2010 | 13:00 | | Chandan Saha | | The Sum of Square Roots Problem over Polynomials and a Special Class of Integers | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/28/2010 | 13:00 | | Timo Bingmann | | Introduction to Mathematical Aspects of Modeling 802.11 Communication in ns-3 | E1 4, 3rd floor rotunda | Talk |
10/27/2010 | 16:30 | | Marcel Dischinger | | Making Broadband Access Networks Transparent to Researchers, Developers, and Users | E1 4, 024 | SWS Student Defense Talks - Thesis Defense |
10/27/2010 | 14:00 | c.t. | Christel Baier | | On Model Checking Techniques forRandomized Distributed Systems | E1 4, 024 | Talk |
10/26/2010 | 14:00 | | Georg Moser | | Automated Complexity Analysis Based on the Dependency Pair Method | E1 4, 019 | Talk |
10/26/2010 | 13:00 | | Timo Kötzing | | Ant Colony Optimization and TSP | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/22/2010 | 13:00 | | Xujin Chen | | Stability vs. Optimality in Atomic Selfish Routing for Egalitarian Objective | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/15/2010 | 15:00 | | Rolf Harren | | Two-dimensional packing problems | E1 7, 0.01 | Promotionskolloquium |
10/15/2010 | 11:00 | | Hassan Hatefiardakani | | Evaluation of Aggregation Techniques for the Enzyme-Catalyzed Substrate Conversion Modeling | E1 4, 024 | PhD Application Talk |
10/15/2010 | 11:00 | s.t. | Levan Kasradze | | Implementation of a File-Based Indexing Framework for the TopX Search Engine | E1 4, 024 | PhD Application Talk |
10/15/2010 | 11:00 | s.t. | Nadezda Osadchieva | | Software Implementation of Mathematical Models Based on Nonlinear Integro-Differential Equations | E1 4, 024 | PhD Application Talk |
10/15/2010 | 09:00 | s.t. | Artur Koch | | Fast and Scalable CPU/GPU Collision Detection for Rigid and Deformable Surfaces | E1 4, 024 | PhD Application Talk |
10/15/2010 | 09:00 | s.t. | Christina Teflioudi | | Extending Inductive Logic Programming for Large and Incomplete Knowledge Bases | E1 4, 024 | PhD Application Talk |
10/15/2010 | 09:00 | s.t. | Florian Gross | | Index Compilation: Fusing Data into Code | E1 4, 024 | PhD Application Talk |
10/15/2010 | 09:00 | s.t. | Richard Röttger | | Estimating the Size and Completeness of Gene Regulatory Networks | E1 4, 024 | PhD Application Talk |
10/13/2010 | 14:30 | | Marc Levoy | | Computational photography and the Stanford Frankencamera | E1 4, 019 | Talk |
10/12/2010 | 13:00 | | Chien-Chung Huang | | Group Mutual Exclusion in $O(\log n)$ RMR | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/12/2010 | 13:00 | s.t. | Daniel Mewes | | Bachelor Thesis Preview: Extracting Point Features for Symmetry Detection | E1 4, 019 | Talk |
10/08/2010 | 15:00 | | Marc Fournier | | Vector field distance transform: An implicit alternative representation for mesh fusionand filtering in the surface reconstruction process of scanned objects | E1 4, 019 | Talk |
10/07/2010 | 13:00 | c.t. | Stefan Jeschke | | Diffusion Curve Images - Rendering in 2 and 3 Dimensions | E1 4, 019 | Talk |
10/06/2010 | 16:00 | | Krishna Gummadi | | Random Ratiocinations on Online Social Networking Research | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
10/05/2010 | 13:00 | | Dominik Scheder | | A Full Derandomization of Schoening's k-SAT Algorithm | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/01/2010 | 13:00 | | AG1 | | ESA Report, Part II | E1 4, 024 | Lecture |
09/28/2010 | 13:00 | | AG1 | | AG1 Group Meeting and ESA Report, Part I | E1 4, 024 | Lecture |
09/24/2010 | 13:00 | | Jan Foniok | | Constraint satisfaction, tree duality and adjoint functors | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/22/2010 | 14:00 | | Marc Eisenbarth | | Empirical Analysis of Diffusive Load-Balancing | E1 4, Rotunda 3rd floor | Talk |
09/22/2010 | 10:00 | | Anna Huber | | Randomized Rounding and Rumor Spreading with Stochastic Dependencies | E1 4, 024 | Promotionskolloquium |
09/21/2010 | 13:00 | | Karsten Borgwardt | | The Weisfeiler-Lehman Kernel | E1 4, 024 | Talk |
09/20/2010 | 14:00 | | Nino Shervashidze | | Graphlet Spectrum | E1 4, 024 | Talk |
09/10/2010 | 14:15 | | Dr. Chad E. Brown | | Reducing Theorem Proving to a Sequence of SAT Problems | E1 3, 528 | Talk |
09/10/2010 | 13:00 | | Kurt Mehlhorn | | Geometric Computing (Practice for Invited Talk at ICMS) | E1 4, 024 | Talk |
09/09/2010 | 16:15 | | Thomas Zimmermann | | Emprical Software Engineering and Measurement at Microsoft | E1 3, HS 1 | Lecture |
09/09/2010 | 13:00 | | Kurt Mehlhorn | | Selfish Routing: Price of Anarchy and Coordination Mechanisms (Practice for Invited Talks at ODSA) | E1 4, 024 | Lecture |
09/07/2010 | 14:15 | | Florian Widmann | | From Trees to Graphs | E1 3, 528 | Talk |
09/07/2010 | 13:00 | s.t. | Anton van den Hengel | | Why we need 3D user-created content, or Augmented Reality for all | E1 4, 019 | Talk |
09/06/2010 | 11:00 | | Periklis Akritidis | | Practical memory safety for C | G26 [KL], 206 | SWS Colloquium |
09/03/2010 | 13:00 | | Vincenzo Bonifaci | | Blindfold games, Koenig's infinity lemma and real-time scheduling | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/01/2010 | 16:00 | | Bernt Schiele | | Computer Vision and Multimodal Computing | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
08/31/2010 | 13:00 | | Rob van Stee | | An improved algorithm for online rectangle filling | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/30/2010 | 16:00 | | Stefan Kratsch | | Kernelization of Generic Problems: Upper and Lower Bounds | E1 4, 024 | Promotionskolloquium |
08/26/2010 | 14:00 | | Ullrich Hustadt | | A Comparison of Solvers for Propositional Dynamic Logic | E1 4, 024 | Talk |
08/26/2010 | 13:00 | | Angelika Steger | | Brain Science - A Model for Functional Recovery | E1 4, 024 | Talk |
08/25/2010 | 16:00 | | Carsten Ihlemann | | Reasoning in Combinations of Theories | E1 4, 024 | Promotionskolloquium |
08/23/2010 | 11:00 | | Divyakant Agrawal | | Data in the Cloud: New challenges or more of the same? | E1 4, 024 | Colloquium Lecture |
08/19/2010 | 14:15 | | Prof. J.A. Makowsky | | Logical interpretations of combinatorial functions | E1 3, 415 | Talk |
08/17/2010 | 11:00 | | Mike Rainey | | Effective scheduling techniques for high-level parallel-programming languages | G26 [KL], 206 | SWS Colloquium |
08/13/2010 | 13:00 | | Hamed Amini | | Flooding and diameter in weighted random graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/10/2010 | 13:00 | | Magnus Wahlström | | Complexity of Computing the Star Discrepancy | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/30/2010 | 17:30 | | Carola, Christina, and Markus | | AG1 Summer Schwenkfest | E1 4, barbecue area behind the building | Fest |
07/30/2010 | 13:00 | | AG 1 | | AG 1 Group Meeting | E1 4, 024 | AG1 Group Meeting |
07/29/2010 | 14:00 | | Prudence Wong | | Online coloring in optical networks | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/28/2010 | 16:00 | | Fidaa Abed | | Coordination Mechanisms for Unrelated Machine Scheduling | E1 4, AG 1 Rotunde | Talk |
07/28/2010 | 16:00 | | Esther Mohr | | Online Trading Algorithms (Discussion Group Optimization) | E1 4, 024 | Lecture |
07/27/2010 | 13:00 | | Jeremy Barbay | | Time = Space: From Searching and Sorting to Edge Clique Covering,fast algorithms which yield fast and small data structures. | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/27/2010 | 11:00 | | Chris Bizer and Max Jakob | | DBpedia–An Interlinking Hub connecting the Web of Documents and the Web of Data | E1 4, 024 | Talk |
07/23/2010 | 14:00 | | Jürgen Giesl | | Automated Termination Analysis of Java Bytecode by Term Rewriting | E1 4, 024 | Talk |
07/23/2010 | 13:00 | s.t. | Michael Sagraloff | | An Efficient Method for Solving a System of two Bivariate Polynomials | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/22/2010 | 14:00 | | Matthias Horbach | | Saturation-Based Decision Procedures for Fixed Domain and Minimal Model Validity | E1 4, 019 | Promotionskolloquium |
07/22/2010 | 13:00 | | Vijay Ganesh | | Solvers for Software Reliability and Security | G26 [KL], 206 | SWS Colloquium |
07/22/2010 | 13:00 | s.t. | Martin Simonovsky | | Gesture Recognition for Sign Language using ToF Camera | E1 4, 024 | IMPRS Research Seminar |
07/21/2010 | 11:00 | s.t. | Vahid Kazemi | | Face Registration | E1 4, 019 | Talk |
07/19/2010 | 17:00 | | Klaus Berberich | | Temporal Search in Web Archives | E1 4, 024 | Promotionskolloquium |
07/19/2010 | 13:00 | | Linh Phan | | Timing Analysis of Mixed Time / Event-Triggered Multi-Mode Systems | G26 [KL], 206 | SWS Colloquium |
07/19/2010 | 11:00 | | Kyomin Jung | | Approximate Inference Algorithms in Markov Random Field with Their Applications | E1 5, 5th floor | SWS Colloquium |
07/16/2010 | 13:00 | | Dimitrios Michail | | An Experimental Comparison of Single-Sided Preference Matchings Algorithms | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/16/2010 | 10:15 | s.t. | Alexey Pospelov | | Faster Polynomial Multiplication and Limitations | E1 3, 415 | Talk |
07/15/2010 | 13:00 | s.t. | Fidaa Abed | | Coordination Mechanisms for Unrelated Machine Scheduling | E1 4, 024 | IMPRS Research Seminar |
07/15/2010 | 13:00 | | Tobias Friedrich | | Zufall in der Algorithmik | E1 7 - Clustergebäude (!), 001 | Vorstellungsvortrag für einen Habilitationsantrag |
07/15/2010 | 11:00 | | Daniel Johannsen | | Random Combinatorial Structures and Randomized Search Heuristics | E1 4, 024 | Promotionskolloquium |
07/14/2010 | 10:15 | s.t. | Alexey Pospelov | | Fast Polynomial Multiplication | E1 3, 415 | Talk |
07/13/2010 | 13:00 | | Kiran Varanasi | | SPATIO-TEMPORAL MODELING FROM VISUAL INFORMATION | E1 4, 019 | Talk |
07/12/2010 | 13:00 | | Alexander Elyasov | | PhD Application Talk: Proof Automation of Conditions of C-kernel Programs Correctness Based on PVS | E1 4, 024 | Talk |
07/12/2010 | 13:00 | | Alkhazur Manakov | | PhD Application Talk: Fermat Number Transform based convolver for tomography systems | E1 4, 024 | Talk |
07/12/2010 | 13:00 | | Christoph Johannes Thieme | | PhD Application Talk: Computational prediction of spliced microRNAs in plants | E1 4, 024 | Talk |
07/12/2010 | 13:00 | | Peter Faymonville | | PhD Application Talk: Reactive Synthesis - From Realizability to Optimization | E1 4, 024 | Talk |
07/12/2010 | 10:30 | | Albina Asadulina | | PhD Application Talk: A dictionary of chemical names and synonyms merged from different resources based on 2d graph representation for the purpose of recognition of chemical names in the text | E1 4, 024 | Talk |
07/12/2010 | 10:30 | | David Buezas | | PhD Application Talk: In the hunt for minimum sets of enzymes to cheaply differentiate between similar species through Constraint Programming applied to DNA analysis | E1 4, 024 | Talk |
07/12/2010 | 10:30 | | Fidaa Ali Abed | | PhD Application Talk: | E1 4, 024 | Talk |
07/12/2010 | 10:30 | | Mohamed Yahya | | PhD Application Talk: Optimizing Recursive Query Processing in RDF Knowledge Bases | E1 4, 024 | Talk |
07/12/2010 | 10:30 | | Yin Amy Siu | | PhD Application Talk: Mining Impact of Protein Modifications on Protein-Protein Interactions from Literature | E1 4, 024 | Talk |
07/12/2010 | 10:30 | | Jason Gao | | TBA | E1 4, 023 | Talk |
07/12/2010 | 10:30 | c.t. | Prof. Jason Gao | | Finding long cycles in 3-connected graphs with bounded degrees | E1 4, 023 | Talk |
07/12/2010 | 08:45 | | Ahmed Elhayek | | PhD Application Talk: Simultaneous Interpolation and Deconvolution Approach to 3D Reconstruction of Cell Images | E1 4, 024 | Talk |
07/12/2010 | 08:45 | | Banu Kabakulak | | PhD Application Talk: Modeling and Solving Differentiated Coverage Problem with Connectivity Restrictions for Heterogeneous Sensor Networks | E1 4, 024 | Talk |
07/12/2010 | 08:45 | | Phuc Loi Luu | | PhD Application Talk: Identifying functional discriminative motifs in protein families | E1 4, 024 | Talk |
07/12/2010 | 08:45 | | Tuan Anh Hoang | | PhD Application Talk: Particle Swarm Optimization and Its Applications | E1 4, 024 | Talk |
07/07/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
07/07/2010 | 16:00 | s.t. | Gerhard Weikum | | From Information to Knowledge: Harvesting Entities and Relationships from Web Sources | E1 4, 024 | Joint MPI-INF//MPI-SWS Lecture Series |
07/06/2010 | 13:00 | | Parinya Chalermsook | | Resource Minimization for Fire Containment | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/06/2010 | 13:00 | s.t. | Gordon Wetzstein | | Computational Light Modulation for Image Acquisition and Display | E1 4, 019 | Talk |
07/05/2010 | 10:00 | | Manuel Reinert | | Online graph exploration | E1 4, 024 | Talk |
07/02/2010 | 14:15 | | Marc Eisenbarth | | Start Bachelor Thesis on Empirical Analysis of Diffusive Load-Balancing | E1 4, AG 1 Rotunde | Talk |
07/02/2010 | 13:30 | | Danupon Nanongkai | | Faster Algorithms for Semi-Matching Problems | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/01/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
06/30/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
06/29/2010 | 13:00 | | Stefan Kratsch | | Preprocessing of Min Ones Problems: A Dichotomy | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/28/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
06/28/2010 | 12:00 | | Prof. Dr. Dr. h.c.mult. August-Wilhelm Scheer | | Der Erfolg der ARIS-Software- Eine Kombination aus Forschung und professioneller Produktentwicklung | B4.1, Audimax | Talk |
06/28/2010 | 11:00 | | various | | EGSR 2010 - 21st Eurographics Symposium on Rendering | to be announced, tba | Miscellaneous |
06/25/2010 | 13:30 | | Tanzeem Choudhury | | Spoken Networks: Analyzing face-to-face conversations and how they shape our social connections | G26 [KL], 206 | SWS Colloquium |
06/25/2010 | 13:00 | | Naveen Garg | | Facility location with uniform capacities | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/24/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
06/24/2010 | 13:00 | s.t. | Carola Winzen | | Universal Drift Functions in Evolutionary Computation | E1 4, 024 | IMPRS Research Seminar |
06/24/2010 | 13:00 | s.t. | Sarath Kumar Kondreddi | | Human-Computing games for Web Information Extraction and Knowledge Harvesting | E1 4, 024 | IMPRS Research Seminar |
06/23/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
06/22/2010 | 19:00 | s.t. | Mostafa Khabouze | | Real-Time Feature Detection And Tracking Using CUDA | E1 4, 019 | MPI-Kolloquium |
06/22/2010 | 16:00 | s.t. | Nils *H A S L E R* | | Modelling Human Pose and Shape | E1 4, 019 | Promotionskolloquium |
06/22/2010 | 13:00 | | He Sun | | Minimum Manhattan Network is NP-Complete | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/21/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
06/18/2010 | 14:15 | | Thomas Schneider | | The complexity of hybrid logics | E1 3, 528 | Talk |
06/18/2010 | 10:00 | s.t. | Waqar *S A L E E M* | | Digital Processing and Management Tools for 2D and 3D Shape Repositories | E1 4, 019 | Promotionskolloquium |
06/17/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
06/16/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
06/15/2010 | 16:00 | | Deepak Kapur | | Termination of Imperative Programs via Term Rewriting | E1 4, 024 | MPI-INF Distinguished Speaker Series |
06/15/2010 | 13:00 | | Nicole Megow | | Scheduling under uncertainty: universal solutions | E1 4, 024 | Talk |
06/15/2010 | 11:00 | | Andreas Haeberlen | | Privacy and forensics in federated distributed systems | E1 5, 5th floor | SWS Colloquium |
06/14/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
06/14/2010 | 14:00 | | Hendrik Molter | | Constructive characterization of Truthfulness | E1 4, 024 | Presentation |
06/14/2010 | 10:15 | | Arvind Krishnamurthy | | Reverse Traceroute | E1 5, 5th floor | SWS Colloquium |
06/11/2010 | 13:00 | | Chinmoy Dutta | | Constructive Proof of Chernoff Bounds | E1 4, 024 | AG1 Mittagsseminar (others' work) |
06/10/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
06/09/2010 | 17:00 | s.t. | Prof. Dr. Martin Vingron | | Transcription factor binding sites and chromatin modifications point at two classes of human promoters | E2 1 (ZBI), R001 | AG3 Talk |
06/09/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
06/09/2010 | 16:00 | | Leslie Lamport | | The PlusCal Algorithm Language | E1 4, 024 | MPI-INF Distinguished Speaker Series |
06/09/2010 | 14:00 | | Subhashis Banerjee | | On space-time super resolution | E1 4, 019 | Talk |
06/08/2010 | 16:00 | | Andre Altmann | | Ranking of anti-HIV Combination Therapies and Planning of Treatment Schedules | E1 4, 024 | Promotionskolloquium |
06/08/2010 | 13:00 | | Kurt Mehlhorn | | Ag 1 Group Meeting | E1 4, 024 | AG1 Group Meeting |
06/07/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired: Kuirt talks about Scalable Graph Kernels | E1 4, AG 1 Rotunde | SIG Meeting |
06/03/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
06/02/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
06/02/2010 | 16:00 | s.t. | Derek Dreyer | | Reasoning About Program Equivalence in Modern Languages | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
06/01/2010 | 13:00 | | Vincenzo Bonifaci | | Efficiency of restricted tolls in network routing games | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/31/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
05/31/2010 | 13:00 | s.t. | Paul Baggenstoss | | Class-dependent features in Bayesian classifier | E1 4, 019 | Talk |
05/27/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
05/26/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
05/25/2010 | 12:00 | | Alexandre Klementiev | | Unsupervised Prediction Aggregation | DFKI Building D 3 2, Meeting room "Reuse" (-2.17) | Talk |
05/24/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
05/21/2010 | 13:00 | | Rob van Stee | | Max-min online allocations with a reordering buffer | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/20/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
05/20/2010 | 13:00 | s.t. | Mohamed Yahya | | Optimizing Recursive Queries in RDF Knowledge Bases | E1 4, 024 | IMPRS Research Seminar |
05/20/2010 | 13:00 | s.t. | Tomasz Tylenda | | Semantic Snippets | E1 4, 024 | IMPRS Research Seminar |
05/19/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
05/18/2010 | 13:00 | | Sze-Hang Chan | | Nonclairvoyant scheduling for flow time and energy | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/17/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
05/13/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
05/12/2010 | 17:00 | | Eran Segal | | Transcriptional Lego: Predictable control of gene expression by manipulating promoter building blocks | E2 1, HS001 | ZBI Colloquium Series |
05/12/2010 | 16:00 | s.t. | Dr. Andreas Keller | | Bioinformatics in Healthcare: Massive parallel targeting of diseases with novel biomarker strategies | E1 3, HS 1 | Talk |
05/12/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
05/12/2010 | 14:00 | | Jennifer B. Sartor | | Exploiting Language Abstraction to Optimize Memory Efficiency | E1 5, 5th floor | SWS Colloquium |
05/11/2010 | 13:00 | | Reto Spöhel | | On the power of choices in random graph processes | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/10/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
05/07/2010 | 13:00 | | Arash Farzan | | On Succinct Representation of Graphs | E1 4, 024 | Talk |
05/06/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
05/06/2010 | 13:00 | s.t. | Mohammad Reza Yousefi | | Exploiting the Deep Structure in Scale-Space | E1 4, 024 | IMPRS Research Seminar |
05/05/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
05/05/2010 | 16:00 | s.t. | Benjamin Doerr | | Randomized Phone Chains | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
05/04/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
05/04/2010 | 13:00 | | AG 1 | | AG1 Group Meeting | E1 4, 024 | AG1 Group Meeting |
05/03/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
04/30/2010 | 14:15 | | Christophe Ringeissen | | Combining Satisfiability Procedures for Unions of Theories Sharing Fragments of Arithmetic | E1 4, 024 | Talk |
04/30/2010 | 13:00 | | Andreas Wiese | | Packet Routing: Complexity and Algorithms | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/30/2010 | 11:00 | s.t. | Richard Roettger | | Estimating the Size and Completeness of Gene Regulatory Networks | E1 4, 024 | Talk |
04/29/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
04/29/2010 | 13:00 | s.t. | Tianxiang Lu | | Formal Specification of Pastry Overlay Structure using TLA+ | E1 4, 024 | IMPRS Research Seminar |
04/29/2010 | 13:00 | s.t. | Yagiz Kargin | | Distributed Text Analytics over Web Archives | E1 4, 024 | IMPRS Research Seminar |
04/28/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
04/27/2010 | 14:00 | | Ruy Ley-Wild | | Programmable Self-Adjusting Computation | E1 5, 5th floor | SWS Colloquium |
04/27/2010 | 13:30 | | Dinko Dimitrov (Economics Department UDS) | | Coalitional Matchings | E1 4, 024 | Lecture |
04/26/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
04/26/2010 | 14:30 | | Martin Schmidt | | Drift Analysis for Generalized Pseudo-Boolean Linear Functions | E1 4, 3rd floor rotunda | Talk |
04/26/2010 | 13:00 | | Jose Verschae | | A Robust PTAS for Machine Covering and Packing | E1 4, 024 | Talk |
04/23/2010 | 13:00 | | AG 1 | | Group Meeting, AG 1 | E1 4, 024 | AG1 Group Meeting |
04/23/2010 | 13:00 | | Vijay Vazirani | | Can Complexity Theory Ratify the “Invisible Hand of the Market”? | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/22/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
04/22/2010 | 13:00 | s.t. | Dina Mahmoud | | Optic Flow based Super Resolution | E1 4, 024 | IMPRS Research Seminar |
04/22/2010 | 13:00 | s.t. | Luis de la Garza | | Implementation and evaluation of an efficient, distributed replication algorithm in a real network | E1 4, 024 | IMPRS Research Seminar |
04/21/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
04/20/2010 | 13:00 | s.t. | Warren Schudy | | Approximation Schemes for Dense Variants of Feedback Arc Set, Correlation Clustering, and Other Fragile Min Constraint Satisfaction Problems | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/19/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
04/16/2010 | 16:00 | | Evangelia Pyrga | | Algorithmic Game Theory and Networks | E1 4, 024 | Promotionskolloquium |
04/16/2010 | 15:00 | | Touseef Liaqat | | Covering selfish machines with limited job sizes | E1 4, Rotunda | Talk |
04/16/2010 | 13:00 | | Dror Rawitz | | Online Set Packing and Competitive Scheduling of Multi-Part Tasks | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/15/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
04/15/2010 | 11:00 | | Vincent van der Weele | | Visualizing Trees | E1 4, 024 | Talk |
04/15/2010 | 10:30 | | T V Thirumala Reddy | | The guarding problem - complexity and approximation | E1 4, 024 | Talk |
04/15/2010 | 10:00 | | Vibhor Rastogi | | Accurate Analysis of Large Private Datasets | E1 5, 5th floor | SWS Colloquium |
04/15/2010 | 10:00 | | Christine Rizkallah | | Proof Representations for Higher-Order Logic | E1 4, 024 | Talk |
04/14/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
04/14/2010 | 16:00 | s.t. | Rodrigo Rodrigues | | Weakly-consistent Byzantine Fault Tolerance: A Tale of Two Systems | E1 4, 024 | Joint MPI-INF/MPI-SWS Lecture Series |
04/14/2010 | 10:30 | | Saman Amirpour Amraii | | Experiences in Evolutionary Algorithms and Machine Learning | E1 4, 024 | Talk |
04/14/2010 | 10:00 | | Abyayananda Maiti | | Alphabetic Bipartite Network Growth: Modeling, Analysis and Applications | E1 4, 024 | Talk |
04/13/2010 | 11:00 | s.t. | Ovgu Ozturk | | Human Tracking and Motion Analysis from a Single Camera In Indoor Environments | E1 4, 019 | Talk |
04/12/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
04/08/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
04/07/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
04/06/2010 | 13:00 | | Frank Neumann | | The Car Distribution Problem: Making Money with Evolutionary Algorithms | E1 4, 024 | AG1 Mittagsseminar (others' work) |
04/05/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
04/01/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
04/01/2010 | 11:00 | | Juan Caballero | | Binary Program Analysis and Model Extraction for Security Applications | E1 5, 5th floor | SWS Colloquium |
03/31/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
03/30/2010 | 14:00 | | Luca Ballan | | From markerless motion capture to unstructured video based rendering | E1 4, 019 | Talk |
03/30/2010 | 13:00 | | Nikolaos Fountoulakis | | Orientability of random hypergraphs and applications | E1 4, 024 | Talk |
03/30/2010 | 13:00 | s.t. | Silke Jansen | | Using Belief Propagation for Local Symmetry Detection in Images | E1 4, 019 | Talk |
03/29/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
03/29/2010 | 13:00 | | Dirk Sudholt | | Analysis of search heuristics: how ant colonies find shortest paths | E1 4, 024 | Talk |
03/29/2010 | 11:00 | | Marco Cova | | Taming the Malicious Web: Avoiding and Detecting Web-based Attacks | E1 5, 5th floor | SWS Colloquium |
03/26/2010 | 13:00 | | Stefan Kratsch | | A bin packing story | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/25/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
03/25/2010 | 11:00 | | Arthur Chargueraud | | Formal Program Verification Through Characteristic Formulae | E1 5, 5th floor | SWS Colloquium |
03/24/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
03/23/2010 | 13:00 | | Kurt Mehlhorn | | Lower Bounds for Data Structures Via Forbidden Submatrices (Work of Seth Pettie) | E1 4, 024 | AG1 Mittagsseminar (others' work) |
03/22/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
03/22/2010 | 11:00 | | Chung-Kil Hur | | Program equivalence and compositional compiler correctness | E1 5, 5th floor | SWS Colloquium |
03/19/2010 | 16:00 | s.t. | Ralf Schenkel | | Efficient Information Retrieval | E1 4, 024 | Antrittsvorlesung |
03/19/2010 | 13:00 | | Rob van Stee | | On the Price of Stability for Undirected Network Design | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/19/2010 | 10:30 | s.t. | Anton Kaplanyan | | Cascaded light propagation volumes for real-time indirect illumination | E1 4, 019 | Talk |
03/19/2010 | 10:15 | | Alexey Pospelov | | Bounds for bilinear complexity of noncommutative group algebras | E1 3, 415 | Talk |
03/18/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
03/18/2010 | 11:00 | | Viktor Vafeiadis | | Towards full verification of concurrent libraries | E1 5, 5th floor | SWS Colloquium |
03/17/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
03/16/2010 | 13:00 | | Martin V. Butz | | Developing locally linear models with XCSF: Scalability, Robustness, and Applicability | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/15/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
03/15/2010 | 15:00 | c.t. | John Rushby | | What Does V&V Actually Achieve? | E1 3, Lecture hall 001 | Talk |
03/15/2010 | 11:00 | | Michael Bond | | Achieving Reliability in Deployed Software Systems | E1 5, 5th floor | SWS Colloquium |
03/12/2010 | 14:00 | | Hendrik Molter | | Mechanism Design and Truthfulness | E1 4, 024 | Presentation |
03/12/2010 | 13:00 | | AG 1 | | Group Meeting, AG 1 | E1 4, 024 | AG1 Group Meeting |
03/11/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
03/11/2010 | 11:00 | | Thomas Ristenpart | | Improving the Interface between Systems and Cryptography | E1 5, 5th floor | SWS Colloquium |
03/10/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
03/10/2010 | 16:00 | | Allen Clement | | Byzantine fault tolerance for cluster services | E1 5, 5th floor | SWS Colloquium |
03/09/2010 | 13:00 | | Attendees of STACS | | Best of STACS | E1 4, 024 | AG1 Mittagsseminar (others' work) |
03/08/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
03/08/2010 | 11:00 | | Cristiano Calcagno | | Compositional Shape Analysis by means of Bi-Abduction | E1 5, 5th floor | SWS Colloquium |
03/05/2010 | 15:00 | | Guy Blelloch | | Algorithms for Parallel Cache Hierarchies | E1 5, 5th floor | SWS Colloquium |
03/05/2010 | 13:00 | | Vangelis Markakis | | On Welfare Undominated Groves Mechanisms | E1 4, 024 | Talk |
03/04/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
03/03/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
03/03/2010 | 14:00 | | Joshua Dunfield | | Verifying Functional Programs with Type Refinements | MPI SWS, 5th floor | SWS Colloquium |
03/02/2010 | 13:00 | | Frederic Dorn | | Beyond Bidimensionality: Parameterized Subexponential Algorithms on Directed Graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/01/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
02/26/2010 | 13:00 | | Kurt Mehlhorn | | Controlled Perturbation | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/25/2010 | 18:00 | | AG1 | | Applications of Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
02/25/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
02/24/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
02/24/2010 | 15:30 | | Nick Benton | | Proving high-level properties of low-level code | E1 4, 019 | SWS Distinguished Lecture Series - Spring |
02/23/2010 | 13:00 | | Nicole Megow | | Algorithms and Complexity for Periodic Real-Time Scheduling | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/19/2010 | 17:00 | s.t. | Youssef Bazine | | Image-based Bilateral Symmetry Estimation | E1 4, 019 | Talk |
02/19/2010 | 13:00 | | Madhusudan Manjunath | | Theory of lattices and geometry of numbers: An overview | E1 4, 024 | AG1 Mittagsseminar (basic education) |
02/18/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
02/17/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
02/16/2010 | 14:00 | | Nicolas Schiper | | Partial Replication in Large Networks | E1 5, 5th floor | SWS Colloquium |
02/16/2010 | 13:40 | s.t. | Cailing Dong | | Mining and Characterizing Scientific Communities in DBLP | E1 4, 024 | PhD Application Talk |
02/16/2010 | 13:40 | s.t. | Jiajin Yu | | Generalized Second Price Auction with Markovian Users | E1 4, 024 | PhD Application Talk |
02/16/2010 | 13:40 | s.t. | Markus Wagner | | Testing a Verification Environment | E1 4, 024 | PhD Application Talk |
02/16/2010 | 13:40 | s.t. | Syama Sundar Rangapuram | | Graph sparsification for balanced partitioning | E1 4, 024 | PhD Application Talk |
02/16/2010 | 11:10 | s.t. | Chuancong Gao | | Efficient Itemset Generator Discovery over a Stream Sliding Window | E1 4, 024 | PhD Application Talk |
02/16/2010 | 11:10 | s.t. | Faraz Makari Manshadi | | Fast Distributed Replication in Modern Networks | E1 4, 024 | PhD Application Talk |
02/16/2010 | 11:10 | s.t. | Thamer Alsulaiman | | An Inherently Stabilizing Distributed Algorithm for All Node-Disjoint Paths in Exchanged Hypercube | E1 4, 024 | PhD Application Talk |
02/16/2010 | 11:10 | s.t. | Xiaoming Xu | | A Generic Top-Down Dynamic-Programming Approach to Prefix-Free Coding | E1 4, 024 | PhD Application Talk |
02/16/2010 | 11:10 | s.t. | Yin-Yu Lu | | Distance Measurement Systems and Their Applications Based on Image Understanding | E1 4, 024 | PhD Application Talk |
02/16/2010 | 08:50 | s.t. | Alexander Kobzar | | Syntactic analysis of ambiguous natural language constructions with Tomita shift-resolve parser | E1 4, 024 | PhD Application Talk |
02/16/2010 | 08:50 | s.t. | Kashyap Dixit | | Bandwidth minimization for Caterpillar graph | E1 4, 024 | PhD Application Talk |
02/16/2010 | 08:50 | s.t. | Sergiy Byelozyorov | | Construction of Virtual Worlds with Web 2.0 technology | E1 4, 024 | PhD Application Talk |
02/16/2010 | 08:50 | s.t. | Yuk Hei Chan | | On Linear Programming Relaxations of Hypergraph Matching | E1 4, 024 | PhD Application Talk |
02/16/2010 | 08:50 | s.t. | Zhongjie Wang | | Fast Generalized Belief Propagation for Binocular Stereo Matching | E1 4, 024 | PhD Application Talk |
02/15/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
02/12/2010 | 13:00 | | Eric Berberich | | Polygonal Reconstruction from Approximate Offsets | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/11/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
02/10/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
02/09/2010 | 13:00 | | Carola Winzen | | A Recent Result on Evolutionary Algorithms | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/08/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
02/08/2010 | 14:00 | | Jade Alglave | | Fences in Weak Memory Models | E1 5, 5th floor | SWS Colloquium |
02/08/2010 | 13:00 | | Lap-Kei Lee | | Continuous Monitoring of Distributed Data Streams over a Time-based Sliding Window | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/05/2010 | 13:00 | | Frans Schalekamp | | Clustering with or without the Approximation | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/04/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
02/03/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
02/03/2010 | 16:00 | | Elmar Eisemann | | Adaptive Solutions for High-Quality Rendering | E1 4, 024 | Senior Researcher Series |
02/03/2010 | 14:00 | | Aniket Kate | | Distributed Key Generation and its Applications | E1 5, 5th floor | SWS Colloquium |
02/02/2010 | 14:00 | | Sorelle Friedler | | A Sensor-Based Framework for Kinetic Data | E1 5, 5th floor | SWS Colloquium |
02/02/2010 | 13:00 | | Carola Winzen | | Postponed due to weather conditions: A Recent Result on Evolutionary Algorithms | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/01/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
01/29/2010 | 16:00 | | Thomas Neumann | | Optimization Techniques for Accelerating Query Processing on Very Large Data | E1 4, 024 | Antrittsvorlesung |
01/29/2010 | 14:00 | s.t. | Authors of GECCO 2010 papers | | Discussion group: Work submitted to GECCO | E1 4, 3rd floor rotunda | Meeting |
01/29/2010 | 13:00 | | Miguel F. Anjos | | On Warmstarting Interior-Point Methods | E1 4, 024 | Lecture |
01/28/2010 | 17:00 | s.t. | Faraz Makari Manshadi | | Fast Distributed Algorithms for Replication in Unstructured P2P Networks | E1 4, 024 | Talk |
01/28/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
01/27/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
01/26/2010 | 13:00 | | AG 1 | | AG1 Group Meeting | E1 4, 024 | AG1 Group Meeting |
01/22/2010 | 13:00 | | Ben Galehouse | | Accurate Numerical Meshing of Intersections | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/21/2010 | 17:00 | s.t. | Yafang Wang | | Timely YAGO: Harvesting, Querying, and Visualizing Temporal Knowledge from Web Resources | E1 4, 021 | Talk |
01/21/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
01/20/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
01/18/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
01/15/2010 | 13:00 | | Magnus Wahlström | | Kernelizability of Min Ones CSPs | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/14/2010 | 17:00 | s.t. | Roman Kolesnikov | | Scattered Data Interpolation with Anisotropic Diffusion | E1 4, 024 | Talk |
01/14/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
01/13/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
01/13/2010 | 16:00 | | Christoph Weidenbach | | Automation of Logic: Why bother? | E1 4, 024 | Senior Researcher Series |
01/12/2010 | 13:00 | | Tobias Friedrich | | Quasirandom Load Balancing | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/11/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
01/11/2010 | 15:00 | | Marco Shapiro and Pierre Sutra | | Fault-tolerant partial replication at large-scale | E1 5, 5th floor | SWS Colloquium |
01/08/2010 | 13:00 | | Danny Hermelin | | Treewidth Governs the Complexity of Target Set Selection | E1 4, 024 | Lecture |
01/07/2010 | 17:00 | s.t. | Aleksandr Andreychenko | | Uniformization of Non-Homogeneous Markov Chains | E1 4, 024 | IMPRS Research Seminar |
01/07/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
01/06/2010 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
01/05/2010 | 18:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
01/05/2010 | 13:00 | | Chien-Chung Huang | | Classified Stable Matching | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/30/2009 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimization and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
12/29/2009 | 18:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
12/22/2009 | 18:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
12/22/2009 | 13:00 | | Berno Büchel | | What would happen when everybody were calculative in building relationships? | E1 4, 024 | Talk |
12/22/2009 | 10:00 | | Tobias Ritschel | | Perceptually-motivated, Interactive Rendering and Editing of Global Illumination | E1 4, 019 | Promotionskolloquium |
12/21/2009 | 16:00 | | Michael Kerber | | Geometric Algorithms for Algebraic Curves and Surfaces | E1 4, 024 | Promotionskolloquium |
12/21/2009 | 12:00 | | Gjergji Kasneci | | Searching and Ranking in Entity-Relationship Graphs | E1 4, 024 | Promotionskolloquium |
12/18/2009 | 13:00 | | Ralitsa Angelova | | Graph-based Classification and Clustering of Entities in Heterogeneous Networks | E1 4, 024 | Promotionskolloquium |
12/17/2009 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
12/16/2009 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimizationa and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
12/15/2009 | 18:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
12/15/2009 | 14:00 | | Brad Chen | | Reinventing The Desktop | E1 5, 5th floor | SWS Colloquium |
12/15/2009 | 13:00 | | Madeleine Theile | | Solving the all-pairs shortest path problem with genetic algorithms | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/10/2009 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
12/09/2009 | 16:00 | | AG 1 | | AG 1 Discussion Group Optimizationa and Game Theory | E1 4, AG 1 Rotunde | SIG Meeting |
12/08/2009 | 18:00 | | AG 1 | | AG 1 Discussion Group Foundations, Randomization, Bioinspired | E1 4, AG 1 Rotunde | SIG Meeting |
12/08/2009 | 13:00 | | Heiko Röglin | | Smoothed Analysis of Multiobjective Optimization | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/07/2009 | 14:00 | | Anirban Mahanti | | Characterization of an Online Social Aggregation Service | E1 5, 5th floor | SWS Colloquium |
12/04/2009 | 14:00 | | Stefan Saroiu | | Improving the Privacy of Online Social Networks and Cloud Computing | E1 5, 5th floor | SWS Colloquium |
12/04/2009 | 13:00 | | Chien-Chung Huang | | Donation Center Location Problem | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/03/2009 | 16:00 | | AG 1 | | AG 1 Discussion Group Computational Geometry and Geometric Computing | E1 4, AG 1 Rotunde | SIG Meeting |
12/02/2009 | 16:00 | | Ingolf Sommer | | Structural Bioinformatics - From Protein Structure to Function | E1 4, 024 | Senior Researcher Series |
12/02/2009 | 11:00 | | Eno Thereska | | Sierra: a power-proportional, distributed storage system | E1 5, 5th floor | SWS Colloquium |
12/01/2009 | 13:00 | | AG 1 | | AG 1 Group Meeting | E1 4, 024 | AG1 Group Meeting |
11/30/2009 | 11:00 | | Ant Rowstron | | BorgCube: Rethinking the data center | E1 5, 5th floor | SWS Colloquium |
11/30/2009 | 10:15 | s.t. | Carsten Stoll | | Template Based Shape Processing | E1 4, 019 | Promotionskolloquium |
11/27/2009 | 13:15 | | Ben Galehouse | | Accurate Numerical Meshing of Intersections | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/27/2009 | 13:00 | | Lars Prädel | | A Structural Lemma in 2-Dimensional Packing, and its Implications on Approximability | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/26/2009 | 17:00 | s.t. | Arjun Jain | | 3D Reconstruction of Linked Line Segments | E1 4, 024 | Talk |
11/26/2009 | 17:00 | s.t. | Justin Parks | | Recovering Geometric Information by Detecting Symmetries in Images | E1 4, 024 | Talk |
11/25/2009 | 13:00 | | Klaus Jansen | | A fast approximation scheme for the multiple knapsack problem | E1 4, 024 | Talk |
11/24/2009 | 13:15 | | Khaled Elbassioni | | Stochastic games with perfect information: the existence of canonical form | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/20/2009 | 13:00 | | Nikola Milosavljevic | | Dynamic Connected Dominating Sets in Unit-Ball Graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/19/2009 | 17:00 | s.t. | Avishek Anand | | Index Partitioning Strategies for Efficient Time-Travel Search | E1 4, 024 | Talk |
11/18/2009 | 16:00 | | Thomas Neumann | | Query Processing on Large Scale Semantic Web Data | E1 4, 024 | Senior Reseacher Series |
11/17/2009 | 13:00 | | Spyros Angelopoulos | | Parameterized competitive analysis of online Steiner tree problems | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/12/2009 | 17:00 | s.t. | Gabriela Ghimpeteanu | | Putting fruits on your face | E1 4, 024 | Talk |
11/10/2009 | 13:00 | | Anna Huber | | Robustness of Randomized Rumor Spreading Protocols | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/05/2009 | 17:00 | s.t. | Sergey Kososv | | Recognition and Tracking of Humans | E1 4, 024 | Talk |
11/05/2009 | 17:00 | s.t. | Tomasz Jurkiewicz | | Breaking through the O(m^2 n) Barrier for Minimum Cycle Bases | E1 4, 024 | Talk |
11/05/2009 | 10:00 | | all D1 | | D1 Round of Introduction (Day 2) | Braunshausen, . | AG1 Group Meeting |
11/04/2009 | 14:00 | c.t. | Dr. Ingolf Sommer | | From Protein Structure to Function | E1 4, 024 | AG3 Talk |
11/04/2009 | 12:30 | | all D1 | | D1 Round of Introduction (Day 1) | Braunshausen, . | AG1 Group Meeting |
11/03/2009 | 13:00 | | Vincenzo Bonifaci | | Budgeted Matching via the Gasoline Puzzle | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/03/2009 | 13:00 | s.t. | Yebin Liu | | Geometry, Motion and Appearance Modeling in Multi-camera and Multi-lighting (MVML) Dome | E1 4, 019 | Talk |
10/30/2009 | 13:00 | | Niam Roddity | | Dynamic spanners and routing schemes in geometric settings. | E1 4, 024 | Lecture |
10/30/2009 | 13:00 | s.t. | Ilya Reshetouski | | Data Reconstruction with Priors and its Application in Computed Tomography | E1 4, 019 | Talk |
10/29/2009 | 17:00 | s.t. | Sergiy Byelozyorov | | Realization and Application of XML3D | E1 4, 024 | Talk |
10/29/2009 | 11:30 | s.t. | Shin Yoshizawa | | A Novel Approach for Fast and Accurate Bilateral Filtering | E1 4, 019 | Talk |
10/29/2009 | 11:00 | s.t. | Takehiro Tawara | | Natural 3D User Interaction Using Mixed Reality | E1 4, 019 | Talk |
10/28/2009 | 17:00 | s.t. | Dr. Jürgen Pahlke | | How to quantify information transfer in signaling systems | E1 4, 024 | ZBI Kolloquium |