**Date** | **Time** | | **Speaker** | | **Event, Title, Topic** | **Building, Room** | **Event Type** |

02/06/2019 | 12:15 | | Adish Singla | | Machine Teaching | E1 5 | Joint Lecture Series |

01/16/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4 | AG1 Group Meeting |

12/19/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4 | AG1 Group Meeting |

12/05/2018 | 12:15 | | Nico Döttling | | Post-quantum Challenges in Secure Computation | E1 5 | Joint Lecture Series |

12/05/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4 | AG1 Group Meeting |

11/27/2018 | 10:30 | | Paul Resnick | | Survey Equivalence: An Information-theoretic Measure of Classifier Accuracy When the Ground Truth is Subjective | E1 5 | SWS Distinguished Lecture Series |

11/22/2018 | 16:00 | | Wojciech Czerwiński | | The Reachability Problem for Vector Addition Systems is Not Elementary | G26 | SWS Colloquium |

11/21/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4 | AG1 Group Meeting |

11/07/2018 | 12:15 | | Andreas Zeller | | Generating Software Tests | E1 5 | Joint Lecture Series |

11/07/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4 | AG1 Group Meeting |

10/30/2018 | 13:00 | | Matthias Leinen | | Efficient Generation of 1/f^alpha Noise in Matlab Simulink | E1 4 | AG1 Mittagsseminar (own work) |

10/22/2018 | 10:30 | | Sara Achour | | Compiling Dynamical Systems for Efficient Simulation on Reconfigurable Analog Computers | G26 | SWS Colloquium |

10/19/2018 | 13:00 | | Yue Zhang | | Interactive Multi-style Pen-and-Ink Drawings from Images | E1 4 | Talk |

10/19/2018 | 10:30 | | Edith Elkind | | Justified representation in multiwinner voting: axioms and algorithms | G26 | SWS Distinguished Lecture Series |

10/16/2018 | 13:00 | | Reuven Hodges | | A non-iterative rule for straightening fillings of Young diagrams | E1 4 | AG1 Mittagsseminar (own work) |

10/15/2018 | 10:30 | | Dana Drachsler Cohen | | AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation | G26 | SWS Colloquium |

10/10/2018 | 12:15 | | Rishiraj Saha Roy | | Complexity in Question Answering | E1 5 | Joint Lecture Series |

10/10/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4 | AG1 Group Meeting |

10/08/2018 | 11:00 | s.t. | Debabrata Mahapatra | | DNNs for Sparse Coding and Dictionary Learning | E1 5 | PhD Application Talk |

10/08/2018 | 11:00 | s.t. | Upendra Kapshikar | | Could code based cryptosystems be more compact? | E1 5 | PhD Application Talk |

10/04/2018 | 13:00 | | Andrés Cristi | | A Near Optimal Mechanism for Energy Aware Scheduling | E1 4 | AG1 Mittagsseminar (own work) |

10/02/2018 | 13:00 | | Karl Bringmann | | SETH-Based Lower Bounds for Subset Sum and Bicriteria Path | E1 4 | AG1 Mittagsseminar (own work) |

09/28/2018 | 13:00 | | Sourav Chakraborty | | On the power of Conditional Sampling | E1 4 | AG1 Mittagsseminar (own work) |

09/27/2018 | 13:00 | | Alkmini Sgouritsa | | Designing Cost-Sharing Networks with Good Equilibria Under Uncertainty | E1 4 | AG1 Mittagsseminar (own work) |

09/26/2018 | 11:00 | | Xucong Zhang | | Gaze Estimation and Interaction in Real-World Environments | E1 4 | Promotionskolloquium |

09/21/2018 | 10:30 | | Vlad Nitu | | Improving the energy efficiency of virtualized datacenters | G26 | SWS Colloquium |

09/20/2018 | 14:00 | | Randy Bush | | Critical Infrastructure vs Computer Science vs Software Engineering - We are Doomed | E1 4 | Talk |

09/19/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4 | AG1 Group Meeting |

09/18/2018 | 14:00 | | Fouzhan Hosseini | | Skeletons for Distributed Topological Computation | E1 4 | Talk |

09/18/2018 | 10:00 | | Hamish Carr | | Topological Analysis of Scientific Data | E1 4 | Talk |

09/13/2018 | 14:30 | | David Broman | | Gradually Typed Symbolic Expressions: an Approach for Developing Embedded Domain-Specific Modeling Languages | G26 | SWS Colloquium |

09/13/2018 | 13:00 | | Tim Oosterwijk | | About the Price of Anarchy for Flows over Time | E1 4 | AG1 Mittagsseminar (own work) |

09/12/2018 | 15:30 | | Saranya Natarajan | | Timed C: An Extension to the C Programming Language for Real-Time Systems | G26 | SWS Colloquium |

09/10/2018 | 16:00 | | Felipe Augusto Queiroz de Cerqueira | | PROSA: A Foundation for Verified Schedulability Analysis | G26 | SWS Student Defense Talks - Thesis Proposal |

09/05/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4 | AG1 Group Meeting |

08/28/2018 | 13:00 | | Gautam Shroff (Chief Scientist, Tata Consultancy Services) | | From Conversational Interfaces to Knowledge Synthesis & Semantic Systems | E1 4 | MPI Colloquium Series Distinguished Speaker |

08/24/2018 | 10:30 | | Venkat Padmanabhan | | HAMS: Harnessing AutoMobiles for Safety | E1 5 | SWS Distinguished Lecture Series |

08/23/2018 | 13:00 | | Bhaskar Ray Chaudhury | | Curve Simplification has cubic complexity | E1 4 | AG1 Mittagsseminar (own work) |

08/21/2018 | 14:00 | | Phillip Stanley-Marbell | | Not Your Typical Objects: Made from Raw Materials Augmented with Sensing and Computation | G26 | SWS Colloquium |

08/21/2018 | 14:00 | c.t. | Andreas Weber | | From Tarski to Tropical Geometry: Towards Symbolic Analysis of Biological Networks | E1 4 | Talk |

08/20/2018 | 11:00 | | Vijay V. Vazirani | | Planar Graph Perfect Matching is in NC | E1 4 | INF Distinguished Lecture Series |

08/09/2018 | 13:00 | | Karsten Klein | | Immersive Analytics - Concepts and Challenges | E1 4 | AG1 Mittagsseminar (own work) |

08/07/2018 | 13:00 | | Gorav Jindal | | On the Complexity of Symmetric Polynomials | E1 4 | AG1 Mittagsseminar (own work) |

08/06/2018 | 16:00 | | Seong Joon Oh | | Image Manipulation against Learned Models: Privacy and Security Implications | E1 4 | Promotionskolloquium |

08/06/2018 | 14:00 | | Vitaly Shmatikov | | The Machine Learning Revolution in Data Privacy | E1 4 | Talk |

08/06/2018 | 10:30 | | Florian Tramèr | | A tour of ML security | E9 1 | Talk |

08/01/2018 | 12:15 | | Emanuele Natale | | Computing with Simple Dynamics and Biological Applications | E1 5 | Joint Lecture Series |

08/01/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4 | AG1 Group Meeting |

07/23/2018 | 14:00 | | Ruben Becker | | On Flows, Paths, Roots, and Zeros | E1.7 (MMCI) | Promotionskolloquium |

07/23/2018 | 11:00 | | Bojana Kodric | | Incentives in Dynamic Markets | E1.7 (MMCI) | Promotionskolloquium |

