Previous Page | Next Page | Expand All | Collapse All
Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
| |||||||||||
|
| ||||||||||
2018-07-23 | 11:00 | Bojana Kodric | Incentives in Dynamic Markets | E1.7 (MMCI) 001 | Promotionskolloquium | ||||||
2018-07-23 | 14:00 | Ruben Becker | On Flows, Paths, Roots, and Zeros | E1.7 (MMCI) 001 | Promotionskolloquium | ||||||
|
| ||||||||||
2018-07-20 | 13:00 | Themistoklis Gouleakis | Improved Massively Parallel Computation Algorithms for MIS, Matching, and Vertex Cover | E1 5 (SWS) 105 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2018-07-17 | 13:00 | Debarati Das | Approximating Edit Distance Within Constant Factor in Truly Sub-Quadratic Time | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-07-16 | 12:00 | Max Maria Losch | Inspectable Deep Learning with Bayesian Statistics | E1 4 024 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2018-07-12 | 13:00 | Cornelius Brand | Extensor-Coding | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-07-10 | 13:00 | Gorav Jindal | A deterministic PTAS for the transcendence degree of constant degree polynomials | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-07-05 | 13:00 | Daniel Vaz | Beyond Metric Embedding: Approximating Group Steiner Trees on Bounded Treewidth Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2018-07-05 | 16:00 | Nikhil Balaji | Waring rank of monomial | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-07-04 | 12:15 | Maria Christakis | Practical Program Analysis | E1 5 002 | Joint Lecture Series | ||||||
2018-07-04 | 13:00 | various | 3rd Networking-Meet-Up for Women in Computer Science | E1 5 0.29 | Presentation | ||||||
|
| ||||||||||
2018-07-03 | 13:00 | Saeed Amiri | Congestion Free Rerouting of Flows (practice talk for ICALP) | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2018-06-29 | 10:30 | Nils Asmussen | Designing a System for Heterogeneous Compute Units | G26 [KL] 111 | SWS Colloquium | ||||||
2018-06-29 | 11:30 | Joël Ouaknine | Program Invariants | G26 111 | SWS Colloquium | ||||||
2018-06-29 | 14:00 | Sam Lindley | On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited continuations | G26 111 | SWS Colloquium | ||||||
|
| ||||||||||
2018-06-28 | 11:00 | Davis Issac | Spanning Tree Congestion and Computation of Generalized Gyori-Lovasz Partition | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-06-26 | 10:30 | Michael Mozer | Boosting human capabilities on perceptual categorization tasks | G26 [KL] 111 | SWS Distinguished Lecture Series | ||||||
2018-06-26 | 13:00 | Joël Ouaknine | Polynomial Invariants for Affine Programs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-06-25 | 10:00 | Bruce M. Maggs | The Web PKI in Theory and Malpractice | E1 5 029 | Talk | ||||||
|
| ||||||||||
2018-06-21 | 15:30 | 1. Eakta Jain / 2. Krzysztof Krejtz | 1. The role of gaze and pupil diameter in understanding audience engagement / 2. The Role of Attention and Perception During Multimedia Learning. A Dynamical Perspective | E1 4 019 | Talk | ||||||
|
| ||||||||||
2018-06-19 | 13:00 | Yaroslav Shitov | How hard is the tensor rank? | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-06-15 | 12:00 | Niels Landwehr | Machine Learning for Spatially and Temporally Varying Data | E1 5 029 | Talk | ||||||
|
| ||||||||||
2018-06-14 | 10:00 | Jörg Lücke | Accelerated Learning of Probabilistic Data Models for Large-Scale Applications | E1 5 029 | Talk | ||||||
2018-06-14 | 13:00 | Kurt Mehlhorn | On Fair Division of Indisible Goods (Practice Talk for an Invited Lecture at Sirocco 18) | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2018-06-14 | 14:00 | Nihat Ay | Information Geometry of Learning Systems | E1 5 029 | Talk | ||||||
2018-06-14 | 17:00 | Johannes Kloos | Heap-based reasoning about asynchronous programs | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2018-06-13 | 10:00 | Christoph Lampert | Principled Transfer Learning | E1 5 029 | Talk | ||||||
2018-06-13 | 12:00 | Daniel Neider | Machine Learning Meets Formal Methods | E1 5 029 | Talk | ||||||
|
| ||||||||||
2018-06-12 | 10:00 | Gerhard Neumann | Information-Geometric Policy Search for Learning Versatile, Reusable Skills | E1 5 029 | Talk | ||||||
2018-06-12 | 12:00 | Marius Kloft | Extreme Classification: Algorithms and Theory | E1 5 029 | Talk | ||||||
|
| ||||||||||
2018-06-11 | 08:00 | Achim Rettinger | Knowledge-guided Representation Learning | E1 5 029 | Talk | ||||||
2018-06-11 | 10:30 | Andreas Gerstlauer | Learning-Based Hardware/Software Power and Performance Prediction | E1 5 105 | SWS Colloquium | ||||||
2018-06-11 | 14:00 | Milica Gasic | Spoken dialogue systems that learn online | E1 5 029 | Talk | ||||||
|
| ||||||||||
2018-06-07 | 14:00 | Georg Neis | Compositional Compiler Correctness Via Parametric Simulations | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2018-06-06 | 12:15 | Anja Feldmann | The Internet: A Complex System at its Limits | E1 5 002 | Joint Lecture Series | ||||||
2018-06-06 | 16:15 | Ben Wiederhake | Reading Group: A Distributed Algorithm for Minimum-Weight Spanning Trees | E1 4 022 | MPI-Seminar | ||||||
| |||||||||||
|
| ||||||||||
2018-05-30 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ||||||
2018-05-30 | 16:15 | Eunjin Oh | Reading Group: Dynamic Time Warping and Geometric Edit Distance: Breaking the Quadratic Barrier | E1 4 022 | MPI-Seminar | ||||||
|
| ||||||||||
2018-05-29 | 13:00 | Kurt Mehlhorn | The Physarum Dynamics Solves Positive Undirected Linear Programs (Practice Talk for Invited Talk at Computer Science Russia) | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-05-25 | 10:15 | Karon MacLean (University of British Columbia) & Christian Holz (Microsoft Research) | Taking Haptic Design from Research to Practice & Rich Haptic Shape Output Controllers for Virtual Reality | E1 4 019 | Talk | ||||||
2018-05-25 | 13:30 | Gene Myers | Towards Perfect DNA Sequencing and Assembly | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ||||||
2018-05-25 | 14:00 | Nico Pfeifer | Machine Learning in Infection Research: Including host information to understand viral adaptation | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ||||||
2018-05-25 | 14:30 | Yves Moreau | Bayesian matrix factorization with side information and application to drug-target activity prediction | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ||||||
2018-05-25 | 15:00 | Kasia Bozek | Can you see all the bees? Image analysis for biology | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ||||||
2018-05-25 | 16:30 | Robert Tarjan | My work with Thomas | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ||||||
2018-05-25 | 17:00 | Jörg Rahnenführer | Model-based optimization - in high-dimensional survival analysis and in real life | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ||||||
2018-05-25 | 17:30 | Bastian Beggel | Map-Based processing of geospatial data for driver assistance functions | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ||||||
2018-05-25 | 18:00 | Anja Feldmann | Distributed Data Collection and Processing at Scale | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ||||||
|
| ||||||||||
2018-05-24 | 13:00 | Emanuele Natale | Pooling or Sampling: Collective Dynamics for Electrical Flow Estimation | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-05-23 | 16:15 | André Nusser | Reading Group: A faster algorithm for the discrete Fréchet distance under translation | E1 4 022 | MPI-Seminar | ||||||
|
| ||||||||||
2018-05-22 | 13:00 | Pranjal Dutta | Discovering the roots: Uniform closure results for algebraic classes under factoring | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2018-05-22 | 14:00 | Werner Seiler | From Singularities of Algebraic Differential Equations to Real Algebraic Geometric | E1 5 630 | Talk | ||||||
|
| ||||||||||
2018-05-16 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ||||||
2018-05-16 | 16:15 | Andreas Schmidt | Reading Group: Sparse Kneser graphs are Hamiltonian | E1 4 022 | MPI-Seminar | ||||||
|
| ||||||||||
2018-05-15 | 10:00 | Thomas Rothvoss | Modern algorithms for Bin packing | E1 4 024 | INF Distinguished Lecture Series | ||||||
|
| ||||||||||
2018-05-09 | 16:15 | Nitin Saurabh | Arithmetic Circuits : A chasm at depth four | E1 4 022 | MPI-Seminar | ||||||
|
| ||||||||||
2018-05-08 | 13:00 | Matthias Függer | Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-05-07 | 09:30 | Aniket Roy | Multimedia Security through Digital Image Forensics | E1 4 0.24 | PhD Application Talk | ||||||
2018-05-07 | 09:30 | Sagar Verma | Egocentric Video Understanding | E1 4 0.24 | PhD Application Talk | ||||||
2018-05-07 | 09:30 | Stavros Petsalakis | Fine Grained Complexity: Exploring Reductions and their Properties | E1 4 0.24 | PhD Application Talk | ||||||
2018-05-07 | 10:30 | Joshua Kroll | Accountability in the Governance of Machine Learning | E1 5 029 | SWS Colloquium | ||||||
2018-05-07 | 11:00 | Alberto Fiori | On consistency of the Minimalist Foundation | E1 4 0.24 | PhD Application Talk | ||||||
2018-05-07 | 11:00 | Burcu Sayin | An Analysis of Information Spreading and Privacy Issues on Social Networks | E1 4 0.24 | PhD Application Talk | ||||||
2018-05-07 | 11:00 | Ehsam Etesami | Modeling and Evaluation of Cloud Services Considering Live Virtual Machine Migration | E1 4 0.24 | PhD Application Talk | ||||||
2018-05-07 | 11:00 | Safia Kalwar | Security and Privacy in the era of Big data | E1 4 0.24 | PhD Application Talk | ||||||
|
| ||||||||||
2018-05-03 | 10:00 | Nicole Immorlica | Maximizing the Social Good: Markets without Money | E1 4 024 | INF Distinguished Lecture Series | ||||||
2018-05-03 | 11:15 | Marian-Andrei Rizoiu | #DebateNight :The Role and Influence of Socialbots on Twitter During the 1st U.S. Presidential Debate | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2018-05-02 | 10:30 | Alexandra Silva | Probabilistic Program Equivalence for NetKAT | E1 5 029 | SWS Colloquium | ||||||
2018-05-02 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 3 333 | AG1 Group Meeting | ||||||
2018-05-02 | 12:15 | Gerard Pons-Moll | Capturing and Learning Digital Humans | E1 5 002 | Joint Lecture Series | ||||||
2018-05-02 | 16:15 | Davis Issac | Reading Group: Deciding k-colorability of P5-free graphs in polynomial time | E1 4 022 | MPI-Seminar | ||||||
| |||||||||||
|
| ||||||||||
2018-04-30 | 12:00 | Michael Schenck | Complex Procedural Terrain Generation | E1 4 024 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2018-04-27 | 11:00 | David Dunn | Perceptually-based Near Eye Displays | E1 4 019 | Talk | ||||||
|
| ||||||||||
2018-04-26 | 13:00 | Stefan Funke | How to Decide Whether a Path is Optimal | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-04-25 | 16:00 | Wenbin Li | From Perception over Anticipation to Manipulation | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2018-04-24 | 13:00 | Karol Węgrzycki | Subquadratic Approximation Scheme for Partition | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2018-04-24 | 18:00 | Kurt Mehlhorn | Algorithms and Programs -- My Fascination for Computer Science | E1 5 002 | MPI Colloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2018-04-20 | 10:30 | Tudor Dumitras | Measurements, predictions, and the puzzle of machine learning: what data from 10 million hosts can teach us about security | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2018-04-18 | 16:15 | Daniel Vaz | Reading Group: Minimum Weight 2-Edge-Connected Spanning Subgraphs in Planar Graphs | E1 4 022 | MPI-Seminar | ||||||
|
| ||||||||||
2018-04-11 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ||||||
2018-04-11 | 12:15 | Holger Hermanns | Power to the People. Verified. | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2018-04-10 | 13:00 | Davis Issac | Algorithms and Bounds for Very Strong Rainbow Coloring of Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-04-05 | 13:00 | Paul Manderscheid | SAR Phase Unwrapping by Undirected Shortest Transshipment | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-04-04 | 10:30 | Prof. Martin Grohe | Lovasz meets Weisfeiler-Leman | G26 [KL] 111 | SWS Colloquium | ||||||
2018-04-04 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ||||||
2018-04-04 | 16:00 | Cathy McGeoch | Performance Evaluation for Annealing Based Quantum Computers | E1 4 024 | Colloquium Lecture | ||||||
| |||||||||||
|
| ||||||||||
2018-03-28 | 16:00 | Arpan Gujarati | Failures-In-Time (FIT) Analysis for Fault-Tolerant Distributed Real-Time Systems | G26 [KL] 111 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2018-03-27 | 13:00 | Eunjin Oh | Point Location in Dynamic Planar Subdivisions | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-03-26 | 10:30 | Tim Althoff | Data Science for Human Well-being | G26 111 | SWS Colloquium | ||||||
2018-03-26 | 15:00 | Manohar Vanga | High-Throughput and Predictable VM Scheduling for High-Density Workloads | G26 [KL] 111 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2018-03-22 | 10:30 | Nicolas Papernot | Characterizing the Space of Adversarial Examples in Machine Learning | E1 5 029 | SWS Colloquium | ||||||
2018-03-22 | 13:00 | Kurt Mehlhorn | Fair Division | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2018-03-21 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ||||||
|
| ||||||||||
2018-03-19 | 10:30 | Mihir Nanavati | Catch-22: Isolation and Efficiency in Datacenters | G26 [KL] 111 | SWS Colloquium | ||||||
2018-03-19 | 11:00 | Nitish Padmanaban & Vincent Sitzmann | Varifocal Lenses for Focus-Supporting Near-Eye Displays & Learning domain-specific cameras: End-to-end optimization of optical sensing pipelines | E1 4 019 | Talk | ||||||
|
| ||||||||||
2018-03-16 | 13:00 | Meena Mahajan | Short proofs with simple arithmetic? | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-03-15 | 10:30 | Dr. Caterina Urban | Static Program Analysis for a Software-Driven Society | G26 [KL] 111 | SWS Colloquium | ||||||
2018-03-15 | 13:00 | Karl Bringmann | More Consequences of Falsifying SETH and the Orthogonal Vectors Conjecture | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-03-14 | 18:00 | Nima Anari | TCS+ talk: Planar Graph Perfect Matching is in NC | E1 4 D1 Rotunda | Talk | ||||||
|
| ||||||||||
2018-03-12 | 10:00 | Arunav Mishra | Leveraging Semantic Annotations for Event-focused Search & Summarization | E1 4 0.24 | Promotionskolloquium | ||||||
2018-03-12 | 10:30 | Heather Miller | Language Support for Distributed Systems in Scala | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2018-03-08 | 13:00 | Antonios Antoniadis | A PTAS for TSP with Hyperplane Neighborhoods | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-03-07 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ||||||
2018-03-07 | 12:15 | Andrew Yates | Incorporating Positional and Contextual Information into a Neural IR Model | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2018-03-06 | 10:00 | Patrick Ernst | Biomedical Knowledge Base Construction from Text and its Applications in Knowledge-based Systems | E1 4 024 | Promotionskolloquium | ||||||
2018-03-06 | 13:00 | Grigorios Koumoutsos | Weighted k-Server Bounds via Combinatorial Dichotomies | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2018-03-06 | 14:00 | Hoon Hong | Improved Root Separation Bound: Bigger and Geometric | E1 4 024 | Talk | ||||||
|
| ||||||||||
2018-03-05 | 10:30 | Jonathan Mace | Observing and Controlling Distributed Systems with Cross-Cutting Tools | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2018-03-01 | 10:30 | Georg Zetzsche | Storage mechanisms and finite-state abstractions for software verification | G26 [KL] 111 | SWS Colloquium | ||||||
| |||||||||||
|
| ||||||||||
2018-02-26 | 10:30 | Kevin Borgolte | Fighting Large-scale Internet Abuse | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2018-02-22 | 13:00 | Julian Dörfler | An efficient data structure for finding Pareto-optimal points (Bachelor thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-02-21 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ||||||
|
| ||||||||||
2018-02-20 | 13:00 | Bundit Laekhanukit | On the Parameterized Complexity of Approximating Dominating Set | E1 4 024 | Talk | ||||||
|
| ||||||||||
2018-02-19 | 10:30 | Antoine Kaufmann | High Performance Data Center TCP Packet Processing | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2018-02-15 | 10:30 | Keon Jang | Towards Latency Guarantees in Datacenters | E1 5 029 | SWS Colloquium | ||||||
2018-02-15 | 13:00 | Bernhard Haeupler | Synchronization Strings and Coding for Insertions and Deletions | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2018-02-14 | 19:00 | Dor Minzer | TCS+ talk: 2-to-2 Games via expansion on the Grassmann Graph | E1 4 D1 Rotunda | Talk | ||||||
|
| ||||||||||
2018-02-13 | 13:00 | Saeed Amiri | Distributed Dominating Set in Bounded Genus Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2018-02-13 | 15:15 | Bernhard Häupler | Fast Distributed Optimization Algorithms via Low-Congestion Shortcuts | E1 4 024 | INF Distinguished Lecture Series | ||||||
|
| ||||||||||
2018-02-12 | 10:30 | Niki Vazou | Liquid Haskell: Usable Language-Based Program Verification | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2018-02-09 | 16:00 | Viktor Erdélyi | Scalable positioning of commodity mobile devices using audio signals | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2018-02-08 | 10:30 | Zsolt Istvan | Caribou -- Intelligent Distributed Storage for the Datacenter | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2018-02-07 | 11:30 | Kurt Mehlhorn | Group Meeting, D1 | E1 4 Rotunda | AG1 Group Meeting | ||||||
|
| ||||||||||
2018-02-01 | 13:00 | Nitin Saurabh | Optimal Quasi-Gray Codes: Does the Alphabet matter? | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2018-01-31 | 19:00 | Avi Wigderson | TCS+ talk: Optimization, Complexity and Math (through the lens of one problem and one algorithm) | E1 4 D1 Rotunda | Talk | ||||||
|
| ||||||||||
2018-01-30 | 11:00 | Dr. Herbert Jäger | An Introduction to Reservoir Computing, and Beyond | E1 5 029 | AG3 Talk | ||||||
|
| ||||||||||
2018-01-22 | 16:00 | Ezgi Çiçek | Relational Cost Analysis | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2018-01-17 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ||||||
|
| ||||||||||
2018-01-16 | 13:00 | Christian Ikenmeyer | On algebraic branching programs of small width | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-01-11 | 13:00 | Saeed Amiri | Disjoint Paths Problem | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2018-01-09 | 13:00 | Saeed Amiri | Erdos Posa Property in Digraphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2017-12-20 | 17:00 | Anna Khoreva | Learning to Segment in Images and Videos with Different Forms of Supervision | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-12-19 | 14:00 | Seongkook Heo | Let it move—Creating force and movement feedback on the surface and in the air. | E1 7 0.01 | Talk | ||||||
|
| ||||||||||
2017-12-18 | 12:00 | Prof. Gerhard Weikum | Talk on Good Scientific Practice | E1 4 R024 | IMPRS Research Seminar | ||||||
2017-12-18 | 14:00 | Georgios Smaragdakis | Understanding and Improving the Resilience of the Internet using the Measurement Lens | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2017-12-14 | 13:00 | Tetiana Lavynska | On Biclique Cover and Partition of Bipartite Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-12-11 | 11:00 | Aruni Choudhary | Approximation Algorithms for Vietoris-Rips and Cech Filtrations | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-12-08 | 12:00 | David Swasey | Formal and Compositional Reasoning about Object Capabilities | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2017-12-07 | 13:00 | Laszlo Kozma | Selection from heaps, row-sorted matrices and X + Y using soft heaps | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2017-12-07 | 14:15 | Nisheeth Vishnoi | Algorithms, Complexity, and Bias | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2017-12-06 | 12:15 | Joël Ouaknine | Fundamental Algorithmic Problems and Challenges in Dynamical and Cyber-Physical Systems | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2017-12-04 | 16:15 | Kai Hui | Automatic Methods for Low-Cost Evaluation and Position-Aware Models for Neural Information Retrieval | E1 5 029 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-12-01 | 14:00 | Dat Ba Nguyen | Joint Models for Information and Knowledge Extraction | E1 4 024 | Promotionskolloquium | ||||||
| |||||||||||
|
| ||||||||||
2017-11-30 | 13:00 | Emilio Cruciani | Some new results for opinion dynamics on social networks | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-11-29 | 16:00 | Alexander Wieder | Blocking Analysis of Spin Locks under Partitioned Fixed-Priority Scheduling | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2017-11-23 | 13:00 | Günter Schmidt | Competitive Analysis of Bi-directional Non-preemptive Conversion | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-11-22 | 10:30 | Hugo Férée | Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2017-11-20 | 16:00 | Mainack Mondal | Understanding & Controlling User Privacy in Social Media via Exposure | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2017-11-17 | 15:00 | Marko Doko | Program Logic for Weak Memory Concurrency | G26 [KL] 111 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2017-11-16 | 14:00 | Soham Chakraborty | Correct Compilation of Relaxed Memory Concurrency | G26 [KL] 111 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2017-11-15 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 Rotunda | AG1 Group Meeting | ||||||
|
| ||||||||||
2017-11-14 | 13:00 | L. Sunil Chandran and Davis Issac | Spanning Tree Congestion and the Generalized Győri-Lovász Theorem (Part 2) | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-11-13 | 10:00 | Rakesh Agrawal | Toward Data-Driven Education | E1 5 002 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2017-11-10 | 13:00 | Oliver Nalbach | Smarter Screen Space Shading | E1 4 019 | Promotionskolloquium | ||||||
2017-11-10 | 15:00 | Nina Grgić-Hlača | Beyond Distributive Fairness in Algorithmic Decision Making: Feature Selection for Procedurally Fair Learning | E1 5 029 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2017-11-09 | 11:00 | Wolfgang Ahrendt | StaRVOOrS: Combined Static and Runtime Verification of Object-Oriented Software | E1 5 029 | SWS Colloquium | ||||||
2017-11-09 | 13:00 | L. Sunil Chandran and Davis Issac | Spanning Tree Congestion and the Generalized Győri-Lovász Theorem (Part 1) | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-11-08 | 12:15 | Karl Bringmann | Fine-Grained Complexity: Hardness for a Big Data World | E1 5 002 | Joint Lecture Series | ||||||
2017-11-08 | 16:00 | Juhi Kulshrestha | Quantifying & Characterizing Information Diets of Social Media Users | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2017-11-06 | 11:00 | Pietro Ferrara | Julia: An abstract interpretation-based static analyzer of industrial OO software | G26 [KL] 113 | MPI-Kolloquium | ||||||
|
| ||||||||||
2017-11-02 | 14:00 | Dr. Steffen Rochel | Deep Learning in Apache MxNet Gluon | E1 3 HS002 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2017-10-30 | 12:00 | Khansa Rekik | Results of planning for sentence generation | E1 4 022 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2017-10-27 | 10:00 | Prof. Dr.-Ing. Stefan Seelecke | Actuation and New Materials | E1 7 0.01 | Talk | ||||||
2017-10-27 | 10:00 | Prof. Dr.-Ing. Stefan Seelecke | Actuation and New Materials | E1 7 0.01 | Talk | ||||||
2017-10-27 | 13:00 | Kurt Mehlhorn | Physarum solves Positive Undirected LPs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-10-24 | 12:57 | Dr.-Ing. Stefan Seelecke | Actuation and New Material | E1 7 0.01 | Talk | ||||||
2017-10-24 | 09:30 | Yu | Delegation HANCOM Group, Korea | E1 5 R 0.29 | Presentation | ||||||
2017-10-24 | 15:00 | Annette Diehl | Sexualisierte Diskriminierung und Gewalt | E1 5 002 | Talk | ||||||
|
| ||||||||||
2017-10-23 | 12:00 | Vinh Thinh Ho | Approaches for Word Representations | E1 4 022 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2017-10-19 | 13:00 | Kevin Schewior | A Tight Lower Bound for Online Convex Optimization with Switching Costs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-10-17 | 13:00 | Bhaskar Ray Chaudhury | Proof of the Weighted Dynamic Finger Theorem by Iacono and Langerman. | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2017-10-16 | 15:00 | Natalia Boldyrev | Alignment of Multi-Cultural Knowledge Repositories | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-10-12 | 13:00 | Ruben Becker | Near-Optimal Approximate Shortest Paths and Transshipment in Distributed and Streaming Models | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2017-10-12 | 14:00 | Dr. Donald Dansereau | Computational Imaging for Robotic Vision | E1 4 019 | Talk | ||||||
|
| ||||||||||
2017-10-11 | 11:00 | Cosmina Croitoru | Graph Models for Rational Social Interaction - PhD Verteidigung | E1 4 019 | Promotionskolloquium | ||||||
2017-10-11 | 16:15 | Leila Amgoud | Evaluation Methods of Arguments | E1 4 024 | Talk | ||||||
|
| ||||||||||
2017-10-10 | 09:30 | David Kaltenpoth | Distinguishing Confounding from Causality | E1 4 024 | PhD Application Talk | ||||||
2017-10-10 | 09:30 | Hiba Arnaout | Effective Searching of RDF Knowledge Graphs | E1 4 024 | PhD Application Talk | ||||||
2017-10-10 | 09:30 | Xiaoyu Shen | Latent Variable Models in Dialogue Generation | E1 4 R024 | PhD Application Talk | ||||||
2017-10-10 | 11:00 | Hufsah Ashraf | Computational Modeling and Analysis of the Impacts of Sleep Deprivation on Glucose Stimulated Insulin Secretion via Circadian Clock Misalignment | E1 4 024 | PhD Application Talk | ||||||
2017-10-10 | 11:00 | Jana Ebler | Haplotype-Aware Genotyping from Long Sequencing Reads | E1 4 024 | PhD Application Talk | ||||||
2017-10-10 | 11:00 | Jonas Fischer | Fast methylation calling on mammalian bisulfite sequencing data | E1 4 024 | PhD Application Talk | ||||||
2017-10-10 | 13:00 | Janne H. Korhonen | LCL problems on grids | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-10-09 | 16:00 | Muhammad Bilal Zafar | Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2017-10-05 | 13:00 | Kurt Mehlhorn | Weighted Dynamic Finger in Binary Search Trees by Iacono and Langerman (SODA '16) | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2017-10-04 | 12:15 | Simon Razniewski | What knowledge bases know (and what they don't) | E1 5 002 | Joint Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2017-09-29 | 15:00 | Siyu Tang | People Detection and Tracking in Crowded Scenes | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-09-20 | 11:30 | Christoph Lenzen | Group Meeting | E1 4 Rotunde | AG1 Group Meeting | ||||||
|
| ||||||||||
2017-09-14 | 13:00 | Mathew Francis | Induced Colourful Paths in Triangle-free Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-09-12 | 13:00 | Giacomo Scornavacca | Rational Fair Consensus in the GOSSIP Model | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-09-11 | 15:30 | Stephan Friedrichs | Metastability-Containing Circuits, Parallel Distance Problems, and Terrain Guarding | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-09-06 | 12:15 | Christian Ikenmeyer | Geometric Complexity Theory: An ambitious approach towards P versus NP | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2017-09-04 | 16:00 | Amy Siu | Knowledge-driven Entity Recognition and Disambiguation in Biomedical Text | E1 4 024 | Promotionskolloquium | ||||||
| |||||||||||
|
| ||||||||||
2017-08-29 | 13:00 | Aruni Choudhary | Improved Approximate Rips Filtrations with Shifted Integer Lattices | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-08-18 | 11:00 | Martin Ochoa | Securing Cyber-Physical Systems: Challenges and the road ahead | E9 1 Lecture Hall | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2017-08-17 | 13:00 | Nitin Saurabh | Upper bounds on Fourier Entropy | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-08-16 | 14:00 | Andreas Herzig | Dynamic logic and propositional assignments | E1 4 024 | Talk | ||||||
|
| ||||||||||
2017-08-14 | 15:00 | Filip Nikšić | Combinatorial Constructions for Effective Testing | G26 [KL] 113 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2017-08-10 | 13:00 | Krzysztof Fleszar | Maximum Disjoint Paths: New Algorithms based on Tree-Likeness | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-08-08 | 13:00 | Andreas Schmid | Computing Tutte Paths | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-08-07 | 17:00 | Anjo Vahldiek-Oberwagner | Techniques to enforce security policies on untrusted applications | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2017-08-04 | 13:30 | Reinhard Munz | Towards Use-Ability in Private Data Analytics | G26 [KL] 111 | SWS Student Defense Talks - Thesis Proposal | ||||||
| |||||||||||
|
| ||||||||||
2017-07-27 | 13:00 | Seri Khoury | New Lower Bounds for the CONGEST model | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-07-25 | 10:30 | Alexandra Chouldechova | Fairer and more accurate, but for whom? | E1 5 005 | SWS Colloquium | ||||||
2017-07-25 | 11:00 | Nils Ole Tippenhauer | Physical-Layer Security Aspects of ICS and IoT | E9 1 Lecture Hall | CISPA Distinguished Lecture Series | ||||||
2017-07-25 | 13:00 | Karl Bringmann | Improved Algorithms for Computing the Cycle of Minimum Cost-to-Time Ratio in Directed Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-07-24 | 15:00 | Pierre-Louis Giscard | The Theory of Walks | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-07-20 | 15:00 | Prof. Gilles Barthe: | Advances in computer-aided cryptography | E9 1 Lecture Hall | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2017-07-19 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 Rotunda | AG1 Group Meeting | ||||||
|
| ||||||||||
2017-07-18 | 11:00 | Stavros Tripakis | Security as a System Design Problem | E9 1 lecture hall | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2017-07-13 | 13:00 | Juho Lauri | NP-completeness results for partitioning a graph into total dominating sets | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-07-12 | 14:00 | Dr James Hook | Max-plus linear regression and low rank matrix approximation | E1 5 029 | Colloquium Lecture | ||||||
2017-07-12 | 16:00 | Dr. Matthias Berg | IT-Sicherheit mitgestalten beim BSI | E9 1 Lecture Hall | Talk | ||||||
|
| ||||||||||
2017-07-11 | 11:00 | Demetris Zeinalipour | Indoor Data Management in Anyplace | E1 4 024 | Colloquium Lecture | ||||||
2017-07-11 | 13:00 | Erik Jan Van Leeuwen | Parameterized Complexity of Vertex-Partitioning Problems | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-07-10 | 11:00 | David Evans | Adversarial Machine Learning: Are We Playing the Wrong Game? | E9 1 Lecture Hall | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2017-07-07 | 10:00 | Kathy Strandburg | Decision Making and The Value of Explanation | E1 5 005 | SWS Colloquium | ||||||
|
| ||||||||||
2017-07-06 | 11:00 | Stephan Günnemann | Robust and Scalable Learning with Graphs | E1 5 029 | Colloquium Lecture | ||||||
2017-07-06 | 13:00 | Attila Kinali | The Use of Fault-tolerant Clock Synchronization Algorithms for Time Scales | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2017-07-06 | 16:00 | Subhabrata Mukherjee | Probabilistic Graphical Models for Credibility Analysis in Evolving Online Communities | E1 5 029 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-07-05 | 12:15 | Qianru Sun | Your photos expose your social life - Social relation recognition in 5 social domains | E1 5 002 | Joint Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2017-06-30 | 14:00 | Attila Kinali | Damped Sine Based Time Interval Counter - Measuring Time with Pico-Second Precision | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-06-29 | 11:15 | Peter Wonka | Integer Programming for Layout Problems | E1 4 019 | Talk | ||||||
2017-06-29 | 13:00 | Ruben Hoeksma | Posted price mechanisms for a random stream of customers | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-06-28 | 15:00 | Adam Grycner | Constructing Lexicons of Relational Phrases | E1 5 029 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-06-27 | 11:00 | Manolis Koubarakis | Data Models and Query Languages for Linked Spatiotemporal Data | E1 4 024 | Colloquium Lecture | ||||||
|
| ||||||||||
2017-06-26 | 10:30 | Giovanni Luca Ciampaglia | Finding Fake News | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2017-06-21 | 11:30 | Andreas Karrenbauer | Group Meeting | E1 4 333 | AG1 Group Meeting | ||||||
|
| ||||||||||
2017-06-20 | 17:00 | Mateusz Malinowski | Towards Holistic Machines: From Visual Recognition To Question Answering About Real-World Images | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-06-19 | 10:00 | Arpit Merchant | Efficiently Estimationg Primitive Graph Properties | E1 4 0.24 | PhD Application Talk | ||||||
2017-06-19 | 10:00 | Deeksha Adil | Matching Under Preferences | E1 4 0.24 | PhD Application Talk | ||||||
2017-06-19 | 10:00 | Mohammad Bashir Kazimi | Coverage Model for Character-based Neural Machine Translation | E1 4 0.24 | PhD Application Talk | ||||||
2017-06-19 | 10:00 | Saharnaz E. Dilmaghani | Privacy Preserving Personal Health Record against Brute-Force Attack | E1 4 0.24 | PhD Application Talk | ||||||
2017-06-19 | 13:00 | Christoph Lenzen | Practice Talk: The many Faces of Clock Synchronization | E1 4 3rd floor rotunda | Talk | ||||||
|
| ||||||||||
2017-06-14 | 13:00 | Eslam Elnikety | Comprehensive and Practical Policy Compliance in Data Retrieval Systems | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
2017-06-14 | 15:00 | Till Speicher | Discrimination in Online Advertising | E1 5 029 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2017-06-13 | 11:00 | Jeff Z. Pan | The Rise of Approximate Reasoning: New Roadmap Emerging | E1 4 024 | Colloquium Lecture | ||||||
|
| ||||||||||
2017-06-07 | 11:30 | All | Group Meeting | E1 4 Rotunde D1 | AG1 Group Meeting | ||||||
2017-06-07 | 12:15 | Eva Darulova | Towards an Approximating Compiler for Numerical Computations | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2017-06-06 | 13:00 | Kevin Schewior | Tight Bounds for Online TSP on the Line | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-06-02 | 14:00 | Ligang Liu | 3D Printing Oriented Geometric Design and Optimization | E1 4 019 | AG4 Talk | ||||||
|
| ||||||||||
2017-06-01 | 13:00 | Joseph Landsberg | Can we multiply matrices faster by exploiting symmetry? | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2017-05-30 | 13:00 | D. Schneider | Rigid and Deformable Motion and Disassembly Planning | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-05-29 | 14:00 | NN | Cybersicherhheit im BND: SSCD-Frühwarnsystem auf Basis technischer Aufklärung | E9 1 Lecture Hall | Miscellaneous | ||||||
|
| ||||||||||
2017-05-22 | 14:00 | Maksim Lapin | Image Classification with Limited Training Data and Class Ambiguity | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-05-15 | 16:00 | Anna Rohrbach | Generating and Grounding of Natural Language Descriptions for Visual Data | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-05-11 | 13:00 | Kavitha Telikepalli | Popularity, Mixed Matchings, and Self-duality | E1 5 -MPI for Softwaresystems R 029 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-05-10 | 09:45 | Kiran Garimella | Quantifying and Reducing Polarization on Social media | E1 5 005 | SWS Colloquium | ||||||
2017-05-10 | 11:00 | Prof. Bernhard Haeupler | Synchronization Strings: Optimal Coding for Insertions and Deletions | E1 5 002 | INF Distinguished Lecture Series | ||||||
|
| ||||||||||
2017-05-09 | 13:00 | D1 | D1 internal poster session | E1 4 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2017-05-08 | 10:30 | Pierre-Marie Pédrot | An Effectful Way to Eliminate Addiction to Dependence | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2017-05-05 | 12:30 | Mike Roberts | Harnessing the Creative Power of Drones | E1 4 024 | AG2 Working Group Seminar | ||||||
|
| ||||||||||
2017-05-04 | 11:00 | Sebastian Trimpe | Intelligent Control Systems | G26 [KL] 113 | SWS Colloquium | ||||||
2017-05-04 | 13:00 | Philip Wellnitz | Clique-Based Lower Bounds for Parsing Tree-Adjoining Grammars (Bachelorseminar) | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-05-03 | 12:15 | Daria Stepanova | Digital Knowledge: From Facts to Rules and Back | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2017-05-02 | 10:30 | James Worrell | On Rationality of Nonnegative Matrix Factorization | E1 5 002 | SWS Distinguished Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2017-04-27 | 14:00 | Michael Haase | Agile Softwareentwicklung in der Praxis | E1 3 HS 002 | Talk | ||||||
2017-04-27 | 19:00 | Paul Cheung | Digital Journalism in the Age of Mobile Devices and Social Media | E1 5 Lecture Hall | Talk | ||||||
|
| ||||||||||
2017-04-26 | 16:00 | Andrew Baumann | Securing enclaves with formal verification | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2017-04-25 | 13:00 | David P. Woodruff | Parameterized Complexity of Matrix Factorization Problems | E1 4 024 | Talk | ||||||
|
| ||||||||||
2017-04-24 | 14:00 | Vijay Ganesh | The Unreasonable Effectiveness of Boolean SAT Solvers | E1 5 002 | Talk | ||||||
|
| ||||||||||
2017-04-10 | 10:30 | Oriana Riva | Comprehensive deep linking for mobile apps | G26 [KL] 112 | SWS Colloquium | ||||||
|
| ||||||||||
2017-04-05 | 12:15 | Björn Andres | Graph Decomposition Problems in Image Analysis | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2017-04-04 | 13:00 | Matthias Fuegger | Fast Asymptotic and Approximate Consensus in Highly Dynamic Networks | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-04-03 | 10:00 | Azalea Raad | Local Reasoning for Concurrency, Distribution and Web Programming | G26 [KL] 111 | SWS Colloquium | ||||||
| |||||||||||
|
| ||||||||||
2017-03-31 | 10:30 | Professor Richard Murray | Combining Computing, Communications and Controls in Safety Critical Systems | G26 [KL] 111 | SWS Distinguished Lecture Series | ||||||
2017-03-31 | 16:00 | Mainack Mondal | Understanding & Controlling User Privacy in Social Media via Exposure | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2017-03-29 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ||||||
|
| ||||||||||
2017-03-22 | 10:30 | Tianyin Xu | Hardening cloud and datacenter systems against configuration errors | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2017-03-17 | 10:00 | Aurojit Panda | A New Approach to Network Functions | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2017-03-16 | 15:00 | Akram El-Korashy | A formal model for capability machines: Towards secure compilation to CHERI | E1 5 029 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2017-03-15 | 15:00 | Ezgi Cicek | Relational Cost Analysis | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2017-03-14 | 14:09 | Ryota Kobayashi | Event time series analysis and its applications to social media analysis | E1 5 029 | SWS Colloquium | ||||||
2017-03-14 | 13:00 | Dror Rawitz | Online Budgeted Maximum Coverage | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | ||||||
2017-03-14 | 14:00 | Bjoern Golla | Mesh adaption based on Mesh deformation through flow maps | E1 4 - MPI-INF 024 | AG4 Talk | ||||||
|
| ||||||||||
2017-03-13 | 10:30 | Raymond Cheng | Privacy as a Service | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2017-03-09 | 16:00 | Sourav Dutta | Efficient knowledge management for named entities from text | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-03-08 | 10:00 | Justin Hsu | Randomized Algorithms Meets Formal Verification | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2017-03-07 | 10:00 | Kuldeep Meel | Constrained Counting and Sampling: Bridging the Gap between Theory and Practice | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2017-03-03 | 10:00 | Mijung Park | Variational Bayes In Private Settings | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2017-03-02 | 13:00 | Adi Rosén | Semi-Streaming Set Cover | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-03-01 | 12:15 | Paul Francis | The Diffix Framework: Noise Revisited, Again | E1 5 002 | Joint Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2017-02-28 | 10:00 | Adish Singla | Learning With and From People | G26 [KL] 111 | SWS Colloquium | ||||||
2017-02-28 | 11:00 | Maarten de Rijke | The Birth of Collective Memories: Analyzing Emerging Entities in Text Streams | E1 4 024 | Colloquium Lecture | ||||||
2017-02-28 | 15:00 | Erdal Kuzey | Populating knowledge bases with temporal information | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-02-22 | 10:30 | Magnus Myreen | A New Verified Compiler Backend for CakeML | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2017-02-21 | 10:30 | Renato Mancuso | Safe, Real-Time Software Reference Architectures for Cyber-Physical Systems | G26 [KL] 111 | SWS Colloquium | ||||||
2017-02-21 | 10:30 | Timothy H. Edgar | Cybersecurity and civil liberties - how the new U.S. government will approach cyber threats | E9 1 007 | CISPA Distinguished Lecture Series | ||||||
2017-02-21 | 11:30 | Timothy H. Edgar | State of the net: Weaponized information, manipulated elections – How can IT security safeguard civil liberties & political independence? | E9 1 007 | Panel Discussion | ||||||
|
| ||||||||||
2017-02-20 | 10:00 | Simina Branzei | Computational fair division and mechanism design | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2017-02-17 | 10:30 | Ali Mashtizadeh | Adventures in Systems Reliability: Replication and Replay | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2017-02-16 | 13:00 | Luca Becchetti | Friend or foe? Population Protocols for Community Sensitive Labeling | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-02-15 | 10:00 | Nadia Polikarpova | Type-Driven Program Synthesis | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2017-02-14 | 13:00 | Vincenzo Bonifaci | On the Convergence Time of a Natural Dynamics for Linear Programming | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-02-08 | 10:00 | Arthur Gervais | On the Security and Scalability of Proof of Work Blockchains | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2017-02-07 | 13:00 | Thorsten Theobald | Some developments in spectrahedral computation | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-02-06 | 10:00 | Dr. Maria Christakis | Guiding program analyzers toward unsafe executions | G26 [KL] 111 | SWS Colloquium | ||||||
2017-02-06 | 15:00 | Sairam Gurajada | Distributed Querying of Large Labeled Graphs | E1 5 0.29 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-02-01 | 12:15 | Shida Beigpour | Inverse Rendering | E1 5 002 | Joint Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2017-01-31 | 13:00 | Jesper Nederlof | Faster Space Efficient Algorithms for Subset Sum and Knapsack | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-01-27 | 11:00 | David P. Woodruff | Sketching as a Tool for Linear Algebra | E1 4 - MPI-INF 019 | Talk | ||||||
|
| ||||||||||
2017-01-26 | 13:00 | Lucas Boczkowski | Minimizing Message Size in Stochastic Communication Patterns: Fast Self-Stabilizing Protocols with 3 bits | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2017-01-24 | 14:15 | Amos Korman | Crazy ants are not so crazy | E2 6 E.04 | Talk | ||||||
|
| ||||||||||
2017-01-23 | 11:00 | James Davenport | The ‘doubly-exponential’ problem in equation/inequality solving | E1 5 002 | Talk | ||||||
|
| ||||||||||
2017-01-20 | 10:00 | Xiaokun Wu | Structure-aware content creation – Detection, retargeting and deformation | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2017-01-11 | 12:15 | Jannik Strötgen | Time for Text Mining and Information Retrieval | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2017-01-09 | 14:00 | Sophie Tourret | Prime Implicates Generation in Equational Logic | E1 5 029 | Talk | ||||||
|
| ||||||||||
2017-01-05 | 13:00 | Daniel Vaz | Beyond Metric Embedding: Approximating Group Steiner Trees on Bounded Treewidth Graphs | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2016-12-20 | 11:30 | Ravi Madhavan | Proving Performance Properties of Higher-order Functions with Memoization | G26 [KL] 112 | SWS Colloquium | ||||||
2016-12-20 | 11:30 | Ravi Madhavan | Proving Performance Properties of Higher-order Functions with Memoization | G26 [KL] 112 | SWS Colloquium | ||||||
2016-12-20 | 13:00 | Prof. Torben Hagerup | On-the-fly array initialization | E1 4 24 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-12-16 | 16:00 | Srinath Sridhar | Tracking Hands in Action for Gesture-based Computer Input | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2016-12-15 | 13:00 | Sebastian Krinninger | Fully dynamic all-pairs shortest paths with worst-case update-time revisited | E1 4 - MPI-INF 024 | AG1 Mittagsseminar (own work) | ||||||
2016-12-15 | 18:00 | Helge Rhodin | From motion capture to interactive virtual worlds | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2016-12-13 | 13:00 | Sandy Heydrich | Faster approximation schemes for the two-dimensional knapsack problem | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-12-08 | 13:00 | Bojana Kodric | Combinatorial Secretary Problems with Ordinal Information | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-12-07 | 12:15 | Hang Zhou | Network Inference: Graph Reconstruction and Verification | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2016-12-06 | 13:00 | Prof. Torben Hagerup | Succinct choice dictionaries | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-12-02 | 17:00 | Bernhard Reinert | Interactive, Example-driven Synthesis and Manipulation of Visual Media | E1 4 019 | Promotionskolloquium | ||||||
| |||||||||||
|
| ||||||||||
2016-11-24 | 13:00 | Gorav Jindal | On Rank of Matrix Spaces | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-11-23 | 13:00 | Johannes Bund | Metastability-Containing Sorting Networks | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-11-22 | 13:00 | D1 | D1 Group Meeting | E1 4 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2016-11-16 | 13:30 | Cornelia Quennet-Thielen | Podiumsdiskussion: Neue Datenräume kreativ nutzen - Open Data für Wissenschaft, Wirtschaft und Gesellschaft ... | E1 5 002 | Meeting | ||||||
|
| ||||||||||
2016-11-15 | 14:00 | Ravi Ramamoorthi | Sampling and Reconstruction of High-Dimensional Visual Appearance | E1 4 019 | Talk | ||||||
|
| ||||||||||
2016-11-14 | 13:00 | Yi-Jun Chang | Energy-efficient Leader Election in Wireless Networks | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2016-11-10 | 13:00 | Emanuele Natale | Find Your Place: Simple Distributed Algorithms for Community Detection | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-11-04 | 11:00 | Albrecht Schmidt | Amplifying the Mind with Digital Tools: Technologies to Enhance Human Perception and Cognition | E1 7 - MMCI 0.01 | Talk | ||||||
2016-11-04 | 12:00 | Myroslav Bachynskyi | Biomechanical Models for Human-Computer Interaction | E1 4 019 | Promotionskolloquium | ||||||
2016-11-04 | 15:00 | Petr KELLNHOFER | Perceptual modelling for stereoscopic 3D | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2016-11-03 | 10:30 | Marco Aiello | Sustaining the Energy Transition: A Role for Computer Science and Complex Networks | G26 [KL] 111 | SWS Colloquium | ||||||
2016-11-03 | 13:00 | Simone Montangero | Extreme simulations for quantum technologies | E1 4 024 | MPI-Kolloquium | ||||||
|
| ||||||||||
2016-11-02 | 12:15 | Viktor Vafeiadis | A Promising Semantics for Relaxed-Memory Concurrency | E1 5 002 | Joint Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2016-10-27 | 18:00 | Johannes Kloos | Heap-based reasoning about asynchronous concurrency | G26 [KL] 111 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2016-10-20 | 14:00 | Prof. Dr. Riccardo Focardi | A Declarative Language for Network Security | E9 1 - CISPA 005, lecture hall | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2016-10-19 | 14:00 | Dr. Roi Poranne | Scalable Locally Injective Mappings | E1 4 019 | AG4 Seminar | ||||||
|
| ||||||||||
2016-10-18 | 13:00 | Jeroen Zuiddam | On the tensor rank of graph tensors | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-10-07 | 11:00 | Leonid Sigal | Semantic Embedding Models for Categorization and Detection | E1 4 019 | AG2 Seminar | ||||||
|
| ||||||||||
2016-10-05 | 12:15 | Markus Bläser | Polynomial Identity Testing | E1 5 002 | Joint Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2016-09-29 | 14:00 | Martin Brain | The Difficulty of Achieving (Abstract) Satisfaction | E1 4 024 | Talk | ||||||
|
| ||||||||||
2016-09-28 | 11:00 | Kasper Hornbaek | On being wrong, solving problems, and sharpening concepts in Human-Computer Interaction | E1 7 - MMCI 001 | Talk | ||||||
|
| ||||||||||
2016-09-23 | 11:00 | Beverly Li | Multi-Authority ABE: Constructions and Applications | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2016-09-21 | 10:00 | Peter Lammich | The Isabelle Refinement Framework | E1 4 024 | Talk | ||||||
|
| ||||||||||
2016-09-20 | 13:00 | XX | NO Noon-Seminar this week | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-09-19 | 09:00 | Kerstin Kathy Meyer-Ross | Presentation Skills | E1 4 024 | Talk | ||||||
2016-09-19 | 13:00 | John Augustine | Robust and Efficient Computation in Dynamic Networks with Heavy Churn | E1 5 029 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-09-16 | 15:03 | Kasper Hornbaek | On being wrong, solving problems, and sharpening concepts in Human-Computer Interaction | E1 7 - MMCI 0.01 | Talk | ||||||
2016-09-16 | 11:00 | Alexander Steen | Leo-III - Paramodulation-Based Reasoning in HOL | E1 5 630 | Talk | ||||||
2016-09-16 | 11:00 | Prof. Robert E. Tarjan | Concurrent Disjoint Set Union | E1 3 - Hörsaal Gebäude 002 | Talk | ||||||
2016-09-16 | 14:00 | Sebastian Schuon | From Researcher to CTO to Exit | E1 5 002 | Talk | ||||||
|
| ||||||||||
2016-09-15 | 13:00 | XX | NO Noon Seminar this week | E1 4 r024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-09-13 | 10:30 | Ruediger Ehlers | Useful but ugly games | G26 [KL] 112 | SWS Colloquium | ||||||
|
| ||||||||||
2016-09-06 | 17:30 | Paarijaat Aditya | Towards Privacy-Compliant Mobile Computing | E1 5 005 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2016-09-02 | 11:00 | Utkarsh Upadhyay | Dynamics of Crowdlearning and Value of Knowledge | G26 [KL] 517 | SWS Student Defense Talks - Qualifying Exam | ||||||
| |||||||||||
|
| ||||||||||
2016-08-24 | 14:00 | Fabian Kosmale | Master thesis proposal talk: graphs and parallel algorithms | E1 4 333 (D1 rotunda) | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-08-19 | 11:00 | Prof. Henry Lieberman | Sitting on the Edge of the Closed World Assumption | E1 4 0.24 | Colloquium Lecture | ||||||
2016-08-19 | 16:00 | Niket Tandon | Commonsense Knowledge Acquisition and Applications | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2016-08-18 | 13:00 | Martin Hoefer | Computing Equilibria in Markets with Budget-Additive Utilities | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-08-16 | 13:00 | Davis Issac | On the Parameterized Complexity of Biclique Cover and Partititon | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-08-15 | 10:30 | Damien Zufferey | Domain Specific Languages for Verified Software | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2016-08-12 | 15:00 | Goetz Graefe | New algorithms for map-reduce as well as SQL join and group-by | E1 4 024 | MPI-Kolloquium | ||||||
|
| ||||||||||
2016-08-11 | 13:00 | Christian Ikenmeyer | No occurrence obstructions in geometric complexity theory | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-08-10 | 10:30 | Geoffrey Nelissen | Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2016-08-05 | 10:30 | Chandu Thekkath | An overview of MSR-I | E1 5 002 | SWS Distinguished Lecture Series | ||||||
2016-08-05 | 11:00 | Laci Babai | The Graph Isomorphism Problem, CANCELLED | E1 4 024 | INF Distinguished Lecture Series | ||||||
2016-08-05 | 11:45 | Laci Babai | The Graph Isomorphism Problem, CANCELLED | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2016-08-04 | 13:00 | Karl Bringmann | Improved Pseudopolynomial Time Algorithms for Subset Sum | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-08-03 | 11:00 | Benjamin Doerr | The discrepancy of jittered sampling | E1 4 024 | Talk | ||||||
2016-08-03 | 13:00 | Marvin Künnemann | Tight(er) Bounds for Similarity Measures, Smoothed Approximation and Broadcasting | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2016-08-02 | 11:00 | Prof. Karin Verspoor | Function and Phenotype Prediction through Data and Knowledge Fusion | E1 4 024 | MPI-Kolloquium | ||||||
2016-08-02 | 13:00 | Cornelius Brand | Fine-grained dichotomies for the Tutte plane and Boolean #CSP | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-08-01 | 13:45 | Prof. Tim Baldwin | Adventures in Representation Learning Land for Natural Language Processing | E1 4 024 | MPI-Kolloquium | ||||||
2016-08-01 | 15:00 | Michael Dorr | Smooth pursuit eye movement classification for clinical diagnosis and everyday applications | E1 4 024 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2016-07-28 | 13:00 | Daniel Vaz | New Integrality Gap Results for the Firefighters Problem on Trees | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-07-27 | 11:00 | Marijn J.H. Heule | Everything’s Bigger in Texas: The Largest Math Proof Ever | E1 4 024 | Talk | ||||||
|
| ||||||||||
2016-07-26 | 13:00 | Zvi Lotker | Social Networks and Plays | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-07-25 | 10:30 | Daniel Neider | Learning-Based Synthesis | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2016-07-22 | 11:00 | Prof. Wim Deferme | New Prospects for Ubiquitous Computing: Smart materials meet interactive computing | E1 7 - MMCI 0.01 | Talk | ||||||
2016-07-22 | 14:00 | Suresh Venkatasubramanian | Algorithmic fairness: a mathematical perspective | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2016-07-21 | 13:00 | Davis Issac | Hadwiger's Conjecture and Squares of Chordal Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2016-07-21 | 13:30 | Damon McCoy | Framing Dependencies Introduced by Underground Commoditization | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2016-07-19 | 10:00 | Wolfgang Gatterbauer | Approximate lifted inference with probabilistic databases | E1 4 024 | Talk | ||||||
2016-07-19 | 13:00 | Andreas Wiese | On approximating strip packing with a better ratio than 3/2 | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-07-14 | 10:00 | Nikhil Bansal | Algorithmic Methods in Combinatorial Discrepancy | E1 4 024 | INF Distinguished Lecture Series | ||||||
|
| ||||||||||
2016-07-13 | 14:15 | Stefanie Mueller | Interacting with Personal Fabrication Machines | E1 3 - Hörsaal Gebäude Lecture Hall 001 | Talk | ||||||
|
| ||||||||||
2016-07-12 | 13:00 | Giorgos Christodoulou | Designing Networks with Good Equilibria under Uncertainty | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2016-07-12 | 14:00 | Emanuel Laude | Sublabel Accurate Relaxation of Nonconvex Energies arising in Computer Vision Problems | E1 4 633 | Talk | ||||||
|
| ||||||||||
2016-07-11 | 11:00 | Omar Alonso | The practice of acquiring good labels | E1 4 0.24 | Talk | ||||||
2016-07-11 | 12:00 | Cuong Xuan Chu | Mining How-To Activity Commonsense Knowledge from the Web | E1 4 r024 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2016-07-07 | 13:00 | Marvin Künnemann | Improved Protocols and Hardness Results for the Two-Player Cryptogenography Problem | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-07-06 | 12:15 | Maria Staudte | When Eye Talk to You: Exploiting Eye-gaze in Spoken Communication | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2016-07-05 | 11:00 | Prof. Mirek Riedewald | Exploratory Analysis with Imprecise Queries | E1 4 0.24 | MPI-Kolloquium | ||||||
2016-07-05 | 13:00 | Michael Sagraloff | On Recent Progress in Solving Polynomial Equations - Part II | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-07-04 | 09:30 | Sebastian Ott | Algorithms for Classical and Modern Scheduling Problems | E1 4 024 | Promotionskolloquium | ||||||
2016-07-04 | 12:00 | Shreeraman Ponpathirkoottam | Visual Computing for Industry 4.0 | E1 4 R024 | IMPRS Research Seminar | ||||||
| |||||||||||
|
| ||||||||||
2016-06-30 | 13:00 | Bundit Laekhanukit | Approximating Survivable Network Design via Rounding-by-Tree-Embedding | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-06-28 | 13:00 | John Lapinskas | Graphs on which evolution is more effective | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-06-27 | 12:00 | Mahesh Chandra | Stochastic Optimization Methods for Deep Learning | E1 4 R024 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2016-06-23 | 11:00 | Dennis Hofheinz | Cryptographic building blocks | E9 1 - CISPA Lecture Hall | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2016-06-21 | 13:00 | Michael Sagraloff | On Recent Progress in Solving Polynomial Equations - Part 1 | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-06-20 | 10:00 | Raoman Rädle | Cross-Device Interactions and Enabling Technology | E1 7 - MMCI 2.23 | Talk | ||||||
2016-06-20 | 10:30 | Christoph Haase | Algorithms for the Quantitative Analysis of Infinite-State Systems | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2016-06-16 | 13:00 | Alantha Newman | The Alternating Stock Size Problem and the Gasoline Puzzle | E1 4 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2016-06-15 | 19:00 | Prof. Dr. Gerhard Weikum | Was Computer wissen, lesen und verstehen | E2 2 - Günter-Hotz-Hörsaal Günter-Hotz-Hörsaal | Public Lecture | ||||||
|
| ||||||||||
2016-06-14 | 13:00 | Michał Pilipczuk | Lower Bounds for Approximation Schemes for Closest String | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2016-06-14 | 14:00 | Alexander Schütz | Weighting of information across eye movements | E1 4 024 | Talk | ||||||
2016-06-14 | 14:00 | Timo Bolkart | Dynamic and Groupwise Statistical Analysis of 3D Faces | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2016-06-10 | 11:00 | Dieter Schmalstieg | Authoring and Visualization Technologies for Augmented Reality Experiences | E1 4 019 | Talk | ||||||
2016-06-10 | 14:00 | Dr. Timo Kötzing | Black-Box Optimization under Uncertainty | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2016-06-09 | 10:30 | Dr. Ashish Goel | Decision making at scale: Algorithms, Mechanisms, and Platforms | E1 5 002 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2016-06-07 | 11:00 | Julia Chuzhoy | Approximation Algorithms for Graph Routing Problems | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2016-06-06 | 11:15 | Themis Palpanas | Data Series Management: The Road to Big Sequence Analytics | E1 4 024 | Talk | ||||||
|
| ||||||||||
2016-06-03 | 13:00 | Daniel Vaz | Fractional Coloring and Maximum Independent Set | E1 4 333 (Rotunda) | Probevortrag | ||||||
|
| ||||||||||
2016-06-02 | 13:00 | Thomas Kesselheim | Secretary Problems with Non-Uniform Arrival Order | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-06-01 | 12:15 | Markus Steinberger | Dynamic Scheduling for High-Performance Procedural Generation on the GPU | E1 5 002 | Joint Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2016-05-31 | 16:00 | Leonid Pishchulin | Articulated People Detection and Pose Estimation in Challenging Real World Environments | E1 4 021 | Promotionskolloquium | ||||||
|
| ||||||||||
2016-05-30 | 12:00 | n/a | NO IMPRS Research Seminar on Monday, May 30th | E1 4 R024 | IMPRS Research Seminar | ||||||
2016-05-30 | 16:00 | Cheng Li | Building Fast and Consistent (Geo-)Replicated Systems: From Principles to Practice | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2016-05-27 | 10:30 | Cecilia Mascolo | Truly Continuous Mobile Sensing for Behaviour Modelling | G26 [KL] 111 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2016-05-23 | 14:00 | Christoph Lenzen | ERC prep talk | E1 4 021 | Miscellaneous | ||||||
|
| ||||||||||
2016-05-19 | 13:00 | Pascal Lenzner | Selfish Network Creation: Structure, Locality & Robustness | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-05-04 | 12:15 | Derek Dreyer | RustBelt: Logical Foundations for the Future of Safe Systems Programming | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2016-05-03 | 10:00 | Torsten Sattler | Large-Scale Camera Pose Voting and the Geometric Burstiness Problem | E1 4 633 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2016-04-28 | 09:00 | Bimal Viswanath | Towards Trustworthy Social Computing Systems | E1 5 002 | SWS Student Defense Talks - Thesis Defense | ||||||
2016-04-28 | 13:00 | Andreas Wiese | Independent set of convex polygons: from n^eps to 1+eps via shrinking | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2016-04-28 | 14:00 | Nikhil Swamy | F*: A tool for programming and proving | E9 1 - CISPA Lecture Hall | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2016-04-26 | 13:00 | Cosmina Croitoru | Bipartite Digraphs Debates | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-04-21 | 13:00 | Martin Hoefer | Efficient Algorithms for Unknown Markets | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2016-04-21 | 14:30 | Andreas Krause | From Proteins to Robots: Learning to Optimize with Confidence | E1 4 024 | INF Distinguished Lecture Series | ||||||
|
| ||||||||||
2016-04-20 | 13:00 | Ulfar Erlingsson | Data-driven Software security: Motivation and Methods | E1 5 002 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2016-04-15 | 10:00 | Mohamed Yahya | Question Answering and Query Processing for Extended Knowledge Graphs | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2016-04-14 | 10:30 | Dina Papagiannaki | Telco Innovation at Home | E1 5 002 | SWS Distinguished Lecture Series | ||||||
2016-04-14 | 13:00 | Thatchaphol Saranurak | A new proof of static optimality for splay tree | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2016-04-14 | 13:30 | Martin Rolfs | Attention in active vision | E1 4 021 | Talk | ||||||
2016-04-14 | 14:30 | Volker Tresp | Learning with Memory Embeddings | E1 4 024 | Talk | ||||||
2016-04-14 | 16:00 | Christina Teflioudi | Algorithms for Shared-Memory Matrix Completion and Maximum Inner Product Search | E1 4 0.24 | Promotionskolloquium | ||||||
|
| ||||||||||
2016-04-13 | 14:00 | David Swasey | Formalizing object capabilities | E1 5 029 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2016-04-12 | 13:00 | Paresh Nakhe | Exploiting structure in multi-armed bandits | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-04-11 | 10:30 | Manos Kapritsos | Sustainable Reliability for Distributed Systems | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2016-04-07 | 13:00 | Daniel Vaz | Fast Algorithms for Approximating Group Steiner Tree | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-04-06 | 12:15 | Renjie Chen | Low Distortion Geometry Modelling | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2016-04-05 | 13:00 | Syamantak Das | Scheudling with Outliers to Minimize Load and Flow-time | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2016-03-31 | 10:30 | Andreas Haeberlen | Accountability for Distributed Systems | G26 [KL] 111 | SWS Colloquium | ||||||
2016-03-31 | 11:00 | Maya Ramanath | Tracking the Conductance of Rapidly Evolving Topic-Subgraphs | E1 4 024 | AG5 Talk | ||||||
2016-03-31 | 13:00 | Maximilian John | A New SDP Relaxation for the Quadratic Assignment Problem | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-03-30 | 14:00 | Amir Vaxman | Directional Field Synthesis, Design, and Processing | E1 4 019 | AG4 Talk | ||||||
|
| ||||||||||
2016-03-29 | 10:30 | Aaron Schulman | Why applications are still draining our batteries, and how we can help | G26 [KL] 111 | SWS Colloquium | ||||||
2016-03-29 | 13:00 | Pavel Kolev | A Note on Spectral Clustering | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-03-24 | 14:00 | Boris Schauerte | Attention and Gaze Estimation for Intelligent Systems | E1 4 024 | Talk | ||||||
|
| ||||||||||
2016-03-23 | 10:30 | Arunesh Sinha | What's in a Game? An intelligent and adaptive approach to security | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2016-03-22 | 13:00 | Caigui Jiang | Geometry rationalization for freeform architecture | E1 4 019 | AG4 Talk | ||||||
2016-03-22 | 13:00 | Davis Issac | Biclique Optimization Problems | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-03-21 | 10:30 | Arjun Radhakrishna | Performance-aware Repair for Concurrent Programs | G26 [KL] 111 | SWS Colloquium | ||||||
2016-03-21 | 14:00 | Istemi Ekin Akkus | Towards a Non-Tracking Web | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2016-03-17 | 10:30 | Chenhao Tan | Online social interactions: a lens on humans and a world for humans | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2016-03-15 | 13:00 | Alexander Kobel | Computing Real Roots of a Real Polynomial ... and now for Real | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-03-14 | 10:30 | Dave Levin | Securing the Internet by Proving the Impossible | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2016-03-10 | 10:30 | Baris Kasikci | Stamping Out Concurrency Bugs | G26 [KL] 111 | SWS Colloquium | ||||||
2016-03-10 | 11:00 | Prof. Jennifer Neville | Learning in networks: How to exploit relationships to improve predictions | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
2016-03-10 | 14:00 | Steve Kremer | Automated verification of equivalence properties forcryptographic protocols | E9 1 - CISPA Lecture Hall, ground floor | CISPA Distinguished Lecture Series | ||||||
2016-03-10 | 15:30 | Zilong Wang | Algorithms and Tools for Verification and Testing of Asynchronous Programs | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2016-03-08 | 13:00 | Michael Dirnberger | NEFI: Network Extraction From Images | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-03-07 | 10:30 | Robert West | Human Behavior in Networks | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2016-03-04 | 13:00 | Guy Even | Network-on-Chips: offline and online methodologies | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2016-03-03 | 13:00 | Aruni Choudhary | Approximating Rips using Permutohedra | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-03-02 | 16:00 | Kurt Mehlhorn | Hollow Heaps (Hansen, Kaplan, Tarjan, Zwick) | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2016-03-01 | 13:00 | Andreas Schmid | Match-And-Merge: A New Greedy Framework for Maximum Planar Subgraphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2016-02-26 | 09:00 | Krzysztof Templin | Depth, Shading, and Stylization in Stereoscopic Cinematography | E1 4 0.19 | Promotionskolloquium | ||||||
|
| ||||||||||
2016-02-25 | 13:00 | Marvin Künnemann | The (multivariate) fine-grained complexity of Longest Common Subsequence | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2016-02-25 | 16:15 | Marie-Francoise Roy | Effectivity Issues and Results for Hilbert's 17th Problem | E1 4 024 | Talk | ||||||
|
| ||||||||||
2016-02-24 | 15:00 | Samir Khuller | Capacitated Covering, Scheduling to Minimize Energy and Min Edge CostFlows -a natural convergence | E1 4 024 | MPI-Kolloquium | ||||||
|
| ||||||||||
2016-02-23 | 13:00 | Sam McCauley | Cache-Adaptive Analysis | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-02-22 | 10:30 | Catalin Hritcu | Efficient Formally Secure Compilers to a Tagged Architecture | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2016-02-18 | 13:00 | Attila Kinali | Fault-tolerant clock synchronization in hardware | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-02-16 | 13:00 | Pascal Schweitzer | The Graph Isomorphism problem: techniques from structural graph theory and canonical decompositions | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-02-15 | 10:30 | Linh Thi Xuan Phan | Timing Guarantees for Cyber-Physical Systems | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2016-02-12 | 16:00 | Oliver Klehm | User-Guided Scene Stylization using Efficient Rendering Techniques | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2016-02-11 | 13:00 | Stephan Friedrichs | Metastability-Containing Arithmetic | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-02-09 | 13:00 | Sebastian Krinninger | Approximate Shortest Paths via Hop Sets: Distributed and Dynamic Algorithms | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2016-02-09 | 15:30 | Reinhard Munz | ANON: Practical Privacy Preserving Data Analytics | G26 [KL] 111 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2016-02-04 | 13:00 | Bojana Kodric | Price of Anarchy for Mechanisms with Admission | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-02-03 | 12:15 | Vera Demberg | Computational Modelling of Human Language Comprehension | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2016-02-02 | 11:00 | Oskar ELEK | Efficient Methods for Physically-based Rendering of Participating Media | E1 4 019 | Promotionskolloquium | ||||||
2016-02-02 | 13:00 | Sandy Heydrich | Improvements in online bin packing | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2016-02-01 | 12:05 | Jón Arnar Tomasson | PDE based image compression | E1 4 024 | IMPRS Research Seminar | ||||||
2016-02-01 | 14:00 | Youngkyoon Yang | Hand Gesture-based User Interface in Ubiquitous Virtual Reality | E1 4 019 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2016-01-28 | 13:00 | Omar Darwish | Master Seminar: Computing Balanced Flows via Parametric Flows | E1 4 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2016-01-26 | 13:00 | D1 | Group Meeting D1 | E1 4 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2016-01-25 | 12:05 | Maxat Nukhayev | Arrakis: The Operating System In The Control Plane | E1 4 024 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2016-01-22 | 11:00 | Prof. Justin Zobel | A Measure of Mismeasures | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2016-01-16 | 13:00 | Alantha Newman | The Alternating Stock Size Problem and the Gasoline Puzzle | E1 4 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2016-01-13 | 12:15 | Erik Jan van Leeuwen | Parameterized Algorithms and the Structure of Networks | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2016-01-11 | 11:00 | Zhaochun Ren | Time-aware Multi-Viewpoint Summarization of Multilingual Social Text Streams | E1 4 Rotunda - 433 | AG5 Talk | ||||||
2016-01-11 | 16:15 | Luciano Del Corro | Methods for Open Information Extraction and Sense Disambiguation on Natural Language Text | E1 5 029 | Promotionskolloquium | ||||||
|
| ||||||||||
2016-01-06 | 13:00 | Jacques-Henri Jourdan | Verasco, a formally verified C static analyzer | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2016-01-05 | 10:30 | Amir Aminifar | 'Embedded Control Systems --- From Theory to Implementation' | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2016-01-04 | 12:05 | Michaël Noël Divo | Proof Assistant and Formalization of "Types and Programming Languages" with Isabelle HOL | E1 4 024 | IMPRS Research Seminar | ||||||
| |||||||||||
|
| ||||||||||
2015-12-21 | 11:00 | Jing Han | Representation of Piecewise Biharmonic Surfaces Using Biquadratic and Bicubic B-splines | E1 4 019 | AG4 Talk | ||||||
2015-12-21 | 15:00 | Bojan Pepikj | Richer Object Representations for Object Class Detection in Challenging Real-World Images | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2015-12-18 | 11:00 | Charalampos Papamanthou | Trustworthy Computing with Untrusted Resources | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
2015-12-18 | 15:00 | Zhongjie WANG | Pattern Search for Visualization | E1 4 0.19 | Promotionskolloquium | ||||||
|
| ||||||||||
2015-12-17 | 13:00 | Scott Owens | The CakeML verified compiler | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2015-12-16 | 10:30 | Kathy Gray | Rigorous Acrchitectural Modelling for Production Multiprocessors | E1 5 029 | SWS Colloquium | ||||||
2015-12-16 | 14:00 | Tobias Günther | Opacity Optimization and Inertial Particles in Flow Visualization | E1 4 019 | AG4 Talk | ||||||
|
| ||||||||||
2015-12-15 | 10:30 | Robbert Krebbers | The C standard formalized in Coq | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2015-12-14 | 12:00 | Akram El-Korashy | Language-Based Information-Flow Security | E1 4 024 | IMPRS Research Seminar | ||||||
2015-12-14 | 16:00 | John Wilmes | The Isomorphism Problem for Highly Regular Combinatorial Objects | E1 4 024 | Talk | ||||||
|
| ||||||||||
2015-12-11 | 15:00 | Mohamed Amir Yosef | U-AIDA: A Customizable System for Named Entity Recognition, Classification, and Disambiguation | E1 5 0.29 | Promotionskolloquium | ||||||
|
| ||||||||||
2015-12-10 | 10:00 | Simon Olberding | Fabricating Custom-Shaped Thin-Film Interactive Surfaces | E1 7 - MMCI 0.01 | Promotionskolloquium | ||||||
|
| ||||||||||
2015-12-09 | 10:00 | Ahmed ELHAYEK | Marker-less Motion Capture in General Scenes with Sparse Multi-camera Setups | E1 4 019 | Promotionskolloquium | ||||||
|
| ||||||||||
2015-12-08 | 10:30 | Aritra Dhar | CLOTHO: Saving Programs from Malformed Strings and Incorrect String-Handling | E1 5 029 | SWS Colloquium | ||||||
2015-12-08 | 13:00 | Ruben Becker | A Novel Dual Ascent Algorithm for Solving the Min-Cost Flow Problem | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-12-07 | 12:05 | Gerhard Weikum | Good Scientific Practice | E1 4 024 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2015-12-02 | 12:15 | Krishna Gummadi | Fairness and Transparency in Data-Driven Decision Making Systems | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2015-12-01 | 13:00 | Erik Jan van Leeuwen | Independent Set on H-free Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2015-11-26 | 10:30 | Dr. Marco Caccamo | Impact of Multicore on Cyber-Physical Systems: challenges andsolutions | E1 5 002 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-11-24 | 13:00 | Vladimir Shikhman | Computation of Fisher-Gale equilibrium by auction | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-11-23 | 12:05 | Hosnieh Sattar | Prediction of search targets from fixations in open-world settings | E1 4 024 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2015-11-19 | 10:30 | Dr. Suresh Jagannathan | Declarative Programming for Eventual Consistency | G26 [KL] 111 | SWS Colloquium | ||||||
2015-11-19 | 13:00 | Stephan Friedrichs | Parallel Metric Tree Embedding based on an Algebraic View on Moore-Bellman-Ford | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-11-16 | 12:05 | Yusra Ibrahim | Making Sense of Web Tables | E1 4 024 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2015-11-11 | 12:15 | Parinya Chalermsook | Binary Search Trees, Precognition, and Patterns | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2015-11-09 | 12:05 | Kashyap Popat | Exploring new feature space for Sentiment Analysis | E1 4 024 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2015-11-05 | 13:00 | Claire Mathieu | Analyzing the forest fire model | E2.1 Center for Bioinformatics 01 | MPI Colloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2015-11-03 | 13:00 | D! | D1 Group Meeting | E1 4 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2015-11-02 | 12:05 | Sreyasi Nag Chowdhury | Why is Commonsense not so common? | E1 4 024 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2015-11-01 | 09:00 | Launch a Startup in 54 Hours! | Startup Weekend SouthWest (3-Day Event) | Campus A3 3 (Aula) Ground Floor | Miscellaneous | ||||||
| |||||||||||
|
| ||||||||||
2015-10-31 | 09:00 | Launch a Startup in 54 Hours! | Startup Weekend SouthWest (3-Day Event) | Campus A3 3 (Aula) Ground Floor | Miscellaneous | ||||||
|
| ||||||||||
2015-10-30 | 13:00 | Joel Ouaknine | Decision Problems for Linear Dynamical Systems | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
2015-10-30 | 15:00 | Soham Chakraborty | Validating Optimizations of Concurrent C/C++ Programs | G26 [KL] 111 | SWS Student Defense Talks - Qualifying Exam | ||||||
2015-10-30 | 18:30 | Launch a Startup in 54 Hours! | Startup Weekend SouthWest (3-Day Event) | Campus A3 3 (Aula) Ground Floor | Miscellaneous | ||||||
|
| ||||||||||
2015-10-26 | 09:00 | Akshita | Multimodal Affective Feedback: Role of Haptics | E1 4 024 | PhD Application Talk | ||||||
2015-10-26 | 09:00 | Alan Schoen | Updating Artificial Neural Networks: Translating Recent Discoveries about the Electrophysiology of Neurons into the Language of Computation | E1 4 024 | PhD Application Talk | ||||||
2015-10-26 | 09:00 | Pedro Ascensão Ferreira Matias | Non-Preemptive Speed Scaling and Parallel Machine Scheduling with Job Restrictions | E1 4 024 | PhD Application Talk | ||||||
2015-10-26 | 09:00 | Sherif Mohamed Hany Abdelalim Helmy Shehata | Using Mid- and High-Level Visual Features for Surgical Workflow Detection in Cholecystectomy Procedures | E1 4 024 | PhD Application Talk | ||||||
2015-10-26 | 09:00 | Yanjie Wang | Explorations of the PATH Algorithm for Graph Matching | E1 4 024 | PhD Application Talk | ||||||
2015-10-26 | 10:20 | Dilip Ariyur Durai | Optimising de novo transcriptome assembly | E1 4 024 | PhD Application Talk | ||||||
2015-10-26 | 11:20 | Adrián Rebola Pardo | Unsatisfiability Proofs for Parity Reasoning in SAT | E1 4 024 | PhD Application Talk | ||||||
2015-10-26 | 11:20 | Kailash Budhathoki | Correlation by Compression | E1 4 024 | PhD Application Talk | ||||||
2015-10-26 | 11:20 | Madhumita | Recognizing Textual Entailment | E1 4 024 | PhD Application Talk | ||||||
2015-10-26 | 11:20 | Panagiotis Mandros | Information-Theoretic Feature Selection for Continuous Data | E1 4 024 | PhD Application Talk | ||||||
|
| ||||||||||
2015-10-23 | 10:00 | Dima Damen | The lifetime of an object – long-term monitoring of objects | E1 4 633 (sixth floor rotunda) | Talk | ||||||
|
| ||||||||||
2015-10-22 | 10:30 | Salvatore Ruggieri | Discrimination Data Analysis | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2015-10-20 | 13:30 | Pontus Ekberg | Complexity of the Scheduling Problem for Periodic Real-Time Tasks | G26 [KL] 113 | SWS Colloquium | ||||||
2015-10-20 | 14:00 | Arpan Gujarati | When is CAN the Weakest Link? A Bound on Failures-In-Time in CAN-Based Real-Time Systems | G26 [KL] 111 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2015-10-16 | 12:00 | Alexander Wieder | Spin Locks in Real-Time Systems | G26 [KL] 113 | SWS Student Defense Talks - Thesis Proposal | ||||||
2015-10-16 | 13:00 | Marko Doko | FSL: A Program Logic for C11 Memory Fences | G26 [KL] 111 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2015-10-15 | 13:00 | Pankaj Khanchandani | Accurate and Robust Clock Synchronization | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-10-08 | 13:00 | Hang Zhou | Correlation Clustering and Two-edge-connected Augmentation for Planar Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-10-07 | 12:15 | Roland Angst | Challenges in Image-Based 3D Reconstructions | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
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 |