Previous Page | Next Page | Expand All | Collapse All
Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
|
| ||||||||||
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 | ||||||
| |||||||||||
|
| ||||||||||
2015-08-25 | 13:00 | Davis Issac | Online Sampling with Minimal Randomness | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-08-18 | 13:00 | Ralf Jung | Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning | E1 5 029 | SWS Student Defense Talks - Qualifying Exam | ||||||
|
| ||||||||||
2015-08-13 | 13:00 | Andreas Wiese | On guillotine cutting sequences | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-08-12 | 13:00 | Christoph Lenzen | ERC prep talk | E1 4 024 | Talk | ||||||
|
| ||||||||||
2015-08-11 | 13:00 | Paul Dütting | Algorithms as Mechanisms: The Price of Anarchy of Relax-and-Round | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-08-06 | 13:00 | Andreas Wiese | How to tame rectangles | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-08-05 | 12:15 | Piotr Didyk | Perceptually-driven Inputs for New Output Devices | E1 5 002 | Joint Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2015-07-30 | 10:30 | Alexandre Chapiro | Perceptual Enhancements for 3D Displays | E1 4 019 | AG4 Talk | ||||||
|
| ||||||||||
2015-07-29 | 14:00 | Jiri Filip | Anisotropic Material Appearance: Acquisition and Modelling | E1 4 019 | Talk | ||||||
|
| ||||||||||
2015-07-28 | 13:00 | Lila Fontes | Trading Privacy for Communication | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-07-23 | 13:00 | Thatchaphol Saranurak | Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-07-22 | 14:00 | Gregor Snelting | A New Algorithm For Probabilistic Noninterference | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-07-16 | 13:00 | Keerti Choudhary | Fault Tolerant Reachability Subgraph : Generic and Optimal | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-07-14 | 13:00 | Shahbaz Khan | Dynamic DFS Tree in Undirected Graphs: breaking the O(m) barrier | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2015-07-14 | 14:15 | Andreas Lochbihler | Making the Java memory model safe | E1 5 002 | Talk | ||||||
|
| ||||||||||
2015-07-10 | 11:00 | Patrick McDaniel | Six Years of Mobile Smartphone Security | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-07-09 | 10:00 | Yafang Wang | Research after MPI | E1 4 433 | AG5 Talk | ||||||
2015-07-09 | 13:00 | Shay Moran | Sample compression schemes for VC classes | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2015-07-09 | 14:00 | Jay Pujara | Probabilistic Soft Logic | E1 4 433 | AG5 Talk | ||||||
|
| ||||||||||
2015-07-08 | 16:15 | Manfred Warmuth | The blessing and the curse of the multiplicative updates; the talk discusses connections between evolution and the multiplicative updates of online learning) | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ||||||
|
| ||||||||||
2015-07-03 | 09:30 | Ali Pourmiri | PhD Thesis Defense | MMCI 001 | Promotionskolloquium | ||||||
|
| ||||||||||
2015-07-02 | 13:00 | Mabel Iglesias-Ham | Multiple Covers with Balls: Inclusion-Exclusion | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-07-01 | 12:15 | Christoph Lenzen | Fast Approximate Max Flow Computation | E1 5 002 | Joint Lecture Series | ||||||
| |||||||||||
|
| ||||||||||
2015-06-30 | 13:00 | Sayan Bhattacharya | Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-06-29 | 13:00 | Brittany Terese Fasy | Comparing Road Networks: An Application of TDA | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-06-26 | 10:30 | Dr. Arne Hamann | ''Timing-Aware Control Software Design for Automotive Systems'' | G26 [KL] 112 | SWS Colloquium | ||||||
|
| ||||||||||
2015-06-24 | 13:00 | Muhammad Bilal Zafar | On Leveraging the Wisdom of Crowdsourced Experts | E1 5 029 | SWS Student Defense Talks - Qualifying Exam | ||||||
2015-06-24 | 13:00 | Pedro Fonseca | Effective Testing for Concurrency Bugs | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2015-06-23 | 11:00 | Dr. Jannik Stroetgen | Event-centric Information Retrieval | E1 4 533 | AG5 Talk | ||||||
|
| ||||||||||
2015-06-22 | 09:00 | Chuong H. Nguyen | Data-driven Approaches for Interactive Appearance Editing | E1 4 019 | Promotionskolloquium | ||||||
2015-06-22 | 11:00 | Dr. Rishiraj Saha Roy | Unsupervised Query Segmentation: Algorithms and Evaluation | E1 4 533 | AG5 Talk | ||||||
|
| ||||||||||
2015-06-19 | 15:00 | Adrian Neumann | PhD Thesis Defense | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-06-17 | 10:00 | Herbert Bos | 50 Shades of CRE (Code Reuse Exploits) | E1 5 002 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-06-16 | 13:00 | Ragesh Jaiswal | Faster Algorithms for the Constrained k-means Problem | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-06-15 | 12:05 | Luis Enrique Ramirez Chavez | Multi-Objective Evolutionary Algorithms for Bioinformatics | E1 4 024 | IMPRS Research Seminar | ||||||
|
| ||||||||||
2015-06-11 | 13:00 | Andreas Wiese | On Approximating Storage Allocation Problems as Good as Their Siblings | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-06-09 | 11:00 | Clemens Birklbauer and David Schedl | Wide-field-of-view light-field processing and coded sampling | E1 4 019 | AG4 Talk | ||||||
2015-06-09 | 13:00 | Amit Kumar | Greedy Algorithms for Steiner Forest | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-06-03 | 12:15 | Deepak Garg | Types for Incremental Computational Complexity | E1 5 002 | Joint Lecture Series | ||||||
2015-06-03 | 14:00 | Nigel Smart | Computing on Encrypted Data | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-06-02 | 13:00 | Christoph Lenzen | Fast Approximate Max Flow Computation | E1 4 024 | Probevortrag | ||||||
| |||||||||||
|
| ||||||||||
2015-05-28 | 13:00 | Dr. Sergey Polyakovskiy | Packing While Traveling | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-05-26 | 13:00 | Navid Talebanfard | The Strong Exponential Time Hypothesis for Structured Algorithms through Games and the Multiplicity of Strategies | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-05-21 | 14:00 | Markus Steinberger | Dynamic Task-based GPU Scheduling | E1 4 0.19 | AG4 Talk | ||||||
|
| ||||||||||
2015-05-19 | 13:00 | Vitaliy Kurlin | Homologically Persistent Skeleton in Computer Vision and beyond | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-05-15 | 13:00 | Prof. Frank Neumann | On the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan Scheduling | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-05-11 | 10:00 | Abhishek Sharma | Joint Co-localisation and Co-segmentation | E1 4 633 | Talk | ||||||
|
| ||||||||||
2015-05-08 | 18:00 | Three-Day Workshop | Startup Weekend Saarbrücken (May 8-10, 2015) | A3 3 - Aula Universität ground floor | Miscellaneous | ||||||
|
| ||||||||||
2015-05-07 | 13:00 | Bundit Laekhanukit | Parameters of Two-Prover-One-Round Game and The Hardness of Connectivity Problems | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-05-06 | 12:15 | Andreas Keller | Detecting Microbial Resistance Against Antibiotics | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2015-05-05 | 13:00 | D! | D1 Group Meeting, Preparation of SAB-Visit | E1 4 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2015-05-04 | 09:15 | Azin Ghazimatin | Team Selection for Prediction Tasks | E1 4 024 | PhD Application Talk | ||||||
2015-05-04 | 09:15 | Mohamed Gad-Elrab | Adapting Named Entity Disambiguation for Arabic Text | E1 4 024 | PhD Application Talk | ||||||
2015-05-04 | 09:15 | Nesma El Kalaawy | A Reaction-Diffusion Master Equation-Based Method for the Modeling and Simulation of Biochemical Pathways | E1 4 024 | PhD Application Talk | ||||||
2015-05-04 | 11:00 | Hyunyoung Kim | Gesture-Recognition Interface with Keyboard Embedded IR Modules | E1 4 024 | PhD Application Talk | ||||||
2015-05-04 | 11:00 | Mehdi Noroozi | Indoor Scene 3D Layout and Clutter Estimation from RGBD Images | E1 4 024 | PhD Application Talk | ||||||
| |||||||||||
|
| ||||||||||
2015-04-30 | 14:00 | Boris Köpf | Rational Protection Against Timing Attacks | E1 5 002 | Talk | ||||||
|
| ||||||||||
2015-04-29 | 16:00 | Christian Holler | Security Testing at Mozilla | E1 5 Lecture hall | Talk | ||||||
|
| ||||||||||
2015-04-28 | 10:00 | Philipp Krähenbühl | Learning to propose objects | E1 4 633 | Talk | ||||||
2015-04-28 | 15:00 | Wolfgang Heidrich | Unconventional Uses for Time-of-Flight Cameras - Transient Imaging and Beyond | E1 4 019 | Talk | ||||||
|
| ||||||||||
2015-04-22 | 14:00 | Vamsi Kiran Adhikarla | Light Field Rendering and Interaction | E1 4 019 | Talk | ||||||
|
| ||||||||||
2015-04-21 | 13:00 | Benjamin Doerr | Randomized Rumor Spreading Revisited | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-04-20 | 10:00 | Stephan Seufert | Algorithmic Building Blocks for Relationship Analysis over Large Graphs | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2015-04-16 | 13:00 | Prof. Frauke Liers | Exact Approaches for Air Traffic Management Problems | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-04-14 | 13:00 | Michael Kerber | Semi-dynamic connectivity in the plane | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-04-10 | 10:00 | Prof. Dr. Peter Boncz | Emergent Structures in Knowledge Graphs | E1 4 024 | Lecture | ||||||
|
| ||||||||||
2015-04-09 | 10:00 | Dr. Pei Li | Series Discovery with Missing and Erroneous Values | E1 4 433 | AG5 Talk | ||||||
|
| ||||||||||
2015-04-07 | 13:00 | Abhinav Anand | Foster-Hart Risk and the Too-Big-to-Fail Banks: An Empirical Investigation | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2015-04-07 | 15:30 | Pramod Bhatotia | Incremental Parallel and Distributed Systems | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2015-04-02 | 13:00 | Philipp Klodt | k-Cycle Free Two-Matchings from Half-Integral Subtour LP-Solutions (Master Seminar) | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-04-01 | 10:30 | Simon Peter | Building an Operating System for the Data Center | E1 5 29 | SWS Colloquium | ||||||
| |||||||||||
|
| ||||||||||
2015-03-30 | 10:30 | David Wolinsky | Tracking Resistance with Dissent | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2015-03-27 | 10:00 | Joel Rybicki | Towards Optimal Synchronous Counting | E1 4 022 | Talk | ||||||
|
| ||||||||||
2015-03-26 | 10:30 | Ankit Singla | Jellyfish: Networking Data Centers, Randomly | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2015-03-24 | 11:00 | Georg Moser | Weighted Automata Theory for Complexity Analysis of Rewrite Systems | E1 4 024 | Talk | ||||||
2015-03-24 | 16:00 | Luis Francisco Ziliani | Interactive Typed Tactic Programming in the Coq Proof Assistant | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ||||||
|
| ||||||||||
2015-03-20 | 09:30 | Chandan Saha | Multi-k-ic depth three circuit lower bound | E2.1 001 | Talk | ||||||
2015-03-20 | 11:00 | Pascal Koiran | Lower bounds for sums of powers of low degree univariates | E2.1 001 | Talk | ||||||
|
| ||||||||||
2015-03-19 | 09:30 | Neeraj Kayal | TBA | E2.1 001 | Talk | ||||||
2015-03-19 | 11:00 | Guillaume Malod | Lower bounds for non-commutative skew circuits | E2.1 001 | Talk | ||||||
|
| ||||||||||
2015-03-18 | 09:30 | Ignacio Garcia Marco | Long-Concavity and Lower bounds for arithmetic circuits | E2.1 001 | Talk | ||||||
2015-03-18 | 11:00 | Daniel König | Polynomial identity testing in coRNC for powerful skew circuits | E2.1 001 | Talk | ||||||
|
| ||||||||||
2015-03-17 | 09:30 | Ben Lee Volk/Amir Shpilka | Subexponential Size HItting Sets for Bounded Depth Multilinear Formulas | E2.1 001 | Talk | ||||||
2015-03-17 | 11:00 | Rahul Santhanam | Boolean vs Algebraic | E2.1 0001 | Talk | ||||||
2015-03-17 | 13:00 | Don Sheehy | Persistent Nerves in Topological Inference and Data Analysis | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-03-16 | 09:30 | Michael Forbes | Polynomial Identity Testing via Shifted Partial Derivatives | E2.1 001 | Talk | ||||||
2015-03-16 | 11:00 | Ramprasad Saptharishi | Depth Reduction in arithmetic circuits | E2.1 001 | Talk | ||||||
|
| ||||||||||
2015-03-11 | 13:00 | Jukka Suomela | Median Filtering is Equivalent to Sorting | E1 4 024 | Talk | ||||||
|
| ||||||||||
2015-03-10 | 13:00 | Moti Medina | Distributed Maximum Matching in Bounded Degree Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-03-09 | 11:00 | Reut Levi | A Quasi-Polynomial Time Partition Oracle for Graphs with an Excluded Minor | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2015-03-09 | 14:00 | Leonidas Guibas | Networks of Shapes and Images | E1 4 R 0.19 | Talk | ||||||
|
| ||||||||||
2015-03-05 | 13:00 | D1 | D1 Group Meeting | E1 4 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2015-03-04 | 12:15 | Michael Kerber | The Persistent Homology Pipeline: Shapes, Computations, and Applications | E1 5 002 | Joint Lecture Series | ||||||
2015-03-04 | 14:30 | IT Inkubator | Kick-off event on 4 March 2015 | A3 3 - Aula Universität (ground floor) | Kick-Off Event | ||||||
|
| ||||||||||
2015-03-03 | 13:00 | Tereza Klimosova | Infinite dimensional finitely forcible graphon | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-03-02 | 10:30 | Deian Stefan | Principled and Practical Web Application Security | E1 5 029 | SWS Colloquium | ||||||
| |||||||||||
|
| ||||||||||
2015-02-26 | 10:30 | Aniket Kate | Minimal Trusted Hardware Assumptions for Privacy-Preserving Systems | E1 5 029 | SWS Colloquium | ||||||
2015-02-26 | 13:00 | Hang Zhou | Graph Reconstruction and Verification | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-02-24 | 11:00 | Hannah Bast | Semantic Search: Past, Present, Future | E1 4 024 | MPI-Kolloquium | ||||||
2015-02-24 | 13:00 | Yun Kuen Cheung | Asynchronous Market Dynamics and Asynchronous Gradient Descent | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-02-23 | 09:00 | Anurag Pandey | Testing Algebraic Independence of Polynomials over Finite Fields | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 09:00 | Hosnieh Sattar | Prediction of search targets from fixations in open-world settings | E1 4 R024 | PhD Application Talk | ||||||
2015-02-23 | 09:00 | Kireeti Bodduna | Efficient Noise Elimination Algorithms for Images and Graphics | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 09:00 | Sreyasi Nag Chowdhury | Contextual Media Retrieval Using Natural Language Queries | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 09:00 | Yang He | Pedestrian Detection and Online Tracking from Monocular Images | E1 4 R024 | PhD Application Talk | ||||||
2015-02-23 | 11:20 | Abdalghani Abujabal | Mining Past, Present, and Future | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 11:20 | Azim Dehghani Amirabad | Models to predict miRNAs-transcript target interactions | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 11:20 | Kashyap Popat | Leveraging Unlabelled Corpora for Sentiment Analysis | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 11:20 | Neha Warikoo | Regulatory network of fadr – crp in Mycobacterium tuberculosis: A computational approach | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 11:20 | Tim Kehl | GeneTrail2 - A comprehensive web service for enrichment analysis | E1 4 r024 | PhD Application Talk | ||||||
2015-02-23 | 13:00 | Moti Medina | Distributed Maximum Matching in Bounded Degree Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
2015-02-23 | 15:00 | Cheng Li | Building fast and consistent replicated systems: from principles to practice | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2015-02-19 | 10:30 | Laura Brandimarte | Privacy, Security, and Online Disclosures:Combining HCI and Behavioral Science to Design Visceral Cues for Detection of Online Threats | E1 5 029 | SWS Colloquium | ||||||
2015-02-19 | 14:00 | Bart Preneel | Cryptography and Information Security in the post-Snowden era | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-02-17 | 10:30 | Dr. Eva Darulova | Programming with Numerical Uncertainties | E1 5 029 | SWS Colloquium | ||||||
2015-02-17 | 13:00 | M.-F. Roy | Talk by M.F. Roy on Hilbert's 17th problem HAS BEEN CANCELED | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
2015-02-17 | 14:00 | Jens-Matthias Bohli | Outsourced Proofs of Retrievability | E1 5 029 | Talk | ||||||
|
| ||||||||||
2015-02-13 | 13:30 | Vladlen Koltun | Reconstructing Complete 3D Models from Single Images | E1 4 R 0.19 | Talk | ||||||
|
| ||||||||||
2015-02-12 | 10:30 | Johannes Hoffart | Discovering and Disambiguating Named Entities in Text | E1 5 0.29 | Promotionskolloquium | ||||||
2015-02-12 | 14:00 | Wolfgang Nejdl | ALEXANDRIA - Temporal Retrieval, Exploration and Analytics in Web archives - Asking Humans for Help | E1 5 0.29 | MPI-Kolloquium | ||||||
|
| ||||||||||
2015-02-10 | 13:00 | Reza Saei | Maximal Induced Matchings in Triangle-Free Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-02-05 | 11:00 | Miguel Costa | Information Search in Web Archives | E1 4 433 | AG5 Talk | ||||||
2015-02-05 | 14:00 | Felix Freiling | Governmental IT Intrusions for Law Enforcement: State of the Art andAlternatives | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-02-04 | 12:15 | Andreas Bulling | There is more to gaze than meets the eye: novel uses of gaze in context-aware computing and human-computer interaction | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2015-02-02 | 14:00 | Hannah Bast | CANCELED: Semantic Search: Past, Present, Future | E1 4 024 | MPI-Kolloquium | ||||||
| |||||||||||
|
| ||||||||||
2015-01-30 | 14:00 | Oliver Bimber | Towards a transparent and flexible image sensor | E1 4 019 | Talk | ||||||
|
| ||||||||||
2015-01-29 | 14:00 | Prof. Dr. Heiko Mantel | Reliable Security Guarantees for Concurrent Programs: Pitfalls, Solutions and Challenges | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-01-26 | 10:30 | Alessandro Panconesi | Trace Complexity of Information Diffusion | G26 [KL] 112 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-01-22 | 10:00 | Pankaj Khanchandani | Approximate Agreement | E1 4 023 | ToDS Group Meeting | ||||||
2015-01-22 | 13:15 | Monika Henzinger | Dynamic Graph Algorithms - Upper and Lower Bounds | E1 4 024 | INF Distinguished Lecture Series | ||||||
2015-01-22 | 14:00 | Prof. Dr. David Basin | Enforceable Security Policies | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-01-20 | 13:00 | Yin Tat Lee | A Faster Algorithm for Linear Programming and the Maximum Flow Problem | E1 4 024 | Talk | ||||||
|
| ||||||||||
2015-01-17 | 13:00 | M.F. Roy | TALK BY M.F. ROY ON HILBERT's 17TH PROBLEM HAS BEEN CANCELED | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2015-01-16 | 13:00 | Jara Uitto | How Many Ants Does It Take To Find the Food? | E1 4 024 | Talk | ||||||
2015-01-16 | 16:00 | Bimal Viswanath | Reasoning about trustworthiness of identities in social computing systems | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ||||||
|
| ||||||||||
2015-01-15 | 10:00 | Matthias Függer | Fault-tolerant on-chip tick generation | E1 4 023 | ToDS Group Meeting | ||||||
2015-01-15 | 13:00 | He Sun | Heat Kernel in Graphs: Our Understanding | E1 4 024 | Talk | ||||||
2015-01-15 | 14:00 | Prof. Dr. Ueli Maurer | Constructive Cryptography and Modular Protocol Design | E1 5 0.02 | CISPA Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-01-13 | 13:00 | Luca Zanetti | Multiway partitioning of well-clustered graphs (SPOILER ALERT: spectral clustering works!) | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2015-01-12 | 11:00 | Daniel König | Polynomial identity testing in coRNC for powerful skew circuits | E2.1 001 | Talk | ||||||
2015-01-12 | 11:00 | Daniel König | Polynomial identity testing in coRNC for powerful skew circuits | E2.1 001 | Talk | ||||||
2015-01-12 | 11:00 | Guillaume Malod | Lower bounds for non-commutative skew circuits | E1 4 024 | AG1 Advanced Mini-Course | ||||||
2015-01-12 | 11:00 | Ramprasad Saptharishi | Depth Reduction in arithmetic circuits | E2.1 001 | Talk | ||||||
|
| ||||||||||
2015-01-09 | 10:00 | Andrew Tomkins | Analyzing Dynamics of Choice among Discrete Alternatives | E1 5 002 | SWS Distinguished Lecture Series | ||||||
2015-01-09 | 15:00 | Hans Boehm | Putting Threads on a Solid Foundation: Some Remaining Issus | G26 [KL] 111 | SWS Distinguished Lecture Series | ||||||
|
| ||||||||||
2015-01-08 | 10:00 | Matthias Függer | Towards Dependable Large-scale Circuits: Fault-Tolerant Tick-Generation | E1 4 023 | AG1 Group Meeting | ||||||
|
| ||||||||||
2015-01-07 | 12:15 | Manuel Gomez Rodriguez | Shaping Social Activity by Incentivizing Users | E1 5 002 | Joint Lecture Series | ||||||
|
| ||||||||||
2015-01-02 | 11:00 | Jiemin Zeng | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2014-12-22 | 09:30 | Foteini Alvanaki | Mining interesting events on large and dynamic data | E1 4 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2014-12-19 | 13:00 | Alexey Gotsman | Formalising and Optimising Parallel Snapshot Isolation | G26 [KL] 111 | SWS Colloquium | ||||||
|
| ||||||||||
2014-12-17 | 12:30 | Karl Bringmann | PhD Defense Karl Bringmann | E1 4 024 | Promotionskolloquium | ||||||
2014-12-17 | 15:00 | Angelika Steger | An algorithmic framework for obtaining lower bounds for random Ramsey problems | E1 5 029 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2014-12-16 | 13:00 | Erik Jan van Leeuwen & Parinya Chalermsook | Highlights from FOCS 2014 | E1 4 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2014-12-15 | 14:00 | Azalea Raad | CoLoSL: Concurrent Local Subjective Logic | E1 5 029 | SWS Colloquium | ||||||
|
| ||||||||||
2014-12-12 | 13:00 | Shay Moran | Sign rank, VC dimension and spectral gaps | E1 4 024 | AG1 Advanced Mini-Course |