07/20/2018 | 13:00 | | Themistoklis Gouleakis | | Improved Massively Parallel Computation Algorithms for MIS, Matching, and Vertex Cover | E1 5 (SWS) | AG1 Mittagsseminar (others' work) |

07/17/2018 | 13:00 | | Debarati Das | | Approximating Edit Distance Within Constant Factor in Truly Sub-Quadratic Time | E1 4 | AG1 Mittagsseminar (own work) |

07/16/2018 | 12:00 | s.t. | Max Maria Losch | | Inspectable Deep Learning with Bayesian Statistics | E1 4 | IMPRS Research Seminar |

07/12/2018 | 13:00 | | Cornelius Brand | | Extensor-Coding | E1 4 | AG1 Mittagsseminar (own work) |

07/10/2018 | 13:00 | | Gorav Jindal | | A deterministic PTAS for the transcendence degree of constant degree polynomials | E1 4 | AG1 Mittagsseminar (own work) |

07/05/2018 | 16:00 | | Nikhil Balaji | | Waring rank of monomial | E1 4 | AG1 Mittagsseminar (own work) |

07/05/2018 | 13:00 | s.t. | Daniel Vaz | | Beyond Metric Embedding: Approximating Group Steiner Trees on Bounded Treewidth Graphs | E1 4 | AG1 Mittagsseminar (own work) |

07/04/2018 | 13:00 | | various | | 3rd Networking-Meet-Up for Women in Computer Science | E1 5 | Presentation |

07/04/2018 | 12:15 | | Maria Christakis | | Practical Program Analysis | E1 5 | Joint Lecture Series |

07/03/2018 | 13:00 | | Saeed Amiri | | Congestion Free Rerouting of Flows (practice talk for ICALP) | E1 4 | AG1 Mittagsseminar (own work) |

06/29/2018 | 14:00 | | Sam Lindley | | On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited continuations | G26 | SWS Colloquium |

06/29/2018 | 11:30 | | Joël Ouaknine | | Program Invariants | G26 | SWS Colloquium |

06/29/2018 | 10:30 | | Nils Asmussen | | Designing a System for Heterogeneous Compute Units | G26 | SWS Colloquium |

06/28/2018 | 11:00 | | Davis Issac | | Spanning Tree Congestion and Computation of Generalized Gyori-Lovasz Partition | E1 4 | AG1 Mittagsseminar (own work) |

06/26/2018 | 13:00 | | Joël Ouaknine | | Polynomial Invariants for Affine Programs | E1 4 | AG1 Mittagsseminar (own work) |

06/26/2018 | 10:30 | | Michael Mozer | | Boosting human capabilities on perceptual categorization tasks | G26 | SWS Distinguished Lecture Series |

06/25/2018 | 10:00 | | Bruce M. Maggs | | The Web PKI in Theory and Malpractice | E1 5 | Talk |

06/21/2018 | 15:30 | | 1. Eakta Jain / 2. Krzysztof Krejtz | | 1. The role of gaze and pupil diameter in understanding audience engagement / 2. The Role of Attention and Perception During Multimedia Learning. A Dynamical Perspective | E1 4 | Talk |

06/19/2018 | 13:00 | | Yaroslav Shitov | | How hard is the tensor rank? | E1 4 | AG1 Mittagsseminar (own work) |

06/15/2018 | 12:00 | | Niels Landwehr | | Machine Learning for Spatially and Temporally Varying Data | E1 5 | Talk |

06/14/2018 | 17:00 | | Johannes Kloos | | Heap-based reasoning about asynchronous programs | G26 | SWS Student Defense Talks - Thesis Defense |

06/14/2018 | 14:00 | | Nihat Ay | | Information Geometry of Learning Systems | E1 5 | Talk |

06/14/2018 | 13:00 | | Kurt Mehlhorn | | On Fair Division of Indisible Goods (Practice Talk for an Invited Lecture at Sirocco 18) | E1 4 | AG1 Mittagsseminar (own work) |

06/14/2018 | 10:00 | | Jörg Lücke | | Accelerated Learning of Probabilistic Data Models for Large-Scale Applications | E1 5 | Talk |

06/13/2018 | 12:00 | | Daniel Neider | | Machine Learning Meets Formal Methods | E1 5 | Talk |

06/13/2018 | 10:00 | | Christoph Lampert | | Principled Transfer Learning | E1 5 | Talk |

06/12/2018 | 12:00 | | Marius Kloft | | Extreme Classification: Algorithms and Theory | E1 5 | Talk |

06/12/2018 | 10:00 | | Gerhard Neumann | | Information-Geometric Policy Search for Learning Versatile, Reusable Skills | E1 5 | Talk |

06/11/2018 | 14:00 | | Milica Gasic | | Spoken dialogue systems that learn online | E1 5 | Talk |

06/11/2018 | 10:30 | | Andreas Gerstlauer | | Learning-Based Hardware/Software Power and Performance Prediction | E1 5 | SWS Colloquium |

06/11/2018 | 08:00 | | Achim Rettinger | | Knowledge-guided Representation Learning | E1 5 | Talk |

06/07/2018 | 14:00 | | Georg Neis | | Compositional Compiler Correctness Via Parametric Simulations | E1 5 | SWS Student Defense Talks - Thesis Defense |

06/06/2018 | 16:15 | | Ben Wiederhake | | Reading Group: A Distributed Algorithm for Minimum-Weight Spanning Trees | E1 4 | MPI-Seminar |

06/06/2018 | 12:15 | | Anja Feldmann | | The Internet: A Complex System at its Limits | E1 5 | Joint Lecture Series |

05/30/2018 | 16:15 | | Eunjin Oh | | Reading Group: Dynamic Time Warping and Geometric Edit Distance: Breaking the Quadratic Barrier | E1 4 | MPI-Seminar |

05/30/2018 | 11:30 | | Kurt Mehlhorn | | Group Meeting | E1 4 | AG1 Group Meeting |

05/29/2018 | 13:00 | | Kurt Mehlhorn | | The Physarum Dynamics Solves Positive Undirected Linear Programs (Practice Talk for Invited Talk at Computer Science Russia) | E1 4 | AG1 Mittagsseminar (own work) |

05/25/2018 | 18:00 | s.t. | Anja Feldmann | | Distributed Data Collection and Processing at Scale | E2 2 | Festkolloquium |

05/25/2018 | 17:30 | s.t. | Bastian Beggel | | Map-Based processing of geospatial data for driver assistance functions | E2 2 | Festkolloquium |

05/25/2018 | 17:00 | s.t. | Jörg Rahnenführer | | Model-based optimization - in high-dimensional survival analysis and in real life | E2 2 | Festkolloquium |

05/25/2018 | 16:30 | s.t. | Robert Tarjan | | My work with Thomas | E2 2 | Festkolloquium |

05/25/2018 | 15:00 | s.t. | Kasia Bozek | | Can you see all the bees? Image analysis for biology | E2 2 | Festkolloquium |

05/25/2018 | 14:30 | s.t. | Yves Moreau | | Bayesian matrix factorization with side information and application to drug-target activity prediction | E2 2 | Festkolloquium |

05/25/2018 | 14:00 | s.t. | Nico Pfeifer | | Machine Learning in Infection Research: Including host information to understand viral adaptation | E2 2 | Festkolloquium |

05/25/2018 | 13:30 | s.t. | Gene Myers | | Towards Perfect DNA Sequencing and Assembly | E2 2 | Festkolloquium |

05/25/2018 | 10:15 | | Karon MacLean (University of British Columbia) & Christian Holz (Microsoft Research) | | Taking Haptic Design from Research to Practice & Rich Haptic Shape Output Controllers for Virtual Reality | E1 4 | Talk |

05/24/2018 | 13:00 | | Emanuele Natale | | Pooling or Sampling: Collective Dynamics for Electrical Flow Estimation | E1 4 | AG1 Mittagsseminar (own work) |

05/23/2018 | 16:15 | | André Nusser | | Reading Group: A faster algorithm for the discrete Fréchet distance under translation | E1 4 | MPI-Seminar |

05/22/2018 | 14:00 | s.t. | Werner Seiler | | From Singularities of Algebraic Differential Equations to Real Algebraic Geometric | E1 5 | Talk |

05/22/2018 | 13:00 | | Pranjal Dutta | | Discovering the roots: Uniform closure results for algebraic classes under factoring | E1 4 | AG1 Mittagsseminar (own work) |

05/16/2018 | 16:15 | | Andreas Schmidt | | Reading Group: Sparse Kneser graphs are Hamiltonian | E1 4 | MPI-Seminar |

05/16/2018 | 11:30 | | Kurt Mehlhorn | | Group Meeting | E1 4 | AG1 Group Meeting |

05/15/2018 | 10:00 | c.t. | Thomas Rothvoss | | Modern algorithms for Bin packing | E1 4 | INF Distinguished Lecture Series |

05/09/2018 | 16:15 | | Nitin Saurabh | | Arithmetic Circuits : A chasm at depth four | E1 4 | MPI-Seminar |

05/08/2018 | 13:00 | | Matthias Függer | | Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance | E1 4 | AG1 Mittagsseminar (own work) |

05/07/2018 | 11:00 | | Alberto Fiori | | On consistency of the Minimalist Foundation | E1 4 | PhD Application Talk |

05/07/2018 | 11:00 | | Burcu Sayin | | An Analysis of Information Spreading and Privacy Issues on Social Networks | E1 4 | PhD Application Talk |

05/07/2018 | 11:00 | | Ehsam Etesami | | Modeling and Evaluation of Cloud Services Considering Live Virtual Machine Migration | E1 4 | PhD Application Talk |

05/07/2018 | 11:00 | | Safia Kalwar | | Security and Privacy in the era of Big data | E1 4 | PhD Application Talk |

05/07/2018 | 10:30 | | Joshua Kroll | | Accountability in the Governance of Machine Learning | E1 5 | SWS Colloquium |

05/07/2018 | 09:30 | | Aniket Roy | | Multimedia Security through Digital Image Forensics | E1 4 | PhD Application Talk |

05/07/2018 | 09:30 | | Sagar Verma | | Egocentric Video Understanding | E1 4 | PhD Application Talk |

05/07/2018 | 09:30 | | Stavros Petsalakis | | Fine Grained Complexity: Exploring Reductions and their Properties | E1 4 | PhD Application Talk |

05/03/2018 | 11:15 | | Marian-Andrei Rizoiu | | #DebateNight :The Role and Influence of Socialbots on Twitter During the 1st U.S. Presidential Debate | G26 | SWS Colloquium |

05/03/2018 | 10:00 | | Nicole Immorlica | | Maximizing the Social Good: Markets without Money | E1 4 | INF Distinguished Lecture Series |

05/02/2018 | 16:15 | | Davis Issac | | Reading Group: Deciding k-colorability of P5-free graphs in polynomial time | E1 4 | MPI-Seminar |

05/02/2018 | 12:15 | | Gerard Pons-Moll | | Capturing and Learning Digital Humans | E1 5 | Joint Lecture Series |

05/02/2018 | 11:30 | s.t. | Kurt Mehlhorn | | Group Meeting | E1 3 | AG1 Group Meeting |

05/02/2018 | 10:30 | | Alexandra Silva | | Probabilistic Program Equivalence for NetKAT | E1 5 | SWS Colloquium |

04/30/2018 | 12:00 | s.t. | Michael Schenck | | Complex Procedural Terrain Generation | E1 4 | IMPRS Research Seminar |

04/27/2018 | 11:00 | s.t. | David Dunn | | Perceptually-based Near Eye Displays | E1 4 | Talk |

04/26/2018 | 13:00 | | Stefan Funke | | How to Decide Whether a Path is Optimal | E1 4 | AG1 Mittagsseminar (own work) |

04/25/2018 | 16:00 | | Wenbin Li | | From Perception over Anticipation to Manipulation | E1 4 | Promotionskolloquium |

04/24/2018 | 18:00 | | Kurt Mehlhorn | | Algorithms and Programs -- My Fascination for Computer Science | E1 5 | MPI Colloquium Series Distinguished Speaker |

04/24/2018 | 13:00 | | Karol Węgrzycki | | Subquadratic Approximation Scheme for Partition | E1 4 | AG1 Mittagsseminar (own work) |

04/20/2018 | 10:30 | | Tudor Dumitras | | Measurements, predictions, and the puzzle of machine learning: what data from 10 million hosts can teach us about security | E1 5 | SWS Colloquium |

04/18/2018 | 16:15 | s.t. | Daniel Vaz | | Reading Group: Minimum Weight 2-Edge-Connected Spanning Subgraphs in Planar Graphs | E1 4 | MPI-Seminar |

04/11/2018 | 12:15 | | Holger Hermanns | | Power to the People. Verified. | E1 5 | Joint Lecture Series |

04/11/2018 | 11:30 | | Kurt Mehlhorn | | Group Meeting | E1 4 | AG1 Group Meeting |

04/10/2018 | 13:00 | | Davis Issac | | Algorithms and Bounds for Very Strong Rainbow Coloring of Graphs | E1 4 | AG1 Mittagsseminar (own work) |

04/05/2018 | 13:00 | | Paul Manderscheid | | SAR Phase Unwrapping by Undirected Shortest Transshipment | E1 4 | AG1 Mittagsseminar (own work) |

04/04/2018 | 16:00 | | Cathy McGeoch | | Performance Evaluation for Annealing Based Quantum Computers | E1 4 | Colloquium Lecture |

04/04/2018 | 11:30 | | Kurt Mehlhorn | | Group Meeting | E1 4 | AG1 Group Meeting |

04/04/2018 | 10:30 | | Prof. Martin Grohe | | Lovasz meets Weisfeiler-Leman | G26 | SWS Colloquium |

03/28/2018 | 16:00 | | Arpan Gujarati | | Failures-In-Time (FIT) Analysis for Fault-Tolerant Distributed Real-Time Systems | G26 | SWS Student Defense Talks - Thesis Proposal |

03/27/2018 | 13:00 | | Eunjin Oh | | Point Location in Dynamic Planar Subdivisions | E1 4 | AG1 Mittagsseminar (own work) |

03/26/2018 | 15:00 | | Manohar Vanga | | High-Throughput and Predictable VM Scheduling for High-Density Workloads | G26 | SWS Student Defense Talks - Thesis Proposal |

03/26/2018 | 10:30 | | Tim Althoff | | Data Science for Human Well-being | G26 | SWS Colloquium |

03/22/2018 | 13:00 | | Kurt Mehlhorn | | Fair Division | E1 4 | AG1 Mittagsseminar (others' work) |

03/22/2018 | 10:30 | | Nicolas Papernot | | Characterizing the Space of Adversarial Examples in Machine Learning | E1 5 | SWS Colloquium |

03/21/2018 | 11:30 | | Kurt Mehlhorn | | Group Meeting | E1 4 | AG1 Group Meeting |

03/19/2018 | 11:00 | s.t. | Nitish Padmanaban & Vincent Sitzmann | | Varifocal Lenses for Focus-Supporting Near-Eye Displays & Learning domain-specific cameras: End-to-end optimization of optical sensing pipelines | E1 4 | Talk |

03/19/2018 | 10:30 | | Mihir Nanavati | | Catch-22: Isolation and Efficiency in Datacenters | G26 | SWS Colloquium |

03/16/2018 | 13:00 | | Meena Mahajan | | Short proofs with simple arithmetic? | E1 4 | AG1 Mittagsseminar (own work) |

03/15/2018 | 13:00 | | Karl Bringmann | | More Consequences of Falsifying SETH and the Orthogonal Vectors Conjecture | E1 4 | AG1 Mittagsseminar (own work) |

03/15/2018 | 10:30 | | Dr. Caterina Urban | | Static Program Analysis for a Software-Driven Society | G26 | SWS Colloquium |

03/14/2018 | 18:00 | | Nima Anari | | TCS+ talk: Planar Graph Perfect Matching is in NC | E1 4 | Talk |

03/12/2018 | 10:30 | | Heather Miller | | Language Support for Distributed Systems in Scala | E1 5 | SWS Colloquium |

03/12/2018 | 10:00 | | Arunav Mishra | | Leveraging Semantic Annotations for Event-focused Search & Summarization | E1 4 | Promotionskolloquium |

03/08/2018 | 13:00 | | Antonios Antoniadis | | A PTAS for TSP with Hyperplane Neighborhoods | E1 4 | AG1 Mittagsseminar (own work) |

03/07/2018 | 12:15 | | Andrew Yates | | Incorporating Positional and Contextual Information into a Neural IR Model | E1 5 | Joint Lecture Series |

03/07/2018 | 11:30 | s.t. | Kurt Mehlhorn | | Group Meeting | E1 4 | AG1 Group Meeting |

03/06/2018 | 14:00 | c.t. | Hoon Hong | | Improved Root Separation Bound: Bigger and Geometric | E1 4 | Talk |

03/06/2018 | 13:00 | | Grigorios Koumoutsos | | Weighted k-Server Bounds via Combinatorial Dichotomies | E1 4 | AG1 Mittagsseminar (own work) |

03/06/2018 | 10:00 | | Patrick Ernst | | Biomedical Knowledge Base Construction from Text and its Applications in Knowledge-based Systems | E1 4 | Promotionskolloquium |

03/05/2018 | 10:30 | | Jonathan Mace | | Observing and Controlling Distributed Systems with Cross-Cutting Tools | G26 | SWS Colloquium |

03/01/2018 | 10:30 | | Georg Zetzsche | | Storage mechanisms and finite-state abstractions for software verification | G26 | SWS Colloquium |

02/26/2018 | 10:30 | | Kevin Borgolte | | Fighting Large-scale Internet Abuse | E1 5 | SWS Colloquium |

02/22/2018 | 13:00 | | Julian Dörfler | | An efficient data structure for finding Pareto-optimal points (Bachelor thesis) | E1 4 | AG1 Mittagsseminar (own work) |

02/21/2018 | 11:30 | | Kurt Mehlhorn | | Group Meeting | E1 4 | AG1 Group Meeting |

02/20/2018 | 13:00 | | Bundit Laekhanukit | | On the Parameterized Complexity of Approximating Dominating Set | E1 4 | Talk |

02/19/2018 | 10:30 | | Antoine Kaufmann | | High Performance Data Center TCP Packet Processing | G26 | SWS Colloquium |

02/15/2018 | 13:00 | | Bernhard Haeupler | | Synchronization Strings and Coding for Insertions and Deletions | E1 4 | AG1 Mittagsseminar (others' work) |

02/15/2018 | 10:30 | | Keon Jang | | Towards Latency Guarantees in Datacenters | E1 5 | SWS Colloquium |

02/14/2018 | 19:00 | | Dor Minzer | | TCS+ talk: 2-to-2 Games via expansion on the Grassmann Graph | E1 4 | Talk |

02/13/2018 | 15:15 | | Bernhard Häupler | | Fast Distributed Optimization Algorithms via Low-Congestion Shortcuts | E1 4 | INF Distinguished Lecture Series |

02/13/2018 | 13:00 | | Saeed Amiri | | Distributed Dominating Set in Bounded Genus Graphs | E1 4 | AG1 Mittagsseminar (own work) |

02/12/2018 | 10:30 | | Niki Vazou | | Liquid Haskell: Usable Language-Based Program Verification | E1 5 | SWS Colloquium |

02/09/2018 | 16:00 | | Viktor Erdélyi | | Scalable positioning of commodity mobile devices using audio signals | E1 5 | SWS Student Defense Talks - Thesis Proposal |

02/08/2018 | 10:30 | | Zsolt Istvan | | Caribou -- Intelligent Distributed Storage for the Datacenter | E1 5 | SWS Colloquium |

02/07/2018 | 11:30 | | Kurt Mehlhorn | | Group Meeting, D1 | E1 4 | AG1 Group Meeting |

02/01/2018 | 13:00 | | Nitin Saurabh | | Optimal Quasi-Gray Codes: Does the Alphabet matter? | E1 4 | AG1 Mittagsseminar (own work) |

01/31/2018 | 19:00 | | Avi Wigderson | | TCS+ talk: Optimization, Complexity and Math (through the lens of one problem and one algorithm) | E1 4 | Talk |

01/30/2018 | 11:00 | | Dr. Herbert Jäger | | An Introduction to Reservoir Computing, and Beyond | E1 5 | AG3 Talk |

01/22/2018 | 16:00 | | Ezgi Çiçek | | Relational Cost Analysis | E1 5 | SWS Student Defense Talks - Thesis Defense |

01/17/2018 | 11:30 | | Kurt Mehlhorn | | Group Meeting | E1 4 | AG1 Group Meeting |

01/16/2018 | 13:00 | | Christian Ikenmeyer | | On algebraic branching programs of small width | E1 4 | AG1 Mittagsseminar (own work) |

01/11/2018 | 13:00 | | Saeed Amiri | | Disjoint Paths Problem | E1 4 | AG1 Mittagsseminar (own work) |

01/09/2018 | 13:00 | | Saeed Amiri | | Erdos Posa Property in Digraphs | E1 4 | AG1 Mittagsseminar (own work) |

12/20/2017 | 17:00 | | Anna Khoreva | | Learning to Segment in Images and Videos with Different Forms of Supervision | E1 4 | Promotionskolloquium |

12/19/2017 | 14:00 | | Seongkook Heo | | Let it move—Creating force and movement feedback on the surface and in the air. | E1 7 | Talk |

12/18/2017 | 14:00 | | Georgios Smaragdakis | | Understanding and Improving the Resilience of the Internet using the Measurement Lens | E1 4 | MPI Colloquium Series Distinguished Speaker |

12/18/2017 | 12:00 | s.t. | Prof. Gerhard Weikum | | Talk on Good Scientific Practice | E1 4 | IMPRS Research Seminar |

12/14/2017 | 13:00 | | Tetiana Lavynska | | On Biclique Cover and Partition of Bipartite Graphs | E1 4 | AG1 Mittagsseminar (own work) |

12/11/2017 | 11:00 | | Aruni Choudhary | | Approximation Algorithms for Vietoris-Rips and Cech Filtrations | E1 4 | Promotionskolloquium |

12/08/2017 | 12:00 | | David Swasey | | Formal and Compositional Reasoning about Object Capabilities | E1 5 | SWS Student Defense Talks - Thesis Proposal |

12/07/2017 | 14:15 | | Nisheeth Vishnoi | | Algorithms, Complexity, and Bias | E1 4 | MPI Colloquium Series Distinguished Speaker |

12/07/2017 | 13:00 | | Laszlo Kozma | | Selection from heaps, row-sorted matrices and X + Y using soft heaps | E1 4 | AG1 Mittagsseminar (own work) |

12/06/2017 | 12:15 | | Joël Ouaknine | | Fundamental Algorithmic Problems and Challenges in Dynamical and Cyber-Physical Systems | E1 5 | Joint Lecture Series |

12/04/2017 | 16:15 | | Kai Hui | | Automatic Methods for Low-Cost Evaluation and Position-Aware Models for Neural Information Retrieval | E1 5 | Promotionskolloquium |

12/01/2017 | 14:00 | | Dat Ba Nguyen | | Joint Models for Information and Knowledge Extraction | E1 4 | Promotionskolloquium |

11/30/2017 | 13:00 | | Emilio Cruciani | | Some new results for opinion dynamics on social networks | E1 4 | AG1 Mittagsseminar (own work) |

11/29/2017 | 16:00 | | Alexander Wieder | | Blocking Analysis of Spin Locks under Partitioned Fixed-Priority Scheduling | E1 5 | SWS Student Defense Talks - Thesis Defense |

11/23/2017 | 13:00 | | Günter Schmidt | | Competitive Analysis of Bi-directional Non-preemptive Conversion | E1 4 | AG1 Mittagsseminar (own work) |

11/22/2017 | 10:30 | | Hugo Férée | | Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations | E1 5 | SWS Colloquium |

11/20/2017 | 16:00 | | Mainack Mondal | | Understanding & Controlling User Privacy in Social Media via Exposure | E1 5 | SWS Student Defense Talks - Thesis Defense |

11/17/2017 | 15:00 | | Marko Doko | | Program Logic for Weak Memory Concurrency | G26 | SWS Student Defense Talks - Thesis Proposal |

11/16/2017 | 14:00 | | Soham Chakraborty | | Correct Compilation of Relaxed Memory Concurrency | G26 | SWS Student Defense Talks - Thesis Proposal |

11/15/2017 | 11:30 | s.t. | Kurt Mehlhorn | | Group Meeting | E1 4 | AG1 Group Meeting |

11/14/2017 | 13:00 | | L. Sunil Chandran and Davis Issac | | Spanning Tree Congestion and the Generalized Győri-Lovász Theorem (Part 2) | E1 4 | AG1 Mittagsseminar (own work) |

11/13/2017 | 10:00 | | Rakesh Agrawal | | Toward Data-Driven Education | E1 5 | SWS Distinguished Lecture Series |

11/10/2017 | 15:00 | | Nina Grgić-Hlača | | Beyond Distributive Fairness in Algorithmic Decision Making: Feature Selection for Procedurally Fair Learning | E1 5 | SWS Student Defense Talks - Qualifying Exam |

11/10/2017 | 13:00 | s.t. | Oliver Nalbach | | Smarter Screen Space Shading | E1 4 | Promotionskolloquium |

11/09/2017 | 13:00 | | L. Sunil Chandran and Davis Issac | | Spanning Tree Congestion and the Generalized Győri-Lovász Theorem (Part 1) | E1 4 | AG1 Mittagsseminar (own work) |

11/09/2017 | 11:00 | | Wolfgang Ahrendt | | StaRVOOrS: Combined Static and Runtime Verification of Object-Oriented Software | E1 5 | SWS Colloquium |

11/08/2017 | 16:00 | | Juhi Kulshrestha | | Quantifying & Characterizing Information Diets of Social Media Users | E1 5 | SWS Student Defense Talks - Thesis Proposal |

11/08/2017 | 12:15 | | Karl Bringmann | | Fine-Grained Complexity: Hardness for a Big Data World | E1 5 | Joint Lecture Series |

11/06/2017 | 11:00 | | Pietro Ferrara | | Julia: An abstract interpretation-based static analyzer of industrial OO software | G26 | MPI-Kolloquium |

11/02/2017 | 14:00 | c.t. | Dr. Steffen Rochel, AWS AI | | Deep Learning in Apache MxNet Gluon | E1 3 | Talk |

10/30/2017 | 12:00 | s.t. | Khansa Rekik | | Results of planning for sentence generation | E1 4 | IMPRS Research Seminar |

10/27/2017 | 13:00 | | Kurt Mehlhorn | | Physarum solves Positive Undirected LPs | E1 4 | AG1 Mittagsseminar (own work) |

10/27/2017 | 10:00 | | Prof. Dr.-Ing. Stefan Seelecke | | Actuation and New Materials | E1 7 | Talk |

10/27/2017 | 10:00 | | Prof. Dr.-Ing. Stefan Seelecke | | Actuation and New Materials | E1 7 | Talk |

10/24/2017 | 15:00 | s.t. | Annette Diehl | | Sexualisierte Diskriminierung und Gewalt | E1 5 | Talk |

10/24/2017 | 12:57 | | Dr.-Ing. Stefan Seelecke | | Actuation and New Material | E1 7 | Talk |

10/24/2017 | 09:30 | s.t. | Yu, Ho Kwan; Darulova, Eva; Somieski, Bertram | | Delegation HANCOM Group, Korea | E1 5 | Presentation |

10/23/2017 | 12:00 | s.t. | Vinh Thinh Ho | | Approaches for Word Representations | E1 4 | IMPRS Research Seminar |

10/19/2017 | 13:00 | | Kevin Schewior | | A Tight Lower Bound for Online Convex Optimization with Switching Costs | E1 4 | AG1 Mittagsseminar (own work) |

10/17/2017 | 13:00 | | Bhaskar Ray Chaudhury | | Proof of the Weighted Dynamic Finger Theorem by Iacono and Langerman. | E1 4 | AG1 Mittagsseminar (others' work) |

10/16/2017 | 15:00 | | Natalia Boldyrev | | Alignment of Multi-Cultural Knowledge Repositories | E1 4 | Promotionskolloquium |

10/12/2017 | 14:00 | | Dr. Donald Dansereau | | Computational Imaging for Robotic Vision | E1 4 | Talk |

10/12/2017 | 13:00 | | Ruben Becker | | Near-Optimal Approximate Shortest Paths and Transshipment in Distributed and Streaming Models | E1 4 | AG1 Mittagsseminar (own work) |

10/11/2017 | 16:15 | | Leila Amgoud | | Evaluation Methods of Arguments | E1 4 | Talk |

10/11/2017 | 11:00 | | Cosmina Croitoru | | Graph Models for Rational Social Interaction - PhD Verteidigung | E1 4 | Promotionskolloquium |

10/10/2017 | 13:00 | | Janne H. Korhonen | | LCL problems on grids | E1 4 | AG1 Mittagsseminar (own work) |

10/10/2017 | 11:00 | s.t. | Hufsah Ashraf | | Computational Modeling and Analysis of the Impacts of Sleep Deprivation on Glucose Stimulated Insulin Secretion via Circadian Clock Misalignment | E1 4 | PhD Application Talk |

10/10/2017 | 11:00 | s.t. | Jana Ebler | | Haplotype-Aware Genotyping from Long Sequencing Reads | E1 4 | PhD Application Talk |

10/10/2017 | 11:00 | s.t. | Jonas Fischer | | Fast methylation calling on mammalian bisulfite sequencing data | E1 4 | PhD Application Talk |

10/10/2017 | 09:30 | s.t. | Xiaoyu Shen | | Latent Variable Models in Dialogue Generation | E1 4 | PhD Application Talk |

10/10/2017 | 09:30 | s.t. | David Kaltenpoth | | Distinguishing Confounding from Causality | E1 4 | PhD Application Talk |

10/10/2017 | 09:30 | s.t. | Hiba Arnaout | | Effective Searching of RDF Knowledge Graphs | E1 4 | PhD Application Talk |

10/09/2017 | 16:00 | | Muhammad Bilal Zafar | | Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms | E1 5 | SWS Student Defense Talks - Thesis Proposal |

10/05/2017 | 13:00 | | Kurt Mehlhorn | | Weighted Dynamic Finger in Binary Search Trees by Iacono and Langerman (SODA '16) | E1 4 | AG1 Mittagsseminar (others' work) |

10/04/2017 | 12:15 | | Simon Razniewski | | What knowledge bases know (and what they don't) | E1 5 | Joint Lecture Series |

09/29/2017 | 15:00 | | Siyu Tang | | People Detection and Tracking in Crowded Scenes | E1 4 | Promotionskolloquium |

09/20/2017 | 11:30 | s.t. | Christoph Lenzen | | Group Meeting | E1 4 | AG1 Group Meeting |

09/14/2017 | 13:00 | | Mathew Francis | | Induced Colourful Paths in Triangle-free Graphs | E1 4 | AG1 Mittagsseminar (own work) |

09/12/2017 | 13:00 | | Giacomo Scornavacca | | Rational Fair Consensus in the GOSSIP Model | E1 4 | AG1 Mittagsseminar (own work) |

09/11/2017 | 15:30 | | Stephan Friedrichs | | Metastability-Containing Circuits, Parallel Distance Problems, and Terrain Guarding | E1 4 | Promotionskolloquium |

09/06/2017 | 12:15 | | Christian Ikenmeyer | | Geometric Complexity Theory: An ambitious approach towards P versus NP | E1 5 | Joint Lecture Series |

09/04/2017 | 16:00 | | Amy Siu | | Knowledge-driven Entity Recognition and Disambiguation in Biomedical Text | E1 4 | Promotionskolloquium |

08/29/2017 | 13:00 | | Aruni Choudhary | | Improved Approximate Rips Filtrations with Shifted Integer Lattices | E1 4 | AG1 Mittagsseminar (own work) |

08/18/2017 | 11:00 | s.t. | Martin Ochoa | | Securing Cyber-Physical Systems: Challenges and the road ahead | E9 1 | CISPA Distinguished Lecture Series |

08/17/2017 | 13:00 | | Nitin Saurabh | | Upper bounds on Fourier Entropy | E1 4 | AG1 Mittagsseminar (own work) |

08/16/2017 | 14:00 | s.t. | Andreas Herzig | | Dynamic logic and propositional assignments | E1 4 | Talk |

08/14/2017 | 15:00 | | Filip Nikšić | | Combinatorial Constructions for Effective Testing | G26 | SWS Student Defense Talks - Thesis Proposal |

08/10/2017 | 13:00 | | Krzysztof Fleszar | | Maximum Disjoint Paths: New Algorithms based on Tree-Likeness | E1 4 | AG1 Mittagsseminar (own work) |

08/08/2017 | 13:00 | | Andreas Schmid | | Computing Tutte Paths | E1 4 | AG1 Mittagsseminar (own work) |

08/07/2017 | 17:00 | | Anjo Vahldiek-Oberwagner | | Techniques to enforce security policies on untrusted applications | E1 5 | SWS Student Defense Talks - Thesis Proposal |

08/04/2017 | 13:30 | | Reinhard Munz | | Towards Use-Ability in Private Data Analytics | G26 | SWS Student Defense Talks - Thesis Proposal |

07/27/2017 | 13:00 | | Seri Khoury | | New Lower Bounds for the CONGEST model | E1 4 | AG1 Mittagsseminar (own work) |

07/25/2017 | 13:00 | | Karl Bringmann | | Improved Algorithms for Computing the Cycle of Minimum Cost-to-Time Ratio in Directed Graphs | E1 4 | AG1 Mittagsseminar (own work) |

07/25/2017 | 11:00 | s.t. | Nils Ole Tippenhauer | | Physical-Layer Security Aspects of ICS and IoT | E9 1 | CISPA Distinguished Lecture Series |

07/25/2017 | 10:30 | | Alexandra Chouldechova | | Fairer and more accurate, but for whom? | E1 5 | SWS Colloquium |

07/24/2017 | 15:00 | | Pierre-Louis Giscard | | The Theory of Walks | E1 4 | AG1 Mittagsseminar (own work) |

07/20/2017 | 15:00 | s.t. | Prof. Gilles Barthe: | | Advances in computer-aided cryptography | E9 1 | CISPA Distinguished Lecture Series |

07/19/2017 | 11:30 | | Kurt Mehlhorn | | Group Meeting | E1 4 | AG1 Group Meeting |

07/18/2017 | 11:00 | s.t. | Stavros Tripakis | | Security as a System Design Problem | E9 1 | CISPA Distinguished Lecture Series |

07/13/2017 | 13:00 | | Juho Lauri | | NP-completeness results for partitioning a graph into total dominating sets | E1 4 | AG1 Mittagsseminar (own work) |

07/12/2017 | 16:00 | s.t. | Dr. Matthias Berg | | IT-Sicherheit mitgestalten beim BSI | E9 1 | Talk |

07/12/2017 | 14:00 | | Dr James Hook | | Max-plus linear regression and low rank matrix approximation | E1 5 | Colloquium Lecture |

07/11/2017 | 13:00 | | Erik Jan Van Leeuwen | | Parameterized Complexity of Vertex-Partitioning Problems | E1 4 | AG1 Mittagsseminar (own work) |

07/11/2017 | 11:00 | | Demetris Zeinalipour | | Indoor Data Management in Anyplace | E1 4 | Colloquium Lecture |

07/10/2017 | 11:00 | s.t. | David Evans | | Adversarial Machine Learning: Are We Playing the Wrong Game? | E9 1 | CISPA Distinguished Lecture Series |

07/07/2017 | 10:00 | | Kathy Strandburg | | Decision Making and The Value of Explanation | E1 5 | SWS Colloquium |

07/06/2017 | 16:00 | | Subhabrata Mukherjee | | Probabilistic Graphical Models for Credibility Analysis in Evolving Online Communities | E1 5 | Promotionskolloquium |

07/06/2017 | 13:00 | | Attila Kinali | | The Use of Fault-tolerant Clock Synchronization Algorithms for Time Scales | E1 4 | AG1 Mittagsseminar (own work) |

07/06/2017 | 11:00 | | Stephan Günnemann | | Robust and Scalable Learning with Graphs | E1 5 | Colloquium Lecture |

07/05/2017 | 12:15 | | Qianru Sun | | Your photos expose your social life - Social relation recognition in 5 social domains | E1 5 | Joint Lecture Series |

06/30/2017 | 14:00 | s.t. | Attila Kinali | | Damped Sine Based Time Interval Counter - Measuring Time with Pico-Second Precision | E1 4 | AG1 Mittagsseminar (own work) |

06/29/2017 | 13:00 | | Ruben Hoeksma | | Posted price mechanisms for a random stream of customers | E1 4 | AG1 Mittagsseminar (own work) |

06/29/2017 | 11:15 | | Peter Wonka | | Integer Programming for Layout Problems | E1 4 | Talk |

06/28/2017 | 15:00 | | Adam Grycner | | Constructing Lexicons of Relational Phrases | E1 5 | Promotionskolloquium |

06/27/2017 | 11:00 | | Manolis Koubarakis | | Data Models and Query Languages for Linked Spatiotemporal Data | E1 4 | Colloquium Lecture |

06/26/2017 | 10:30 | | Giovanni Luca Ciampaglia | | Finding Fake News | E1 5 | SWS Colloquium |

06/21/2017 | 11:30 | | Andreas Karrenbauer | | Group Meeting | E1 4 | AG1 Group Meeting |

06/20/2017 | 17:00 | | Mateusz Malinowski | | Towards Holistic Machines: From Visual Recognition To Question Answering About Real-World Images | E1 4 | Promotionskolloquium |

06/19/2017 | 13:00 | | Christoph Lenzen | | Practice Talk: The many Faces of Clock Synchronization | E1 4 | Talk |

06/19/2017 | 10:00 | s.t. | Arpit Merchant | | Efficiently Estimationg Primitive Graph Properties | E1 4 | PhD Application Talk |

06/19/2017 | 10:00 | s.t. | Deeksha Adil | | Matching Under Preferences | E1 4 | PhD Application Talk |

06/19/2017 | 10:00 | s.t. | Mohammad Bashir Kazimi | | Coverage Model for Character-based Neural Machine Translation | E1 4 | PhD Application Talk |

06/19/2017 | 10:00 | s.t. | Saharnaz E. Dilmaghani | | Privacy Preserving Personal Health Record against Brute-Force Attack | E1 4 | PhD Application Talk |

06/14/2017 | 15:00 | | Till Speicher | | Discrimination in Online Advertising | E1 5 | SWS Student Defense Talks - Qualifying Exam |

06/14/2017 | 13:00 | | Eslam Elnikety | | Comprehensive and Practical Policy Compliance in Data Retrieval Systems | E1 5 | SWS Student Defense Talks - Thesis Proposal |

06/13/2017 | 11:00 | | Jeff Z. Pan | | The Rise of Approximate Reasoning: New Roadmap Emerging | E1 4 | Colloquium Lecture |

06/07/2017 | 12:15 | | Eva Darulova | | Towards an Approximating Compiler for Numerical Computations | E1 5 | Joint Lecture Series |

06/07/2017 | 11:30 | s.t. | All | | Group Meeting | E1 4 | AG1 Group Meeting |

06/06/2017 | 13:00 | | Kevin Schewior | | Tight Bounds for Online TSP on the Line | E1 4 | AG1 Mittagsseminar (own work) |

06/02/2017 | 14:00 | | Ligang Liu | | 3D Printing Oriented Geometric Design and Optimization | E1 4 | AG4 Talk |

06/01/2017 | 13:00 | | Joseph Landsberg | | Can we multiply matrices faster by exploiting symmetry? | E1 4 | AG1 Mittagsseminar (own work) |

05/30/2017 | 13:00 | | D. Schneider | | Rigid and Deformable Motion and Disassembly Planning | E1 4 | AG1 Mittagsseminar (own work) |

05/29/2017 | 14:00 | s.t. | NN | | Cybersicherhheit im BND: SSCD-Frühwarnsystem auf Basis technischer Aufklärung | E9 1 | Miscellaneous |

05/22/2017 | 14:00 | | Maksim Lapin | | Image Classification with Limited Training Data and Class Ambiguity | E1 4 | Promotionskolloquium |

05/15/2017 | 16:00 | | Anna Rohrbach | | Generating and Grounding of Natural Language Descriptions for Visual Data | E1 4 | Promotionskolloquium |

05/11/2017 | 13:00 | | Kavitha Telikepalli | | Popularity, Mixed Matchings, and Self-duality | E1 5 -MPI for Softwaresystems | AG1 Mittagsseminar (own work) |

05/10/2017 | 11:00 | s.t. | Prof. Bernhard Haeupler | | Synchronization Strings: Optimal Coding for Insertions and Deletions | E1 5 | INF Distinguished Lecture Series |

05/10/2017 | 09:45 | | Kiran Garimella | | Quantifying and Reducing Polarization on Social media | E1 5 | SWS Colloquium |

05/09/2017 | 13:00 | | D1 | | D1 internal poster session | E1 4 | AG1 Group Meeting |

05/08/2017 | 10:30 | | Pierre-Marie Pédrot | | An Effectful Way to Eliminate Addiction to Dependence | E1 5 | SWS Colloquium |

05/05/2017 | 12:30 | | Mike Roberts | | Harnessing the Creative Power of Drones | E1 4 | AG2 Working Group Seminar |

05/04/2017 | 13:00 | | Philip Wellnitz | | Clique-Based Lower Bounds for Parsing Tree-Adjoining Grammars (Bachelorseminar) | E1 4 | AG1 Mittagsseminar (own work) |

05/04/2017 | 11:00 | | Sebastian Trimpe | | Intelligent Control Systems | G26 | SWS Colloquium |

05/03/2017 | 12:15 | | Daria Stepanova | | Digital Knowledge: From Facts to Rules and Back | E1 5 | Joint Lecture Series |

05/02/2017 | 10:30 | | James Worrell | | On Rationality of Nonnegative Matrix Factorization | E1 5 | SWS Distinguished Lecture Series |

04/27/2017 | 19:00 | | Paul Cheung | | Digital Journalism in the Age of Mobile Devices and Social Media | E1 5 | Talk |

04/27/2017 | 14:00 | c.t. | Michael Haase | | Agile Softwareentwicklung in der Praxis | E1 3 | Talk |

04/26/2017 | 16:00 | | Andrew Baumann | | Securing enclaves with formal verification | E1 5 | SWS Colloquium |

04/25/2017 | 13:00 | | David P. Woodruff | | Parameterized Complexity of Matrix Factorization Problems | E1 4 | Talk |

04/24/2017 | 14:00 | s.t. | Vijay Ganesh | | The Unreasonable Effectiveness of Boolean SAT Solvers | E1 5 | Talk |

04/10/2017 | 10:30 | | Oriana Riva | | Comprehensive deep linking for mobile apps | G26 | SWS Colloquium |

04/05/2017 | 12:15 | | Björn Andres | | Graph Decomposition Problems in Image Analysis | E1 5 | Joint Lecture Series |

04/04/2017 | 13:00 | | Matthias Fuegger | | Fast Asymptotic and Approximate Consensus in Highly Dynamic Networks | E1 4 | AG1 Mittagsseminar (own work) |

04/03/2017 | 10:00 | | Azalea Raad | | Local Reasoning for Concurrency, Distribution and Web Programming | G26 | SWS Colloquium |

03/31/2017 | 16:00 | | Mainack Mondal | | Understanding & Controlling User Privacy in Social Media via Exposure | E1 5 | SWS Student Defense Talks - Thesis Proposal |

03/31/2017 | 10:30 | | Professor Richard Murray | | Combining Computing, Communications and Controls in Safety Critical Systems | G26 | SWS Distinguished Lecture Series |

03/29/2017 | 11:30 | s.t. | Kurt Mehlhorn | | Group Meeting | E1 4 | AG1 Group Meeting |

03/22/2017 | 10:30 | | Tianyin Xu | | Hardening cloud and datacenter systems against configuration errors | G26 | SWS Colloquium |

03/17/2017 | 10:00 | | Aurojit Panda | | A New Approach to Network Functions | G26 | SWS Colloquium |

03/16/2017 | 15:00 | | Akram El-Korashy | | A formal model for capability machines: Towards secure compilation to CHERI | E1 5 | SWS Student Defense Talks - Qualifying Exam |

03/15/2017 | 15:00 | | Ezgi Cicek | | Relational Cost Analysis | E1 5 | SWS Student Defense Talks - Thesis Proposal |

03/14/2017 | 14:09 | | Ryota Kobayashi | | Event time series analysis and its applications to social media analysis | E1 5 | SWS Colloquium |

03/14/2017 | 14:00 | | Bjoern Golla | | Mesh adaption based on Mesh deformation through flow maps | E1 4 - MPI-INF | AG4 Talk |

03/14/2017 | 13:00 | | Dror Rawitz | | Online Budgeted Maximum Coverage | E1 4 - MPI-INF | AG1 Mittagsseminar (own work) |

03/13/2017 | 10:30 | | Raymond Cheng | | Privacy as a Service | E1 5 | SWS Colloquium |

03/09/2017 | 16:00 | | Sourav Dutta | | Efficient knowledge management for named entities from text | E1 4 | Promotionskolloquium |

03/08/2017 | 10:00 | | Justin Hsu | | Randomized Algorithms Meets Formal Verification | E1 5 | SWS Colloquium |

03/07/2017 | 10:00 | | Kuldeep Meel | | Constrained Counting and Sampling: Bridging the Gap between Theory and Practice | E1 5 | SWS Colloquium |

03/03/2017 | 10:00 | | Mijung Park | | Variational Bayes In Private Settings | G26 | SWS Colloquium |

03/02/2017 | 13:00 | | Adi Rosén | | Semi-Streaming Set Cover | E1 4 - MPI-INF | AG1 Mittagsseminar (own work) |

03/01/2017 | 12:15 | | Paul Francis | | The Diffix Framework: Noise Revisited, Again | E1 5 | Joint Lecture Series |

02/28/2017 | 15:00 | | Erdal Kuzey | | Populating knowledge bases with temporal information | E1 4 | Promotionskolloquium |

02/28/2017 | 11:00 | | Maarten de Rijke | | The Birth of Collective Memories: Analyzing Emerging Entities in Text Streams | E1 4 | Colloquium Lecture |

02/28/2017 | 10:00 | | Adish Singla | | Learning With and From People | G26 | SWS Colloquium |

02/22/2017 | 10:30 | | Magnus Myreen | | A New Verified Compiler Backend for CakeML | E1 5 | SWS Colloquium |

02/21/2017 | 11:30 | s.t. | Timothy H. Edgar, Prof. Backes, Prof. Rossow, Mathias Gisch, Ninja Marnau | | State of the net: Weaponized information, manipulated elections – How can IT security safeguard civil liberties & political independence? | E9 1 | Panel Discussion |

02/21/2017 | 10:30 | | Renato Mancuso | | Safe, Real-Time Software Reference Architectures for Cyber-Physical Systems | G26 | SWS Colloquium |

02/21/2017 | 10:30 | s.t. | Timothy H. Edgar | | Cybersecurity and civil liberties - how the new U.S. government will approach cyber threats | E9 1 | CISPA Distinguished Lecture Series |

02/20/2017 | 10:00 | | Simina Branzei | | Computational fair division and mechanism design | E1 5 | SWS Colloquium |

02/17/2017 | 10:30 | | Ali Mashtizadeh | | Adventures in Systems Reliability: Replication and Replay | E1 5 | SWS Colloquium |

02/16/2017 | 13:00 | | Luca Becchetti | | Friend or foe? Population Protocols for Community Sensitive Labeling | E1 4 - MPI-INF | AG1 Mittagsseminar (own work) |

02/15/2017 | 10:00 | | Nadia Polikarpova | | Type-Driven Program Synthesis | G26 | SWS Colloquium |

02/14/2017 | 13:00 | | Vincenzo Bonifaci | | On the Convergence Time of a Natural Dynamics for Linear Programming | E1 4 - MPI-INF | AG1 Mittagsseminar (own work) |

02/08/2017 | 10:00 | | Arthur Gervais | | On the Security and Scalability of Proof of Work Blockchains | E1 5 | SWS Colloquium |

02/07/2017 | 13:00 | s.t. | Thorsten Theobald | | Some developments in spectrahedral computation | E1 4 - MPI-INF | AG1 Mittagsseminar (own work) |

02/06/2017 | 15:00 | | Sairam Gurajada | | Distributed Querying of Large Labeled Graphs | E1 5 | Promotionskolloquium |

02/06/2017 | 10:00 | | Dr. Maria Christakis | | Guiding program analyzers toward unsafe executions | G26 | SWS Colloquium |

02/01/2017 | 12:15 | | Shida Beigpour | | Inverse Rendering | E1 5 | Joint Lecture Series |

01/31/2017 | 13:00 | s.t. | Jesper Nederlof | | Faster Space Efficient Algorithms for Subset Sum and Knapsack | E1 4 - MPI-INF | AG1 Mittagsseminar (own work) |

01/27/2017 | 11:00 | | David P. Woodruff | | Sketching as a Tool for Linear Algebra | E1 4 - MPI-INF | Talk |

01/26/2017 | 13:00 | | Lucas Boczkowski | | Minimizing Message Size in Stochastic Communication Patterns: Fast Self-Stabilizing Protocols with 3 bits | E1 4 - MPI-INF | AG1 Mittagsseminar (own work) |

01/24/2017 | 14:15 | | Amos Korman | | Crazy ants are not so crazy | E2 6 | Talk |

01/23/2017 | 11:00 | s.t. | James Davenport | | The ‘doubly-exponential’ problem in equation/inequality solving | E1 5 | Talk |

01/20/2017 | 10:00 | s.t. | Xiaokun Wu | | Structure-aware content creation – Detection, retargeting and deformation | E1 4 | Promotionskolloquium |

01/11/2017 | 12:15 | | Jannik Strötgen | | Time for Text Mining and Information Retrieval | E1 5 | Joint Lecture Series |

01/09/2017 | 14:00 | | Sophie Tourret | | Prime Implicates Generation in Equational Logic | E1 5 | Talk |

01/05/2017 | 13:00 | s.t. | Daniel Vaz | | Beyond Metric Embedding: Approximating Group Steiner Trees on Bounded Treewidth Graphs | E1 4 - MPI-INF | AG1 Mittagsseminar (own work) |

12/20/2016 | 13:00 | | Prof. Torben Hagerup | | On-the-fly array initialization | E1 4 | AG1 Mittagsseminar (own work) |

12/20/2016 | 11:30 | | Ravi Madhavan | | Proving Performance Properties of Higher-order Functions with Memoization | G26 | SWS Colloquium |

12/20/2016 | 11:30 | | Ravi Madhavan | | Proving Performance Properties of Higher-order Functions with Memoization | G26 | SWS Colloquium |

12/16/2016 | 16:00 | s.t. | Srinath Sridhar | | Tracking Hands in Action for Gesture-based Computer Input | E1 4 | Promotionskolloquium |

12/15/2016 | 18:00 | s.t. | Helge Rhodin | | From motion capture to interactive virtual worlds | E1 4 | Promotionskolloquium |

12/15/2016 | 13:00 | | Sebastian Krinninger | | Fully dynamic all-pairs shortest paths with worst-case update-time revisited | E1 4 - MPI-INF | AG1 Mittagsseminar (own work) |

12/13/2016 | 13:00 | | Sandy Heydrich | | Faster approximation schemes for the two-dimensional knapsack problem | E1 4 | AG1 Mittagsseminar (own work) |

12/08/2016 | 13:00 | | Bojana Kodric | | Combinatorial Secretary Problems with Ordinal Information | E1 4 | AG1 Mittagsseminar (own work) |

12/07/2016 | 12:15 | | Hang Zhou | | Network Inference: Graph Reconstruction and Verification | E1 5 | Joint Lecture Series |

12/06/2016 | 13:00 | | Prof. Torben Hagerup | | Succinct choice dictionaries | E1 4 | AG1 Mittagsseminar (own work) |

12/02/2016 | 17:00 | s.t. | Bernhard Reinert | | Interactive, Example-driven Synthesis and Manipulation of Visual Media | E1 4 | Promotionskolloquium |

11/24/2016 | 13:00 | | Gorav Jindal | | On Rank of Matrix Spaces | E1 4 | AG1 Mittagsseminar (own work) |

11/23/2016 | 13:00 | | Johannes Bund | | Metastability-Containing Sorting Networks | E1 4 | AG1 Mittagsseminar (own work) |

11/22/2016 | 13:00 | | D1 | | D1 Group Meeting | E1 4 | AG1 Group Meeting |

11/16/2016 | 13:30 | s.t. | Cornelia Quennet-Thielen, August-Wilhelm Scheer,Matthias Scheffler,Hans Uszkoreit | | Podiumsdiskussion: Neue Datenräume kreativ nutzen - Open Data für Wissenschaft, Wirtschaft und Gesellschaft ... | E1 5 | Meeting |

11/15/2016 | 14:00 | s.t. | Ravi Ramamoorthi | | Sampling and Reconstruction of High-Dimensional Visual Appearance | E1 4 | Talk |

11/14/2016 | 13:00 | | Yi-Jun Chang | | Energy-efficient Leader Election in Wireless Networks | E1 4 | AG1 Mittagsseminar (others' work) |

11/10/2016 | 13:00 | | Emanuele Natale | | Find Your Place: Simple Distributed Algorithms for Community Detection | E1 4 | AG1 Mittagsseminar (own work) |

11/04/2016 | 15:00 | s.t. | Petr KELLNHOFER | | Perceptual modelling for stereoscopic 3D | E1 4 | Promotionskolloquium |

11/04/2016 | 12:00 | s.t. | Myroslav Bachynskyi | | Biomechanical Models for Human-Computer Interaction | E1 4 | Promotionskolloquium |

11/04/2016 | 11:00 | | Albrecht Schmidt | | Amplifying the Mind with Digital Tools: Technologies to Enhance Human Perception and Cognition | E1 7 - MMCI | Talk |

11/03/2016 | 13:00 | | Simone Montangero | | Extreme simulations for quantum technologies | E1 4 | MPI-Kolloquium |

11/03/2016 | 10:30 | | Marco Aiello | | Sustaining the Energy Transition: A Role for Computer Science and Complex Networks | G26 | SWS Colloquium |

11/02/2016 | 12:15 | | Viktor Vafeiadis | | A Promising Semantics for Relaxed-Memory Concurrency | E1 5 | Joint Lecture Series |

10/27/2016 | 18:00 | | Johannes Kloos | | Heap-based reasoning about asynchronous concurrency | G26 | SWS Student Defense Talks - Thesis Proposal |

10/20/2016 | 14:00 | s.t. | Prof. Dr. Riccardo Focardi | | A Declarative Language for Network Security | E9 1 - CISPA | CISPA Distinguished Lecture Series |

10/19/2016 | 14:00 | | Dr. Roi Poranne | | Scalable Locally Injective Mappings | E1 4 | AG4 Seminar |

10/18/2016 | 13:00 | s.t. | Jeroen Zuiddam | | On the tensor rank of graph tensors | E1 4 | AG1 Mittagsseminar (own work) |

10/07/2016 | 11:00 | | Leonid Sigal | | Semantic Embedding Models for Categorization and Detection | E1 4 | AG2 Seminar |

10/05/2016 | 12:15 | | Markus Bläser | | Polynomial Identity Testing | E1 5 | Joint Lecture Series |

09/29/2016 | 14:00 | c.t. | Martin Brain | | The Difficulty of Achieving (Abstract) Satisfaction | E1 4 | Talk |

09/28/2016 | 11:00 | | Kasper Hornbaek | | On being wrong, solving problems, and sharpening concepts in Human-Computer Interaction | E1 7 - MMCI | Talk |

09/23/2016 | 11:00 | | Beverly Li | | Multi-Authority ABE: Constructions and Applications | E1 5 | SWS Colloquium |

09/21/2016 | 10:00 | c.t. | Peter Lammich | | The Isabelle Refinement Framework | E1 4 | Talk |

09/20/2016 | 13:00 | | XX | | NO Noon-Seminar this week | E1 4 | AG1 Mittagsseminar (own work) |

09/19/2016 | 13:00 | | John Augustine | | Robust and Efficient Computation in Dynamic Networks with Heavy Churn | E1 5 | AG1 Mittagsseminar (own work) |

09/19/2016 | 09:00 | s.t. | Kerstin Kathy Meyer-Ross | | Presentation Skills | E1 4 | Talk |

09/16/2016 | 15:03 | s.t. | Kasper Hornbaek | | On being wrong, solving problems, and sharpening concepts in Human-Computer Interaction | E1 7 - MMCI | Talk |

09/16/2016 | 14:00 | s.t. | Sebastian Schuon | | From Researcher to CTO to Exit | E1 5 | Talk |

09/16/2016 | 11:00 | s.t. | Alexander Steen | | Leo-III - Paramodulation-Based Reasoning in HOL | E1 5 | Talk |

09/16/2016 | 11:00 | s.t. | Prof. Robert E. Tarjan | | Concurrent Disjoint Set Union | E1 3 - Hörsaal Gebäude | Talk |

09/15/2016 | 13:00 | | XX | | NO Noon Seminar this week | E1 4 | AG1 Mittagsseminar (own work) |

09/13/2016 | 10:30 | | Ruediger Ehlers | | Useful but ugly games | G26 | SWS Colloquium |

09/06/2016 | 17:30 | | Paarijaat Aditya | | Towards Privacy-Compliant Mobile Computing | E1 5 | SWS Student Defense Talks - Thesis Proposal |

09/02/2016 | 11:00 | | Utkarsh Upadhyay | | Dynamics of Crowdlearning and Value of Knowledge | G26 | SWS Student Defense Talks - Qualifying Exam |

08/24/2016 | 14:00 | | Fabian Kosmale | | Master thesis proposal talk: graphs and parallel algorithms | E1 4 | AG1 Mittagsseminar (own work) |

08/19/2016 | 16:00 | | Niket Tandon | | Commonsense Knowledge Acquisition and Applications | E1 4 | Promotionskolloquium |

08/19/2016 | 11:00 | | Prof. Henry Lieberman | | Sitting on the Edge of the Closed World Assumption | E1 4 | Colloquium Lecture |

08/18/2016 | 13:00 | | Martin Hoefer | | Computing Equilibria in Markets with Budget-Additive Utilities | E1 4 | AG1 Mittagsseminar (own work) |

08/16/2016 | 13:00 | | Davis Issac | | On the Parameterized Complexity of Biclique Cover and Partititon | E1 4 | AG1 Mittagsseminar (own work) |

08/15/2016 | 10:30 | | Damien Zufferey | | Domain Specific Languages for Verified Software | G26 | SWS Colloquium |

08/12/2016 | 15:00 | | Goetz Graefe | | New algorithms for map-reduce as well as SQL join and group-by | E1 4 | MPI-Kolloquium |

08/11/2016 | 13:00 | s.t. | Christian Ikenmeyer | | No occurrence obstructions in geometric complexity theory | E1 4 | AG1 Mittagsseminar (own work) |

08/10/2016 | 10:30 | | Geoffrey Nelissen | | Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems | G26 | SWS Colloquium |

08/05/2016 | 11:45 | | Laci Babai | | The Graph Isomorphism Problem, CANCELLED | E1 4 | Lecture |

08/05/2016 | 11:00 | | Laci Babai | | The Graph Isomorphism Problem, CANCELLED | E1 4 | INF Distinguished Lecture Series |

08/05/2016 | 10:30 | | Chandu Thekkath | | An overview of MSR-I | E1 5 | SWS Distinguished Lecture Series |

08/04/2016 | 13:00 | | Karl Bringmann | | Improved Pseudopolynomial Time Algorithms for Subset Sum | E1 4 | AG1 Mittagsseminar (own work) |

08/03/2016 | 13:00 | | Marvin Künnemann | | Tight(er) Bounds for Similarity Measures, Smoothed Approximation and Broadcasting | E1 4 | Promotionskolloquium |

08/03/2016 | 11:00 | | Benjamin Doerr | | The discrepancy of jittered sampling | E1 4 | Talk |

08/02/2016 | 13:00 | s.t. | Cornelius Brand | | Fine-grained dichotomies for the Tutte plane and Boolean #CSP | E1 4 | AG1 Mittagsseminar (own work) |

08/02/2016 | 11:00 | | Prof. Karin Verspoor | | Function and Phenotype Prediction through Data and Knowledge Fusion | E1 4 | MPI-Kolloquium |

08/01/2016 | 15:00 | | Michael Dorr | | Smooth pursuit eye movement classification for clinical diagnosis and everyday applications | E1 4 | Talk |

08/01/2016 | 13:45 | | Prof. Tim Baldwin | | Adventures in Representation Learning Land for Natural Language Processing | E1 4 | MPI-Kolloquium |

07/28/2016 | 13:00 | s.t. | Daniel Vaz | | New Integrality Gap Results for the Firefighters Problem on Trees | E1 4 | AG1 Mittagsseminar (own work) |

07/27/2016 | 11:00 | s.t. | Marijn J.H. Heule | | Everything’s Bigger in Texas: The Largest Math Proof Ever | E1 4 | Talk |

07/26/2016 | 13:00 | | Zvi Lotker | | Social Networks and Plays | E1 4 | AG1 Mittagsseminar (own work) |

07/25/2016 | 10:30 | | Daniel Neider | | Learning-Based Synthesis | G26 | SWS Colloquium |

07/22/2016 | 14:00 | | Suresh Venkatasubramanian | | Algorithmic fairness: a mathematical perspective | E1 5 | SWS Colloquium |

07/22/2016 | 11:00 | | Prof. Wim Deferme, Prof. Kris Luyten, Steven Nagels, and Raf Ramakers | | New Prospects for Ubiquitous Computing: Smart materials meet interactive computing | E1 7 - MMCI | Talk |

07/21/2016 | 13:30 | | Damon McCoy | | Framing Dependencies Introduced by Underground Commoditization | E1 5 | SWS Colloquium |

07/21/2016 | 13:00 | | Davis Issac | | Hadwiger's Conjecture and Squares of Chordal Graphs | E1 4 | AG1 Mittagsseminar (own work) |

07/19/2016 | 13:00 | | Andreas Wiese | | On approximating strip packing with a better ratio than 3/2 | E1 4 | AG1 Mittagsseminar (own work) |

07/19/2016 | 10:00 | | Wolfgang Gatterbauer | | Approximate lifted inference with probabilistic databases | E1 4 | Talk |

07/14/2016 | 10:00 | | Nikhil Bansal | | Algorithmic Methods in Combinatorial Discrepancy | E1 4 | INF Distinguished Lecture Series |

07/13/2016 | 14:15 | | Stefanie Mueller | | Interacting with Personal Fabrication Machines | E1 3 - Hörsaal Gebäude | Talk |

07/12/2016 | 14:00 | | Emanuel Laude | | Sublabel Accurate Relaxation of Nonconvex Energies arising in Computer Vision Problems | E1 4 | Talk |

07/12/2016 | 13:00 | | Giorgos Christodoulou | | Designing Networks with Good Equilibria under Uncertainty | E1 4 | AG1 Mittagsseminar (own work) |

07/11/2016 | 12:00 | s.t. | Cuong Xuan Chu | | Mining How-To Activity Commonsense Knowledge from the Web | E1 4 | IMPRS Research Seminar |

07/11/2016 | 11:00 | | Omar Alonso | | The practice of acquiring good labels | E1 4 | Talk |

07/07/2016 | 13:00 | | Marvin Künnemann | | Improved Protocols and Hardness Results for the Two-Player Cryptogenography Problem | E1 4 | AG1 Mittagsseminar (own work) |

07/06/2016 | 12:15 | | Maria Staudte | | When Eye Talk to You: Exploiting Eye-gaze in Spoken Communication | E1 5 | Joint Lecture Series |

07/05/2016 | 13:00 | | Michael Sagraloff | | On Recent Progress in Solving Polynomial Equations - Part II | E1 4 | AG1 Mittagsseminar (own work) |

07/05/2016 | 11:00 | | Prof. Mirek Riedewald | | Exploratory Analysis with Imprecise Queries | E1 4 | MPI-Kolloquium |

07/04/2016 | 12:00 | s.t. | Shreeraman Ponpathirkoottam | | Visual Computing for Industry 4.0 | E1 4 | IMPRS Research Seminar |

07/04/2016 | 09:30 | | Sebastian Ott | | Algorithms for Classical and Modern Scheduling Problems | E1 4 | Promotionskolloquium |

06/30/2016 | 13:00 | | Bundit Laekhanukit | | Approximating Survivable Network Design via Rounding-by-Tree-Embedding | E1 4 | AG1 Mittagsseminar (own work) |

06/28/2016 | 13:00 | s.t. | John Lapinskas | | Graphs on which evolution is more effective | E1 4 | AG1 Mittagsseminar (own work) |

06/27/2016 | 12:00 | s.t. | Mahesh Chandra | | Stochastic Optimization Methods for Deep Learning | E1 4 | IMPRS Research Seminar |

06/23/2016 | 11:00 | s.t. | Dennis Hofheinz | | Cryptographic building blocks | E9 1 - CISPA | CISPA Distinguished Lecture Series |

06/21/2016 | 13:00 | | Michael Sagraloff | | On Recent Progress in Solving Polynomial Equations - Part 1 | E1 4 | AG1 Mittagsseminar (own work) |

06/20/2016 | 10:30 | | Christoph Haase | | Algorithms for the Quantitative Analysis of Infinite-State Systems | G26 | SWS Colloquium |

06/20/2016 | 10:00 | | Raoman Rädle | | Cross-Device Interactions and Enabling Technology | E1 7 - MMCI | Talk |

06/16/2016 | 13:00 | | Alantha Newman | | The Alternating Stock Size Problem and the Gasoline Puzzle | E1 4 | AG1 Advanced Mini-Course |

06/15/2016 | 19:00 | | Prof. Dr. Gerhard Weikum | | Was Computer wissen, lesen und verstehen | E2 2 - Günter-Hotz-Hörsaal | Public Lecture |

06/14/2016 | 14:00 | | Alexander Schütz | | Weighting of information across eye movements | E1 4 | Talk |

06/14/2016 | 14:00 | s.t. | Timo Bolkart | | Dynamic and Groupwise Statistical Analysis of 3D Faces | E1 4 | Promotionskolloquium |

06/14/2016 | 13:00 | | Michał Pilipczuk | | Lower Bounds for Approximation Schemes for Closest String | E1 4 | AG1 Mittagsseminar (own work) |

06/10/2016 | 14:00 | c.t. | Dr. Timo Kötzing | | Black-Box Optimization under Uncertainty | E1 4 | AG1 Mittagsseminar (others' work) |

06/10/2016 | 11:00 | | Dieter Schmalstieg | | Authoring and Visualization Technologies for Augmented Reality Experiences | E1 4 | Talk |

06/09/2016 | 10:30 | | Dr. Ashish Goel | | Decision making at scale: Algorithms, Mechanisms, and Platforms | E1 5 | SWS Distinguished Lecture Series |

06/07/2016 | 11:00 | | Julia Chuzhoy | | Approximation Algorithms for Graph Routing Problems | E1 4 | MPI Colloquium Series Distinguished Speaker |

06/06/2016 | 11:15 | | Themis Palpanas | | Data Series Management: The Road to Big Sequence Analytics | E1 4 | Talk |

06/03/2016 | 13:00 | | Daniel Vaz | | Fractional Coloring and Maximum Independent Set | E1 4 | Probevortrag |

06/02/2016 | 13:00 | | Thomas Kesselheim | | Secretary Problems with Non-Uniform Arrival Order | E1 4 | AG1 Mittagsseminar (own work) |

06/01/2016 | 12:15 | | Markus Steinberger | | Dynamic Scheduling for High-Performance Procedural Generation on the GPU | E1 5 | Joint Lecture Series |

05/31/2016 | 16:00 | | Leonid Pishchulin | | Articulated People Detection and Pose Estimation in Challenging Real World Environments | E1 4 | Promotionskolloquium |

05/30/2016 | 16:00 | | Cheng Li | | Building Fast and Consistent (Geo-)Replicated Systems: From Principles to Practice | E1 5 | SWS Student Defense Talks - Thesis Defense |

05/30/2016 | 12:00 | | n/a | | NO IMPRS Research Seminar on Monday, May 30th | E1 4 | IMPRS Research Seminar |

05/27/2016 | 10:30 | | Cecilia Mascolo | | Truly Continuous Mobile Sensing for Behaviour Modelling | G26 | SWS Distinguished Lecture Series |

05/23/2016 | 14:00 | | Christoph Lenzen | | ERC prep talk | E1 4 | Miscellaneous |

05/19/2016 | 13:00 | | Pascal Lenzner | | Selfish Network Creation: Structure, Locality & Robustness | E1 4 | AG1 Mittagsseminar (own work) |

05/04/2016 | 12:15 | | Derek Dreyer | | RustBelt: Logical Foundations for the Future of Safe Systems Programming | E1 5 | Joint Lecture Series |

05/03/2016 | 10:00 | | Torsten Sattler | | Large-Scale Camera Pose Voting and the Geometric Burstiness Problem | E1 4 | Talk |

04/28/2016 | 14:00 | s.t. | Nikhil Swamy | | F*: A tool for programming and proving | E9 1 - CISPA | CISPA Distinguished Lecture Series |

04/28/2016 | 13:00 | | Andreas Wiese | | Independent set of convex polygons: from n^eps to 1+eps via shrinking | E1 4 | AG1 Mittagsseminar (own work) |

04/28/2016 | 09:00 | | Bimal Viswanath | | Towards Trustworthy Social Computing Systems | E1 5 | SWS Student Defense Talks - Thesis Defense |

04/26/2016 | 13:00 | | Cosmina Croitoru | | Bipartite Digraphs Debates | E1 4 | AG1 Mittagsseminar (own work) |

04/21/2016 | 14:30 | | Andreas Krause | | From Proteins to Robots: Learning to Optimize with Confidence | E1 4 | INF Distinguished Lecture Series |

04/21/2016 | 13:00 | | Martin Hoefer | | Efficient Algorithms for Unknown Markets | E1 4 | AG1 Mittagsseminar (own work) |

04/20/2016 | 13:00 | | Ulfar Erlingsson | | Data-driven Software security: Motivation and Methods | E1 5 | SWS Distinguished Lecture Series |

04/15/2016 | 10:00 | | Mohamed Yahya | | Question Answering and Query Processing for Extended Knowledge Graphs | E1 4 | Promotionskolloquium |

04/14/2016 | 16:00 | | Christina Teflioudi | | Algorithms for Shared-Memory Matrix Completion and Maximum Inner Product Search | E1 4 | Promotionskolloquium |

04/14/2016 | 14:30 | | Volker Tresp | | Learning with Memory Embeddings | E1 4 | Talk |

04/14/2016 | 13:30 | | Martin Rolfs | | Attention in active vision | E1 4 | Talk |

04/14/2016 | 13:00 | | Thatchaphol Saranurak | | A new proof of static optimality for splay tree | E1 4 | AG1 Mittagsseminar (own work) |

04/14/2016 | 10:30 | | Dina Papagiannaki | | Telco Innovation at Home | E1 5 | SWS Distinguished Lecture Series |

04/13/2016 | 14:00 | | David Swasey | | Formalizing object capabilities | E1 5 | SWS Student Defense Talks - Qualifying Exam |

04/12/2016 | 13:00 | | Paresh Nakhe | | Exploiting structure in multi-armed bandits | E1 4 | AG1 Mittagsseminar (own work) |

04/11/2016 | 10:30 | | Manos Kapritsos | | Sustainable Reliability for Distributed Systems | G26 | SWS Colloquium |

04/07/2016 | 13:00 | s.t. | Daniel Vaz | | Fast Algorithms for Approximating Group Steiner Tree | E1 4 | AG1 Mittagsseminar (own work) |

04/06/2016 | 12:15 | | Renjie Chen | | Low Distortion Geometry Modelling | E1 5 | Joint Lecture Series |

04/05/2016 | 13:00 | | Syamantak Das | | Scheudling with Outliers to Minimize Load and Flow-time | E1 4 | AG1 Mittagsseminar (own work) |

03/31/2016 | 13:00 | | Maximilian John | | A New SDP Relaxation for the Quadratic Assignment Problem | E1 4 | AG1 Mittagsseminar (own work) |

03/31/2016 | 11:00 | | Maya Ramanath | | Tracking the Conductance of Rapidly Evolving Topic-Subgraphs | E1 4 | AG5 Talk |

03/31/2016 | 10:30 | | Andreas Haeberlen | | Accountability for Distributed Systems | G26 | SWS Colloquium |

03/30/2016 | 14:00 | | Amir Vaxman | | Directional Field Synthesis, Design, and Processing | E1 4 | AG4 Talk |

03/29/2016 | 13:00 | | Pavel Kolev | | A Note on Spectral Clustering | E1 4 | AG1 Mittagsseminar (own work) |

03/29/2016 | 10:30 | | Aaron Schulman | | Why applications are still draining our batteries, and how we can help | G26 | SWS Colloquium |

03/24/2016 | 14:00 | | Boris Schauerte | | Attention and Gaze Estimation for Intelligent Systems | E1 4 | Talk |

03/23/2016 | 10:30 | | Arunesh Sinha | | What's in a Game? An intelligent and adaptive approach to security | G26 | SWS Colloquium |

03/22/2016 | 13:00 | | Davis Issac | | Biclique Optimization Problems | E1 4 | AG1 Mittagsseminar (own work) |

03/22/2016 | 13:00 | | Caigui Jiang | | Geometry rationalization for freeform architecture | E1 4 | AG4 Talk |

03/21/2016 | 14:00 | | Istemi Ekin Akkus | | Towards a Non-Tracking Web | G26 | SWS Student Defense Talks - Thesis Defense |

03/21/2016 | 10:30 | | Arjun Radhakrishna | | Performance-aware Repair for Concurrent Programs | G26 | SWS Colloquium |

03/17/2016 | 10:30 | | Chenhao Tan | | Online social interactions: a lens on humans and a world for humans | G26 | SWS Colloquium |

03/15/2016 | 13:00 | s.t. | Alexander Kobel | | Computing Real Roots of a Real Polynomial ... and now for Real | E1 4 | AG1 Mittagsseminar (own work) |

03/14/2016 | 10:30 | | Dave Levin | | Securing the Internet by Proving the Impossible | G26 | SWS Colloquium |

03/10/2016 | 15:30 | | Zilong Wang | | Algorithms and Tools for Verification and Testing of Asynchronous Programs | G26 | SWS Student Defense Talks - Thesis Defense |

03/10/2016 | 14:00 | s.t. | Steve Kremer | | Automated verification of equivalence properties forcryptographic protocols | E9 1 - CISPA | CISPA Distinguished Lecture Series |

03/10/2016 | 11:00 | | Prof. Jennifer Neville | | Learning in networks: How to exploit relationships to improve predictions | E1 4 | MPI Colloquium Series Distinguished Speaker |

03/10/2016 | 10:30 | | Baris Kasikci | | Stamping Out Concurrency Bugs | G26 | SWS Colloquium |

03/08/2016 | 13:00 | s.t. | Michael Dirnberger | | NEFI: Network Extraction From Images | E1 4 | AG1 Mittagsseminar (own work) |

03/07/2016 | 10:30 | | Robert West | | Human Behavior in Networks | E1 5 | SWS Colloquium |

03/04/2016 | 13:00 | | Guy Even | | Network-on-Chips: offline and online methodologies | E1 4 | AG1 Mittagsseminar (others' work) |

03/03/2016 | 13:00 | | Aruni Choudhary | | Approximating Rips using Permutohedra | E1 4 | AG1 Mittagsseminar (own work) |

03/02/2016 | 16:00 | | Kurt Mehlhorn | | Hollow Heaps (Hansen, Kaplan, Tarjan, Zwick) | E1 4 | AG1 Mittagsseminar (others' work) |

03/01/2016 | 13:00 | | Andreas Schmid | | Match-And-Merge: A New Greedy Framework for Maximum Planar Subgraphs | E1 4 | AG1 Mittagsseminar (own work) |

02/26/2016 | 09:00 | s.t. | Krzysztof Templin | | Depth, Shading, and Stylization in Stereoscopic Cinematography | E1 4 | Promotionskolloquium |

02/25/2016 | 16:15 | | Marie-Francoise Roy | | Effectivity Issues and Results for Hilbert's 17th Problem | E1 4 | Talk |

02/25/2016 | 13:00 | | Marvin Künnemann | | The (multivariate) fine-grained complexity of Longest Common Subsequence | E1 4 | AG1 Mittagsseminar (own work) |

02/24/2016 | 15:00 | | Samir Khuller | | Capacitated Covering, Scheduling to Minimize Energy and Min Edge CostFlows -a natural convergence | E1 4 | MPI-Kolloquium |

02/23/2016 | 13:00 | | Sam McCauley | | Cache-Adaptive Analysis | E1 4 | AG1 Mittagsseminar (own work) |

02/22/2016 | 10:30 | | Catalin Hritcu | | Efficient Formally Secure Compilers to a Tagged Architecture | G26 | SWS Colloquium |

02/18/2016 | 13:00 | | Attila Kinali | | Fault-tolerant clock synchronization in hardware | E1 4 | AG1 Mittagsseminar (own work) |

02/16/2016 | 13:00 | s.t. | Pascal Schweitzer | | The Graph Isomorphism problem: techniques from structural graph theory and canonical decompositions | E1 4 | AG1 Mittagsseminar (own work) |

02/15/2016 | 10:30 | | Linh Thi Xuan Phan | | Timing Guarantees for Cyber-Physical Systems | G26 | SWS Colloquium |

02/12/2016 | 16:00 | s.t. | Oliver Klehm | | User-Guided Scene Stylization using Efficient Rendering Techniques | E1 4 | Promotionskolloquium |

02/11/2016 | 13:00 | | Stephan Friedrichs | | Metastability-Containing Arithmetic | E1 4 | AG1 Mittagsseminar (own work) |

02/09/2016 | 15:30 | | Reinhard Munz | | ANON: Practical Privacy Preserving Data Analytics | G26 | SWS Student Defense Talks - Qualifying Exam |

02/09/2016 | 13:00 | | Sebastian Krinninger | | Approximate Shortest Paths via Hop Sets: Distributed and Dynamic Algorithms | E1 4 | AG1 Mittagsseminar (own work) |

02/04/2016 | 13:00 | | Bojana Kodric | | Price of Anarchy for Mechanisms with Admission | E1 4 | AG1 Mittagsseminar (own work) |

02/03/2016 | 12:15 | | Vera Demberg | | Computational Modelling of Human Language Comprehension | E1 5 | Joint Lecture Series |

02/02/2016 | 13:00 | | Sandy Heydrich | | Improvements in online bin packing | E1 4 | AG1 Mittagsseminar (own work) |

02/02/2016 | 11:00 | s.t. | Oskar ELEK | | Efficient Methods for Physically-based Rendering of Participating Media | E1 4 | Promotionskolloquium |

02/01/2016 | 14:00 | s.t. | Youngkyoon Yang | | Hand Gesture-based User Interface in Ubiquitous Virtual Reality | E1 4 | Talk |

02/01/2016 | 12:05 | | Jón Arnar Tomasson | | PDE based image compression | E1 4 | IMPRS Research Seminar |

01/28/2016 | 13:00 | | Omar Darwish | | Master Seminar: Computing Balanced Flows via Parametric Flows | E1 4 | AG1 Advanced Mini-Course |

01/26/2016 | 13:00 | | D1 | | Group Meeting D1 | E1 4 | AG1 Group Meeting |

01/25/2016 | 12:05 | | Maxat Nukhayev | | Arrakis: The Operating System In The Control Plane | E1 4 | IMPRS Research Seminar |

01/22/2016 | 11:00 | | Prof. Justin Zobel | | A Measure of Mismeasures | E1 4 | MPI Colloquium Series Distinguished Speaker |

01/16/2016 | 13:00 | | Alantha Newman | | The Alternating Stock Size Problem and the Gasoline Puzzle | E1 4 | AG1 Advanced Mini-Course |

01/13/2016 | 12:15 | | Erik Jan van Leeuwen | | Parameterized Algorithms and the Structure of Networks | E1 5 | Joint Lecture Series |

01/11/2016 | 16:15 | | Luciano Del Corro | | Methods for Open Information Extraction and Sense Disambiguation on Natural Language Text | E1 5 | Promotionskolloquium |

01/11/2016 | 11:00 | c.t. | Zhaochun Ren | | Time-aware Multi-Viewpoint Summarization of Multilingual Social Text Streams | E1 4 | AG5 Talk |

01/06/2016 | 13:00 | | Jacques-Henri Jourdan | | Verasco, a formally verified C static analyzer | G26 | SWS Colloquium |

01/05/2016 | 10:30 | | Amir Aminifar | | 'Embedded Control Systems --- From Theory to Implementation' | G26 | SWS Colloquium |

01/04/2016 | 12:05 | | Michaël Noël Divo | | Proof Assistant and Formalization of "Types and Programming Languages" with Isabelle HOL | E1 4 | IMPRS Research Seminar |

12/21/2015 | 15:00 | | Bojan Pepikj | | Richer Object Representations for Object Class Detection in Challenging Real-World Images | E1 4 | Promotionskolloquium |

12/21/2015 | 11:00 | s.t. | Jing Han | | Representation of Piecewise Biharmonic Surfaces Using Biquadratic and Bicubic B-splines | E1 4 | AG4 Talk |

12/18/2015 | 15:00 | s.t. | Zhongjie WANG | | Pattern Search for Visualization | E1 4 | Promotionskolloquium |

12/18/2015 | 11:00 | s.t. | Charalampos Papamanthou | | Trustworthy Computing with Untrusted Resources | E1 5 | CISPA Distinguished Lecture Series |

12/17/2015 | 13:00 | | Scott Owens | | The CakeML verified compiler | E1 5 | SWS Colloquium |

12/16/2015 | 14:00 | | Tobias Günther | | Opacity Optimization and Inertial Particles in Flow Visualization | E1 4 | AG4 Talk |

12/16/2015 | 10:30 | | Kathy Gray | | Rigorous Acrchitectural Modelling for Production Multiprocessors | E1 5 | SWS Colloquium |

12/15/2015 | 10:30 | | Robbert Krebbers | | The C standard formalized in Coq | E1 5 | SWS Colloquium |

12/14/2015 | 16:00 | | John Wilmes | | The Isomorphism Problem for Highly Regular Combinatorial Objects | E1 4 | Talk |

12/14/2015 | 12:00 | | Akram El-Korashy | | Language-Based Information-Flow Security | E1 4 | IMPRS Research Seminar |

12/11/2015 | 15:00 | | Mohamed Amir Yosef | | U-AIDA: A Customizable System for Named Entity Recognition, Classification, and Disambiguation | E1 5 | Promotionskolloquium |

12/10/2015 | 10:00 | s.t. | Simon Olberding | | Fabricating Custom-Shaped Thin-Film Interactive Surfaces | E1 7 - MMCI | Promotionskolloquium |

12/09/2015 | 10:00 | s.t. | Ahmed ELHAYEK | | Marker-less Motion Capture in General Scenes with Sparse Multi-camera Setups | E1 4 | Promotionskolloquium |

12/08/2015 | 13:00 | | Ruben Becker | | A Novel Dual Ascent Algorithm for Solving the Min-Cost Flow Problem | E1 4 | AG1 Mittagsseminar (own work) |

12/08/2015 | 10:30 | | Aritra Dhar | | CLOTHO: Saving Programs from Malformed Strings and Incorrect String-Handling | E1 5 | SWS Colloquium |

12/07/2015 | 12:05 | | Gerhard Weikum | | Good Scientific Practice | E1 4 | IMPRS Research Seminar |

12/02/2015 | 12:15 | | Krishna Gummadi | | Fairness and Transparency in Data-Driven Decision Making Systems | E1 5 | Joint Lecture Series |

12/01/2015 | 13:00 | | Erik Jan van Leeuwen | | Independent Set on H-free Graphs | E1 4 | AG1 Mittagsseminar (own work) |

11/26/2015 | 10:30 | | Dr. Marco Caccamo | | Impact of Multicore on Cyber-Physical Systems: challenges andsolutions | E1 5 | SWS Distinguished Lecture Series |

11/24/2015 | 13:00 | | Vladimir Shikhman | | Computation of Fisher-Gale equilibrium by auction | E1 4 | AG1 Mittagsseminar (own work) |

11/23/2015 | 12:05 | | Hosnieh Sattar | | Prediction of search targets from fixations in open-world settings | E1 4 | IMPRS Research Seminar |

11/19/2015 | 13:00 | | Stephan Friedrichs | | Parallel Metric Tree Embedding based on an Algebraic View on Moore-Bellman-Ford | E1 4 | AG1 Mittagsseminar (own work) |

11/19/2015 | 10:30 | | Dr. Suresh Jagannathan | | Declarative Programming for Eventual Consistency | G26 | SWS Colloquium |

11/16/2015 | 12:05 | | Yusra Ibrahim | | Making Sense of Web Tables | E1 4 | IMPRS Research Seminar |

11/11/2015 | 12:15 | | Parinya Chalermsook | | Binary Search Trees, Precognition, and Patterns | E1 5 | Joint Lecture Series |

11/09/2015 | 12:05 | | Kashyap Popat | | Exploring new feature space for Sentiment Analysis | E1 4 | IMPRS Research Seminar |

11/05/2015 | 13:00 | | Claire Mathieu | | Analyzing the forest fire model | E2.1 Center for Bioinformatics | MPI Colloquium Series Distinguished Speaker |

11/03/2015 | 13:00 | | D! | | D1 Group Meeting | E1 4 | AG1 Group Meeting |

11/02/2015 | 12:05 | | Sreyasi Nag Chowdhury | | Why is Commonsense not so common? | E1 4 | IMPRS Research Seminar |

11/01/2015 | 09:00 | | Launch a Startup in 54 Hours! | | Startup Weekend SouthWest (3-Day Event) | Campus A3 3 (Aula) | Miscellaneous |

10/31/2015 | 09:00 | | Launch a Startup in 54 Hours! | | Startup Weekend SouthWest (3-Day Event) | Campus A3 3 (Aula) | Miscellaneous |

10/30/2015 | 18:30 | | Launch a Startup in 54 Hours! | | Startup Weekend SouthWest (3-Day Event) | Campus A3 3 (Aula) | Miscellaneous |

10/30/2015 | 15:00 | | Soham Chakraborty | | Validating Optimizations of Concurrent C/C++ Programs | G26 | SWS Student Defense Talks - Qualifying Exam |

10/30/2015 | 13:00 | | Joel Ouaknine | | Decision Problems for Linear Dynamical Systems | E1 4 | MPI Colloquium Series Distinguished Speaker |

10/26/2015 | 11:20 | s.t. | Adrián Rebola Pardo | | Unsatisfiability Proofs for Parity Reasoning in SAT | E1 4 | PhD Application Talk |

10/26/2015 | 11:20 | s.t. | Kailash Budhathoki | | Correlation by Compression | E1 4 | PhD Application Talk |

10/26/2015 | 11:20 | s.t. | Madhumita | | Recognizing Textual Entailment | E1 4 | PhD Application Talk |

10/26/2015 | 11:20 | s.t. | Panagiotis Mandros | | Information-Theoretic Feature Selection for Continuous Data | E1 4 | PhD Application Talk |

10/26/2015 | 10:20 | s.t. | Dilip Ariyur Durai | | Optimising de novo transcriptome assembly | E1 4 | PhD Application Talk |

10/26/2015 | 09:00 | s.t. | Akshita | | Multimodal Affective Feedback: Role of Haptics | E1 4 | PhD Application Talk |

10/26/2015 | 09:00 | s.t. | Alan Schoen | | Updating Artificial Neural Networks: Translating Recent Discoveries about the Electrophysiology of Neurons into the Language of Computation | E1 4 | PhD Application Talk |

10/26/2015 | 09:00 | s.t. | Pedro Ascensão Ferreira Matias | | Non-Preemptive Speed Scaling and Parallel Machine Scheduling with Job Restrictions | E1 4 | PhD Application Talk |

10/26/2015 | 09:00 | s.t. | Sherif Mohamed Hany Abdelalim Helmy Shehata | | Using Mid- and High-Level Visual Features for Surgical Workflow Detection in Cholecystectomy Procedures | E1 4 | PhD Application Talk |

10/26/2015 | 09:00 | s.t. | Yanjie Wang | | Explorations of the PATH Algorithm for Graph Matching | E1 4 | PhD Application Talk |

10/23/2015 | 10:00 | | Dima Damen | | The lifetime of an object – long-term monitoring of objects | E1 4 | Talk |

10/22/2015 | 10:30 | | Salvatore Ruggieri | | Discrimination Data Analysis | E1 5 | SWS Colloquium |

10/20/2015 | 14:00 | | Arpan Gujarati | | When is CAN the Weakest Link? A Bound on Failures-In-Time in CAN-Based Real-Time Systems | G26 | SWS Student Defense Talks - Qualifying Exam |

10/20/2015 | 13:30 | | Pontus Ekberg | | Complexity of the Scheduling Problem for Periodic Real-Time Tasks | G26 | SWS Colloquium |

10/16/2015 | 13:00 | | Marko Doko | | FSL: A Program Logic for C11 Memory Fences | G26 | SWS Student Defense Talks - Qualifying Exam |

10/16/2015 | 12:00 | | Alexander Wieder | | Spin Locks in Real-Time Systems | G26 | SWS Student Defense Talks - Thesis Proposal |

10/15/2015 | 13:00 | | Pankaj Khanchandani | | Accurate and Robust Clock Synchronization | E1 4 | AG1 Mittagsseminar (own work) |

10/08/2015 | 13:00 | | Hang Zhou | | Correlation Clustering and Two-edge-connected Augmentation for Planar Graphs | E1 4 | AG1 Mittagsseminar (own work) |

10/07/2015 | 12:15 | | Roland Angst | | Challenges in Image-Based 3D Reconstructions | E1 5 | Joint Lecture Series |

10/06/2015 | 13:00 | | Sunil Chandran | | Rainbow connection number of graphs | E1 4 | AG1 Advanced Mini-Course |

09/28/2015 | 11:00 | | Tomasz Tylenda | | Methods and Tools for Summarization of Entities and Facts in Knowledge Bases | E1 4 | Promotionskolloquium |

09/23/2015 | 14:00 | | He Sun | | Constructing Linear-Sized Spectral Sparsification in Almost-Linear Time | E1 4 | AG1 Mittagsseminar (own work) |

09/22/2015 | 13:00 | s.t. | Bjoern Andres | | Lifting of Multicuts and the Decomposition of Image and Mesh Graphs | E1 4 | AG1 Mittagsseminar (own work) |

09/21/2015 | 13:00 | | Christine Rizkallah | | Trustworthy File Systems | E1 5 | SWS Colloquium |

09/18/2015 | 14:00 | | Deepak Kapur | | A Quantifier- Elimination Heuristic for Octagonal Constraints | G26 | SWS Colloquium |

09/18/2015 | 09:00 | | Christine Rizkallah | | Verification of Program Computations (PhD-Defense) | E1 4 | Promotionskolloquium |

09/17/2015 | 10:00 | | Irfan Essa | | Video Analysis and Enhancement: Spatio-Temporal Methods for Extracting Content from Videos and Enhancing Video Output | E1 4 | Talk |

09/15/2015 | 10:00 | | James Caverlee | | Geo-Social Footprints in Social Media: Opportunities and Challenges | E1 4 | Talk |

09/10/2015 | 13:00 | | Jiemin Zeng | | Exact and Approximation Algorithms for Data Mule Scheduling in a Sensor Network | E1 4 | AG1 Mittagsseminar (own work) |

09/08/2015 | 13:00 | | Shikha Singh | | Rational Proofs with Multiple Provers | E1 4 | AG1 Mittagsseminar (own work) |

09/03/2015 | 13:00 | | AG 1 | | Group Meeting and Cake | E1 4 | AG1 Group Meeting |

09/02/2015 | 12:15 | | Jasmin Christian Blanchette | | Making Theorem Provers Easier to Use | E1 5 | Joint Lecture Series |

08/25/2015 | 13:00 | | Davis Issac | | Online Sampling with Minimal Randomness | E1 4 | AG1 Mittagsseminar (own work) |

08/18/2015 | 13:00 | | Ralf Jung | | Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning | E1 5 | SWS Student Defense Talks - Qualifying Exam |

08/13/2015 | 13:00 | | Andreas Wiese | | On guillotine cutting sequences | E1 4 | AG1 Mittagsseminar (own work) |

08/12/2015 | 13:00 | | Christoph Lenzen | | ERC prep talk | E1 4 | Talk |

08/11/2015 | 13:00 | | Paul Dütting | | Algorithms as Mechanisms: The Price of Anarchy of Relax-and-Round | E1 4 | AG1 Mittagsseminar (own work) |

08/06/2015 | 13:00 | | Andreas Wiese | | How to tame rectangles | E1 4 | AG1 Mittagsseminar (own work) |

08/05/2015 | 12:15 | | Piotr Didyk | | Perceptually-driven Inputs for New Output Devices | E1 5 | Joint Lecture Series |

07/30/2015 | 10:30 | s.t. | Alexandre Chapiro | | Perceptual Enhancements for 3D Displays | E1 4 | AG4 Talk |

07/29/2015 | 14:00 | | Jiri Filip | | Anisotropic Material Appearance: Acquisition and Modelling | E1 4 | Talk |

07/28/2015 | 13:00 | s.t. | Lila Fontes | | Trading Privacy for Communication | E1 4 | AG1 Mittagsseminar (own work) |

07/23/2015 | 13:00 | | Thatchaphol Saranurak | | Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture | E1 4 | AG1 Mittagsseminar (own work) |

07/22/2015 | 14:00 | s.t. | Gregor Snelting | | A New Algorithm For Probabilistic Noninterference | E1 5 | CISPA Distinguished Lecture Series |

07/16/2015 | 13:00 | | Keerti Choudhary | | Fault Tolerant Reachability Subgraph : Generic and Optimal | E1 4 | AG1 Mittagsseminar (own work) |

07/14/2015 | 14:15 | | Andreas Lochbihler | | Making the Java memory model safe | E1 5 | Talk |

07/14/2015 | 13:00 | | Shahbaz Khan | | Dynamic DFS Tree in Undirected Graphs: breaking the O(m) barrier | E1 4 | AG1 Mittagsseminar (own work) |

07/10/2015 | 11:00 | | Patrick McDaniel | | Six Years of Mobile Smartphone Security | E1 5 | CISPA Distinguished Lecture Series |

07/09/2015 | 14:00 | | Jay Pujara | | Probabilistic Soft Logic | E1 4 | AG5 Talk |

07/09/2015 | 13:00 | | Shay Moran | | Sample compression schemes for VC classes | E1 4 | AG1 Mittagsseminar (own work) |

07/09/2015 | 10:00 | | Yafang Wang | | Research after MPI | E1 4 | AG5 Talk |

07/08/2015 | 16:15 | | Manfred Warmuth | | The blessing and the curse of the multiplicative updates; the talk discusses connections between evolution and the multiplicative updates of online learning) | E1 4 | MPI Colloquium Series Distinguished Speaker |

07/03/2015 | 09:30 | | Ali Pourmiri | | PhD Thesis Defense | MMCI | Promotionskolloquium |

07/02/2015 | 13:00 | | Mabel Iglesias-Ham | | Multiple Covers with Balls: Inclusion-Exclusion | E1 4 | AG1 Mittagsseminar (own work) |

07/01/2015 | 12:15 | | Christoph Lenzen | | Fast Approximate Max Flow Computation | E1 5 | Joint Lecture Series |

06/30/2015 | 13:00 | | Sayan Bhattacharya | | Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching | E1 4 | AG1 Mittagsseminar (own work) |

06/29/2015 | 13:00 | | Brittany Terese Fasy | | Comparing Road Networks: An Application of TDA | E1 4 | AG1 Mittagsseminar (own work) |

06/26/2015 | 10:30 | | Dr. Arne Hamann | | ''Timing-Aware Control Software Design for Automotive Systems'' | G26 | SWS Colloquium |

06/24/2015 | 13:00 | | Muhammad Bilal Zafar | | On Leveraging the Wisdom of Crowdsourced Experts | E1 5 | SWS Student Defense Talks - Qualifying Exam |

06/24/2015 | 13:00 | | Pedro Fonseca | | Effective Testing for Concurrency Bugs | E1 5 | SWS Student Defense Talks - Thesis Defense |

06/23/2015 | 11:00 | | Dr. Jannik Stroetgen | | Event-centric Information Retrieval | E1 4 | AG5 Talk |

06/22/2015 | 11:00 | | Dr. Rishiraj Saha Roy | | Unsupervised Query Segmentation: Algorithms and Evaluation | E1 4 | AG5 Talk |

06/22/2015 | 09:00 | s.t. | Chuong H. Nguyen | | Data-driven Approaches for Interactive Appearance Editing | E1 4 | Promotionskolloquium |

06/19/2015 | 15:00 | s.t. | Adrian Neumann | | PhD Thesis Defense | E1 4 | AG1 Mittagsseminar (own work) |

06/17/2015 | 10:00 | s.t. | Herbert Bos | | 50 Shades of CRE (Code Reuse Exploits) | E1 5 | CISPA Distinguished Lecture Series |

06/16/2015 | 13:00 | | Ragesh Jaiswal | | Faster Algorithms for the Constrained k-means Problem | E1 4 | AG1 Mittagsseminar (own work) |

06/15/2015 | 12:05 | s.t. | Luis Enrique Ramirez Chavez | | Multi-Objective Evolutionary Algorithms for Bioinformatics | E1 4 | IMPRS Research Seminar |

06/11/2015 | 13:00 | | Andreas Wiese | | On Approximating Storage Allocation Problems as Good as Their Siblings | E1 4 | AG1 Mittagsseminar (own work) |

06/09/2015 | 13:00 | | Amit Kumar | | Greedy Algorithms for Steiner Forest | E1 4 | AG1 Mittagsseminar (own work) |

06/09/2015 | 11:00 | | Clemens Birklbauer and David Schedl | | Wide-field-of-view light-field processing and coded sampling | E1 4 | AG4 Talk |

06/03/2015 | 14:00 | s.t. | Nigel Smart | | Computing on Encrypted Data | E1 5 | CISPA Distinguished Lecture Series |

06/03/2015 | 12:15 | | Deepak Garg | | Types for Incremental Computational Complexity | E1 5 | Joint Lecture Series |

06/02/2015 | 13:00 | | Christoph Lenzen | | Fast Approximate Max Flow Computation | E1 4 | Probevortrag |

05/28/2015 | 13:00 | | Dr. Sergey Polyakovskiy | | Packing While Traveling | E1 4 | AG1 Mittagsseminar (own work) |

05/26/2015 | 13:00 | | Navid Talebanfard | | The Strong Exponential Time Hypothesis for Structured Algorithms through Games and the Multiplicity of Strategies | E1 4 | AG1 Mittagsseminar (own work) |

05/21/2015 | 14:00 | s.t. | Markus Steinberger | | Dynamic Task-based GPU Scheduling | E1 4 | AG4 Talk |

05/19/2015 | 13:00 | | Vitaliy Kurlin | | Homologically Persistent Skeleton in Computer Vision and beyond | E1 4 | AG1 Mittagsseminar (own work) |

05/15/2015 | 13:00 | s.t. | Prof. Frank Neumann | | On the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan Scheduling | E1 4 | AG1 Mittagsseminar (own work) |

05/11/2015 | 10:00 | | Abhishek Sharma | | Joint Co-localisation and Co-segmentation | E1 4 | Talk |

05/08/2015 | 18:00 | s.t. | Three-Day Workshop | | Startup Weekend Saarbrücken (May 8-10, 2015) | A3 3 - Aula Universität | Miscellaneous |

05/07/2015 | 13:00 | | Bundit Laekhanukit | | Parameters of Two-Prover-One-Round Game and The Hardness of Connectivity Problems | E1 4 | AG1 Mittagsseminar (own work) |

05/06/2015 | 12:15 | | Andreas Keller | | Detecting Microbial Resistance Against Antibiotics | E1 5 | Joint Lecture Series |

05/05/2015 | 13:00 | | D! | | D1 Group Meeting, Preparation of SAB-Visit | E1 4 | AG1 Group Meeting |

05/04/2015 | 11:00 | s.t. | Hyunyoung Kim | | Gesture-Recognition Interface with Keyboard Embedded IR Modules | E1 4 | PhD Application Talk |

05/04/2015 | 11:00 | s.t. | Mehdi Noroozi | | Indoor Scene 3D Layout and Clutter Estimation from RGBD Images | E1 4 | PhD Application Talk |

05/04/2015 | 09:15 | s.t. | Azin Ghazimatin | | Team Selection for Prediction Tasks | E1 4 | PhD Application Talk |

05/04/2015 | 09:15 | s.t. | Mohamed Gad-Elrab | | Adapting Named Entity Disambiguation for Arabic Text | E1 4 | PhD Application Talk |

05/04/2015 | 09:15 | s.t. | Nesma El Kalaawy | | A Reaction-Diffusion Master Equation-Based Method for the Modeling and Simulation of Biochemical Pathways | E1 4 | PhD Application Talk |

04/30/2015 | 14:00 | s.t. | Boris Köpf | | Rational Protection Against Timing Attacks | E1 5 | Talk |

04/29/2015 | 16:00 | | Christian Holler | | Security Testing at Mozilla | E1 5 | Talk |

04/28/2015 | 15:00 | | Wolfgang Heidrich | | Unconventional Uses for Time-of-Flight Cameras - Transient Imaging and Beyond | E1 4 | Talk |

04/28/2015 | 10:00 | | Philipp Krähenbühl | | Learning to propose objects | E1 4 | Talk |

04/22/2015 | 14:00 | | Vamsi Kiran Adhikarla | | Light Field Rendering and Interaction | E1 4 | Talk |

04/21/2015 | 13:00 | | Benjamin Doerr | | Randomized Rumor Spreading Revisited | E1 4 | AG1 Mittagsseminar (own work) |

04/20/2015 | 10:00 | | Stephan Seufert | | Algorithmic Building Blocks for Relationship Analysis over Large Graphs | E1 4 | Promotionskolloquium |

04/16/2015 | 13:00 | | Prof. Frauke Liers | | Exact Approaches for Air Traffic Management Problems | E1 4 | AG1 Mittagsseminar (own work) |

04/14/2015 | 13:00 | | Michael Kerber | | Semi-dynamic connectivity in the plane | E1 4 | AG1 Mittagsseminar (own work) |

04/10/2015 | 10:00 | | Prof. Dr. Peter Boncz | | Emergent Structures in Knowledge Graphs | E1 4 | Lecture |

04/09/2015 | 10:00 | | Dr. Pei Li | | Series Discovery with Missing and Erroneous Values | E1 4 | AG5 Talk |

04/07/2015 | 15:30 | | Pramod Bhatotia | | Incremental Parallel and Distributed Systems | E1 5 | SWS Student Defense Talks - Thesis Defense |

04/07/2015 | 13:00 | | Abhinav Anand | | Foster-Hart Risk and the Too-Big-to-Fail Banks: An Empirical Investigation | E1 4 | AG1 Mittagsseminar (own work) |

04/02/2015 | 13:00 | | Philipp Klodt | | k-Cycle Free Two-Matchings from Half-Integral Subtour LP-Solutions (Master Seminar) | E1 4 | AG1 Mittagsseminar (own work) |

04/01/2015 | 10:30 | | Simon Peter | | Building an Operating System for the Data Center | E1 5 | SWS Colloquium |

03/30/2015 | 10:30 | | David Wolinsky | | Tracking Resistance with Dissent | E1 5 | SWS Colloquium |

03/27/2015 | 10:00 | | Joel Rybicki | | Towards Optimal Synchronous Counting | E1 4 | Talk |

03/26/2015 | 10:30 | | Ankit Singla | | Jellyfish: Networking Data Centers, Randomly | E1 5 | SWS Colloquium |

03/24/2015 | 16:00 | | Luis Francisco Ziliani | | Interactive Typed Tactic Programming in the Coq Proof Assistant | E1 5 | SWS Student Defense Talks - Thesis Defense |

03/24/2015 | 11:00 | s.t. | Georg Moser | | Weighted Automata Theory for Complexity Analysis of Rewrite Systems | E1 4 | Talk |

03/20/2015 | 11:00 | | Pascal Koiran | | Lower bounds for sums of powers of low degree univariates | E2.1 | Talk |

03/20/2015 | 09:30 | | Chandan Saha | | Multi-k-ic depth three circuit lower bound | E2.1 | Talk |

03/19/2015 | 11:00 | | Guillaume Malod | | Lower bounds for non-commutative skew circuits | E2.1 | Talk |

03/19/2015 | 09:30 | | Neeraj Kayal | | TBA | E2.1 | Talk |

03/18/2015 | 11:00 | | Daniel König | | Polynomial identity testing in coRNC for powerful skew circuits | E2.1 | Talk |

03/18/2015 | 09:30 | | Ignacio Garcia Marco | | Long-Concavity and Lower bounds for arithmetic circuits | E2.1 | Talk |

03/17/2015 | 13:00 | | Don Sheehy | | Persistent Nerves in Topological Inference and Data Analysis | E1 4 | AG1 Mittagsseminar (own work) |

03/17/2015 | 11:00 | | Rahul Santhanam | | Boolean vs Algebraic | E2.1 | Talk |

03/17/2015 | 09:30 | | Ben Lee Volk/Amir Shpilka | | Subexponential Size HItting Sets for Bounded Depth Multilinear Formulas | E2.1 | Talk |

03/16/2015 | 11:00 | | Ramprasad Saptharishi | | Depth Reduction in arithmetic circuits | E2.1 | Talk |

03/16/2015 | 09:30 | | Michael Forbes | | Polynomial Identity Testing via Shifted Partial Derivatives | E2.1 | Talk |

03/11/2015 | 13:00 | | Jukka Suomela | | Median Filtering is Equivalent to Sorting | E1 4 | Talk |

03/10/2015 | 13:00 | | Moti Medina | | Distributed Maximum Matching in Bounded Degree Graphs | E1 4 | AG1 Mittagsseminar (own work) |

03/09/2015 | 14:00 | s.t. | Leonidas Guibas | | Networks of Shapes and Images | E1 4 | Talk |

03/09/2015 | 11:00 | | Reut Levi | | A Quasi-Polynomial Time Partition Oracle for Graphs with an Excluded Minor | E1 4 | AG1 Mittagsseminar (own work) |

03/05/2015 | 13:00 | | D1 | | D1 Group Meeting | E1 4 | AG1 Group Meeting |

03/04/2015 | 14:30 | s.t. | IT Inkubator | | Kick-off event on 4 March 2015 | A3 3 - Aula Universität | Kick-Off Event |

03/04/2015 | 12:15 | | Michael Kerber | | The Persistent Homology Pipeline: Shapes, Computations, and Applications | E1 5 | Joint Lecture Series |

03/03/2015 | 13:00 | | Tereza Klimosova | | Infinite dimensional finitely forcible graphon | E1 4 | AG1 Mittagsseminar (own work) |

03/02/2015 | 10:30 | | Deian Stefan | | Principled and Practical Web Application Security | E1 5 | SWS Colloquium |

02/26/2015 | 13:00 | | Hang Zhou | | Graph Reconstruction and Verification | E1 4 | AG1 Mittagsseminar (own work) |

02/26/2015 | 10:30 | | Aniket Kate | | Minimal Trusted Hardware Assumptions for Privacy-Preserving Systems | E1 5 | SWS Colloquium |

02/24/2015 | 13:00 | | Yun Kuen Cheung | | Asynchronous Market Dynamics and Asynchronous Gradient Descent | E1 4 | AG1 Mittagsseminar (own work) |

02/24/2015 | 11:00 | c.t. | Hannah Bast | | Semantic Search: Past, Present, Future | E1 4 | MPI-Kolloquium |

02/23/2015 | 15:00 | | Cheng Li | | Building fast and consistent replicated systems: from principles to practice | E1 5 | SWS Student Defense Talks - Thesis Proposal |

02/23/2015 | 13:00 | | Moti Medina | | Distributed Maximum Matching in Bounded Degree Graphs | E1 4 | AG1 Mittagsseminar (own work) |

02/23/2015 | 11:20 | s.t. | Abdalghani Abujabal | | Mining Past, Present, and Future | E1 4 | PhD Application Talk |

02/23/2015 | 11:20 | s.t. | Azim Dehghani Amirabad | | Models to predict miRNAs-transcript target interactions | E1 4 | PhD Application Talk |

02/23/2015 | 11:20 | s.t. | Kashyap Popat | | Leveraging Unlabelled Corpora for Sentiment Analysis | E1 4 | PhD Application Talk |

02/23/2015 | 11:20 | s.t. | Neha Warikoo | | Regulatory network of fadr – crp in Mycobacterium tuberculosis: A computational approach | E1 4 | PhD Application Talk |

02/23/2015 | 11:20 | s.t. | Tim Kehl | | GeneTrail2 - A comprehensive web service for enrichment analysis | E1 4 | PhD Application Talk |

02/23/2015 | 09:00 | s.t. | Anurag Pandey | | Testing Algebraic Independence of Polynomials over Finite Fields | E1 4 | PhD Application Talk |

02/23/2015 | 09:00 | s.t. | Hosnieh Sattar | | Prediction of search targets from fixations in open-world settings | E1 4 | PhD Application Talk |

02/23/2015 | 09:00 | s.t. | Kireeti Bodduna | | Efficient Noise Elimination Algorithms for Images and Graphics | E1 4 | PhD Application Talk |

02/23/2015 | 09:00 | s.t. | Sreyasi Nag Chowdhury | | Contextual Media Retrieval Using Natural Language Queries | E1 4 | PhD Application Talk |

02/23/2015 | 09:00 | s.t. | Yang He | | Pedestrian Detection and Online Tracking from Monocular Images | E1 4 | PhD Application Talk |

02/19/2015 | 14:00 | | Bart Preneel | | Cryptography and Information Security in the post-Snowden era | E1 5 | CISPA Distinguished Lecture Series |

02/19/2015 | 10:30 | | Laura Brandimarte | | Privacy, Security, and Online Disclosures:Combining HCI and Behavioral Science to Design Visceral Cues for Detection of Online Threats | E1 5 | SWS Colloquium |

02/17/2015 | 14:00 | s.t. | Jens-Matthias Bohli | | Outsourced Proofs of Retrievability | E1 5 | Talk |

02/17/2015 | 13:00 | | M.-F. Roy | | Talk by M.F. Roy on Hilbert's 17th problem HAS BEEN CANCELED | E1 4 | AG1 Mittagsseminar (others' work) |

02/17/2015 | 10:30 | | Dr. Eva Darulova | | Programming with Numerical Uncertainties | E1 5 | SWS Colloquium |

02/13/2015 | 13:30 | s.t. | Vladlen Koltun | | Reconstructing Complete 3D Models from Single Images | E1 4 | Talk |

02/12/2015 | 14:00 | c.t. | Wolfgang Nejdl | | ALEXANDRIA - Temporal Retrieval, Exploration and Analytics in Web archives - Asking Humans for Help | E1 5 | MPI-Kolloquium |

02/12/2015 | 10:30 | | Johannes Hoffart | | Discovering and Disambiguating Named Entities in Text | E1 5 | Promotionskolloquium |

02/10/2015 | 13:00 | | Reza Saei | | Maximal Induced Matchings in Triangle-Free Graphs | E1 4 | AG1 Mittagsseminar (own work) |

02/05/2015 | 14:00 | s.t. | Felix Freiling | | Governmental IT Intrusions for Law Enforcement: State of the Art andAlternatives | E1 5 | CISPA Distinguished Lecture Series |

02/05/2015 | 11:00 | | Miguel Costa | | Information Search in Web Archives | E1 4 | AG5 Talk |

02/04/2015 | 12:15 | | Andreas Bulling | | There is more to gaze than meets the eye: novel uses of gaze in context-aware computing and human-computer interaction | E1 5 | Joint Lecture Series |

02/02/2015 | 14:00 | | Hannah Bast | | CANCELED: Semantic Search: Past, Present, Future | E1 4 | MPI-Kolloquium |

01/30/2015 | 14:00 | | Oliver Bimber | | Towards a transparent and flexible image sensor | E1 4 | Talk |

01/29/2015 | 14:00 | s.t. | Prof. Dr. Heiko Mantel | | Reliable Security Guarantees for Concurrent Programs: Pitfalls, Solutions and Challenges | E1 5 | CISPA Distinguished Lecture Series |

01/26/2015 | 10:30 | | Alessandro Panconesi | | Trace Complexity of Information Diffusion | G26 | SWS Distinguished Lecture Series |

01/22/2015 | 14:00 | s.t. | Prof. Dr. David Basin | | Enforceable Security Policies | E1 5 | CISPA Distinguished Lecture Series |

01/22/2015 | 13:15 | | Monika Henzinger | | Dynamic Graph Algorithms - Upper and Lower Bounds | E1 4 | INF Distinguished Lecture Series |

01/22/2015 | 10:00 | | Pankaj Khanchandani | | Approximate Agreement | E1 4 | ToDS Group Meeting |

01/20/2015 | 13:00 | | Yin Tat Lee | | A Faster Algorithm for Linear Programming and the Maximum Flow Problem | E1 4 | Talk |

01/17/2015 | 13:00 | | M.F. Roy | | TALK BY M.F. ROY ON HILBERT's 17TH PROBLEM HAS BEEN CANCELED | E1 4 | AG1 Mittagsseminar (others' work) |

01/16/2015 | 16:00 | | Bimal Viswanath | | Reasoning about trustworthiness of identities in social computing systems | E1 5 | SWS Student Defense Talks - Thesis Proposal |

01/16/2015 | 13:00 | | Jara Uitto | | How Many Ants Does It Take To Find the Food? | E1 4 | Talk |

01/15/2015 | 14:00 | s.t. | Prof. Dr. Ueli Maurer | | Constructive Cryptography and Modular Protocol Design | E1 5 | CISPA Distinguished Lecture Series |

01/15/2015 | 13:00 | | He Sun | | Heat Kernel in Graphs: Our Understanding | E1 4 | Talk |

01/15/2015 | 10:00 | | Matthias Függer | | Fault-tolerant on-chip tick generation | E1 4 | ToDS Group Meeting |

01/13/2015 | 13:00 | | Luca Zanetti | | Multiway partitioning of well-clustered graphs (SPOILER ALERT: spectral clustering works!) | E1 4 | AG1 Mittagsseminar (own work) |

01/12/2015 | 11:00 | | Guillaume Malod | | Lower bounds for non-commutative skew circuits | E1 4 | AG1 Advanced Mini-Course |

01/12/2015 | 11:00 | | Daniel König | | Polynomial identity testing in coRNC for powerful skew circuits | E2.1 | Talk |

01/12/2015 | 11:00 | | Daniel König | | Polynomial identity testing in coRNC for powerful skew circuits | E2.1 | Talk |

01/12/2015 | 11:00 | | Ramprasad Saptharishi | | Depth Reduction in arithmetic circuits | E2.1 | Talk |

01/09/2015 | 15:00 | | Hans Boehm | | Putting Threads on a Solid Foundation: Some Remaining Issus | G26 | SWS Distinguished Lecture Series |

01/09/2015 | 10:00 | | Andrew Tomkins | | Analyzing Dynamics of Choice among Discrete Alternatives | E1 5 | SWS Distinguished Lecture Series |

01/08/2015 | 10:00 | | Matthias Függer | | Towards Dependable Large-scale Circuits: Fault-Tolerant Tick-Generation | E1 4 | AG1 Group Meeting |

01/07/2015 | 12:15 | | Manuel Gomez Rodriguez | | Shaping Social Activity by Incentivizing Users | E1 5 | Joint Lecture Series |

01/02/2015 | 11:00 | | Jiemin Zeng | | TBA | E1 4 | AG1 Mittagsseminar (own work) |

12/22/2014 | 09:30 | | Foteini Alvanaki | | Mining interesting events on large and dynamic data | E1 4 | Promotionskolloquium |

12/19/2014 | 13:00 | | Alexey Gotsman | | Formalising and Optimising Parallel Snapshot Isolation | G26 | SWS Colloquium |

12/17/2014 | 15:00 | | Angelika Steger | | An algorithmic framework for obtaining lower bounds for random Ramsey problems | E1 5 | AG1 Mittagsseminar (own work) |

12/17/2014 | 12:30 | | Karl Bringmann | | PhD Defense Karl Bringmann | E1 4 | Promotionskolloquium |

12/16/2014 | 13:00 | | Erik Jan van Leeuwen & Parinya Chalermsook | | Highlights from FOCS 2014 | E1 4 | AG1 Mittagsseminar (others' work) |

12/15/2014 | 14:00 | | Azalea Raad | | CoLoSL: Concurrent Local Subjective Logic | E1 5 | SWS Colloquium |

12/12/2014 | 14:00 | | Filip Niksic | | An SMT-Based Approach to Coverability Analysis | G26 | SWS Student Defense Talks - Qualifying Exam |

12/12/2014 | 14:00 | s.t. | Stephan Micklitz | | Google Identity, Account Management and Privacy Tools | E1 5 | CISPA Distinguished Lecture Series |

12/12/2014 | 13:00 | | Shay Moran | | Sign rank, VC dimension and spectral gaps | E1 4 | AG1 Advanced Mini-Course |

12/11/2014 | 14:00 | s.t. | Catuscia Palamidessi | | New Advances in Quantitative Information Flow | E1 5 | CISPA Distinguished Lecture Series |

12/11/2014 | 13:00 | | Ankit Sharma | | Multiway cut | E1 4 | AG1 Mittagsseminar (own work) |

12/09/2014 | 13:00 | | Kurt Mehlhorn | | Group Meeting | E1 4 | AG1 Group Meeting |

12/09/2014 | 11:30 | | KyoungSoo Park | | Scaling TCP performance for multicore systems | E1 5 | SWS Colloquium |

12/05/2014 | 13:30 | | Michael W. Hicks | | Authenticated Data Structures, Generically | E1 5 | SWS Colloquium |

12/04/2014 | 14:00 | | Istemi Ekin Akkus | | Towards Non-tracking Web and Mobile Analytics | G26 | SWS Student Defense Talks - Thesis Proposal |

12/04/2014 | 13:00 | | Joel Rybicki | | Large Cuts with Local Algorithms | E1 4 | AG1 Mittagsseminar (own work) |

12/03/2014 | 12:15 | | Tobias Marschall | | Algorithmic Challenges in Computational Genomics | E1 5 | Joint Lecture Series |

12/02/2014 | 13:00 | | Florian Pausinger | | Approximation of intrinsic volumes | E1 4 | AG1 Mittagsseminar (own work) |

11/28/2014 | 11:00 | s.t. | Christian KURZ | | Constrained Camera Motion Estimation and 3D Reconstruction | E1 4 | Promotionskolloquium |

11/28/2014 | 11:00 | s.t. | Prof. Dr. Adrian Perrig | | Exciting Security Research Opportunity: Next-generation Internet | E1 5 | CISPA Distinguished Lecture Series |

11/26/2014 | 11:00 | | Robert West | | Exploiting Social Network Structure for Person-to-Person Sentiment Analysis | E1 5 | SWS Colloquium |

11/25/2014 | 13:00 | | Jugal Garg | | Leontief Exchange Markets Can Solve Multivariate Polynomial Equations, Yielding FIXP and ETR Hardness | E1 4 | AG1 Mittagsseminar (own work) |

11/21/2014 | 15:00 | | Aastha Mehta | | Thoth: Practical Data flow protection in a search engine | E1 5 | SWS Student Defense Talks - Qualifying Exam |

11/20/2014 | 14:00 | | Scott Kilpatrick | | mhmm: Making Haskell More Modular | E1 5 | SWS Student Defense Talks - Thesis Proposal |

11/20/2014 | 14:00 | s.t. | Dr. Marc Fischlin | | Cryptographic Standards vs. Cryptographically Secure Standards | E1 5 | CISPA Distinguished Lecture Series |

11/20/2014 | 13:00 | s.t. | Valia Mitsou | | The computational complexity of two card games with theoretical applications | E1 4 | AG1 Mittagsseminar (own work) |

11/20/2014 | 13:00 | s.t. | Stephan Wenger | | Regularized optimization methods for reconstruction and modeling in computer graphics | E1 4 | AG4 Talk |

11/18/2014 | 13:00 | s.t. | Eunjung Kim | | Algorithmic Applications of Tree-Cut Width | E1 4 | AG1 Mittagsseminar (own work) |

11/18/2014 | 11:00 | s.t. | Eric Heitz | | Multi-scale appearance for realistic and efficient rendering of complex surfaces | E1 4 | AG4 Talk |

11/17/2014 | 14:00 | | Oksana Denysyuk | | Randomized Solutions to Renaming under Crashes and Byzantine Faults | E1 5 | SWS Colloquium |

11/17/2014 | 13:15 | | Pascal Vincent | | Learning representations with autoencoders: a brief overview and a few novel perspectives | E1 4 | Talk |

11/17/2014 | 10:30 | | Marcos K. Aguilera | | Yesquel: scalable SQL storage for Web applications | E1 5 | SWS Distinguished Lecture Series |

11/13/2014 | 13:00 | | D1 | | D1 Group Meeting | E1 4 | AG1 Group Meeting |

11/13/2014 | 13:00 | | Prof. Baoquan Chen | | Urban Sensing and Visualization | E1 4 | Talk |

11/12/2014 | 10:30 | | Rachid Guerraoui | | Generalized Universality | G26 | SWS Distinguished Lecture Series |

11/11/2014 | 18:00 | s.t. | Prof. Dr. Michael Backes, MPI-SWS, Prof. Dr. Paul Francis, MPI-SWS, Staatssekretär Jürgen Lennartz, Thomas Schauf (BVDW), Moderation: Reinhard Karger, DFKI | | Wenn Maschinen zu smart werden - Wie sicher sind unsere Daten? | E1 5 | Panel Discussion |

11/11/2014 | 11:30 | | Anne-Marie Kermarrec | | Scalable personalization infrastructures | E1 5 | SWS Distinguished Lecture Series |

11/10/2014 | 11:15 | | Roger Wattenhofer | | Network Complexity & Complex Networks | E 1.5 | INF Distinguished Lecture Series |

11/06/2014 | 13:00 | | Dr. Kai Lawonn | | Illustrative Visualization of Medical Data Sets | E1 4 | Talk |

11/06/2014 | 10:00 | s.t. | Ilya Reshetouski | | Kaleidoscopic Imaging | E1 4 | Promotionskolloquium |

11/05/2014 | 12:15 | | Christian Rossow | | Amplification DDoS: Abusing 30-Year-Old Internet Protocols for Denial-of-Service Attacks | E1 5 | Joint Lecture Series |

11/05/2014 | 10:30 | | Ingmar Weber | | Using Twitter to study Food Consumption and Fitness Behavior | E1 5 | SWS Colloquium |

11/04/2014 | 15:30 | | Noah Smith | | Machine Learning about People from their Language | E1 5 | SWS Distinguished Lecture Series |

10/30/2014 | 16:00 | | Koushik Sen | | MultiSE: Multi-Path Symbolic Execution using Value Summaries | G26 | SWS Colloquium |

10/30/2014 | 14:00 | | Frank Piessens | | Runtime enforcement of security policies on black box reactive programs: theory and practice | E1 5 | CISPA Distinguished Lecture Series |

10/30/2014 | 13:00 | | D1 | | D1 Group Meeting | E1 4 | AG1 Group Meeting |

10/21/2014 | 13:00 | | Sandy Heydrich | | Approximating biclique problems on bipartite graphs | E1 4 | AG1 Mittagsseminar (own work) |

10/09/2014 | 10:30 | | Steve Zdancewic | | Vellvm: Verifying Safety in the LLVM IR | E1 5 | SWS Colloquium |

10/07/2014 | 13:00 | | Bart Jansen | | Characterizing the Easy-to-Find Subgraphs from the Viewpoint of Polynomial-Time Algorithms, Kernels, and Turing Kernels | E1 4 | AG1 Mittagsseminar (own work) |

10/06/2014 | 09:30 | | Christian Rossow | | Advanced Lecture: Software Reverse Engineering | E1 3 - Hörsaal Gebäude | Lecture |

10/02/2014 | 14:00 | | Mark Ryan | | Reconciling online privacy and societal security | E1 5 | CISPA Distinguished Lecture Series |

10/02/2014 | 10:30 | | Dr. Joel Ouaknine | | Termination of Linear Programs: Advances and Challenges | G26 | SWS Distinguished Lecture Series |

10/01/2014 | 12:15 | | Nico Pfeifer | | Statistical Learning in Computational Biology: Incorporating and Discovering new Biological Insights | E1 5 | Joint Lecture Series |

09/29/2014 | 13:00 | | Sariel Har-Peled | | Small Data -- Linear Time Algorithms for Geometric Problems | E1 4 | Talk |

09/26/2014 | 15:30 | | Alexey Reznichenko | | Private-by-Design Advertising Meets the Real World | G26 | SWS Student Defense Talks - Thesis Defense |

09/26/2014 | 14:00 | | Ian Goldberg | | CISPA Distinguished Lecture Series - DP5: Privacy-preserving Presence Protocols | E1 5 | CISPA Distinguished Lecture Series |

09/25/2014 | 13:00 | | Andreas Wiese | | How Unsplittable-Flow-Covering helps Scheduling with Job-Dependent Cost Functions | E1 4 | AG1 Mittagsseminar (own work) |

09/23/2014 | 13:00 | | Sebastian Ott | | New Results for Non-Preemptive Speed Scaling | E1 4 | AG1 Mittagsseminar (own work) |

09/19/2014 | 14:00 | | Andrej Bogdanov | | On Basing Size-Verifiable One-Way Functions on NP-Hardness | E1 7 - MMCI | CISPA Distinguished Lecture Series |

09/18/2014 | 13:00 | | Xiaohui Bei | | Balancing Efficiency and Fairness in Resource Allocation | E1 4 | AG1 Mittagsseminar (own work) |

09/16/2014 | 13:00 | | Fabrizio Grandoni | | Subcubic Equivalences Between Graph Centrality Problems, APSP and Diameter | E1 4 | AG1 Mittagsseminar (own work) |

09/16/2014 | 11:00 | s.t. | Christoph Lenzen | | ERC test presentation | E1 4 | Probevortrag |

09/15/2014 | 11:00 | | Leslie Goldberg | | The Complexity of Approximate Counting | E1 4 | MPI Colloquium Series Distinguished Speaker |

09/05/2014 | 15:00 | | James D. Hollan (UCSD) and Aurélien Tabard (U Lyon) | | Activity-Enriched Computing: Retrieving and Restoring Context | E1 1 - Informatik | Talk |

09/05/2014 | 15:00 | | James D. Hollan (UCSD) and Aurélien Tabard (U Lyon) | | Activity-Enriched Computing: Retrieving and Restoring Context | E1 7 - MMCI | Talk |

09/04/2014 | 13:00 | | Fidaa Abed | | Optimal Coordination Mechanisms for Multi-Job Scheduling Games | E1 4 | AG1 Mittagsseminar (own work) |

09/02/2014 | 13:00 | | Antonios Antoniadis | | A o(n)-Competitive Deterministic Algorithm for Online Matching on a Line | E1 4 | AG1 Mittagsseminar (own work) |

08/28/2014 | 14:00 | | Franziska Roesner | | Security, Privacy, and User Expectations: Case Studies in Web Tracking, Access Control, and User Interfaces | E1 5 | Talk |

08/28/2014 | 13:30 | | Biman Roy | | The Unified Theory of Pseudorandomness | E1 4 | Talk |

08/28/2014 | 13:00 | | Sebastien Tavenas | | Reduction of the depth for arithmetic circuits | E1 4 | Talk |

08/28/2014 | 11:00 | s.t. | Christoph Lenzen | | ERC practice talk | E1 4 | Probevortrag |

08/26/2014 | 13:00 | | Tino Weinkauf | | Extended Branch Decomposition Graphs: Structural Comparison of Scalar Data | E1 4 | AG1 Mittagsseminar (own work) |

08/21/2014 | 13:00 | | Jan Hladky | | An approximate version of the tree packing conjecture | E1 4 | AG1 Mittagsseminar (own work) |

08/19/2014 | 13:00 | | Rob van Stee | | The optimal absolute ratio for online bin packing | E1 4 | AG1 Mittagsseminar (own work) |

08/15/2014 | 13:00 | | Kirill Afanasev | | Shortest and alternative paths in road networks | E1 4 | Talk |

08/14/2014 | 13:00 | s.t. | Matthias Függer | | Time Complexity of Link Reversal Routing | E1 4 | Talk |

08/14/2014 | 11:00 | s.t. | Ullrich Hustadt | | Resolution-based Reasoning for Coalition Logic | E1 3 - Hörsaal Gebäude | Talk |

08/13/2014 | 13:00 | s.t. | Matthias Függer | | Towards binary circuit models that faithfully reflect physical (un)solvability. | E1 4 | Talk |

08/12/2014 | 15:00 | | Viktor Erdélyi | | A Privacy-Preserving Platform for Context-Aware Mobile Social Applications | E1 5 | SWS Student Defense Talks - Qualifying Exam |

08/08/2014 | 10:30 | | Robbert van Renesse | | Leveraging Sharding in the Design of Scalable Replication Protocols | E1 5 | SWS Distinguished Lecture Series |

08/06/2014 | 15:30 | | Mike Dodds | | A Fast, Correct Time-Stamped Stack | E1 5 | SWS Colloquium |

08/06/2014 | 12:15 | | Marcel Schulz | | Probabilistic Methods for the Analysis of Biological Networks | E1 5 | Joint Lecture Series |

07/30/2014 | 10:30 | | Flavio Chierichetti | | Trace Complexity | E1 5 | SWS Colloquium |

07/29/2014 | 13:00 | | Richard Peng | | Algorithms Design Using Spectral Graph Theory | E1 4 | Talk |

07/28/2014 | 13:00 | | Josef Sivic | | From CAD models to neural networks: Learning mid-level image representations for visual recognition | E1 4 | Talk |

07/24/2014 | 13:00 | | Paul Müller | | Deferred Shading Pipelines and Post-Processes | E1 4 | Talk |

07/24/2014 | 10:30 | | Andrei Sabelfeld | | Tracking information flow in web applications | E1 5 | SWS Distinguished Lecture Series |

07/23/2014 | 10:30 | | Hongjin Liang | | Compositional Verification of Termination-Preserving Refinement of Concurrent Programs | G26 | SWS Colloquium |

07/22/2014 | 13:00 | | Pauli Miettinen | | On algorithmic and computational issues in low-rank approximate Boolean factorizations particularly applicable to data mining and related fields | E1 4 | AG1 Mittagsseminar (own work) |

07/21/2014 | 15:15 | | Prof. Dr. Roberto Navigli | | (Digital) Goodies from the ERC Wishing Well: BabelNet, Babelfy, video games with a purpose and the Wikipedia bitaxonomy | E1 4 | Talk |

07/17/2014 | 13:00 | | Shay Moran | | Epsilon ID's and the double sampling argument | E1 4 | Lecture |

07/15/2014 | 14:00 | s.t. | Li Wei | | R-calculus: A Logical Inference System for Verifying the Process of Scientific Discovery | E1 5 | Talk |

07/15/2014 | 13:00 | | Minming Li | | DVS scheduling for various processor models and task types | E1 4 | Talk |

07/15/2014 | 12:15 | | Faraz Makari Manshadi | | Scalable Optimization Algorithms for Recommender Systems | E1 4 | Promotionskolloquium |

07/14/2014 | 13:00 | s.t. | Christoph Lenzen | | Improved Distributed Steiner Forest Construction | E1 4 | Talk |

07/10/2014 | 14:00 | s.t. | Chenglei WU | | Inverse Rendering for Scene Reconstruction in General Environments | E1 4 | Promotionskolloquium |

07/10/2014 | 11:00 | | Michael J. Black | | The persistence of structure: Layers, time, and the estimation of optical flow | E1 5 | Talk |

07/09/2014 | 16:15 | | Kurt Mehlhorn | | Practice Talk: Erasmus Lecture | E1 4 | Lecture |

07/08/2014 | 13:00 | | Narayana Swamy | | Approximation Algorithms for Hitting Line Segments | E1 4 | Lecture |

07/07/2014 | 14:15 | | Prof. David Steurer | | Unique Games, Sum-of-Squares, and the Quest for Optimal Algorithms | E1 4 | MPI Colloquium Series Distinguished Speaker |

07/07/2014 | 12:00 | s.t. | Oliver Nalbach | | Deep Screen Space for Indirect Lighting of Volumes | E1 5 | IMPRS Research Seminar |

07/02/2014 | 12:15 | | Andreas Karrenbauer | | A Journey with Discrete Optimization: from the Real World to Theory and Back | E1 5 | Joint Lecture Series |

07/01/2014 | 13:00 | | Wouter van Heijst | | Squares inscribed on algebraic plane curves | E1 4 | AG1 Mittagsseminar (own work) |

06/30/2014 | 14:15 | | Dr. Moritz Hardt | | Protecting Correctness in Adaptive Data Analysis | E1 4 | MPI Colloquium Series Distinguished Speaker |

06/24/2014 | 13:30 | | Milind Sohoni | | Market Games | E1 4 | AG1 Mittagsseminar (own work) |

06/24/2014 | 13:00 | | Piotr Krysta | | Size versus Truthfulness for the House Allocation Problem | E1 4 | AG1 Mittagsseminar (own work) |

06/23/2014 | 15:00 | s.t. | Christian Klein | | Matrix Rounding, Evolutionary Algorithms, and Hole Detection | E1 4 | Promotionskolloquium |

06/20/2014 | 14:30 | | Shady Elbassuoni | | Practical Extraction of Disaster-Relevant Information from Social Media | E1 1 - Informatik | Talk |

06/17/2014 | 13:00 | | Matthias Mnich | | Large Independent Sets in Triangle-Free Planar Graphs | E1 4 | AG1 Mittagsseminar (own work) |

06/16/2014 | 13:00 | | Vineet Rajani | | Information flow control for javascript in web browsers | E1 5 | SWS Student Defense Talks - Qualifying Exam |

06/13/2014 | 10:00 | | Nicolas Bonneel | | Mass Transport Principles for Computer Graphics | E1 4 | Talk |

06/12/2014 | 13:00 | | D1 | | Group Meeting D1 | E1 4 | AG1 Group Meeting |

06/10/2014 | 13:00 | | Ali Pourmiri | | Randomized Rumor Spreading in Poorly Connected Real-World Networks | E1 4 | AG1 Mittagsseminar (own work) |

06/05/2014 | 16:00 | s.t. | Maria Paola Bonacina | | SGGS: Model-Based First-Order Theorem Proving | E1 5 | Talk |

06/04/2014 | 12:15 | | Jilles Vreeken | | Exploratory Data Analysis | E1 5 | Joint Lecture Series |

06/03/2014 | 13:00 | | C. S. Rahul | | Properties of Connected f-Factors | E1 4 | AG1 Mittagsseminar (own work) |

06/02/2014 | 11:00 | | Ndapandula Nakashole | | Language-Aware Truth Assessment of Fact Candidates | E1 4 | Talk |

05/27/2014 | 14:00 | | Dim Coumou and Thomas Nocke | | Jet stream visualization to detect anomalous circulation regimes associated with extreme weather events | E1 4 | Talk |

05/27/2014 | 13:00 | | Patrick Klitzke | | Two-dimensional Subset Selection for Hypervolume and Epsilon-Indicator | E1 4 | AG1 Mittagsseminar (own work) |

05/22/2014 | 13:00 | | Karl Bringmann | | Why walking the dog takes time: Frechet distance has no strongly subquadratic algorithms unless SETH fails | E1 4 | AG1 Mittagsseminar (own work) |

05/22/2014 | 10:30 | | Ras Bodik | | Adventures in Program Synthesis | E1 5 | SWS Distinguished Lecture Series |

05/20/2014 | 13:15 | | Wojciech Matusik | | From Virtual to Real | E1 4 | Lecture |

05/20/2014 | 13:00 | | Aruni Choudhary | | Well separated simplical decompositions using net-trees | E1 4 | AG1 Mittagsseminar (own work) |

05/19/2014 | 10:45 | s.t. | Davis Issac | | Better Exact Algorithm for Maximum Independent Set Problem in Graphs with Bounded Degree 3 | E1 4 | PhD Application Talk |

05/19/2014 | 10:45 | s.t. | Serikzhan Kazi | | Compact Representation of Automata and Algorithms for its xBWT | E1 4 | PhD Application Talk |

05/19/2014 | 10:45 | s.t. | Sukhpreet Kaur Khangura | | Hybrid Model Based Coding Enhancement for MPEG | E1 4 | PhD Application Talk |

05/19/2014 | 09:00 | s.t. | Ali Ghaffaari | | A Molecular Dynamic Approach Based on Knowledge-based Force Function for Prediction of Protein Structure | E1 4 | PhD Application Talk |

05/19/2014 | 09:00 | s.t. | Dhruv Gupta | | Identifying Time Intervals of Interest for Queries | E1 4 | PhD Application Talk |

05/19/2014 | 09:00 | s.t. | Saskia Metzler | | Identification of Horizontal Gene Transfer Events in Viruses | E1 4 | PhD Application Talk |

05/15/2014 | 13:00 | | Marek Elias | | Ramsey questions in discrete geometry | E1 4 | AG1 Mittagsseminar (own work) |

05/13/2014 | 13:00 | | Dimitris Fotakis | | Approximate Strategyproof Mechanisms for Facility Location Games | E1 4 | AG1 Mittagsseminar (own work) |

05/09/2014 | 11:00 | | Maximilian Dylla | | Efficient Querying and Learning in Probabilistic and Temporal Databases | E1 4 | Promotionskolloquium |

05/08/2014 | 13:00 | | Zi Ye | | Cobordism ring and genera | E1 4 | AG1 Mittagsseminar (own work) |

05/08/2014 | 10:30 | | Kavita Bala | | Modeling and representing materials in the wild | E1 5 | SWS Distinguished Lecture Series |

05/07/2014 | 12:15 | | Andreas Wiese | | Approximation Algorithms for Packing Problems | E1 5 | Joint Lecture Series |

05/06/2014 | 12:15 | | Sarath Kumar Kondreddi | | Human Computing and Crowdsourcing Methods for Knowledge Acquisition | E1 4 | Promotionskolloquium |

05/05/2014 | 14:00 | | Liana Hadarean | | Lazy Bit-vector Solving and Witnessing Compiler Transformations | G26 | SWS Colloquium |

05/05/2014 | 11:00 | | Laura Dietz | | Entity Linking with Document Retrieval and Vice Versa | E1 4 | Talk |

04/25/2014 | 13:00 | | Giuseppe F. Italiano | | Strong Bridges and Strong Articulation Points of Directed Graphs | E1 4 | AG1 Mittagsseminar (own work) |

04/24/2014 | 10:30 | | Ori Lahav | | Modular Reasoning about Heap Paths via Effectively Propositional Formulas | G26 | SWS Colloquium |

04/23/2014 | 13:30 | | Prof. Dr. Andrey Rybalchenko | | Automating Proofs of Relational Properties of Probabilistic Programs | E1 5 | CISPA Distinguished Lecture Series |

04/23/2014 | 11:00 | | Aaron Carroll | | Mobile multi-cores: power and performance | E1 5 | SWS Colloquium |

04/23/2014 | 10:00 | | Dr. Michael Roitzsch | | Practical Real-Time with Look-Ahead Scheduling | G26 | SWS Colloquium |

04/22/2014 | 13:00 | | Peter Kling | | Scheduling Shared Continuous Resources on Many-Cores | E1 4 | AG1 Mittagsseminar (own work) |

04/15/2014 | 13:00 | | Thomas Kesselheim | | Primal Beats Dual on Online Packing LPs in the Random-Order Model | E1 4 | AG1 Mittagsseminar (own work) |

04/14/2014 | 10:00 | | Dr. Alexander de Luca | | Getting the User in the Loop - Building Secure Systems that People can Use | E1 5 | CISPA Distinguished Lecture Series |

04/10/2014 | 13:00 | | Artur Jeż | | A really simple approximation of a smallest grammar | E1 4 | AG1 Mittagsseminar (own work) |

04/10/2014 | 10:30 | | Dr. Andrew Myers | | Increasing security and performance with higher-level abstractions for distributed programming. | E1 5 | SWS Distinguished Lecture Series |

04/09/2014 | 14:00 | | Suvrit Sra | | Inexactness, geometry, and optimization for data analysis | E1 4 | Talk |

04/07/2014 | 17:00 | | Pramod Bhatotia | | Incremental Parallel and Distributed Systems | E1 5 | SWS Student Defense Talks - Thesis Proposal |

04/07/2014 | 13:00 | | Julia Pap | | Applications of a polyhedral version of Sperner's Lemma | E1 4 | Talk |

04/07/2014 | 10:30 | | Amir Houmansadr | | The Cyberspace Battle for Information: Combating Internet Censorship | G26 | SWS Colloquium |

04/03/2014 | 10:30 | | Devdatta Akhawe | | Towards a Secure Client-side for the Web Platform | G26 | SWS Colloquium |

04/02/2014 | 12:15 | | Verena Wolf | | A hybrid moment closure approach to stochastic chemical kinetics | E1 5 | Joint Lecture Series |

04/01/2014 | 13:00 | | AG 1 | | AG1 Group Meeting | E1 4 | AG1 Group Meeting |

03/28/2014 | 12:00 | | Dr. Dalia Daoud Suleiman Khader | | Proving Pret a Voter Receipt Free in the Computational Models | E1 5 | SWS Colloquium, Post Doc Application Talk |

03/28/2014 | 11:30 | | V Arvind | | Lower bounds for multiplicative and linear circuits in noncommutative domains | E2 1 - Bioinformatik | Talk |

03/28/2014 | 10:00 | | Neeraj Kayal | | Lower Bounds for Homogeneous Low Depth Formulas | E2 1 - Bioinformatik | Talk |

03/27/2014 | 13:00 | | Lena Karos | | Estimation of Expectations and Applications (Bachelor Thesis) | E1 4 | AG1 Mittagsseminar (own work) |

03/27/2014 | 11:30 | | Nitin Saxena | | Towards hitting-sets for multilinear depth-3 circuits | E2 1 - Bioinformatik | Talk |

03/27/2014 | 10:30 | | Cezara Dragoi | | Logic-based frameworks for automated verification of programs with dynamically allocated data structures | G26 | SWS Colloquium |

03/27/2014 | 10:00 | | Pascal Koiran | | A τ-conjecture for Newton polygons. | E2 1 - Bioinformatik | Talk |

03/26/2014 | 11:30 | | Thomas Thierauf | | Counting the number of perfect matchings in K5-free graphs | E2 1 - Bioinformatik | Talk |

03/25/2014 | 14:00 | | Ankit Gupta | | Approaching the chasm at depth four | E2 1 - Bioinformatik | Talk |

03/25/2014 | 14:00 | | Michael Forbes | | Approaching the chasm at depth four | E2 1 - Bioinformatik | Talk |

03/25/2014 | 11:30 | | Michael Sagraloff | | Near-optimal Algorithms for Computing Real Roots of a Polynomial | E2 1 - Bioinformatik | Talk |

03/25/2014 | 10:00 | | Peter Bro Miltersen | | Real algebraic geometry in computational complexity | E2 1 - Bioinformatik | Talk |

03/24/2014 | 14:15 | | Lise Getoor | | Scalable Collective Inference using Probabilistic Soft Logic | E1 4 | MPI-INF Distinguished Lecture |

03/24/2014 | 11:40 | | Chris Umans | | Approaches to bounding the exponent of matrix multiplication | E2 1 - Bioinformatik | Talk |

03/24/2014 | 10:30 | | Stefan Goeller | | Equivalence checking of stack-based infinite-state systems | G26 | SWS Colloquium |

03/24/2014 | 10:10 | | Meena Mahajan | | The quest for VP-completeness | E2 1 - Bioinformatik | Talk |

03/20/2014 | 14:30 | | Prof. Dr. Matthew Smith | | Usable Security & Privacy: A multi-level perspective | E1 4 | CISPA Distinguished Lecture Series |

03/20/2014 | 13:15 | | Philipp Urban | | Measuring the Difference between Color-Images | E1 4 | Lecture |

03/20/2014 | 11:30 | | Dr. Muhammad Rizwan Asghar | | Privacy Preserving Enforcement of Sensitive Policies in Distributed Environments | E1 5 | Post Doc Application Talk |

03/19/2014 | 10:00 | s.t. | Herrn Arjun Jain, B.Sc. | | Data-driven Methods for Interactive Visual Content Creation and Manipulation | E1 4 | Promotionskolloquium |

03/13/2014 | 14:15 | | Susanne Albers | | Energy-Efficient Algorithms | E1 4 | MPI-INF Distinguished Lecture |

03/13/2014 | 10:30 | | Manuel Gomez Rodriguez | | Structure and Dynamics of Diffusion Networks | G26 | SWS Colloquium |

03/12/2014 | 10:30 | | Bryan Ford | | Can You Hide in an Internet Panopticon? | G26 | SWS Colloquium |

03/11/2014 | 13:00 | | Shay Moran | | Direct Sum Fails for Zero Error Average Communication | E1 4 | Lecture |

03/10/2014 | 10:30 | | I-Ting Angelina Lee | | Linguistic and System Support for Structured Parallel Programming | G26 | SWS Colloquium |

03/07/2014 | 13:00 | | Shay Moran | | TBD | E1 4 | Lecture |

03/06/2014 | 14:15 | | Anja Feldmann | | On the importance of Internet eXchange Points for today's Internet ecosystem | E1 5 | SWS Distinguished Lecture Series |

03/06/2014 | 11:30 | | Julian McAuley | | Machine Learning for Social Systems: Modeling Opinions, Activities, and Interactions | G26 | SWS Colloquium |

03/05/2014 | 12:15 | | Viktor Vafeiadis | | Formal Reasoning about Relaxed Concurrency | E1 5 | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI |

03/04/2014 | 11:00 | | Megha Khosla | | Multiple Choice Allocations with Small Maximum Loads | E1 4 | Promotionskolloquium |

03/04/2014 | 10:30 | | Hongseok Yang | | How to find a good program abstraction automatically? | E1 5 | SWS Distinguished Lecture Series |

02/27/2014 | 13:00 | | Ruben Becker | | A Combinatorial Interior Point Method for Min-Cost Flow | E1 4 | AG1 Mittagsseminar (own work) |

02/27/2014 | 10:30 | | Prof. Viktor Kuncak | | Automating Construction of Provably Correct Software | E1 5 | SWS Distinguished Lecture Series |

02/26/2014 | 11:30 | | Foteini Baldimtsi, | | Privacy Preserving Technologies and an Application to Public Transit Systems | E1 5 | SWS Colloquium |

02/26/2014 | 11:30 | | Ms. Foteini Baldimtsi | | Privacy Preserving Technologies and an Application to Public Transit Systems | E1 5 | Post Doc Application Talk |

02/24/2014 | 10:30 | | Prof. Alin Deutsch | | Decidable Verification of Database-powered Business Processes | G26 | SWS Distinguished Lecture Series |

02/21/2014 | 10:00 | | Thorsten Bonato | | Lifting and Separation Procedures for the Cut Polytope | E1 4 | Talk |

02/18/2014 | 13:00 | | Martin Hoefer | | Online Independent Set with Stochastic Adversaries | E1 4 | AG1 Mittagsseminar (own work) |

02/18/2014 | 11:00 | | Pedro Fonseca | | Exposing and Detecting Concurrency Bugs in Large-Scale Software | E1 5 | SWS Student Defense Talks - Thesis Proposal |

02/17/2014 | 14:00 | | Mark Silberstein | | Operating System Services for High-Throughput Accelerators | G26 | SWS Colloquium |

02/13/2014 | 14:00 | | Ezgi Cicek | | A Type System for Incremental Computational Complexity | E1 5 | SWS Student Defense Talks - Qualifying Exam |

02/13/2014 | 11:00 | | Prof. Simone Paolo Ponzetto | | Knowledge-rich models for high-end NLP applications | E1 4 | Talk |

02/12/2014 | 14:00 | | Dr. Jefrey Lijffijt | | Computational Methods for Comparison and Exploration of Event Sequences | E1 4 | Talk |

02/12/2014 | 12:15 | | Jürgen Steimle | | Beyond Multi-Touch: User Interfaces for Flexible Displays and Surfaces | E1 5 | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI |

02/10/2014 | 14:00 | | Sanjoy Baruah | | Real-time Scheduling and Mixed-Criticality Systems | G26 | SWS Distinguished Lecture Series |

02/10/2014 | 10:50 | | Aliaksandr Talaika | | IBEX: Id-Based Entity Extraction | E1 4 | PhD Application Talk |

02/10/2014 | 10:50 | | Oussam Mustapha Larkem | | Enumeration of ({0}, {2})-Dominations | E1 4 | PhD Application Talk |

02/10/2014 | 10:50 | | Paresh Nakhe | | Fast Random Walks on Overlay Networks | E1 4 | PhD Application Talk |

02/10/2014 | 10:50 | | Sanjar Karaev | | Matrix Factorization over Max-Times Algebra for Data Mining | E1 4 | PhD Application Talk |

02/10/2014 | 08:50 | | Afshin Rahimi | | A Perceptual Account of Syllabification in Persian | E1 4 | PhD Application Talk |

02/10/2014 | 08:50 | | Artem Boldyrev | | Dictionary-Based Named Entity Recognition | E1 4 | PhD Application Talk |

02/10/2014 | 08:50 | | Joanna Biega | | Adapting sentiment analysis resources and methods to the realm of the Polish language | E1 4 | PhD Application Talk |

02/10/2014 | 08:50 | | Kiril Panev | | Phrase Querying with Combined Indexes | E1 4 | PhD Application Talk |

02/07/2014 | 14:00 | | Gerard de Melo | | From Language to Knowledge and Vice Versa | E1 4 | Talk |

02/06/2014 | 13:00 | | Antonios Antoniadis | | Speed scaling for fractional weighted flow plus energy | E1 4 | AG1 Mittagsseminar (own work) |

02/04/2014 | 14:00 | | Christoph Garth | | Characterizing Extremal Structures in Multivariate Data with Pareto Sets | E1 4 | Talk |

02/04/2014 | 13:00 | | Guy Even and Takeshi Tokuyama | | Double Header: Balancing location of points on boundary and Deterministic Rateless Codes for Binary Symmetric Channels | E1 4 | Lecture |

02/03/2014 | 09:30 | | Michael Hellenschmidt, SAP AG | | Cloud Computing Workshop | CyberForum | One-Day-Event |

01/30/2014 | 13:00 | | Yi Li | | A Brief Introduction to the Sublinear-Time Sparse Recovery Problem | E1 4 | AG1 Mittagsseminar (own work) |

01/29/2014 | 13:00 | | Jie Gao | | Complex Contagion and The Weakness of Long Ties in Social Networks: Revisited | E1 4 | Talk |

01/28/2014 | 13:00 | | Antonios Antoniadis | | Speed scaling for fractional weighted flow plus energy | E1 4 | AG1 Mittagsseminar (own work) |

01/23/2014 | 16:00 | | Christian Grothoff | | Components for Building Secure Decentralized Networks | E1 5 | SWS Colloquium |

01/21/2014 | 13:00 | | Kunal Dutta | | Counting Independent sets in Hypergraphs | E1 4 | AG1 Mittagsseminar (own work) |

01/20/2014 | 13:00 | | Aruni Choudhary | | Well separated simplical decomposition using net-trees | E1 4 | AG1 Mittagsseminar (own work) |

01/19/2014 | 13:00 | | Rob van Stee | | TBA | E1 4 | AG1 Advanced Mini-Course |

01/15/2014 | 13:00 | | He Sun | | TBA | E1 4 | AG1 Mittagsseminar (own work) |

01/15/2014 | 13:00 | | Shay Moran | | Epsilon ID's and the double sampling argument | E1 4 | Lecture |

01/14/2014 | 13:00 | | Christoph Lenzen | | Improved Distributed Steiner Forest Construction | E1 4 | Talk |

01/13/2014 | 10:00 | | Nicolas Bonneel | | Mass Transport Principles for Computer Graphics | E1 4 | Talk |

01/13/2014 | 10:00 | | Dr. Zeynep Akata | | Contributions to Large Scale Learning for Image Classification | E1 4 | Talk |

01/09/2014 | 14:00 | | Suvrit Sra | | Inexactness, geometry, and optimization for data analysis | E1 4 | Lecture |

01/09/2014 | 14:00 | | Suvrit Sra | | Inexactness, geometry, and optimization for data analysis | E1 4 | Lecture |

01/09/2014 | 13:00 | | Naveen Garg | | Local search algorithms for facility location. | E1 4 | Lecture |

01/08/2014 | 12:15 | | Aniket Kate | | Differential Guarantees for Cryptographic Systems | E1 5 | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI |

01/07/2014 | 13:00 | | Simon Gog | | Succinct Data Structures: From Theory to Practice | E1 4 | AG1 Mittagsseminar (own work) |

12/16/2013 | 11:00 | | Stefan Kiefer | | Verifying Probabilistic Programs | G26 | SWS Colloquium |

12/13/2013 | 15:00 | s.t. | Herrn Dipl.-Inform. Thomas Helten | | Processing and Tracking Human Motions Using Optical, Inertial, and Depth Sensors | E1 4 | Promotionskolloquium |

12/12/2013 | 13:00 | | Marvin Künnemann | | Tight Analysis of Randomized Rumor Spreading in Complete Graphs | E1 4 | AG1 Mittagsseminar (own work) |

12/11/2013 | 14:00 | | Pan Peng | | Detecting and Characterizing Small Dense Bipartite-like Subgraphs by the Bipartiteness Ratio Measure | E1 4 | Talk |

12/11/2013 | 11:00 | | Wolfgang Mulzer | | New Algorihtms for the Frechet Distance | E1 4 | Talk |

12/06/2013 | 10:15 | | Mark Crovella | | Inferring Invisible Internet Traffic | E1 5 | SWS Colloquium |

12/05/2013 | 13:00 | | Kurt Mehlhorn | | A Geometric View of Binary Search Trees (cancelled; talk moved to Reading Group, Wednesday December 4, 4:15, | E1 4 | AG1 Mittagsseminar (others' work) |

12/05/2013 | 11:00 | | Gilles Barthe | | Computer-Aided Cryptographic Analysis and Design | E1 5 | SWS Distinguished Lecture Series |

12/04/2013 | 14:15 | | Renate Schmidt | | Computing Uniform Interpolation for Description Logics | E1 5 | Talk |

12/04/2013 | 12:15 | | He Sun | | Efficient Algorithms in Massive Graphs | E1 5 | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI |

12/04/2013 | 10:30 | | Lizhen Qu | | Sentiment Analysis with Limited Training Data | E1 4 | Promotionskolloquium |

12/03/2013 | 13:00 | | Lisa Wagner | | Designing Profit Shares in Matching and Coalition Formation Games | E1 4 | AG1 Mittagsseminar (own work) |