Previous Page | Next Page | Expand All | Collapse All
Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
2015-10-06 | 13:00 | Sunil Chandran | Rainbow connection number of graphs | E1 4 024 | AG1 Advanced Mini-Course | ||||||
| |||||||||||
|
| ||||||||||
2015-09-28 | 11:00 | Tomasz Tylenda | Methods and Tools for Summarization of Entities and Facts in Knowledge Bases | E1 4 0.24 | Promotionskolloquium | ||||||
|
| ||||||||||
2015-09-23 | 14:00 | He Sun | Constructing Linear-Sized Spectral Sparsification in Almost-Linear Time | E1 4 333 Rotonda | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-09-22 | 13:00 | Bjoern Andres | Lifting of Multicuts and the Decomposition of Image and Mesh Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-09-21 | 13:00 | Christine Rizkallah | Trustworthy File Systems | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2015-09-18 | 09:00 | Christine Rizkallah | Verification of Program Computations (PhD-Defense) | E1 4 024 | Promotionskolloquium | ||||||
2015-09-18 | 14:00 | Deepak Kapur | A Quantifier- Elimination Heuristic for Octagonal Constraints | G26 [KL] 112 | SWS Colloquium | ||||||
|
| ||||||||||
2015-09-17 | 10:00 | Irfan Essa | Video Analysis and Enhancement: Spatio-Temporal Methods for Extracting Content from Videos and Enhancing Video Output | E1 4 024 | Talk | ||||||
|
| ||||||||||
2015-09-15 | 10:00 | James Caverlee | Geo-Social Footprints in Social Media: Opportunities and Challenges | E1 4 024 | Talk | ||||||
|
| ||||||||||
2015-09-10 | 13:00 | Jiemin Zeng | Exact and Approximation Algorithms for Data Mule Scheduling in a Sensor Network | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-09-08 | 13:00 | Shikha Singh | Rational Proofs with Multiple Provers | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-09-03 | 13:00 | AG 1 | Group Meeting and Cake | E1 4 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2015-09-02 | 12:15 | Jasmin Christian Blanchette | Making Theorem Provers Easier to Use | E1 5 002 | Joint Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2015-08-25 | 13:00 | Davis Issac | Online Sampling with Minimal Randomness | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-08-18 | 13:00 | Ralf Jung | Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning | E1 5 029 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2015-08-13 | 13:00 | Andreas Wiese | On guillotine cutting sequences | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-08-12 | 13:00 | Christoph Lenzen | ERC prep talk | E1 4 024 | Talk | ||||||
|
| ||||||||||
2015-08-11 | 13:00 | Paul Dütting | Algorithms as Mechanisms: The Price of Anarchy of Relax-and-Round | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-08-06 | 13:00 | Andreas Wiese | How to tame rectangles | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-08-05 | 12:15 | Piotr Didyk | Perceptually-driven Inputs for New Output Devices | E1 5 002 | Joint Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2015-07-30 | 10:30 | Alexandre Chapiro | Perceptual Enhancements for 3D Displays | E1 4 019 | AG4 Talk | ||||||
|
| ||||||||||
2015-07-29 | 14:00 | Jiri Filip | Anisotropic Material Appearance: Acquisition and Modelling | E1 4 019 | Talk | ||||||
|
| ||||||||||
2015-07-28 | 13:00 | Lila Fontes | Trading Privacy for Communication | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-07-23 | 13:00 | Thatchaphol Saranurak | Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-07-22 | 14:00 | Gregor Snelting | A New Algorithm For Probabilistic Noninterference | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-07-16 | 13:00 | Keerti Choudhary | Fault Tolerant Reachability Subgraph : Generic and Optimal | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-07-14 | 13:00 | Shahbaz Khan | Dynamic DFS Tree in Undirected Graphs: breaking the O(m) barrier | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2015-07-14 | 14:15 | Andreas Lochbihler | Making the Java memory model safe | E1 5 002 | Talk | ||||||
|
| ||||||||||
2015-07-10 | 11:00 | Patrick McDaniel | Six Years of Mobile Smartphone Security | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-07-09 | 10:00 | Yafang Wang | Research after MPI | E1 4 433 | AG5 Talk | ||||||
2015-07-09 | 13:00 | Shay Moran | Sample compression schemes for VC classes | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2015-07-09 | 14:00 | Jay Pujara | Probabilistic Soft Logic | E1 4 433 | AG5 Talk | ||||||
|
| ||||||||||
2015-07-08 | 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 024 | MPI Colloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2015-07-03 | 09:30 | Ali Pourmiri | PhD Thesis Defense | MMCI 001 | Promotionskolloquium | ||||||
|
| ||||||||||
2015-07-02 | 13:00 | Mabel Iglesias-Ham | Multiple Covers with Balls: Inclusion-Exclusion | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-07-01 | 12:15 | Christoph Lenzen | Fast Approximate Max Flow Computation | E1 5 002 | Joint Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2015-06-30 | 13:00 | Sayan Bhattacharya | Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-06-29 | 13:00 | Brittany Terese Fasy | Comparing Road Networks: An Application of TDA | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-06-26 | 10:30 | Dr. Arne Hamann | ''Timing-Aware Control Software Design for Automotive Systems'' | G26 [KL] 112 | SWS Colloquium | ||||||
|
| ||||||||||
2015-06-24 | 13:00 | Muhammad Bilal Zafar | On Leveraging the Wisdom of Crowdsourced Experts | E1 5 029 | SWS Student Defense Talks - Qualifying Exam | ||||||
2015-06-24 | 13:00 | Pedro Fonseca | Effective Testing for Concurrency Bugs | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2015-06-23 | 11:00 | Dr. Jannik Stroetgen | Event-centric Information Retrieval | E1 4 533 | AG5 Talk | ||||||
|
| ||||||||||
2015-06-22 | 09:00 | Chuong H. Nguyen | Data-driven Approaches for Interactive Appearance Editing | E1 4 019 | Promotionskolloquium | ||||||
2015-06-22 | 11:00 | Dr. Rishiraj Saha Roy | Unsupervised Query Segmentation: Algorithms and Evaluation | E1 4 533 | AG5 Talk | ||||||
|
| ||||||||||
2015-06-19 | 15:00 | Adrian Neumann | PhD Thesis Defense | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-06-17 | 10:00 | Herbert Bos | 50 Shades of CRE (Code Reuse Exploits) | E1 5 002 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-06-16 | 13:00 | Ragesh Jaiswal | Faster Algorithms for the Constrained k-means Problem | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-06-15 | 12:05 | Luis Enrique Ramirez Chavez | Multi-Objective Evolutionary Algorithms for Bioinformatics | E1 4 024 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2015-06-11 | 13:00 | Andreas Wiese | On Approximating Storage Allocation Problems as Good as Their Siblings | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-06-09 | 11:00 | Clemens Birklbauer and David Schedl | Wide-field-of-view light-field processing and coded sampling | E1 4 019 | AG4 Talk | ||||||
2015-06-09 | 13:00 | Amit Kumar | Greedy Algorithms for Steiner Forest | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-06-03 | 12:15 | Deepak Garg | Types for Incremental Computational Complexity | E1 5 002 | Joint Lecture Series | ||||||
2015-06-03 | 14:00 | Nigel Smart | Computing on Encrypted Data | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-06-02 | 13:00 | Christoph Lenzen | Fast Approximate Max Flow Computation | E1 4 024 | Probevortrag | ||||||
| |||||||||||
|
| ||||||||||
2015-05-28 | 13:00 | Dr. Sergey Polyakovskiy | Packing While Traveling | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-05-26 | 13:00 | Navid Talebanfard | The Strong Exponential Time Hypothesis for Structured Algorithms through Games and the Multiplicity of Strategies | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-05-21 | 14:00 | Markus Steinberger | Dynamic Task-based GPU Scheduling | E1 4 0.19 | AG4 Talk | ||||||
|
| ||||||||||
2015-05-19 | 13:00 | Vitaliy Kurlin | Homologically Persistent Skeleton in Computer Vision and beyond | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-05-15 | 13:00 | Prof. Frank Neumann | On the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan Scheduling | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-05-11 | 10:00 | Abhishek Sharma | Joint Co-localisation and Co-segmentation | E1 4 633 | Talk | ||||||
|
| ||||||||||
2015-05-08 | 18:00 | Three-Day Workshop | Startup Weekend Saarbrücken (May 8-10, 2015) | A3 3 - Aula Universität ground floor | Miscellaneous | ||||||
|
| ||||||||||
2015-05-07 | 13:00 | Bundit Laekhanukit | Parameters of Two-Prover-One-Round Game and The Hardness of Connectivity Problems | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-05-06 | 12:15 | Andreas Keller | Detecting Microbial Resistance Against Antibiotics | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2015-05-05 | 13:00 | D! | D1 Group Meeting, Preparation of SAB-Visit | E1 4 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2015-05-04 | 09:15 | Azin Ghazimatin | Team Selection for Prediction Tasks | E1 4 024 | PhD Application Talk | ||||||
2015-05-04 | 09:15 | Mohamed Gad-Elrab | Adapting Named Entity Disambiguation for Arabic Text | E1 4 024 | PhD Application Talk | ||||||
2015-05-04 | 09:15 | Nesma El Kalaawy | A Reaction-Diffusion Master Equation-Based Method for the Modeling and Simulation of Biochemical Pathways | E1 4 024 | PhD Application Talk | ||||||
2015-05-04 | 11:00 | Hyunyoung Kim | Gesture-Recognition Interface with Keyboard Embedded IR Modules | E1 4 024 | PhD Application Talk | ||||||
2015-05-04 | 11:00 | Mehdi Noroozi | Indoor Scene 3D Layout and Clutter Estimation from RGBD Images | E1 4 024 | PhD Application Talk | ||||||
| |||||||||||
|
| ||||||||||
2015-04-30 | 14:00 | Boris Köpf | Rational Protection Against Timing Attacks | E1 5 002 | Talk | ||||||
|
| ||||||||||
2015-04-29 | 16:00 | Christian Holler | Security Testing at Mozilla | E1 5 Lecture hall | Talk | ||||||
|
| ||||||||||
2015-04-28 | 10:00 | Philipp Krähenbühl | Learning to propose objects | E1 4 633 | Talk | ||||||
2015-04-28 | 15:00 | Wolfgang Heidrich | Unconventional Uses for Time-of-Flight Cameras - Transient Imaging and Beyond | E1 4 019 | Talk | ||||||
|
| ||||||||||
2015-04-22 | 14:00 | Vamsi Kiran Adhikarla | Light Field Rendering and Interaction | E1 4 019 | Talk | ||||||
|
| ||||||||||
2015-04-21 | 13:00 | Benjamin Doerr | Randomized Rumor Spreading Revisited | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-04-20 | 10:00 | Stephan Seufert | Algorithmic Building Blocks for Relationship Analysis over Large Graphs | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2015-04-16 | 13:00 | Prof. Frauke Liers | Exact Approaches for Air Traffic Management Problems | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-04-14 | 13:00 | Michael Kerber | Semi-dynamic connectivity in the plane | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-04-10 | 10:00 | Prof. Dr. Peter Boncz | Emergent Structures in Knowledge Graphs | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2015-04-09 | 10:00 | Dr. Pei Li | Series Discovery with Missing and Erroneous Values | E1 4 433 | AG5 Talk | ||||||
|
| ||||||||||
2015-04-07 | 13:00 | Abhinav Anand | Foster-Hart Risk and the Too-Big-to-Fail Banks: An Empirical Investigation | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2015-04-07 | 15:30 | Pramod Bhatotia | Incremental Parallel and Distributed Systems | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2015-04-02 | 13:00 | Philipp Klodt | k-Cycle Free Two-Matchings from Half-Integral Subtour LP-Solutions (Master Seminar) | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-04-01 | 10:30 | Simon Peter | Building an Operating System for the Data Center | E1 5 29 | SWS Colloquium | ||||||
| |||||||||||
|
| ||||||||||
2015-03-30 | 10:30 | David Wolinsky | Tracking Resistance with Dissent | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2015-03-27 | 10:00 | Joel Rybicki | Towards Optimal Synchronous Counting | E1 4 022 | Talk | ||||||
|
| ||||||||||
2015-03-26 | 10:30 | Ankit Singla | Jellyfish: Networking Data Centers, Randomly | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2015-03-24 | 11:00 | Georg Moser | Weighted Automata Theory for Complexity Analysis of Rewrite Systems | E1 4 024 | Talk | ||||||
2015-03-24 | 16:00 | Luis Francisco Ziliani | Interactive Typed Tactic Programming in the Coq Proof Assistant | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2015-03-20 | 09:30 | Chandan Saha | Multi-k-ic depth three circuit lower bound | E2.1 001 | Talk | ||||||
2015-03-20 | 11:00 | Pascal Koiran | Lower bounds for sums of powers of low degree univariates | E2.1 001 | Talk | ||||||
|
| ||||||||||
2015-03-19 | 09:30 | Neeraj Kayal | TBA | E2.1 001 | Talk | ||||||
2015-03-19 | 11:00 | Guillaume Malod | Lower bounds for non-commutative skew circuits | E2.1 001 | Talk | ||||||
|
| ||||||||||
2015-03-18 | 09:30 | Ignacio Garcia Marco | Long-Concavity and Lower bounds for arithmetic circuits | E2.1 001 | Talk | ||||||
2015-03-18 | 11:00 | Daniel König | Polynomial identity testing in coRNC for powerful skew circuits | E2.1 001 | Talk | ||||||
|
| ||||||||||
2015-03-17 | 09:30 | Ben Lee Volk/Amir Shpilka | Subexponential Size HItting Sets for Bounded Depth Multilinear Formulas | E2.1 001 | Talk | ||||||
2015-03-17 | 11:00 | Rahul Santhanam | Boolean vs Algebraic | E2.1 0001 | Talk | ||||||
2015-03-17 | 13:00 | Don Sheehy | Persistent Nerves in Topological Inference and Data Analysis | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-03-16 | 09:30 | Michael Forbes | Polynomial Identity Testing via Shifted Partial Derivatives | E2.1 001 | Talk | ||||||
2015-03-16 | 11:00 | Ramprasad Saptharishi | Depth Reduction in arithmetic circuits | E2.1 001 | Talk | ||||||
|
| ||||||||||
2015-03-11 | 13:00 | Jukka Suomela | Median Filtering is Equivalent to Sorting | E1 4 024 | Talk | ||||||
|
| ||||||||||
2015-03-10 | 13:00 | Moti Medina | Distributed Maximum Matching in Bounded Degree Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-03-09 | 11:00 | Reut Levi | A Quasi-Polynomial Time Partition Oracle for Graphs with an Excluded Minor | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2015-03-09 | 14:00 | Leonidas Guibas | Networks of Shapes and Images | E1 4 R 0.19 | Talk | ||||||
|
| ||||||||||
2015-03-05 | 13:00 | D1 | D1 Group Meeting | E1 4 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2015-03-04 | 12:15 | Michael Kerber | The Persistent Homology Pipeline: Shapes, Computations, and Applications | E1 5 002 | Joint Lecture Series | ||||||
2015-03-04 | 14:30 | IT Inkubator | Kick-off event on 4 March 2015 | A3 3 - Aula Universität (ground floor) | Kick-Off Event | ||||||
|
| ||||||||||
2015-03-03 | 13:00 | Tereza Klimosova | Infinite dimensional finitely forcible graphon | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-03-02 | 10:30 | Deian Stefan | Principled and Practical Web Application Security | E1 5 029 | SWS Colloquium | ||||||
| |||||||||||
|
| ||||||||||
2015-02-26 | 10:30 | Aniket Kate | Minimal Trusted Hardware Assumptions for Privacy-Preserving Systems | E1 5 029 | SWS Colloquium | ||||||
2015-02-26 | 13:00 | Hang Zhou | Graph Reconstruction and Verification | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-02-24 | 11:00 | Hannah Bast | Semantic Search: Past, Present, Future | E1 4 024 | MPI-Kolloquium | ||||||
2015-02-24 | 13:00 | Yun Kuen Cheung | Asynchronous Market Dynamics and Asynchronous Gradient Descent | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-02-23 | 09:00 | Anurag Pandey | Testing Algebraic Independence of Polynomials over Finite Fields | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 09:00 | Hosnieh Sattar | Prediction of search targets from fixations in open-world settings | E1 4 R024 | PhD Application Talk | ||||||
2015-02-23 | 09:00 | Kireeti Bodduna | Efficient Noise Elimination Algorithms for Images and Graphics | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 09:00 | Sreyasi Nag Chowdhury | Contextual Media Retrieval Using Natural Language Queries | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 09:00 | Yang He | Pedestrian Detection and Online Tracking from Monocular Images | E1 4 R024 | PhD Application Talk | ||||||
2015-02-23 | 11:20 | Abdalghani Abujabal | Mining Past, Present, and Future | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 11:20 | Azim Dehghani Amirabad | Models to predict miRNAs-transcript target interactions | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 11:20 | Kashyap Popat | Leveraging Unlabelled Corpora for Sentiment Analysis | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 11:20 | Neha Warikoo | Regulatory network of fadr – crp in Mycobacterium tuberculosis: A computational approach | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 11:20 | Tim Kehl | GeneTrail2 - A comprehensive web service for enrichment analysis | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 13:00 | Moti Medina | Distributed Maximum Matching in Bounded Degree Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2015-02-23 | 15:00 | Cheng Li | Building fast and consistent replicated systems: from principles to practice | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2015-02-19 | 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 029 | SWS Colloquium | ||||||
2015-02-19 | 14:00 | Bart Preneel | Cryptography and Information Security in the post-Snowden era | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-02-17 | 10:30 | Dr. Eva Darulova | Programming with Numerical Uncertainties | E1 5 029 | SWS Colloquium | ||||||
2015-02-17 | 13:00 | M.-F. Roy | Talk by M.F. Roy on Hilbert's 17th problem HAS BEEN CANCELED | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
2015-02-17 | 14:00 | Jens-Matthias Bohli | Outsourced Proofs of Retrievability | E1 5 029 | Talk | ||||||
|
| ||||||||||
2015-02-13 | 13:30 | Vladlen Koltun | Reconstructing Complete 3D Models from Single Images | E1 4 R 0.19 | Talk | ||||||
|
| ||||||||||
2015-02-12 | 10:30 | Johannes Hoffart | Discovering and Disambiguating Named Entities in Text | E1 5 0.29 | Promotionskolloquium | ||||||
2015-02-12 | 14:00 | Wolfgang Nejdl | ALEXANDRIA - Temporal Retrieval, Exploration and Analytics in Web archives - Asking Humans for Help | E1 5 0.29 | MPI-Kolloquium | ||||||
|
| ||||||||||
2015-02-10 | 13:00 | Reza Saei | Maximal Induced Matchings in Triangle-Free Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-02-05 | 11:00 | Miguel Costa | Information Search in Web Archives | E1 4 433 | AG5 Talk | ||||||
2015-02-05 | 14:00 | Felix Freiling | Governmental IT Intrusions for Law Enforcement: State of the Art andAlternatives | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-02-04 | 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 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2015-02-02 | 14:00 | Hannah Bast | CANCELED: Semantic Search: Past, Present, Future | E1 4 024 | MPI-Kolloquium | ||||||
| |||||||||||
|
| ||||||||||
2015-01-30 | 14:00 | Oliver Bimber | Towards a transparent and flexible image sensor | E1 4 019 | Talk | ||||||
|
| ||||||||||
2015-01-29 | 14:00 | Prof. Dr. Heiko Mantel | Reliable Security Guarantees for Concurrent Programs: Pitfalls, Solutions and Challenges | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-01-26 | 10:30 | Alessandro Panconesi | Trace Complexity of Information Diffusion | G26 [KL] 112 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-01-22 | 10:00 | Pankaj Khanchandani | Approximate Agreement | E1 4 023 | ToDS Group Meeting | ||||||
2015-01-22 | 13:15 | Monika Henzinger | Dynamic Graph Algorithms - Upper and Lower Bounds | E1 4 024 | INF Distinguished Lecture Series | ||||||
2015-01-22 | 14:00 | Prof. Dr. David Basin | Enforceable Security Policies | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-01-20 | 13:00 | Yin Tat Lee | A Faster Algorithm for Linear Programming and the Maximum Flow Problem | E1 4 024 | Talk | ||||||
|
| ||||||||||
2015-01-17 | 13:00 | M.F. Roy | TALK BY M.F. ROY ON HILBERT's 17TH PROBLEM HAS BEEN CANCELED | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2015-01-16 | 13:00 | Jara Uitto | How Many Ants Does It Take To Find the Food? | E1 4 024 | Talk | ||||||
2015-01-16 | 16:00 | Bimal Viswanath | Reasoning about trustworthiness of identities in social computing systems | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2015-01-15 | 10:00 | Matthias Függer | Fault-tolerant on-chip tick generation | E1 4 023 | ToDS Group Meeting | ||||||
2015-01-15 | 13:00 | He Sun | Heat Kernel in Graphs: Our Understanding | E1 4 024 | Talk | ||||||
2015-01-15 | 14:00 | Prof. Dr. Ueli Maurer | Constructive Cryptography and Modular Protocol Design | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-01-13 | 13:00 | Luca Zanetti | Multiway partitioning of well-clustered graphs (SPOILER ALERT: spectral clustering works!) | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-01-12 | 11:00 | Daniel König | Polynomial identity testing in coRNC for powerful skew circuits | E2.1 001 | Talk | ||||||
2015-01-12 | 11:00 | Daniel König | Polynomial identity testing in coRNC for powerful skew circuits | E2.1 001 | Talk | ||||||
2015-01-12 | 11:00 | Guillaume Malod | Lower bounds for non-commutative skew circuits | E1 4 024 | AG1 Advanced Mini-Course | ||||||
2015-01-12 | 11:00 | Ramprasad Saptharishi | Depth Reduction in arithmetic circuits | E2.1 001 | Talk | ||||||
|
| ||||||||||
2015-01-09 | 10:00 | Andrew Tomkins | Analyzing Dynamics of Choice among Discrete Alternatives | E1 5 002 | SWS Distinguished Lecture Series | ||||||
2015-01-09 | 15:00 | Hans Boehm | Putting Threads on a Solid Foundation: Some Remaining Issus | G26 [KL] 111 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-01-08 | 10:00 | Matthias Függer | Towards Dependable Large-scale Circuits: Fault-Tolerant Tick-Generation | E1 4 023 | AG1 Group Meeting | ||||||
|
| ||||||||||
2015-01-07 | 12:15 | Manuel Gomez Rodriguez | Shaping Social Activity by Incentivizing Users | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2015-01-02 | 11:00 | Jiemin Zeng | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2014-12-22 | 09:30 | Foteini Alvanaki | Mining interesting events on large and dynamic data | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2014-12-19 | 13:00 | Alexey Gotsman | Formalising and Optimising Parallel Snapshot Isolation | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2014-12-17 | 12:30 | Karl Bringmann | PhD Defense Karl Bringmann | E1 4 024 | Promotionskolloquium | ||||||
2014-12-17 | 15:00 | Angelika Steger | An algorithmic framework for obtaining lower bounds for random Ramsey problems | E1 5 029 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-12-16 | 13:00 | Erik Jan van Leeuwen & Parinya Chalermsook | Highlights from FOCS 2014 | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2014-12-15 | 14:00 | Azalea Raad | CoLoSL: Concurrent Local Subjective Logic | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2014-12-12 | 13:00 | Shay Moran | Sign rank, VC dimension and spectral gaps | E1 4 024 | AG1 Advanced Mini-Course | ||||||
2014-12-12 | 14:00 | Filip Niksic | An SMT-Based Approach to Coverability Analysis | G26 [KL] 111 | SWS Student Defense Talks - Qualifying Exam | ||||||
2014-12-12 | 14:00 | Stephan Micklitz | Google Identity, Account Management and Privacy Tools | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2014-12-11 | 13:00 | Ankit Sharma | Multiway cut | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2014-12-11 | 14:00 | Catuscia Palamidessi | New Advances in Quantitative Information Flow | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2014-12-09 | 11:30 | KyoungSoo Park | Scaling TCP performance for multicore systems | E1 5 029 | SWS Colloquium | ||||||
2014-12-09 | 13:00 | Kurt Mehlhorn | Group Meeting | E1 4 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2014-12-05 | 13:30 | Michael W. Hicks | Authenticated Data Structures, Generically | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2014-12-04 | 13:00 | Joel Rybicki | Large Cuts with Local Algorithms | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2014-12-04 | 14:00 | Istemi Ekin Akkus | Towards Non-tracking Web and Mobile Analytics | G26 [KL] 112 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2014-12-03 | 12:15 | Tobias Marschall | Algorithmic Challenges in Computational Genomics | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2014-12-02 | 13:00 | Florian Pausinger | Approximation of intrinsic volumes | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2014-11-28 | 11:00 | Christian KURZ | Constrained Camera Motion Estimation and 3D Reconstruction | E1 4 0.19 | Promotionskolloquium | ||||||
2014-11-28 | 11:00 | Prof. Dr. Adrian Perrig | Exciting Security Research Opportunity: Next-generation Internet | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2014-11-26 | 11:00 | Robert West | Exploiting Social Network Structure for Person-to-Person Sentiment Analysis | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2014-11-25 | 13:00 | Jugal Garg | Leontief Exchange Markets Can Solve Multivariate Polynomial Equations, Yielding FIXP and ETR Hardness | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-11-21 | 15:00 | Aastha Mehta | Thoth: Practical Data flow protection in a search engine | E1 5 422 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2014-11-20 | 13:00 | Stephan Wenger | Regularized optimization methods for reconstruction and modeling in computer graphics | E1 4 019 | AG4 Talk | ||||||
2014-11-20 | 13:00 | Valia Mitsou | The computational complexity of two card games with theoretical applications | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2014-11-20 | 14:00 | Dr. Marc Fischlin | Cryptographic Standards vs. Cryptographically Secure Standards | E1 5 002 | CISPA Distinguished Lecture Series | ||||||
2014-11-20 | 14:00 | Scott Kilpatrick | mhmm: Making Haskell More Modular | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2014-11-18 | 11:00 | Eric Heitz | Multi-scale appearance for realistic and efficient rendering of complex surfaces | E1 4 019 | AG4 Talk | ||||||
2014-11-18 | 13:00 | Eunjung Kim | Algorithmic Applications of Tree-Cut Width | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-11-17 | 10:30 | Marcos K. Aguilera | Yesquel: scalable SQL storage for Web applications | E1 5 029 | SWS Distinguished Lecture Series | ||||||
2014-11-17 | 13:15 | Pascal Vincent | Learning representations with autoencoders: a brief overview and a few novel perspectives | E1 4 024 | Talk | ||||||
2014-11-17 | 14:00 | Oksana Denysyuk | Randomized Solutions to Renaming under Crashes and Byzantine Faults | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2014-11-13 | 13:00 | D1 | D1 Group Meeting | E1 4 024 | AG1 Group Meeting | ||||||
2014-11-13 | 13:00 | Prof. Baoquan Chen | Urban Sensing and Visualization | E1 4 019 | Talk | ||||||
|
| ||||||||||
2014-11-12 | 10:30 | Rachid Guerraoui | Generalized Universality | G26 [KL] 111 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2014-11-11 | 11:30 | Anne-Marie Kermarrec | Scalable personalization infrastructures | E1 5 002 | SWS Distinguished Lecture Series | ||||||
2014-11-11 | 18:00 | Prof. Dr. Michael Backes | Wenn Maschinen zu smart werden - Wie sicher sind unsere Daten? | E1 5 002 | Panel Discussion | ||||||
|
| ||||||||||
2014-11-10 | 11:15 | Roger Wattenhofer | Network Complexity & Complex Networks | E 1.5 002 | INF Distinguished Lecture Series | ||||||
|
| ||||||||||
2014-11-06 | 10:00 | Ilya Reshetouski | Kaleidoscopic Imaging | E1 4 019 | Promotionskolloquium | ||||||
2014-11-06 | 13:00 | Dr. Kai Lawonn | Illustrative Visualization of Medical Data Sets | E1 4 019 | Talk | ||||||
|
| ||||||||||
2014-11-05 | 10:30 | Ingmar Weber | Using Twitter to study Food Consumption and Fitness Behavior | E1 5 029 | SWS Colloquium | ||||||
2014-11-05 | 12:15 | Christian Rossow | Amplification DDoS: Abusing 30-Year-Old Internet Protocols for Denial-of-Service Attacks | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2014-11-04 | 15:30 | Noah Smith | Machine Learning about People from their Language | E1 5 002 | SWS Distinguished Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2014-10-30 | 13:00 | D1 | D1 Group Meeting | E1 4 024 | AG1 Group Meeting | ||||||
2014-10-30 | 14:00 | Frank Piessens | Runtime enforcement of security policies on black box reactive programs: theory and practice | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
2014-10-30 | 16:00 | Koushik Sen | MultiSE: Multi-Path Symbolic Execution using Value Summaries | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2014-10-21 | 13:00 | Sandy Heydrich | Approximating biclique problems on bipartite graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-10-09 | 10:30 | Steve Zdancewic | Vellvm: Verifying Safety in the LLVM IR | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2014-10-07 | 13:00 | Bart Jansen | Characterizing the Easy-to-Find Subgraphs from the Viewpoint of Polynomial-Time Algorithms, Kernels, and Turing Kernels | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-10-06 | 09:30 | Christian Rossow | Advanced Lecture: Software Reverse Engineering | E1 3 - Hörsaal Gebäude 001 | Lecture | ||||||
|
| ||||||||||
2014-10-02 | 10:30 | Dr. Joel Ouaknine | Termination of Linear Programs: Advances and Challenges | G26 [KL] 111 | SWS Distinguished Lecture Series | ||||||
2014-10-02 | 14:00 | Mark Ryan | Reconciling online privacy and societal security | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2014-10-01 | 12:15 | Nico Pfeifer | Statistical Learning in Computational Biology: Incorporating and Discovering new Biological Insights | E1 5 002 | Joint Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2014-09-29 | 13:00 | Sariel Har-Peled | Small Data -- Linear Time Algorithms for Geometric Problems | E1 4 024 | Talk | ||||||
|
| ||||||||||
2014-09-26 | 14:00 | Ian Goldberg | CISPA Distinguished Lecture Series - DP5: Privacy-preserving Presence Protocols | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
2014-09-26 | 15:30 | Alexey Reznichenko | Private-by-Design Advertising Meets the Real World | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2014-09-25 | 13:00 | Andreas Wiese | How Unsplittable-Flow-Covering helps Scheduling with Job-Dependent Cost Functions | E1 4 022 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-09-23 | 13:00 | Sebastian Ott | New Results for Non-Preemptive Speed Scaling | E1 4 022 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-09-19 | 14:00 | Andrej Bogdanov | On Basing Size-Verifiable One-Way Functions on NP-Hardness | E1 7 - MMCI 0.01 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2014-09-18 | 13:00 | Xiaohui Bei | Balancing Efficiency and Fairness in Resource Allocation | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-09-16 | 11:00 | Christoph Lenzen | ERC test presentation | E1 4 023 | Probevortrag | ||||||
2014-09-16 | 13:00 | Fabrizio Grandoni | Subcubic Equivalences Between Graph Centrality Problems, APSP and Diameter | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-09-15 | 11:00 | Leslie Goldberg | The Complexity of Approximate Counting | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2014-09-05 | 15:00 | James D. Hollan (UCSD) and Aurélien Tabard (U Lyon) | Activity-Enriched Computing: Retrieving and Restoring Context | E1 7 - MMCI 001 | Talk | ||||||
2014-09-05 | 15:00 | James D. Hollan (UCSD) and Aurélien Tabard (U Lyon) | Activity-Enriched Computing: Retrieving and Restoring Context | E1 1 - Informatik E1 7 001 | Talk | ||||||
|
| ||||||||||
2014-09-04 | 13:00 | Fidaa Abed | Optimal Coordination Mechanisms for Multi-Job Scheduling Games | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-09-02 | 13:00 | Antonios Antoniadis | A o(n)-Competitive Deterministic Algorithm for Online Matching on a Line | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2014-08-28 | 11:00 | Christoph Lenzen | ERC practice talk | E1 4 023 | Probevortrag | ||||||
2014-08-28 | 13:00 | Sebastien Tavenas | Reduction of the depth for arithmetic circuits | E1 4 024 | Talk | ||||||
2014-08-28 | 13:30 | Biman Roy | The Unified Theory of Pseudorandomness | E1 4 024 | Talk | ||||||
2014-08-28 | 14:00 | Franziska Roesner | Security, Privacy, and User Expectations: Case Studies in Web Tracking, Access Control, and User Interfaces | E1 5 0.29 | Talk | ||||||
|
| ||||||||||
2014-08-26 | 13:00 | Tino Weinkauf | Extended Branch Decomposition Graphs: Structural Comparison of Scalar Data | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-08-21 | 13:00 | Jan Hladky | An approximate version of the tree packing conjecture | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-08-19 | 13:00 | Rob van Stee | The optimal absolute ratio for online bin packing | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-08-15 | 13:00 | Kirill Afanasev | Shortest and alternative paths in road networks | E1 4 019 | Talk | ||||||
|
| ||||||||||
2014-08-14 | 11:00 | Ullrich Hustadt | Resolution-based Reasoning for Coalition Logic | E1 3 - Hörsaal Gebäude 002 | Talk | ||||||
2014-08-14 | 13:00 | Matthias Függer | Time Complexity of Link Reversal Routing | E1 4 019 | Talk | ||||||
|
| ||||||||||
2014-08-13 | 13:00 | Matthias Függer | Towards binary circuit models that faithfully reflect physical (un)solvability. | E1 4 019 | Talk | ||||||
|
| ||||||||||
2014-08-12 | 15:00 | Viktor Erdélyi | A Privacy-Preserving Platform for Context-Aware Mobile Social Applications | E1 5 029 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2014-08-08 | 10:30 | Robbert van Renesse | Leveraging Sharding in the Design of Scalable Replication Protocols | E1 5 002 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2014-08-06 | 12:15 | Marcel Schulz | Probabilistic Methods for the Analysis of Biological Networks | E1 5 002 | Joint Lecture Series | ||||||
2014-08-06 | 15:30 | Mike Dodds | A Fast, Correct Time-Stamped Stack | E1 5 029 | SWS Colloquium | ||||||
| |||||||||||
|
| ||||||||||
2014-07-30 | 10:30 | Flavio Chierichetti | Trace Complexity | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2014-07-29 | 13:00 | Richard Peng | Algorithms Design Using Spectral Graph Theory | E1 4 024 | Talk | ||||||
|
| ||||||||||
2014-07-28 | 13:00 | Josef Sivic | From CAD models to neural networks: Learning mid-level image representations for visual recognition | E1 4 024 | Talk | ||||||
|
| ||||||||||
2014-07-24 | 10:30 | Andrei Sabelfeld | Tracking information flow in web applications | E1 5 002 | SWS Distinguished Lecture Series | ||||||
2014-07-24 | 13:00 | Paul Müller | Deferred Shading Pipelines and Post-Processes | E1 4 019 | Talk | ||||||
|
| ||||||||||
2014-07-23 | 10:30 | Hongjin Liang | Compositional Verification of Termination-Preserving Refinement of Concurrent Programs | G26 [KL] 113 | SWS Colloquium | ||||||
|
| ||||||||||
2014-07-22 | 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 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-07-21 | 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 024 | Talk | ||||||
|
| ||||||||||
2014-07-17 | 13:00 | Shay Moran | Epsilon ID's and the double sampling argument | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2014-07-15 | 12:15 | Faraz Makari Manshadi | Scalable Optimization Algorithms for Recommender Systems | E1 4 024 | Promotionskolloquium | ||||||
2014-07-15 | 13:00 | Minming Li | DVS scheduling for various processor models and task types | E1 4 021 | Talk | ||||||
2014-07-15 | 14:00 | Li Wei | R-calculus: A Logical Inference System for Verifying the Process of Scientific Discovery | E1 5 002 | Talk | ||||||
|
| ||||||||||
2014-07-14 | 13:00 | Christoph Lenzen | Improved Distributed Steiner Forest Construction | E1 4 024 | Talk | ||||||
|
| ||||||||||
2014-07-10 | 11:00 | Michael J. Black | The persistence of structure: Layers, time, and the estimation of optical flow | E1 5 024 | Talk | ||||||
2014-07-10 | 14:00 | Chenglei WU | Inverse Rendering for Scene Reconstruction in General Environments | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2014-07-09 | 16:15 | Kurt Mehlhorn | Practice Talk: Erasmus Lecture | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2014-07-08 | 13:00 | Narayana Swamy | Approximation Algorithms for Hitting Line Segments | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2014-07-07 | 12:00 | Oliver Nalbach | Deep Screen Space for Indirect Lighting of Volumes | E1 5 029 | IMPRS Research Seminar | ||||||
2014-07-07 | 14:15 | Prof. David Steurer | Unique Games, Sum-of-Squares, and the Quest for Optimal Algorithms | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2014-07-02 | 12:15 | Andreas Karrenbauer | A Journey with Discrete Optimization: from the Real World to Theory and Back | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2014-07-01 | 13:00 | Wouter van Heijst | Squares inscribed on algebraic plane curves | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2014-06-30 | 14:15 | Dr. Moritz Hardt | Protecting Correctness in Adaptive Data Analysis | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2014-06-24 | 13:00 | Piotr Krysta | Size versus Truthfulness for the House Allocation Problem | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2014-06-24 | 13:30 | Milind Sohoni | Market Games | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-06-23 | 15:00 | Christian Klein | Matrix Rounding, Evolutionary Algorithms, and Hole Detection | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2014-06-20 | 14:30 | Shady Elbassuoni | Practical Extraction of Disaster-Relevant Information from Social Media | E1 1 - Informatik 433 | Talk | ||||||
|
| ||||||||||
2014-06-17 | 13:00 | Matthias Mnich | Large Independent Sets in Triangle-Free Planar Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-06-16 | 13:00 | Vineet Rajani | Information flow control for javascript in web browsers | E1 5 029 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2014-06-13 | 10:00 | Nicolas Bonneel | Mass Transport Principles for Computer Graphics | E1 4 633 | Talk | ||||||
|
| ||||||||||
2014-06-12 | 13:00 | D1 | Group Meeting D1 | E1 4 022 | AG1 Group Meeting | ||||||
|
| ||||||||||
2014-06-10 | 13:00 | Ali Pourmiri | Randomized Rumor Spreading in Poorly Connected Real-World Networks | E1 4 023 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-06-05 | 16:00 | Maria Paola Bonacina | SGGS: Model-Based First-Order Theorem Proving | E1 5 002 | Talk | ||||||
|
| ||||||||||
2014-06-04 | 12:15 | Jilles Vreeken | Exploratory Data Analysis | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2014-06-03 | 13:00 | C. S. Rahul | Properties of Connected f-Factors | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-06-02 | 11:00 | Ndapandula Nakashole | Language-Aware Truth Assessment of Fact Candidates | E1 4 433 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2014-05-27 | 13:00 | Patrick Klitzke | Two-dimensional Subset Selection for Hypervolume and Epsilon-Indicator | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2014-05-27 | 14:00 | Dim Coumou and Thomas Nocke | Jet stream visualization to detect anomalous circulation regimes associated with extreme weather events | E1 4 019 | Talk | ||||||
|
| ||||||||||
2014-05-22 | 10:30 | Ras Bodik | Adventures in Program Synthesis | E1 5 002 | SWS Distinguished Lecture Series | ||||||
2014-05-22 | 13:00 | Karl Bringmann | Why walking the dog takes time: Frechet distance has no strongly subquadratic algorithms unless SETH fails | E1 4 022 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-05-20 | 13:00 | Aruni Choudhary | Well separated simplical decompositions using net-trees | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2014-05-20 | 13:15 | Wojciech Matusik | From Virtual to Real | E1 4 019 | Lecture | ||||||
|
| ||||||||||
2014-05-19 | 09:00 | Ali Ghaffaari | A Molecular Dynamic Approach Based on Knowledge-based Force Function for Prediction of Protein Structure | E1 4 024 | PhD Application Talk | ||||||
2014-05-19 | 09:00 | Dhruv Gupta | Identifying Time Intervals of Interest for Queries | E1 4 024 | PhD Application Talk | ||||||
2014-05-19 | 09:00 | Saskia Metzler | Identification of Horizontal Gene Transfer Events in Viruses | E1 4 024 | PhD Application Talk | ||||||
2014-05-19 | 10:45 | Davis Issac | Better Exact Algorithm for Maximum Independent Set Problem in Graphs with Bounded Degree 3 | E1 4 024 | PhD Application Talk | ||||||
2014-05-19 | 10:45 | Serikzhan Kazi | Compact Representation of Automata and Algorithms for its xBWT | E1 4 024 | PhD Application Talk | ||||||
2014-05-19 | 10:45 | Sukhpreet Kaur Khangura | Hybrid Model Based Coding Enhancement for MPEG | E1 4 024 | PhD Application Talk | ||||||
|
| ||||||||||
2014-05-15 | 13:00 | Marek Elias | Ramsey questions in discrete geometry | E1 4 022 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-05-13 | 13:00 | Dimitris Fotakis | Approximate Strategyproof Mechanisms for Facility Location Games | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-05-09 | 11:00 | Maximilian Dylla | Efficient Querying and Learning in Probabilistic and Temporal Databases | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2014-05-08 | 10:30 | Kavita Bala | Modeling and representing materials in the wild | E1 5 002 | SWS Distinguished Lecture Series | ||||||
2014-05-08 | 13:00 | Zi Ye | Cobordism ring and genera | E1 4 022 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-05-07 | 12:15 | Andreas Wiese | Approximation Algorithms for Packing Problems | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2014-05-06 | 12:15 | Sarath Kumar Kondreddi | Human Computing and Crowdsourcing Methods for Knowledge Acquisition | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2014-05-05 | 11:00 | Laura Dietz | Entity Linking with Document Retrieval and Vice Versa | E1 4 433 | Talk | ||||||
2014-05-05 | 14:00 | Liana Hadarean | Lazy Bit-vector Solving and Witnessing Compiler Transformations | G26 [KL] 113 | SWS Colloquium | ||||||
| |||||||||||
|
| ||||||||||
2014-04-25 | 13:00 | Giuseppe F. Italiano | Strong Bridges and Strong Articulation Points of Directed Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-04-24 | 10:30 | Ori Lahav | Modular Reasoning about Heap Paths via Effectively Propositional Formulas | G26 [KL] 113 | SWS Colloquium | ||||||
|
| ||||||||||
2014-04-23 | 10:00 | Dr. Michael Roitzsch | Practical Real-Time with Look-Ahead Scheduling | G26 [KL] 113 | SWS Colloquium | ||||||
2014-04-23 | 11:00 | Aaron Carroll | Mobile multi-cores: power and performance | E1 5 029 | SWS Colloquium | ||||||
2014-04-23 | 13:30 | Prof. Dr. Andrey Rybalchenko | Automating Proofs of Relational Properties of Probabilistic Programs | E1 5 002 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2014-04-22 | 13:00 | Peter Kling | Scheduling Shared Continuous Resources on Many-Cores | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-04-15 | 13:00 | Thomas Kesselheim | Primal Beats Dual on Online Packing LPs in the Random-Order Model | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-04-14 | 10:00 | Dr. Alexander de Luca | Getting the User in the Loop - Building Secure Systems that People can Use | E1 5 002 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2014-04-10 | 10:30 | Dr. Andrew Myers | Increasing security and performance with higher-level abstractions for distributed programming. | E1 5 002 | SWS Distinguished Lecture Series | ||||||
2014-04-10 | 13:00 | Artur Jeż | A really simple approximation of a smallest grammar | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-04-09 | 14:00 | Suvrit Sra | Inexactness, geometry, and optimization for data analysis | E1 4 024 | Talk | ||||||
|
| ||||||||||
2014-04-07 | 10:30 | Amir Houmansadr | The Cyberspace Battle for Information: Combating Internet Censorship | G26 [KL] 113 | SWS Colloquium | ||||||
2014-04-07 | 13:00 | Julia Pap | Applications of a polyhedral version of Sperner's Lemma | E1 4 024 | Talk | ||||||
2014-04-07 | 17:00 | Pramod Bhatotia | Incremental Parallel and Distributed Systems | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2014-04-03 | 10:30 | Devdatta Akhawe | Towards a Secure Client-side for the Web Platform | G26 [KL] 113 | SWS Colloquium | ||||||
|
| ||||||||||
2014-04-02 | 12:15 | Verena Wolf | A hybrid moment closure approach to stochastic chemical kinetics | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2014-04-01 | 13:00 | AG 1 | AG1 Group Meeting | E1 4 024 | AG1 Group Meeting | ||||||
| |||||||||||
|
| ||||||||||
2014-03-28 | 10:00 | Neeraj Kayal | Lower Bounds for Homogeneous Low Depth Formulas | E2 1 - Bioinformatik 001 | Talk | ||||||
2014-03-28 | 11:30 | V Arvind | Lower bounds for multiplicative and linear circuits in noncommutative domains | E2 1 - Bioinformatik 001 | Talk | ||||||
2014-03-28 | 12:00 | Dr. Dalia Daoud Suleiman Khader | Proving Pret a Voter Receipt Free in the Computational Models | E1 5 0.29 | SWS Colloquium, Post Doc Application Talk | ||||||
|
| ||||||||||
2014-03-27 | 10:00 | Pascal Koiran | A τ-conjecture for Newton polygons. | E2 1 - Bioinformatik 001 | Talk | ||||||
2014-03-27 | 10:30 | Cezara Dragoi | Logic-based frameworks for automated verification of programs with dynamically allocated data structures | G26 [KL] 113 | SWS Colloquium | ||||||
2014-03-27 | 11:30 | Nitin Saxena | Towards hitting-sets for multilinear depth-3 circuits | E2 1 - Bioinformatik 001 | Talk | ||||||
2014-03-27 | 13:00 | Lena Karos | Estimation of Expectations and Applications (Bachelor Thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-03-26 | 11:30 | Thomas Thierauf | Counting the number of perfect matchings in K5-free graphs | E2 1 - Bioinformatik 001 | Talk | ||||||
|
| ||||||||||
2014-03-25 | 10:00 | Peter Bro Miltersen | Real algebraic geometry in computational complexity | E2 1 - Bioinformatik 001 | Talk | ||||||
2014-03-25 | 11:30 | Michael Sagraloff | Near-optimal Algorithms for Computing Real Roots of a Polynomial | E2 1 - Bioinformatik 001 | Talk | ||||||
2014-03-25 | 14:00 | Ankit Gupta | Approaching the chasm at depth four | E2 1 - Bioinformatik 001 | Talk | ||||||
2014-03-25 | 14:00 | Michael Forbes | Approaching the chasm at depth four | E2 1 - Bioinformatik 001 | Talk | ||||||
|
| ||||||||||
2014-03-24 | 10:10 | Meena Mahajan | The quest for VP-completeness | E2 1 - Bioinformatik 001 | Talk | ||||||
2014-03-24 | 10:30 | Stefan Goeller | Equivalence checking of stack-based infinite-state systems | G26 [KL] 113 | SWS Colloquium | ||||||
2014-03-24 | 11:40 | Chris Umans | Approaches to bounding the exponent of matrix multiplication | E2 1 - Bioinformatik 001 | Talk | ||||||
2014-03-24 | 14:15 | Lise Getoor | Scalable Collective Inference using Probabilistic Soft Logic | E1 4 024 | MPI-INF Distinguished Lecture | ||||||
|
| ||||||||||
2014-03-20 | 11:30 | Dr. Muhammad Rizwan Asghar | Privacy Preserving Enforcement of Sensitive Policies in Distributed Environments | E1 5 0.29 | Post Doc Application Talk | ||||||
2014-03-20 | 13:15 | Philipp Urban | Measuring the Difference between Color-Images | E1 4 019 | Lecture | ||||||
2014-03-20 | 14:30 | Prof. Dr. Matthew Smith | Usable Security & Privacy: A multi-level perspective | E1 4 0.24 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2014-03-19 | 10:00 | Herrn Arjun Jain | Data-driven Methods for Interactive Visual Content Creation and Manipulation | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2014-03-13 | 10:30 | Manuel Gomez Rodriguez | Structure and Dynamics of Diffusion Networks | G26 [KL] 113 | SWS Colloquium | ||||||
2014-03-13 | 14:15 | Susanne Albers | Energy-Efficient Algorithms | E1 4 024 | MPI-INF Distinguished Lecture | ||||||
|
| ||||||||||
2014-03-12 | 10:30 | Bryan Ford | Can You Hide in an Internet Panopticon? | G26 [KL] 113 | SWS Colloquium | ||||||
|
| ||||||||||
2014-03-11 | 13:00 | Shay Moran | Direct Sum Fails for Zero Error Average Communication | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2014-03-10 | 10:30 | I-Ting Angelina Lee | Linguistic and System Support for Structured Parallel Programming | G26 [KL] 113 | SWS Colloquium | ||||||
|
| ||||||||||
2014-03-07 | 13:00 | Shay Moran | TBD | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2014-03-06 | 11:30 | Julian McAuley | Machine Learning for Social Systems: Modeling Opinions, Activities, and Interactions | G26 [KL] 113 | SWS Colloquium | ||||||
2014-03-06 | 14:15 | Anja Feldmann | On the importance of Internet eXchange Points for today's Internet ecosystem | E1 5 002 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2014-03-05 | 12:15 | Viktor Vafeiadis | Formal Reasoning about Relaxed Concurrency | E1 5 002 | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI | ||||||
|
| ||||||||||
2014-03-04 | 10:30 | Hongseok Yang | How to find a good program abstraction automatically? | E1 5 002 | SWS Distinguished Lecture Series | ||||||
2014-03-04 | 11:00 | Megha Khosla | Multiple Choice Allocations with Small Maximum Loads | E1 4 024 | Promotionskolloquium | ||||||
| |||||||||||
|
| ||||||||||
2014-02-27 | 10:30 | Prof. Viktor Kuncak | Automating Construction of Provably Correct Software | E1 5 002 | SWS Distinguished Lecture Series | ||||||
2014-02-27 | 13:00 | Ruben Becker | A Combinatorial Interior Point Method for Min-Cost Flow | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-02-26 | 11:30 | Foteini Baldimtsi | Privacy Preserving Technologies and an Application to Public Transit Systems | E1 5 029 | SWS Colloquium | ||||||
2014-02-26 | 11:30 | Ms. Foteini Baldimtsi | Privacy Preserving Technologies and an Application to Public Transit Systems | E1 5 029 | Post Doc Application Talk | ||||||
|
| ||||||||||
2014-02-24 | 10:30 | Prof. Alin Deutsch | Decidable Verification of Database-powered Business Processes | G26 [KL] 111 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2014-02-21 | 10:00 | Thorsten Bonato | Lifting and Separation Procedures for the Cut Polytope | E1 4 633 | Talk | ||||||
|
| ||||||||||
2014-02-18 | 11:00 | Pedro Fonseca | Exposing and Detecting Concurrency Bugs in Large-Scale Software | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
2014-02-18 | 13:00 | Martin Hoefer | Online Independent Set with Stochastic Adversaries | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-02-17 | 14:00 | Mark Silberstein | Operating System Services for High-Throughput Accelerators | G26 [KL] 113 | SWS Colloquium | ||||||
|
| ||||||||||
2014-02-13 | 11:00 | Prof. Simone Paolo Ponzetto | Knowledge-rich models for high-end NLP applications | E1 4 024 | Talk | ||||||
2014-02-13 | 14:00 | Ezgi Cicek | A Type System for Incremental Computational Complexity | E1 5 029 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2014-02-12 | 12:15 | Jürgen Steimle | Beyond Multi-Touch: User Interfaces for Flexible Displays and Surfaces | E1 5 002 | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI | ||||||
2014-02-12 | 14:00 | Dr. Jefrey Lijffijt | Computational Methods for Comparison and Exploration of Event Sequences | E1 4 433 | Talk | ||||||
|
| ||||||||||
2014-02-10 | 08:50 | Afshin Rahimi | A Perceptual Account of Syllabification in Persian | E1 4 024 | PhD Application Talk | ||||||
2014-02-10 | 08:50 | Artem Boldyrev | Dictionary-Based Named Entity Recognition | E1 4 024 | PhD Application Talk | ||||||
2014-02-10 | 08:50 | Joanna Biega | Adapting sentiment analysis resources and methods to the realm of the Polish language | E1 4 024 | PhD Application Talk | ||||||
2014-02-10 | 08:50 | Kiril Panev | Phrase Querying with Combined Indexes | E1 4 024 | PhD Application Talk | ||||||
2014-02-10 | 10:50 | Aliaksandr Talaika | IBEX: Id-Based Entity Extraction | E1 4 024 | PhD Application Talk | ||||||
2014-02-10 | 10:50 | Oussam Mustapha Larkem | Enumeration of ({0}, {2})-Dominations | E1 4 024 | PhD Application Talk | ||||||
2014-02-10 | 10:50 | Paresh Nakhe | Fast Random Walks on Overlay Networks | E1 4 024 | PhD Application Talk | ||||||
2014-02-10 | 10:50 | Sanjar Karaev | Matrix Factorization over Max-Times Algebra for Data Mining | E1 4 024 | PhD Application Talk | ||||||
2014-02-10 | 14:00 | Sanjoy Baruah | Real-time Scheduling and Mixed-Criticality Systems | G26 [KL] 113 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2014-02-07 | 14:00 | Gerard de Melo | From Language to Knowledge and Vice Versa | E1 4 433 | Talk | ||||||
|
| ||||||||||
2014-02-06 | 13:00 | Antonios Antoniadis | Speed scaling for fractional weighted flow plus energy | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-02-04 | 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 024 | Lecture | ||||||
2014-02-04 | 14:00 | Christoph Garth | Characterizing Extremal Structures in Multivariate Data with Pareto Sets | E1 4 019 | Talk | ||||||
|
| ||||||||||
2014-02-03 | 09:30 | Michael Hellenschmidt | Cloud Computing Workshop | CyberForum Raum TelemaxX | One-Day-Event | ||||||
| |||||||||||
|
| ||||||||||
2014-01-30 | 13:00 | Yi Li | A Brief Introduction to the Sublinear-Time Sparse Recovery Problem | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-01-29 | 13:00 | Jie Gao | Complex Contagion and The Weakness of Long Ties in Social Networks: Revisited | E1 4 024 | Talk | ||||||
|
| ||||||||||
2014-01-28 | 13:00 | Antonios Antoniadis | Speed scaling for fractional weighted flow plus energy | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-01-23 | 16:00 | Christian Grothoff | Components for Building Secure Decentralized Networks | E1 5 002 | SWS Colloquium | ||||||
|
| ||||||||||
2014-01-21 | 13:00 | Kunal Dutta | Counting Independent sets in Hypergraphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-01-20 | 13:00 | Aruni Choudhary | Well separated simplical decomposition using net-trees | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-01-19 | 13:00 | Rob van Stee | TBA | E1 4 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2014-01-15 | 13:00 | He Sun | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2014-01-15 | 13:00 | Shay Moran | Epsilon ID's and the double sampling argument | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2014-01-14 | 13:00 | Christoph Lenzen | Improved Distributed Steiner Forest Construction | E1 4 024 | Talk | ||||||
|
| ||||||||||
2014-01-13 | 10:00 | Dr. Zeynep Akata | Contributions to Large Scale Learning for Image Classification | E1 4 019 | Talk | ||||||
2014-01-13 | 10:00 | Nicolas Bonneel | Mass Transport Principles for Computer Graphics | E1 4 633 | Talk | ||||||
|
| ||||||||||
2014-01-09 | 13:00 | Naveen Garg | Local search algorithms for facility location. | E1 4 024 | Lecture | ||||||
2014-01-09 | 14:00 | Suvrit Sra | Inexactness, geometry, and optimization for data analysis | E1 4 024 | Lecture | ||||||
2014-01-09 | 14:00 | Suvrit Sra | Inexactness, geometry, and optimization for data analysis | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2014-01-08 | 12:15 | Aniket Kate | Differential Guarantees for Cryptographic Systems | E1 5 002 | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI | ||||||
|
| ||||||||||
2014-01-07 | 13:00 | Simon Gog | Succinct Data Structures: From Theory to Practice | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2013-12-16 | 11:00 | Stefan Kiefer | Verifying Probabilistic Programs | G26 [KL] 113 | SWS Colloquium | ||||||
|
| ||||||||||
2013-12-13 | 15:00 | Herrn Dipl.-Inform. Thomas Helten | Processing and Tracking Human Motions Using Optical, Inertial, and Depth Sensors | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2013-12-12 | 13:00 | Marvin Künnemann | Tight Analysis of Randomized Rumor Spreading in Complete Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-12-11 | 11:00 | Wolfgang Mulzer | New Algorihtms for the Frechet Distance | E1 4 024 | Talk | ||||||
2013-12-11 | 14:00 | Pan Peng | Detecting and Characterizing Small Dense Bipartite-like Subgraphs by the Bipartiteness Ratio Measure | E1 4 Rotunda of the 3rd Floor | Talk | ||||||
|
| ||||||||||
2013-12-06 | 10:15 | Mark Crovella | Inferring Invisible Internet Traffic | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2013-12-05 | 11:00 | Gilles Barthe | Computer-Aided Cryptographic Analysis and Design | E1 5 002 | SWS Distinguished Lecture Series | ||||||
2013-12-05 | 13:00 | Kurt Mehlhorn | A Geometric View of Binary Search Trees (cancelled; talk moved to Reading Group, Wednesday December 4, 4:15, | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2013-12-04 | 10:30 | Lizhen Qu | Sentiment Analysis with Limited Training Data | E1 4 024 | Promotionskolloquium | ||||||
2013-12-04 | 12:15 | He Sun | Efficient Algorithms in Massive Graphs | E1 5 002 | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI | ||||||
2013-12-04 | 14:15 | Renate Schmidt | Computing Uniform Interpolation for Description Logics | E1 5 002 | Talk | ||||||
|
| ||||||||||
2013-12-03 | 13:00 | Lisa Wagner | Designing Profit Shares in Matching and Coalition Formation Games | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2013-11-28 | 13:00 | Mabel Iglesias-Ham | Packing spheres with Overlap | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-11-28 | 13:00 | Sameer Patil | Designing Usable Interfaces for Access Control in Location Sharing Systems | E1 4 019 | Talk | ||||||
|
| ||||||||||
2013-11-27 | 18:00 | Nuno Miguel Carvalho Santos | Improving Trust in Cloud, Enterprise, and Mobile Computing Platforms | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2013-11-26 | 13:00 | Johannes Dams | Jamming-Resistant Learning in Wireless Networks | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-11-26 | 16:00 | Beta Ziliani | Interactive Typed Tactic Programming in Coq | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2013-11-21 | 11:00 | Fabián E. Bustamante | An experimentation platform for the Internet's edge | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2013-11-20 | 14:00 | Dan R. Ghica | From bounded affine types to automatic timing analysis | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2013-11-14 | 13:00 | Doron Shaharabani | Sparsification of Motion-Planning Roadmaps by Edge Contraction | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-11-12 | 13:00 | Michael Kerber | A Generalization of the Johnson-Lindenstrauss Lemma | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-11-08 | 11:15 | Herrn Dr. Karol MYSZKOWSKI | Perceptual Display: Improving Apparent Image Qualities Beyond Physical Display Limitations | E1 4 019 | Antrittsvorlesung im Rahmen der Umhabilitierung | ||||||
|
| ||||||||||
2013-11-07 | 13:00 | Pavel Kolev | Community Analysis using Local Random Walks | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-11-06 | 12:15 | Cristian Danescu-Niculescu-Mizil | Language and Social Dynamics in Online Communities | E1 5 002 | Joint Lecture Series of MPI-INF, MPI-SWS and MMCI | ||||||
2013-11-06 | 15:00 | Alexey Pospelov | Yandex: Learning to Rank | E1 1 3.06 | Talk | ||||||
|
| ||||||||||
2013-11-05 | 09:00 | Mohammed Shaheen | Cache based Optimization of Stencil Computations - An Algorithmic Approach | E1 4 019 | Promotionskolloquium | ||||||
2013-11-05 | 13:00 | Jens M. Schmidt | Talking Mondshein | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-11-05 | 14:00 | Quirin Meyer | GPU Mesh Compression | E1 4 019 | Talk | ||||||
|
| ||||||||||
2013-11-04 | 11:00 | Prof. Dr. Elaine Shi | Practical Oblivious Computation: From Theory to Hardware to Compiler | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
2013-11-04 | 11:00 | Prof. Dr. Elaine Shi | TBD | E1 5 002 | CISPA Distinguished Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2013-10-31 | 13:00 | Christoph Lenzen | Fast Routing Table Construction Using Small Messages | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2013-10-29 | 13:00 | Christoph Lenzen | Towards a Theory for Fault-Tolerant Hardware Design | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2013-10-28 | 14:00 | Benjamin Doerr | Meeting: Election of the institute's representative and ombudsperson | E1 4 024 | Meeting | ||||||
|
| ||||||||||
2013-10-23 | 15:00 | Konstantin Korovin | Solving linear arithmetic by conflict resolution and bound propagation | E1 4 019 | Talk | ||||||
|
| ||||||||||
2013-10-22 | 11:00 | Nattiya Kanhabua | Can Twitter & Co. Save Lives? | E1 4 433 | Talk | ||||||
2013-10-22 | 13:00 | Sayan Bhattacharya | Near-optimal Multi-unit Auctions with Ordered Bidders | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-10-22 | 13:30 | Christine Rizkallah | Progress on Verification of Certifying Computations | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-10-22 | 14:00 | Jonas Magazinius | “Polyglots: Crossing origins by crossing formats” | E1 5 0.29 | Talk | ||||||
|
| ||||||||||
2013-10-21 | 14:15 | Harald Reiterer | Blended Interaction: Understanding Natural Interaction in Post-WIMP Interactive Spaces | E 1.7 (MMCI) 0.01 | Talk | ||||||
|
| ||||||||||
2013-10-17 | 15:00 | Aless Lasaruk | Symbolic Software Prototyping with ContRap | E1 4 019 | Talk | ||||||
|
| ||||||||||
2013-10-16 | 15:00 | Aless Lasaruk | Effective Approximate Factorization of Linear Partial Differential Operators | E1 4 024 | Talk | ||||||
|
| ||||||||||
2013-10-15 | 13:00 | Mayank Goswami | The I/O complexity of sorting with two key lengths | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-10-15 | 14:00 | Prof. Dr. Thorsten Holz | Mobile Security - Results and Challenges | E1 5 002 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2013-10-10 | 13:00 | Patrick Nicholson | Deterministic Schemes for Membership in the Bitprobe Model | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-10-09 | 14:00 | Pierre-Yves Laffont | Exploring and editing the appearance of outdoor scenes | E1 4 019 | Talk | ||||||
|
| ||||||||||
2013-10-07 | 08:50 | Dai Quoc Nguyen | Using FrameScript Language for Analyzing Question and Building Vietnamese Text-based Conversational Agent | E1 4 024 | PhD Application Talk | ||||||
2013-10-07 | 08:50 | Evica Ilieva | Analyzing and Creating Top-K Entity Rankings | E1 4 024 | PhD Application Talk | ||||||
2013-10-07 | 08:50 | Gorav Jindal | An Improved Deterministic Algorithm for Sparse Multivariate Polynomial Interpolation | E1 4 024 | PhD Application Talk | ||||||
2013-10-07 | 08:50 | Ilya Grishchenko | Static analysis of Android applications by Theorem Proving | E1 4 024 | PhD Application Talk | ||||||
2013-10-07 | 08:50 | Navid Hashemian | Makespan Minimization for Parallel Machines Scheduling with Multiple Availability Constraints | E1 4 024 | PhD Application Talk | ||||||
2013-10-07 | 11:10 | Johannes Dörfert | Enabling Reductions in Polyhedral Loop Nest Optimization | E1 4 024 | PhD Application Talk | ||||||
2013-10-07 | 11:10 | Luis Enrique Ramirez Chavez | GPU Accelerated Evolutionary Algorithm for the Gene Regulatory Network Model Inference Problem | E1 4 024 | PhD Application Talk | ||||||
2013-10-07 | 11:10 | Zhaodi Xiao | Dimensionality Reduction Algorithms for High-Dimensional Datasets and their Applications | E1 4 024 | PhD Application Talk | ||||||
|
| ||||||||||
2013-10-04 | 11:10 | Mahmoud Khademi | Relative Facial Action Detection | E1 4 024 | PhD Application Talk | ||||||
2013-10-04 | 11:10 | Soumali Roychowdhury | Signal and Image Processing Techniques to process Terahertz Parametric Images | E1 4 024 | PhD Application Talk | ||||||
|
| ||||||||||
2013-10-01 | 13:00 | D1 | D1 Group Meeting | E1 4 024 | AG1 Group Meeting | ||||||
| |||||||||||
|
| ||||||||||
2013-09-30 | 12:30 | Eric Crestan | Leveraging Monolingual Machine Translation for Web Search | E1 4 024 | Talk | ||||||
2013-09-30 | 13:30 | Jalaj Upadhyay | Random Projections and Differential Privacy | E1 1 206 | Talk | ||||||
|
| ||||||||||
2013-09-26 | 13:00 | Mingji Xia | Count perfect matchings in planar graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-09-26 | 16:00 | John Wilkes | Cluster Management at Google | E1 5 002 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2013-09-24 | 13:00 | Alina Ene | Routing in Directed Graphs with Symmetric Demands | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-09-19 | 13:00 | Fahimeh Ramezani | On Randomized Fictitious Play for Approximating Saddle Points over Convex Sets | E1 4 024 | Talk | ||||||
2013-09-19 | 13:30 | Stephan van Staden | Separation logic, object-orientation and refinement | G26 [KL] 113 | SWS Colloquium | ||||||
|
| ||||||||||
2013-09-17 | 10:00 | Frau Kristina Scherbaum | Data Driven Analysis of Faces from Images | E1 4 019 | Promotionskolloquium | ||||||
2013-09-17 | 12:00 | Herrn Dipl.-Inform. Martin Sunkel | Statistical Part-based Models for Object Detection in Large 3D Scans | E1 4 019 | Promotionskolloquium | ||||||
2013-09-17 | 13:00 | Thomas Rothvoss | Approximating Bin Packing within O(log OPT * log log OPT) bins | E1 4 024 | Lecture | ||||||
2013-09-17 | 14:00 | Herrn Jens Kerber | Of Assembling Small Sculptures and Disassembling Large Geometry | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2013-09-12 | 13:00 | Parinya Chalermsook | Graph Products and Hardness of Approximation | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-09-10 | 09:00 | Miguel Andrés GRANADOS Velásquez | Advanced Editing Methods for Image and Video Sequences | E1 4 019 | Promotionskolloquium | ||||||
2013-09-10 | 13:00 | Luca Zanetti | Adiabatic Quantum Computation and Graph Isomorphism: a quantum-walk approach | E1 4 024 | Talk | ||||||
|
| ||||||||||
2013-09-06 | 09:00 | Avishek ANAND | Indexing Methods for Web Archives | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2013-09-05 | 11:15 | Belen Masia | Combining computation and perception: examples in capture, processing and display | E1 4 019 | Talk | ||||||
2013-09-05 | 13:00 | Przemyslaw Uznanski | Fast collaborative graph exploration | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-09-04 | 15:00 | Vincenzo Iovino | On the Achievability of Simulation-based Security for Functional Encryption | E1 4 024 | SWS Colloquium | ||||||
| |||||||||||
|
| ||||||||||
2013-08-29 | 13:00 | Manoj Gupta | Fully Dynamic $(1+ε)$-Approximate Matchings | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-08-29 | 13:30 | Peter Müller | Modular Verification of Finite Blocking | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2013-08-23 | 11:00 | Prof. Dr.-Ing. Volker Coors | SimStadt: Using 3D city models for heat demand simulation on urban scale | D3 1 - DFKI VizCenter | Talk | ||||||
|
| ||||||||||
2013-08-22 | 13:00 | Prachi Goyal | On the Parameterized Complexity of the Maximum Edge 2-Coloring Problem | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-08-22 | 13:00 | Robert Harper | Type Refinements for Compiler Correctness | E1 5 029 | SWS Colloquium | ||||||
2013-08-22 | 13:30 | Fahad Panolan | Faster deterministic algorithms for r-dimensional matching using representative sets | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-08-20 | 10:30 | Oliver van Kaick | Co-segmentations and Structural Co-Hierarchies of Sets of Shapes | E1 4 019 | Talk | ||||||
2013-08-20 | 13:00 | Sebastian Ott | How to Pack Your Items When You Have to Buy Your Knapsack | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-08-19 | 10:30 | Yanir Kleiman | Dynamic Maps for Exploring and Browsing Shapes | E1 4 019 | Talk | ||||||
|
| ||||||||||
2013-08-13 | 13:00 | R. Krithika | LP Approach to Odd Cycle Transversal in Perfect Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-08-12 | 14:00 | Bilyana Taneva | Automatic Population of Knowledge Bases with Multimodal Data about Named Entities | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2013-08-07 | 12:15 | Krishna Gummadi | On the Trustworthiness of Weak Identities in Social Computing Systems | E1 5 002 | Joint MPI-INF/MPI-SWS Lecture Series | ||||||
|
| ||||||||||
2013-08-05 | 11:30 | Joerg Domaschka | From Replication to Flexible and Portable Determinism for Java | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2013-08-02 | 10:30 | Andrej Bauer | Programming with algebraic effects and handlers in Eff | E1 5 029 | SWS Colloquium | ||||||
2013-08-02 | 14:00 | Ralf Osbild | General Analysis Tool Box for Controlled Perturbation Algorithms and Complexity and Computation of Θ-Guarded Regions | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2013-08-01 | 13:00 | Megha Khosla | Balls into Bins made Faster | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2013-07-31 | 13:00 | Vineet Goyal | Static vs Adjustable Solutions in Dynamic Optimization | E1 4 024 | Talk | ||||||
2013-07-31 | 15:00 | Eslam Elnikety | Thoth: Controlling and tracking personal records in distributed multi-party systems | E1 5 422 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2013-07-30 | 13:00 | Kurt Mehlhorn | Near-Maximal Flows in Undirected Graphs in Near-Linear Time by J. Sherman (FOCS 2013) | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
2013-07-30 | 14:00 | Daniel Mewes | Semantic Structuring of Multi Modal Shapes | E1 4 019 | Master Seminar (AG4) | ||||||
|
| ||||||||||
2013-07-29 | 13:00 | Aaron Johnson | Traffic Correlation on Tor by Realistic Adversaries | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2013-07-25 | 13:00 | Hsin-Hao Su | Fast Distributed Coloring Algorithms for Triangle-Free Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-07-25 | 13:30 | Chee K. Yap | Towards Numerical Computational Geometry | E1 4 024 | Talk | ||||||
|
| ||||||||||
2013-07-24 | 14:15 | Thomas Sturm | Effective Quantifier Elimination and Decision - Theory, Implementations, Applications, Perspectives | E1 7 0.01 | Antrittsvorlesung | ||||||
|
| ||||||||||
2013-07-23 | 13:00 | S. Anand | Minimizing maximum (weighted) flow-time | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-07-18 | 13:00 | Danny Hermelin | Binary jumbled pattern matching on trees and tree-like structures | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-07-16 | 13:00 | Alexandru Popa | The Border Minimization Problem | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-07-15 | 09:00 | Dr. Thomas Hrabe Dr. Massimiliano Maletta Yuxiang Chen Dr. Miloš Vulović Dr. Raimond Ravelli | Symposium on Subtomogram Averaging in Electron Tomography | DFKI Viscenter ? | Symposium | ||||||
|
| ||||||||||
2013-07-11 | 14:00 | Gottfried Mentor | Challenges faced by animation artists | E1 4 019 | Talk | ||||||
|
| ||||||||||
2013-07-04 | 10:30 | Przemyslaw Grabowicz | Complex networks approach to modeling online social systems | E1 5 029 | SWS Colloquium | ||||||
2013-07-04 | 13:00 | Pawel Gawrychowski | Alphabet-dependent string searching with wexponential search trees | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-07-03 | 12:15 | Jürgen Steimle | Embodied Display Interfaces | E1 3 - Hörsaal Gebäude 00^1 | Joint MPI-INF/MPI-SWS Lecture Series | ||||||
|
| ||||||||||
2013-07-02 | 13:00 | Lisa Wagner | Locally Stable Marriage with Strict Preferences | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2013-06-28 | 11:30 | Alexey Reznichenko | Privad: Practical Non-tracking Advertising System | G26 [KL] 112 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2013-06-27 | 13:00 | Khaled Elbassioni | A Dichotomy for the Approximability of the Complex-Demand Knapsack Problem | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2013-06-25 | 13:00 | Jonathan Huang | Algebraic methods for probabilistic reasoning with permutations | E1 4 R019 | Talk | ||||||
2013-06-25 | 13:00 | Soeren Laue | Convex Optimization for Machine Learning Made Fast and Easy | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2013-06-24 | 14:00 | Frank McSherry | Naiad: a system for iterative, incremental, and interactive distributed dataflow | G26 [KL] 113 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2013-06-20 | 13:00 | Wiebke Höhn | On the performance of Smith's rule in single-machine scheduling with nonlinear cost | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-06-20 | 13:30 | John Augustine | Storage and Search in Dynamic Peer-to-Peer Networks | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-06-20 | 15:00 | Tomasz Kociumaka | Efficient Indexes for Jumbled Pattern Matching with Constant-Sized Alphabet | E1 4 rotunda at 3rd floor | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-06-19 | 17:00 | Prof. Dr. Johannes Söding | New methods for protein sequence searching, structure and function prediction | E2 1 001 | colloquium series of the CBI | ||||||
|
| ||||||||||
2013-06-18 | 13:00 | Michael Lampis | Model Checking Lower Bounds for Simple Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-06-13 | 13:00 | Marvin Künnemann | Royal Road Functions and the (1 + λ) Evolutionary Algorithm | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-06-13 | 13:30 | Amit Kumar | The Power of Deferral : Maintaining a constant-competitive Steiner Tree Online (Talk starts right after Marvin's talk) | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2013-06-11 | 13:00 | Martin Hoefer | Truthfulness and Stochastic Dominance | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-06-11 | 13:00 | Rafal Mantiuk | Beyond high dynamic range | E1 4 019 | Talk | ||||||
|
| ||||||||||
2013-06-07 | 13:00 | Benjamin Doerr | Some Open Problems on Mastermind | E1 4 024 | Talk | ||||||
2013-06-07 | 14:00 | Franziska Ebel | Faster Genetic Algorithms (Master Talk) | E1 4 D1 Rotunde | Talk | ||||||
|
| ||||||||||
2013-06-06 | 13:00 | Danupon Nanongkai | Even-Shiloach Tree: Variants and Applications to Dynamic Shortest Paths | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-06-05 | 12:15 | Klaus Hildebrandt | Discrete Differential Operators and Geometry Processing | E1 5 002 | Joint MPI-INF/MPI-SWS Lecture Series | ||||||
|
| ||||||||||
2013-06-04 | 13:00 | Dominik L. Michels | Exponential Integrators for Stiff Elastodynamic Problems | E1 4 019 | Talk | ||||||
2013-06-04 | 13:00 | Kavitha Telikepalli | Pairwise spanners | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-06-03 | 10:30 | Nedeljko Vasic | Dealing with Resource Allocations and Performance Interference in Virtualized Environments | E1 5 029 | SWS Colloquium | ||||||
| |||||||||||
|
| ||||||||||
2013-05-31 | 13:00 | Alex Tiskin | Semi-local LCS: superglue for string comparison | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-05-28 | 13:00 | Ragesh Jaiswal | Sampling based algorithms for k-means clustering | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-05-27 | 08:50 | Daniel Vaz | Subset Selection Algorithms in Multiobjective Optimisation” | E1 4 24 | PhD Application Talk | ||||||
2013-05-27 | 08:50 | Felix Klein | Encoding strategies for bounded synthesis | E1 4 24 | PhD Application Talk | ||||||
2013-05-27 | 08:50 | SayanBandyapadhyay | VoronoiGame on Graphs | E1 4 24 | PhD Application Talk | ||||||
2013-05-27 | 08:50 | Selin Karagülle | Critical Assessment of the Methods and the Features Used for Hot Spot Residue Prediction at Protein-Protein Interfaces | E1 4 24 | PhD Application Talk | ||||||
2013-05-27 | 11:00 | ArunavMishra | Design and Evaluation of an IR-Benchmark for SPARQL Fulltext Queries | E1 4 24 | PhD Application Talk | ||||||
2013-05-27 | 11:00 | RudrasisChakraborty | Feature Selection with Controlled Redundancy | E1 4 24 | PhD Application Talk | ||||||
2013-05-27 | 11:00 | XucongZhang | Object Detection | E1 4 24 | PhD Application Talk | ||||||
|
| ||||||||||
2013-05-24 | 13:00 | Tetsuo Ueda | The Physarum plasmodium as a model system for bioinformatics: Behavioral intelligence | E1 4 024 | AG1 Mittagsseminar (basic education) | ||||||
|
| ||||||||||
2013-05-23 | 13:00 | Karl Bringmann | Succinct Sampling from Discrete Distributions | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-05-23 | 16:00 | Dr. Klaus Estenfeld | Innovative ICT-Lösungen bei TÜV SÜD AG | E1 3 - Hörsaal Gebäude 001 | Talk | ||||||
|
| ||||||||||
2013-05-22 | 17:00 | Prof. Dr. Luis Serrano Pubull | A quantitative systems biology on a model bacterium | E2 1 001 | CBI-Colloquium-Series | ||||||
|
| ||||||||||
2013-05-21 | 13:00 | Anna Adamaszek | Approximation Schemes for Maximum Weight Independent Set of Rectangles | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-05-16 | 10:30 | Thomas Wies | Logical Abstractions of Systems | E1 5 029 | SWS Colloquium | ||||||
2013-05-16 | 13:00 | Andreas Wiese | A 2 + ε Approximation Algorithm for Unsplittable Flow on a Path | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-05-15 | 15:00 | Georg Neis | Compositional Inter-Language Reasoning | E1 5 005 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2013-05-13 | 11:00 | Carmel Majidi | Soft-Matter “Electronic Skin” for Monitoring Hand Motion and Tactile Sensing | E1 4 019 | Talk | ||||||
2013-05-13 | 13:00 | D1 | D1 Group Meeting | E1 4 024 | Lecture | ||||||
2013-05-13 | 14:00 | Martin Hofmann | Proof-relevant logical relations | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2013-05-10 | 14:30 | Meeyoung Cha | Gender Swapping and User Behaviors in Online Social Games | E1 5 005 | SWS Colloquium | ||||||
|
| ||||||||||
2013-05-08 | 12:15 | Martin Hoefer | Algorithms for Spectrum Allocation in Wireless Networks | E1 5 002 | Joint MPI-INF/MPI-SWS Lecture Series | ||||||
|
| ||||||||||
2013-05-07 | 13:00 | Ali Pourmiri | Faster Rumor Spreading with Multiple Calls | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-05-06 | 11:15 | Yuri Gurevich | Impugning Alleged Randomness (hosted by UdS-CS) | E1 5 029 | Talk | ||||||
|
| ||||||||||
2013-05-03 | 11:00 | Amit Zoran | FREE-D: Human-Computer Collaboration in 3D Craft | E1 4 019 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2013-04-30 | 11:00 | Carlos Garcia | Parameter Adaptation and Criticality in Particle Swarm Optimization | E1 4 019 | Lecture | ||||||
2013-04-30 | 13:00 | Roberto Henschel | A connection of the chromatic polynomial to geometry | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-04-25 | 13:00 | He Sun | Randomness-Efficient Rumor Spreading | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-04-25 | 14:00 | Sylvain Malacria | Improving user's intermodal expertise with user interfaces | E1 4 019 | Talk | ||||||
|
| ||||||||||
2013-04-23 | 10:30 | Florin Dinu | Understanding and Improving the Efficiency of Failure Resilience for Big Data Frameworks | E1 5 029 | SWS Colloquium | ||||||
2013-04-23 | 13:00 | Shion Chaudhury | The Sensitivity conjecture and related complexity measures of Boolean functions | E1 4 024 | Talk | ||||||
|
| ||||||||||
2013-04-22 | 14:00 | Jyotirmoy Deshmukh | Mining Requirements from an Industrial-scale Control System | G26 [KL] 206 | SWS Colloquium | ||||||
|
| ||||||||||
2013-04-19 | 13:00 | Benjamin Doerr | A Simple Solution for the Min-Max Selecting Items Problem | E1 4 024 | Talk | ||||||
2013-04-19 | 14:00 | Some AG1 members | Meeting: What do we have at GECCO'13? | E1 4 3rd floor rotunda | Forschungsseminar | ||||||
2013-04-19 | 15:00 | Uday Khedkar | Liveness-Based Pointer Analysis | G26 [KL] 206 | SWS Colloquium | ||||||
|
| ||||||||||
2013-04-18 | 11:00 | Rayna Dimitrova | Synthesis and Control of Infinite-State Systems with Partial ObservabilitySpeaker | G26 [KL] 206 | SWS Colloquium | ||||||
2013-04-18 | 16:00 | Prof. Joost-Pieter Katoen | Zero-Defect Software in Space: A True Mission | E1 3 - Hörsaal Gebäude 002 | Talk | ||||||
|
| ||||||||||
2013-04-17 | 15:00 | Ulrich Loup | A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition | E1 4 019 | Talk | ||||||
2013-04-17 | 17:00 | Prof. Dr. Hermann-Georg Holzhütter | Mathematical Modeling of the Cellular Metabolism | E2 1 001 | Colloquium Series of the CBI | ||||||
|
| ||||||||||
2013-04-16 | 10:00 | Sophie Stellmach | Gaze-supported Multimodal Interaction | E1 4 019 | Talk | ||||||
2013-04-16 | 13:00 | Adam Kurpisz | Approximating the minmax selecting items problem | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-04-08 | 10:30 | Aslan Askarov | Securing information release: systems, models, and programming languages | G26 [KL] 206 | SWS Colloquium | ||||||
|
| ||||||||||
2013-04-04 | 11:00 | Daniel Kroening | Verifying shared-variable concurrent programs | G26 [KL] 206 | SWS Colloquium | ||||||
| |||||||||||
|
| ||||||||||
2013-03-27 | 13:00 | Matthias Mnich | Fixed-Parameter Algorithms for Scheduling Problems | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-03-26 | 13:00 | AG1 | AG1 Group Meeting | E1 4 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2013-03-21 | 10:30 | David Choffnes | Diagnosing and Repairing Internet Performance Problems | G26 [KL] 206 | SWS Colloquium | ||||||
|
| ||||||||||
2013-03-18 | 14:00 | Nan-Wei Gong | Design and Applications for Inkjet-Printed Flexible Sensate Surfaces | E1 7 - MMCI 0.01 | Talk | ||||||
|
| ||||||||||
2013-03-12 | 10:30 | Dongyoon Lee | Holistic System Design for Deterministic Replay | G26 [KL] 206 | SWS Colloquium | ||||||
2013-03-12 | 13:00 | Rüdiger Reischuk | Smoothed Analysis of Online Caching | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2013-03-11 | 13:30 | Elliot Anshelevish | Assignment Games with Conflicts: Price of Total Anarchy and Convergence Results via Semi-Smoothness | E1 4 024 | Talk | ||||||
2013-03-11 | 15:00 | Johannes Kloos | Incremental, Inductive Coverability | G26 [KL] 318 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2013-03-07 | 10:30 | Alexei Czeskis | Practical, Usable, and Secure Authentication and Authorization on the Web | G26 [KL] 206 | SWS Colloquium | ||||||
|
| ||||||||||
2013-03-06 | 12:15 | Björn Brandenburg | Real-Time Locking in Theory and Practice | E1 5 002 | Joint MPI-INF/MPI-SWS Lecture Series | ||||||
|
| ||||||||||
2013-03-05 | 13:00 | Andreas Karrenbauer | Bearings and Graph Theory | E1 4 024 | Talk | ||||||
|
| ||||||||||
2013-03-04 | 10:30 | Kasper Bonne Rasmussen | Selected Topics on Wireless Security and Localization | G26 [KL] 206 | SWS Colloquium | ||||||
2013-03-04 | 11:00 | Karsten Schwenk | Filtering techniques for interactive previews of global illumination | E1 4 019 | Talk | ||||||
|
| ||||||||||
2013-03-01 | 13:00 | Oliver Dejon | (Master Seminar Talk) Swarm Intelligence For The Biclique Cover Problem | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-03-01 | 13:30 | Suresh Venkatasubramanian | Approximate Near Neighbor Search for Bregman Divergences | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2013-02-26 | 13:00 | Adrian Neumann | Online Checkpointing with Improved Worst-Case Guarantees | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-02-26 | 14:00 | Alec Jacobson | Achieving high-quality shape deformation in real time | E1 4 019 | Talk | ||||||
|
| ||||||||||
2013-02-25 | 08:45 | Ankit Pat | On Construction of a Class of Orthogonal Arrays | E1 4 R024 | PhD Application Talk | ||||||
2013-02-25 | 08:45 | Florian Benz | An Effective Heuristic for the Smallest Grammar Problem | E1 4 R024 | PhD Application Talk | ||||||
2013-02-25 | 08:45 | Kumar Vishal | Comparagram aided ghost-free multi-exposure compositing, and enhanced background subtraction | E1 4 R024 | PhD Application Talk | ||||||
2013-02-25 | 08:45 | Ozan Sener | Efficient Mobile Image and Video Segmentation via Dynamic Graph-Cuts and Bilateral Filters | E1 4 R024 | PhD Application Talk | ||||||
2013-02-25 | 08:45 | Wenbin Li | Improving Learning and Representations for Visual Material Recognition | E1 4 R024 | PhD Application Talk | ||||||
2013-02-25 | 11:00 | Adam Grycner | Finding incompatible entities in medical definitions | E1 4 R024 | PhD Application Talk | ||||||
2013-02-25 | 11:00 | Kai Hui | Relevance Weighting in Information Retrieval using Within-document Term Statistics | E1 4 R024 | PhD Application Talk | ||||||
2013-02-25 | 11:00 | Subhabrata Mukherjee | Adapting Sentiment Analysis to the Challenges of Social Media | E1 4 R024 | PhD Application Talk | ||||||
2013-02-25 | 11:00 | Venkata Rama Kiran Garimella | Political Polarization of Hashtags for U.S and U.K. | E1 4 R024 | PhD Application Talk | ||||||
2013-02-25 | 15:15 | Yafang WANG | Methods and Tools for Temporal Knowledge Harvesting | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2013-02-22 | 11:00 | Chuan Li | Exploring computer vision and machine learning for Model Capturing and Synthesis | E1 4 019 | Talk |