Previous Page | Next Page | Expand All | Collapse All
Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
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 | ||||||
2013-02-22 | 13:00 | Doug Terry | Cloud Storage Consistency Explained Through Baseball | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2013-02-20 | 14:30 | Franziska Ebel | (Master student talk) A new genetic algorithm | E1 4 Rotunda D1 | Talk | ||||||
|
| ||||||||||
2013-02-19 | 13:00 | Parinya Chalermsook | How to make everyone happy in the network? | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-02-18 | 10:30 | Janick Martinez Esturo | Interactive and Automatic Surface-based Flow Visualization | E1 4 019 | Talk | ||||||
2013-02-18 | 10:30 | Peter Sewell | Tales from the Jungle | E1 5 002 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2013-02-14 | 10:30 | Alexey Gotsman | Abstraction for Weakly Consistent Systems | G26 [KL] 206 | SWS Colloquium | ||||||
2013-02-14 | 14:00 | Babak Bagheri | Borders of Decidability in Verification of Data-Centric Dynamic Systems | G26 [KL] 206 | SWS Colloquium | ||||||
|
| ||||||||||
2013-02-13 | 10:30 | Divesh Srivastava | In Search of Truth (on the Deep Web) | TU - 48 [KL] 680 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2013-02-12 | 13:00 | Haya Shulman | Towards a Secure DNS | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2013-02-08 | 13:00 | Sudeshna Kolay | Faster Parameterized Algorithms for Split Graph Deletion | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-02-08 | 14:00 | Nikita Borisov | Breaking the Internet for Fun and Censorship Resistance | E1 4 0.24 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2013-02-06 | 11:00 | Daniele Panozzo | Fields on Symmetric Surfaces | E1 4 019 | Talk | ||||||
2013-02-06 | 12:15 | Pauli Miettinen | Boolean Matrix Factorizations and Data Mining | E1 5 002 | Joint MPI-INF/MPI-SWS Lecture Series | ||||||
|
| ||||||||||
2013-02-05 | 13:00 | Artur Jeż | One variable word equations in linear time | E1 4 021 | Lecture | ||||||
| |||||||||||
|
| ||||||||||
2013-01-29 | 13:00 | Gerard Pons | Human Pose Estimation from Video and Inertial Sensors | E1 4 019 | Talk | ||||||
|
| ||||||||||
2013-01-28 | 10:30 | David Walker | Networking: A Killer App for Programming Languages Researchers | E1 5 029 | SWS Distinguished Lecture Series | ||||||
2013-01-28 | 14:00 | Filip Sadlo | Flow Visualization Beyond Steady-State Advection | E1 4 019 | Talk | ||||||
|
| ||||||||||
2013-01-24 | 13:00 | Tetsuo Uedo | Physarum as a model system of Bio-Informatics | E1 4 024 | Talk | ||||||
|
| ||||||||||
2013-01-23 | 14:00 | Prof. Anastasia Ailamaki | Scientific Data Management: Not your everyday transaction | E1 5 002 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2013-01-22 | 11:00 | Fahimeh Ramezani | On Randomized Fictitious Play for Approximating Saddle Points Over Convex Sets | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-01-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-01-18 | 10:00 | Yan Chen | Type-Directed Automatic Incrementalization | E1 5 422 | SWS Student Defense Talks - Qualifying Exam | ||||||
2013-01-18 | 13:00 | Bernhard Haeupler | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-01-18 | 13:30 | John Augustine | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2013-01-18 | 13:30 | John Augustine | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-01-17 | 10:00 | Vitaly Shmatikov | Building Privacy-Preserving Systems: What Works, What Doesn't, and What Is To Be done | G26 [KL] 206 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2013-01-15 | 13:00 | AG1 | Group Meeting | E1 4 024 | AG1 Group Meeting | ||||||
2013-01-15 | 14:00 | Jens Schmidt | Open Problem Session | E1 4 024 | Talk | ||||||
|
| ||||||||||
2013-01-13 | 13:00 | D1 | D1 Group Meeting: SAB Visit | E1 4 024 | AG1 Group Meeting | ||||||
2013-01-13 | 13:45 | Amit Kumar | to be announced (talk starts right after Marvin's talk) | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2013-01-11 | 13:00 | Jens M. Schmidt | On Barnette's Conjecture | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2013-01-09 | 11:00 | Nikolaj Bjorner | SecGuru - Symbolic Analysis of Network Connectivity Restrictions | E1 5 002 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2013-01-03 | 11:00 | Kurt Mehlhorn | A Geometric View of Binary Search Trees | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
| |||||||||||
|
| ||||||||||
2012-12-21 | 12:00 | Rawia AWADALLAH | Methods for Constructing an Opinion Network Politically Controversial Topics | E1 4 024 | Promotionskolloquium | ||||||
2012-12-21 | 13:00 | Jose Verschae | Scheduling on a machine with varying speed: Minimizing cost and energy via dual schedules | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2012-12-20 | 15:15 | Ndapandula T. Nakashole | Automatic Extraction of Facts, Relations, and Entities for Web-Scale Knowledge Base Population | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2012-12-19 | 16:00 | Tomasz Jurkiewicz | The Cost of Address Translation | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2012-12-18 | 10:00 | Dipl.-Math. David Günther | Topological Analysis of Discrete Scalar Data | E1 4 019 | Promotionskolloquium | ||||||
2012-12-18 | 13:00 | Antonios Antoniadis | Race to Idle: New Algorithms for Speed Scaling with a Sleep State | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2012-12-18 | 14:00 | Kurt Mehlhorn | Open Problems Session | E1 4 AG1 Rotunda | Talk | ||||||
|
| ||||||||||
2012-12-14 | 11:00 | Sandra Ebert | Semi-Supervised Learning for Image Classification | E1 4 024 | Promotionskolloquium | ||||||
2012-12-14 | 13:30 | Julien Tierny | Structural analysis of spatial data: a control-freak's perspective | E1 4 019 | Talk | ||||||
|
| ||||||||||
2012-12-13 | 10:00 | Bryan Russell | Online image annotation and 3D scene understanding | E1 4 024 | Talk | ||||||
2012-12-13 | 13:00 | Torsten Sattler | Image-Based Localization from SfM Point Clouds | E1 4 D2 Rotunda | Talk | ||||||
|
| ||||||||||
2012-12-11 | 13:00 | AG1 | Group Meeting AG1 | E1 4 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2012-12-10 | 13:00 | Alexander Hartmann | Phase transition for cutting-plane approach to vertex-cover problem | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2012-12-07 | 11:00 | Timothy Roscoe | Reasoning as a First-class Operating System Service | E1 5 029 | SWS Distinguished Lecture Series | ||||||
2012-12-07 | 13:00 | Artur Jeż | Fully compressed pattern matching by recompression | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2012-12-07 | 16:00 | Juhi Kulshrestha | Geographic Dissection of the Twitter Network | E1 5 005 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2012-12-05 | 12:15 | Klaus Berberich | Text + Time Search & Analytics | E1 5 002 | Joint MPI-INF/MPI-SWS Lecture Series | ||||||
|
| ||||||||||
2012-12-03 | 11:00 | Esther Galbrun | Relational Redescription Mining | E1 4 433 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2012-11-30 | 10:30 | Prof. Michael Hicks | Expositor: Scriptable Time-Travel Debugging with First Class Traces | E1 5 029 | SWS Distinguished Lecture Series | ||||||
2012-11-30 | 13:00 | Rob van Stee | Truthful Scheduling | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2012-11-27 | 14:00 | Anna Adamaszek & Magnus Wahlström | Open problems and good research habits | E1 4 024 | Talk | ||||||
|
| ||||||||||
2012-11-26 | 09:00 | Bjoern Andres | Advancing the State of the Art in Image Segmentation and Tracking by Combinatorial Optimization | E1 4 024 | Talk | ||||||
|
| ||||||||||
2012-11-23 | 10:30 | Roxana Gabriela Horincar () On Friday | Refresh Strategies and Online Change Estimation for Highly Dynamic Web Content | E1 4 433 | Postdoc Application Talk | ||||||
2012-11-23 | 13:00 | Matthias Mnich | Efficiency in Kernelization | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2012-11-20 | 13:00 | He Sun | From Kant to Turing: On the Philosophical Foundations of Computer Science | E1 4 024 | Talk | ||||||
|
| ||||||||||
2012-11-19 | 13:00 | Moritz Hardt | Differential Privacy as a Learning Problem | E1 4 024 | Lecture | ||||||
2012-11-19 | 18:00 | Nuno Santos | System Designs for Securing Data and Computations against Administration Threats | E1 5 005 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2012-11-16 | 11:00 | Andreas Wiese | A New Approach to Online Scheduling: Approximating the Optimal Competitive Ratio | E1 5 029 | Talk | ||||||
2012-11-16 | 13:30 | Prof. Dr. Kurt Mehlhorn | Fest-Kolloquium anlässlich des 60. Geburtstags von Prof. Dr. Dr. Thomas Lengauer | E2 2 Günter-Hotz-Hörsaal | Fest-Kolloquium | ||||||
|
| ||||||||||
2012-11-14 | 10:00 | Brigitte Pientka | Beluga^mu: Programming proofs in context | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2012-11-13 | 13:00 | AG1 | AG 1 Group Meeting | E1 4 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2012-11-12 | 12:05 | Razvan Belet | Leveraging Independence and Locality for Random Forests in a Distributed Environment | E1 4 024 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2012-11-09 | 10:00 | Verena Konz | Automated Methods for Audio – Based Music Analysis with Applications to Musicology | E1 4 0.19 | Promotionskolloquium | ||||||
2012-11-09 | 12:00 | Peter Matthias Grosche | Signal Processing Methods for Beat Tracking, Music Segmentation and Audio Retrieval | E1 4 019 | Promotionskolloquium | ||||||
2012-11-09 | 14:00 | Andreas Baak | Retrieval-based Approaches for Tracking and Reconstruction Human Motions | E1 4 019 | Promotionskolloquium | ||||||
2012-11-09 | 17:00 | Pavel Emeliyanenko | Harnessing the Power of GPUs for Problems in Real Algebraic Geometry | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2012-11-07 | 12:15 | Allen Clement | Robust Replication | E1 5 002 | Joint MPI-INF/MPI-SWS Lecture Series | ||||||
|
| ||||||||||
2012-11-06 | 14:30 | Torsten Schaub | Problem Solving with Answer Set Programming | E1 5 Hörsaal 002 | Talk | ||||||
|
| ||||||||||
2012-11-05 | 14:00 | Jeffrey Mogul | Corybantic: Towards the Modular Composition of SDN Controllers | E1 5 029 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2012-11-02 | 13:00 | Pinyan Lu | Correlation Decay up to Uniqueness in Spin Systems | E1 4 024 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2012-10-31 | 10:30 | Lorenzo Alvisi | Reasoning with MAD distributed systems | E1 5 029 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2012-10-23 | 17:15 | Dr. Sabine Bartsch | Gender-spezifische Wissenschaft? eHumanities Explorationen wissenschaftlicher Texte | A2.2 2.02 | Lecture | ||||||
|
| ||||||||||
2012-10-11 | 14:00 | Zilong Wang | Provenance Verification | G26 [KL] 204 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2012-10-10 | 12:15 | Tobias Ritschel | Perception-driven and artistically motivated interactive graphics | E1 3 - Hörsaal Gebäude HS 002 | Joint MPI-INF/MPI-SWS Lecture Series | ||||||
|
| ||||||||||
2012-10-09 | 11:00 | Andreas Broschart | Efficient Query Processing and Index Tuning using Proximity Scores | E1 4 024 | Promotionskolloquium | ||||||
2012-10-09 | 13:00 | Klaus Hildebrandt | Modeling and Animating Deformable Objects | E1 4 019 | Talk | ||||||
|
| ||||||||||
2012-10-08 | 09:00 | Ba Dat Nguyen | Efficient Entity Disambiguation via Similarity Hashing | E1 4 024 | PhD Application Talk | ||||||
2012-10-08 | 09:00 | Kumar Srijan | Scalable Techniques for Organizing and Visualizing Community Photo Collections | E1 4 024 | PhD Application Talk | ||||||
2012-10-08 | 09:00 | Sergei Shudler | The Effects of Untruthful Bids on User Utilities and Stability in Computing Markets | E1 4 024 | PhD Application Talk | ||||||
2012-10-08 | 09:00 | Sourav Dutta | Space-Efficient Management of String Databases by Reusing Common Characters | E1 4 024 | PhD Application Talk | ||||||
2012-10-08 | 11:20 | Alkmini Sgouritsa | Online Prot-Maximizing Sampling Auctions For DigitalGoods | E1 4 024 | PhD Application Talk | ||||||
2012-10-08 | 11:20 | Cosmina Croitoru | Algorithmic Aspects of Abstract Argumentation Frameworks | E1 4 024 | PhD Application Talk | ||||||
2012-10-08 | 11:20 | Milivoj Simeonovski | Introducing Accountability in Onion Routing | E1 4 024 | PhD Application Talk | ||||||
2012-10-08 | 11:20 | Sarvesh Nikumbh | Classification of Promoters based onChromatin Features | E1 4 024 | PhD Application Talk | ||||||
2012-10-08 | 16:00 | Jozef Dobos | 3D Revision Control Framework | D 3 2 VizCenter, DFKI | Talk | ||||||
|
| ||||||||||
2012-10-05 | 16:08 | Gregorio Palmas | Computer-Assisted Assembling of Fragmented Objects | E1 4 024 | PhD Application Talk | ||||||
2012-10-05 | 16:15 | Nasimi Eldarov | Modeling influenza evolution in response to immune system pressure | E1 4 024 | PhD Application Talk | ||||||
|
| ||||||||||
2012-10-02 | 13:00 | Jakub Sliacan | Residual-based Gauss-Seidel method | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2012-10-02 | 14:00 | Ben Livshits | Client-side Personalization and Privacy: Browser and Mobile | E1 4 0.24 | CISPA Distinguished Lecture Series | ||||||
2012-10-02 | 14:00 | Ben Livshits | Client-side Personalization and Privacy: Browser and Mobile | E1 4 0.24 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2012-10-01 | 11:00 | Dr. Christopher Kruegel | Automated Malware Analysis | E1 5 029 | SWS Distinguished Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2012-09-28 | 13:00 | Dr. Andreas Karrenbauer | On Planar Min-Cost Flow | E1 4 024 | Talk | ||||||
|
| ||||||||||
2012-09-27 | 13:00 | Raphael Reitzig | PhD Application Talk | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2012-09-26 | 14:00 | Benjamin Doerr | The Discrepancy of Random Points | E1 4 024 | Talk | ||||||
|
| ||||||||||
2012-09-25 | 13:00 | Cosmina Croitoru | Algorithmic Aspects of Abstract Argumentation Frameworks | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2012-09-25 | 13:00 | Jochen Lang | Haptic Exploration of Photographs | E1 4 019 | Talk | ||||||
2012-09-25 | 15:00 | Prof. Jan Vitek | Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection | G26 [KL] 206 | SWS Distinguished Lecture Series | ||||||
2012-09-25 | 16:00 | Sandy Heydrich | Dividing connected chores fairly | E1 4 Rotunde | Talk | ||||||
|
| ||||||||||
2012-09-24 | 13:00 | Gernot Heiser | Towards Trustworthy Embedded Systems | G26 [KL] 206 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2012-09-14 | 14:00 | Aditya Thakur | A deductive algorithm for symbolic abstraction with applications to SMT | G26 [KL] 206 | Talk | ||||||
|
| ||||||||||
2012-09-13 | 13:00 | Michael Kerber | The Medusa of Spatial Sorting | E1 4 024 | Talk | ||||||
|
| ||||||||||
2012-09-11 | 13:00 | Ralf Osbild | Controlled Perturbation (PhD-thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2012-09-11 | 16:00 | Wolfram Wagner | How to backup your notebook | E1 4 024 | Technical Tea Time | ||||||
|
| ||||||||||
2012-09-07 | 13:00 | Rob van Stee | Online scheduling of jobs with fixed start times on related machines | E1 5 630 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2012-09-04 | 13:00 | Ignaz Rutter | Cubic Augmentation of Planar Graphs | MPI-INF, Geb E1 4 023 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2012-09-03 | 13:00 | Shay Moran | Shattering Extremal systems (Master thesis) | E1 4 023 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2012-08-31 | 10:00 | Daniel Peek | A Brief History of Facebook's User Data Storage System | E1 5 029 | Talk | ||||||
|
| ||||||||||
2012-08-30 | 10:00 | Michael Emmi | Analysis of Recursively Parallel Programs | G26 [KL] 206 | Talk | ||||||
|
| ||||||||||
2012-08-28 | 13:00 | Quentin de Mourgues | Intersection Time of Random Walks | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2012-08-28 | 16:00 | Marcus Rohrbach | Intro to the moinmoin wiki | E1 4 623 - Rotunde | Technical Tea Time | ||||||
|
| ||||||||||
2012-08-24 | 11:00 | Prof. Dr. habil Douglas W. Cunningham | Experimental Design Part III: Quantitative Tasks? | E1 4 019 | Talk | ||||||
2012-08-24 | 13:00 | Zeyu Guo | Randomness Optimal Curve Sampling | E1 4 024 | Talk | ||||||
|
| ||||||||||
2012-08-23 | 14:00 | Prof. Dr. habil Douglas W. Cunningham | Experimental Design Part II: Qualitative and Physiological Tasks? | E1 4 019 | Talk | ||||||
|
| ||||||||||
2012-08-22 | 13:30 | Robert Harper | Cache and I/O-Efficient Functional Algorithms | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
2012-08-22 | 15:00 | Prof. Dr. habil Douglas W. Cunningham | Experimental Design Part I: What is an experiment and why does ittake so long? | E1 4 019 | Talk | ||||||
|
| ||||||||||
2012-08-20 | 15:00 | Dimitar DENEV | Models and Methods for Web Archive Crawling | E1 4 024 | Promotionskolloquium | ||||||
2012-08-20 | 16:30 | Piotr DIDYK | Perceptual Display: Exceeding Display Limitations by Exploiting the Human Visual System | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2012-08-17 | 09:00 | Luca Trevisan | Spectral Graph Theory and its Algorithmic Applications (3) | E1. 3 001 | Lecture | ||||||
2012-08-17 | 11:00 | Berthold Voecking | Randomized Mechanism Design: Approximation and Online Algorithms (3) | E1. 3 001 | Lecture | ||||||
2012-08-17 | 12:30 | Marcin Eichner | Articulated pose estimation of multiple persons: pose co-estimation | E1 4 Rotunda 6th floor | Talk | ||||||
2012-08-17 | 14:00 | Vijay V. Vazirani | Dispelling an Old Myth about an Ancient Algorithm | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2012-08-16 | 09:00 | Luca Trevisan | Spectral Graph Theory and its Algorithmic Applications (2) | E1. 3 001 | Lecture | ||||||
2012-08-16 | 14:30 | Berthold Voecking | Randomized Mechanism Design: Approximation and Online Algorithms (3) | E1. 3 001 | Lecture | ||||||
|
| ||||||||||
2012-08-15 | 09:00 | Avi Wigderson | Expander Graphs: Constructions and Applications (3) | E1. 3 001 | Lecture | ||||||
|
| ||||||||||
2012-08-14 | 09:00 | Berthold Voecking | Randomized Mechanism Design: Approximation and Online Algorithms (1) | E1. 3 001 | Lecture | ||||||
2012-08-14 | 10:00 | Alexander Vezhnevets | Weakly Supervised Structured Output Learning for Semantic Segmentation | E1 4 019 | Talk | ||||||
2012-08-14 | 11:00 | Michael Sagraloff | Exaktes Geometrisches Rechnen | E1 4 021 | Vorstellungsvortrag für einen Habilitationsantrag | ||||||
2012-08-14 | 14:30 | Avi Wigderson | Expander Graphs: Constructions and Applications (2) | E1. 3 001 | Lecture | ||||||
2012-08-14 | 16:00 | Wolfram Waagner | Taming the beast - handling directory trees | E1 4 633 | Talk | ||||||
|
| ||||||||||
2012-08-13 | 09:00 | Avi Wigderson | Expander Graphs: Constructions and Applications (1) | E1. 3 001 | Lecture | ||||||
2012-08-13 | 14:00 | Rodrigo Benenson | Using 100 classifiers to detect a single class | E1 4 019 | Talk | ||||||
2012-08-13 | 14:30 | Luca Treivsan | Spectral Graph Theory and its Algorithmic Applications (1) | E1. 3 001 | Lecture | ||||||
|
| ||||||||||
2012-08-09 | 11:00 | Saikat Guha | Measuring and Fingerprinting Click-Fraud in Ad Networks | 49 [KL] 204 | Talk | ||||||
|
| ||||||||||
2012-08-01 | 12:15 | Antti Oulasvirta | Optimizing User Interfaces for Human Performance | E1 3 - Hörsaal Gebäude HS 002 | Joint MPI-INF/MPI-SWS Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2012-07-30 | 14:00 | Céline Teulière | Research activities in visual tracking for robotics applications: Moving object tracking, 3D localization and positioning tasks using monocular or RGB-D cameras | E1 4 019 | Talk | ||||||
|
| ||||||||||
2012-07-26 | 17:00 | Dr. Sabine Bartsch | Gender-spezifische Wissenschaft? eHumanities Explorationen wissenschaftlicher Texte | A2.2 2.02 | Lecture | ||||||
|
| ||||||||||
2012-07-23 | 13:00 | Xavier Pérez Giménez | Asymptotic enumeration of sparse strongly connected digraphs by vertices and edges | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2012-07-20 | 13:00 | Sourav Chakraborty | Testing Boolean Function Isomorphism | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2012-07-17 | 13:00 | Ruben Becker | The Bolzano Method to Isolate the Roots of a Bitstream Polynomial | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2012-07-10 | 13:00 | Manoj Gupta | Fully dynamic maximal matching in O(log n) update time | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2012-07-06 | 13:00 | Sebastian Ott | Truthfully maximizing the minimum load on selfish machines | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2012-07-06 | 13:30 | Anna-Kaisa Pietilainen | Opportunistic Mobile Social Networks at Work | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2012-07-05 | 11:00 | Dario Fiore | Provably-Secure Cryptographic Protocols: from Practice to Theory to Practice | E1 5 029 | SWS Colloquium | ||||||
2012-07-05 | 14:00 | Cesare Tinelli | Incremental SMT-based model checking of synchronous systems | E1 4 024 | Talk | ||||||
|
| ||||||||||
2012-07-04 | 12:15 | Olga Kalinina | Structural Bioinformatics Methods for Identification of Protein Function and Interactions | E1 3 - Hörsaal Gebäude HS 002 | Joint MPI-INF/MPI-SWS Lecture Series | ||||||
|
| ||||||||||
2012-07-03 | 11:00 | Bryan Ward | Supporting Nested Locking in Multiprocessor Real-Time Systems | E1 5 029 | SWS Colloquium | ||||||
2012-07-03 | 13:00 | Marvin Kuenemann | to be announced | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2012-07-03 | 14:30 | Peter Baumgartner | Reasoning with Data-Centric Business Processes | E1 4 024 | Talk | ||||||
|
| ||||||||||
2012-07-02 | 12:05 | Noran Azmy | Formula Renaming | E1 4 024 | IMPRS Research Seminar | ||||||
2012-07-02 | 14:00 | Sandeep Sen | Computing in presence of uncertainty: models and algorithms | E1 4 022 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2012-06-29 | 13:00 | Matthias Feldmann | Stochastic Optimization with Fitness Proportional Ant Systems | E1 4 024 | AG1 Mittagsseminar (own work) |