Date | Time | | Speaker | | Event, Title, Topic | Building, Room | Event Type |
09/04/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
08/21/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
08/07/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
07/17/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
07/03/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
06/19/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
06/05/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
05/22/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
05/08/2024 | 16:15 | | Xin Luna Dong | | Next-generation Intelligent Assistants for Wearable Devices | E1 4, 024 | Talk |
05/08/2024 | 15:00 | | Saurabh Agarwal | | Reducing Data Movement to Accelerate Machine Learning | E1 5, 002 | Talk |
05/08/2024 | 12:15 | | Karol Węgrzycki | | The Frontiers of Packing | E1 5, 002 | Joint Lecture Series |
05/08/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
05/03/2024 | 14:00 | | Moritz Böhle | | Towards Designing Inherently Interpretable Deep Neural Networks for Image Classification | E 1.4, 024 | Promotionskolloquium |
05/03/2024 | 13:00 | | Patrick Pérez | | AI for the real world - Some challenges | E1 5, 002 | Lecture |
05/03/2024 | 10:00 | | Iryna Gurevych | | Towards Real-World Fact-Checking with Large Language Models | G26 [KL], 111 | SWS Distinguished Lecture Series |
04/25/2024 | 13:00 | | Johnnatan Messias | | On Fairness Concerns in the Blockchain Ecosystem | E1 5, 029 | SWS Student Defense Talks - Thesis Defense |
04/19/2024 | 10:00 | | Haibo Chen | | Formal Methods for Systems Software: The Good, The Bad, The Ugly | E1 5, 002 | Talk |
04/17/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
04/17/2024 | 10:00 | | Andrew Ilyas | | Making machine learning predictably reliable | G26 [KL], 111 | CIS@MPG Colloquium |
04/09/2024 | 13:00 | | Ariel Kulik | | Algorithms and Hardness for the Budgeted Matroid Independent Set problem | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/03/2024 | 12:15 | | Evangelos Kipouridis | | Hierarchical clustering beyond heuristics: Quality guarantees without speed sacrifices | E1 5, 002 | Joint Lecture Series |
04/03/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
03/27/2024 | 14:45 | | Debasmita Lohar | | Expanding the Horizons of Finite-Precision Analysis | E1 5, 029 | SWS Student Defense Talks - Thesis Defense |
03/26/2024 | 12:00 | | Till Speicher | | On Fairness, Invariance and Memorization in Machine Decision and DeepLearning Algorithms | E1 5, 005 | SWS Student Defense Talks - Thesis Proposal |
03/25/2024 | 16:00 | | Rati Devidze | | Reward Design for Reinforcement Learning Agents | E1 5, 029 | SWS Student Defense Talks - Thesis Proposal |
03/20/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
03/14/2024 | 10:00 | | Andrea Lattuada | | Practical, automation-assisted verification of efficient systems software | E1 5, 029 | Talk |
03/11/2024 | 10:00 | | Emily Tseng | | Digital Safety and Security for Survivors of Technology-Mediated Harms | E1 5, 002 | CIS@MPG Colloquium |
03/08/2024 | 14:00 | | Mohamed Alzayat | | Efficient Request Isolation in Function-as-a-Service | E1 5, 002 | SWS Student Defense Talks - Thesis Defense |
03/08/2024 | 13:00 | | Guy Even | | An Improved Approximation Algorithm for Dynamic Minimum Linear Arrangement | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
03/07/2024 | 13:00 | | Paweł Gawrychowski | | Sorting Signed Permutations by Reversals in Nearly-Linear Time | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/07/2024 | 10:00 | | Ge Tiffany Wang | | Designing for Autonomy in Data-Driven AI Systems | E1 5, 002 | CIS@MPG Colloquium |
03/06/2024 | 12:15 | | Paul Strohmeier | | Shaping Experience and Expression by Designing Sensorimotor Contingencies | E1 5, 002 | Joint Lecture Series |
03/06/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
03/05/2024 | 14:00 | | Marcus Pirron | | Hardware and Software Codesign | G26 [KL], 111 | SWS Student Defense Talks - Thesis Defense |
03/05/2024 | 13:00 | | Karol Węgrzycki | | A polynomial-time $\text{OPT}^\eps$-approximation algorithm for maximum independent set of connected subgraphs in a planar graph | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/05/2024 | 10:00 | | Srishti Palani | | Beyond the Search Bar in Human-AI Interactions: Augmenting Discovery, Synthesis, and Creativity With User-Generated Context | G26 [KL], 111 | CIS@MPG Colloquium |
03/01/2024 | 14:00 | | Emmanouil-Vasileios (Manolis) Vlatakis Gkaragkounis | | Bridging the Gap between Theory and Practice: Solving Intractable Problems in a Multi-Agent Machine Learning World | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/01/2024 | 10:00 | | Amrita Roy Chowdhury | | Data Privacy in the Decentralized Era | E1 5, 002 | CIS@MPG Colloquium |
02/28/2024 | 15:00 | | Christoph Siebenbrunner | | Methods for Financial Stability Analysis | E1 5, 002 | SWS Colloquium |
02/27/2024 | 13:00 | | Daniel Neuen | | Graph Isomorphism Testing and Beyond | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/26/2024 | 10:00 | | Maria Antoniak | | Computational Approaches to Narrative Analysis | G26 [KL], 111 | CIS@MPG Colloquium |
02/23/2024 | 10:00 | | Ramakrishnan Sundara Raman | | Global Investigation of Network Connection Tampering | MPI-SP, - | CIS@MPG Colloquium |
02/22/2024 | 13:00 | | Christoph Hertrich | | Understanding Neural Network Complexity from a Discrete AngleTBD | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/21/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
02/21/2024 | 10:00 | | Lily Xu | | High-stakes decisions from low-quality data: AI decision-making for planetary health | G26 [KL], 111 | CIS@MPG Colloquium |
02/20/2024 | 13:00 | | Benjamin Berendsohn | | Optimization with pattern-avoiding input | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/19/2024 | 10:00 | | Sarah Cen | | Paths to AI Accountability | G26 [KL], 111 | CIS@MPG Colloquium |
02/15/2024 | 10:00 | | Yinxi Liu | | Programming Theory in Security Analysis: A Tripartite Framework for Vulnerability Specification | E1 5, 002 | CIS@MPG Colloquium |
02/14/2024 | 11:30 | | Javier Cembrano | | Computational aspects of incentives and fairness in competitive environments | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/14/2024 | 10:00 | | Jana Hofmann | | Formal Reasoning about Relational Properties in Large-Scale Systems | MPI-SP, - | CIS@MPG Colloquium |
02/08/2024 | 16:00 | | Toghrul Karimov | | Algorithmic Verification of Linear Dynamical Systems | E1 5, 029 | SWS Student Defense Talks - Thesis Defense |
02/08/2024 | 10:00 | | A. Feder Cooper | | Reliable Measurement for Machine Learning at Scale | MPI-SP, - | CIS@MPG Colloquium |
02/07/2024 | 12:15 | | Tomasz Kociumaka | | New Tools for Text Indexing and Beyond: Substring Complexity and String Synchronizing Sets | E1 5, 002 | Joint Lecture Series |
02/07/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
02/06/2024 | 10:00 | | Zhijing Jin | | Causal Inference for Robust, Reliable, and Responsible NLP | E1 5, 002 | CIS@MPG Colloquium |
02/05/2024 | 10:00 | | Tanusree Sharma | | Towards Ethical and Democratic Design of AI | MPI-SP, - | CIS@MPG Colloquium |
02/01/2024 | 10:00 | | Doreen Riepel | | Theoretically Sound Cryptography for Key Exchange and Advanced Applications | MPI-SP, - | CIS@MPG Colloquium |
01/30/2024 | 10:00 | | Teodora Baluta | | New Algorithmic Tools for Rigorous Machine Learning Security Analysis | MPI-SP, - | CIS@MPG Colloquium |
01/25/2024 | 13:00 | | Jiaheng Wang | | Approximate counting: New problems and approaches | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/25/2024 | 10:00 | | Sajin Sasy | | Oblivious Algorithms for Privacy-Preserving Computations | MPI-SP, - | CIS@MPG Colloquium |
01/24/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, D1 Rotunda | AG1 Group Meeting |
01/23/2024 | 13:00 | | Evangelos Kipouridis | | Dynamic Dynamic Time Warping | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/17/2024 | 11:30 | | D1 Group Members | | D1 Group Meeting (postponed due to black ice) | E1 4, D1 Rotunda | AG1 Group Meeting |
01/16/2024 | 13:00 | | Egor Gorbachev | | A classification of subquadratic patterns for minimum-weight, enumeration, and listing subgraph isomorphism problems | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/10/2024 | 12:15 | | Ha Dao | | A comprehensive analysis of PII leakage-based web tracking | E1 5, 002 | Joint Lecture Series |
12/21/2023 | 13:00 | | Barış Can Esmer | | Optimally Repurposing Existing Algorithms to Obtain Exponential-Time Approximations | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/19/2023 | 15:00 | | Mohammed Foughali | | Compositional Verification of Embedded Real-Time Systems | G26, 111 | Talk |
12/15/2023 | 15:30 | | Felix Stutz | | Implementability of Asynchronous Communication Protocols - The Power of Choice | G26 [KL], 111 | SWS Student Defense Talks - Thesis Defense |
12/15/2023 | 13:00 | | Jan Philipp Wächter | | Decision Problems for Automaton Groups and Monoids of BoundedActivity | E1 4, 024 | AG1 Advanced Mini-Course |
12/15/2023 | 09:00 | | Brigitte Pientka | | Cocon: A Type-Theoretic Framework for Certified Meta-programming | E1 5, 029 | SWS Colloquium |
12/14/2023 | 16:00 | | Michalis Kokologiannakis | | Automated Reasoning under Weak Memory Consistency | G26 [KL], 111 | SWS Student Defense Talks - Thesis Defense |
12/14/2023 | 14:00 | | Aniss Maghsoudlou | | “Towards Uncovering Hidden Internet Traffic Characteristics" - PhD Defense by Aniss Maghsoudlou | E1 5, 002 | Promotionskolloquium |
12/14/2023 | 13:00 | | Jan-Philipp Wächter | | Decision Problems for Automaton Groups and Monoids of Bounded ActivityTBA | E1 4, 024 | AG1 Advanced Mini-Course |
12/07/2023 | 13:00 | | Simon Döring | | Counting Small Induced Subgraphs with Edge-monotone Properties | E1 4, 024 | AG1 Advanced Mini-Course |
12/06/2023 | 12:15 | | Manuel Gomez Rodriguez | | Improving Decision Making with Machine Learning, Provably | E1 5, 002 | Joint Lecture Series |
12/06/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting (physical-only) | E1 4, D1 Rotunda | AG1 Group Meeting |
12/04/2023 | 17:00 | | Michael Sammler | | Automated and Foundational Verification of Low-Level Programs | E1 5, 029 | SWS Student Defense Talks - Thesis Defense |
12/04/2023 | 10:00 | | Caroline Cronjäger | | The Never-Ending Trace: An Under-Approximate Approach to Divergence Bugs | E1 5, 029 | SWS Colloquium |
11/29/2023 | 13:00 | | Erik Jan van Leeuwen | | Complexity Framework For Forbidden Subgraphs and Beyond | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/22/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting (physical-only) | E1 4, D1 Rotunda | AG1 Group Meeting |
11/21/2023 | 14:00 | | Sergey Bozhko | | Rigorous and General Response-Time Analysis for Uniprocessor Real-Time | E1 5, 029 | SWS Student Defense Talks - Thesis Proposal |
11/16/2023 | 14:00 | | Sebastian Dalleiger | | Characteristics and Commonalities – Differentially Describing Datasets with Insight-ful Patterns | E1 4, 024 | Promotionskolloquium |
11/14/2023 | 11:00 | | Dmitry Chistikov | | The complexity of Presburger arithmetic with power or powers | G26 [KL], 111 | SWS Colloquium |
11/08/2023 | 12:15 | | Mohamed Elgharib | | Digitizing the Human Face | E1 5, 002 | Joint Lecture Series |
11/08/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting (physical-only) | E1 4, D1 Rotunda | AG1 Group Meeting |
11/07/2023 | 13:00 | | Nicolas Regel | | Exploring shorter certificates for the Fréchet Distance (Bachelor Thesis) | E1 4, 024 | AG1 Advanced Mini-Course |
11/02/2023 | 13:00 | | Alejandro Cassis | | Negative-Weight Single-Source Shortest Paths in Near-Linear Time: Now Faster! | E1 4, 024 | AG1 Advanced Mini-Course |
10/31/2023 | 13:00 | | Tomasz Kociumaka | | Approximating Edit Distance in the Fully Dynamic Model | E1 4, 024 | AG1 Advanced Mini-Course |
10/27/2023 | 14:15 | | Ralf Schenkel | | Quality-aware Argument Retrieval | E1 4, 024 | Colloquium Lecture |
10/27/2023 | 09:00 | | Hiba Arnaout | | Enriching Open-world Knowledge Graphs with Expressive Negative Statements | E1 4, 024 | Promotionskolloquium |
10/26/2023 | 13:00 | | Klaus Jensen | | New Algorithmic Results for Scheduling via ILPs | E1 4, 024 | AG1 Advanced Mini-Course |
10/26/2023 | 10:30 | | Umang Mathur | | Exposing Concurrency Bugs from their Hiding Places | G26 [KL], 111 | SWS Colloquium |
10/24/2023 | 13:00 | | Sorrachai Yingchareonthawornchai | | Faster Deterministic Vertex Connectivity Algorithms | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/23/2023 | 09:00 | | Corinna Coupette | | Beyond Flatland: Exploring Graphs in Many Dimensions | Virtual talk, Virtual talk | Promotionskolloquium |
10/19/2023 | 13:00 | | Rajendra Kumar | | TBA | E1 4, 024 | AG1 Advanced Mini-Course |
10/18/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting (physical-only) | E1 4, D1 Rotunda | AG1 Group Meeting |
10/18/2023 | 10:00 | | Prem Devanbu | | Naturalness & Bimodality of Code | E1 5, 002 | SWS Distinguished Lecture Series |
10/17/2023 | 13:00 | | Nidhi Rathi | | TBA | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/17/2023 | 10:00 | | Smitha Milli | | Algorithms for Plurality | E1 5, 029 | SWS Colloquium |
10/11/2023 | 12:15 | | Isabel Valera | | Causethical ML: Promises & Challenges | E1 5, 002 | Joint Lecture Series |
10/10/2023 | 13:00 | | Cornelius Brand | | Algebraic Matroid Intersection | E1 5, 029 | AG1 Mittagsseminar (own work) |
10/05/2023 | 13:00 | | Panagiotis Charalampopoulos | | Almost Optimal Edit Distance Oracles | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/04/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting (physical-only) | E1 4, D1 Rotunda | AG1 Group Meeting |
09/28/2023 | 13:00 | | Prajakta Nimbhorkar | | Matchings with Fairness Constraints | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/28/2023 | 10:30 | | Miryung Kim | | Software Engineering for Data Intensive Scalable Computing and Heterogeneous Computing | G26 [KL], 111 | SWS Distinguished Lecture Series |
09/27/2023 | 14:00 | | Aaron Roth | | Robust and Equitable Uncertainty Estimation | Virtual talk [KL], zoom | SWS Distinguished Lecture Series |
09/27/2023 | 10:00 | | Kate Donahue | | AI as a resource: strategy, uncertainty, and societal welfare | G26 [KL], 111 | SWS Colloquium |
09/22/2023 | 09:00 | | Weikum, et al | | D5 Alumni Workshop | E1 5, 002 | AG5 Seminar |
09/21/2023 | 12:30 | | Weikum, et al | | D5 Alumni Workshop | E1 5, 002 | AG5 Seminar |
09/20/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 024 | AG1 Group Meeting |
09/18/2023 | 10:00 | | Fatemehsadat Mireshghallah | | Privacy Auditing and Protection in Large Language Models | E1 5, 029 | SWS Colloquium |
09/14/2023 | 13:00 | | Alexandra Lassota | | Small lecture on integer programming | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/06/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 024 | AG1 Group Meeting |
09/04/2023 | 10:00 | | Manya Ghobadi | | Next-Generation Optical Networks for Machine Learning Jobs | G26 [KL], 111 | SWS Distinguished Lecture Series |
08/29/2023 | 15:00 | | Nick Fischer | | PhD Defense Nick Fischer | E14, 024 | Promotionskolloquium |
08/29/2023 | 13:00 | | Yanheng Wang | | Probabilistic Analyses of PPZ | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/25/2023 | 14:30 | | Tomasz Kociumaka | | The Seaweed Method for Computing Edit Distance | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/16/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 024 | AG1 Group Meeting |
08/10/2023 | 16:00 | | Euiwoong Lee | | Parameterized Approximability of F-Deletion Problems | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
08/02/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 024 | AG1 Group Meeting |
07/25/2023 | 13:00 | | Celine Swennenhuis | | A Subexponential Time Algorithm for Makespan Scheduling of Unit Jobs with Precedence Constraints | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/20/2023 | 13:00 | | Gunjan Kumar | | Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle? | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/19/2023 | 13:00 | | Spyros Angelopoulos | | Searching with predictions | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/19/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 021 | AG1 Group Meeting |
07/18/2023 | 13:00 | | Michal Koucky | | Locally consistent decomposition of strings with applications to edit distance sketching | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/13/2023 | 10:30 | | Immanuel Trummer | | Tuning Tools that "Read" the Manual: New Use Cases for Large Language Models in Data Management | E1 4, 024 | Colloquium Lecture |
07/11/2023 | 13:00 | | Nithin Varma | | Improved sublinear algorithms for testing permutation freeness | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/10/2023 | 14:00 | | Debmalya Panigrahi | | The Isolating Cuts Lemma and its Applications | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/06/2023 | 13:00 | | Lars Prehn | | Routegazing: Analysing the Evolving Internet Routing Ecosystem | E1 5, 002 | Promotionskolloquium |
07/05/2023 | 12:15 | | Jan Eric Lenssen | | Inferring the 3D World from Incomplete Observations: Representations and Data Priors | E1 5, 002 | Joint Lecture Series |
07/05/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 021 | AG1 Group Meeting |
07/04/2023 | 13:00 | | Hannaneh Akrami | | EFX: A Simpler Approach and an (Almost) Optimal Guarantee via Rainbow Cycle Number | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/03/2023 | 14:00 | | Guy Even | | Dynamic Filters and Retrieval with a Single Memory Access | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/22/2023 | 13:00 | | Christopher Cohnen | | Distributed consensus in asynchronous systems (Proseminar: Theory on consensus) | E1 4, 024 | AG1 Mittagsseminar (others' work) |
06/22/2023 | 11:15 | | Prof. Sebastian Trimpe | | Machine learning for machines: Challenges and recent results in learning-based control | E1 4, 019 | MPI-Seminar |
06/21/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 021 | AG1 Group Meeting |
06/20/2023 | 15:00 | | Supratik Chakraborty | | On Synthesizability of Skolem Functions in First-Order Theories | G26 [KL], 207 | SWS Colloquium |
06/09/2023 | 12:30 | | Ruiwen Dong | | Decision problems in sub-semigroups of metabelian groups. | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/07/2023 | 12:15 | | Mariya Toneva | | Why do large language models align with human brains: insights, opportunities, and challenges | E1 5, 002 | Joint Lecture Series |
06/07/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 021 | AG1 Group Meeting |
06/06/2023 | 13:00 | | Arturo Merino | | Traversing combinatorial polytopes via optimization. | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/02/2023 | 13:00 | | Rahul Mudambi Venkatesh | | Fault-tolerant pulse synchronization with stable output frequencies (Master thesis) | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/01/2023 | 13:00 | | Caterina De Bacco | | Modelling multi-commodity optimal transport problems with constraints | Virtual talk, Virtual talk | Colloquium Lecture |
05/30/2023 | 13:00 | | Ariel Kulik | | Faster Exponential-Time Approximation Algorithms Using Approximate Monotone Local Search | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/25/2023 | 16:00 | | Bo Zhao | | Scalable and Sustainable Data-Intensive Systems | E1 5, 002 | SWS Colloquium |
05/25/2023 | 13:00 | | Tomasz Kociumaka | | Bounded Weighted Edit Distance | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/23/2023 | 13:00 | | Christine Rizkallah | | Language Based Approaches for Facilitating Software Verification | MPI building, 024 | Colloquium Lecture |
05/17/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 021 | AG1 Group Meeting |
05/16/2023 | 13:00 | | Seth Pettie | | Sorting Pattern-avoiding Permutations via Forbidden 0-1 Matrices | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/12/2023 | 13:30 | | Léo Exibard | | A Generic Solution to Register-bounded Synthesis for Systems over Data words | G26 [KL], 111 | SWS Colloquium |
05/04/2023 | 15:00 | | Beta Ziliani | | Making monkeys and ducks behave with Crystal Lang | E1 5, 002 | SWS Colloquium |
05/03/2023 | 12:15 | | Marc Habermann | | Digital Humans: From Sensor Measurements to Deeper Understanding and Synthesis | E1 5, 002 | Joint Lecture Series |
05/03/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 021 | AG1 Group Meeting |
05/02/2023 | 13:00 | | George Osipov | | Parameterized Complexity of MinCSP for Equality Constraint Languages | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/27/2023 | 16:00 | | Alexander J. Summers | | 2vyper: Contracts for Smart Contracts | E1 5, 002 | SWS Colloquium |
04/27/2023 | 13:00 | | Jan van den Brand | | Faster High Accuracy Multi-Commodity Flow from Single-Commodity Techniques | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/24/2023 | 10:00 | | Yuval Yarom | | Automating cryptographic code generation | E1 5, 029 | SWS Colloquium |
04/20/2023 | 13:00 | | Standa Zivny | | Promise Constraint Satisfaction Problems | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
04/19/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 021 | AG1 Group Meeting |
04/18/2023 | 13:00 | | Ran Gelles | | Distributed Computations in Fully-Defective Networks | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/18/2023 | 09:30 | | Edgar Schönfeld | | Improving Quality and Controllability in GAN-based Image Synthesis | E 1.4, 024 | Promotionskolloquium |
04/05/2023 | 12:15 | | Philip Wellnitz | | Faster Approximate String Matching: Now with up to 500 Errors | E1 5, 002 | Joint Lecture Series |
04/05/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 024 | AG1 Group Meeting |
04/04/2023 | 13:00 | | Corinna Coupette | | Reducing Exposure to Harmful Content via Graph Rewiring | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
03/30/2023 | 15:30 | | Numair Mansur | | Automatically Detecting and Mitigating Issues in Program Analyzers | G26, 111 | SWS Student Defense Talks - Thesis Defense |
03/30/2023 | 13:00 | | Simon Döring | | The Birkhoff-Polytope and the hardness of removing vertices | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/30/2023 | 11:30 | | Meike Zehlike | | Learning Lunch: The Gender Data Gap - And its Implications for Data-Driven Decision Making | E1 4, 024 | Talk |
03/23/2023 | 13:00 | | Duri Janett | | Tight Runtime Bounds for Static Unary Unbiased Evolutionary Algorithms on Linear Functions | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/21/2023 | 13:00 | | Hannaneh Akrami | | Breaking the 3/4 Barrier for Approximate Maximin Share | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/16/2023 | 18:00 | | Bharat Lal Bhatnagar | | Modelling 3D Humans: Pose, Shape, Clothing and Interactions | E 1.4, 024 | Promotionskolloquium |
03/16/2023 | 13:00 | | Niko Hastrich | | Faster Nearest Neighbors Queries on Geographic Data | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/15/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 024 | AG1 Group Meeting |
03/09/2023 | 14:00 | | Fajar Haifani | | On a Notion of Abduction and Relevance for First-Order Logic Clause Sets | E1 4, 024 | Promotionskolloquium |
03/09/2023 | 10:00 | s.t. | Stephan Schulz | | E 3.0 - Even Faster, Much Higher, Still Stronger | E1 4, 024 | Talk |
03/09/2023 | 09:30 | | Paul Gölz | | Fair, Representative, and Transparent Algorithms for Citizens’ Assemblies | E1 5, 002 | CIS@MPG Tenure-Track Faculty |
03/07/2023 | 14:00 | | Anita Dürr | | Recent developments in monotone min-plus convolution/product algorithms | E1 4, 024 | Talk |
03/07/2023 | 13:00 | | Rahul Mudambi Venkatesh | | Fault-tolerant pulse synchronization with stable output frequencie (Master thesis) | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/03/2023 | 12:30 | | Mark Mrsic | | Real-Time Collaborative Optimization Platform | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
03/03/2023 | 09:30 | | Bhaskar Ray Chaudhury | | From Resource Allocation to Machine Learning: Fairness Through Computation and Fairness in Computation | E1 5, 002 | CIS@MPG Tenure-Track Faculty |
03/02/2023 | 17:00 | | Adam Bouland | | Quantum Pseudoentanglement | Virtual talk, Virtual talk | INF Distinguished Lecture Series |
03/02/2023 | 15:00 | | Mirko Palmer | | PhD Defense: Towards Enabling Cross-layer Information Sharing to Improve Today's Content Delivery Systems | E1 4, 024 | Promotionskolloquium |
03/02/2023 | 13:00 | | Seth Pettie | | Optimal Vertex Connectivity Oracles | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
03/02/2023 | 09:30 | | Maryam Aliakbarpour | | Statistical inference with privacy and computational constraints | G26 [KL], 111 | SWS Colloquium |
03/01/2023 | 12:15 | | Ingmar Weber | | Societal Computing | E1 5, 002 | Joint Lecture Series |
03/01/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 024 | AG1 Group Meeting |
02/28/2023 | 13:00 | | Johannes Bund | | Hazard-Free Clock Synchronization (PhD defense) | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
02/28/2023 | 09:30 | | Dr. Anne-Kathrin Schmuck | | The Power of Feedback in a Cyber-Physical World | G26 [KL], 111 | SWS Colloquium |
02/24/2023 | 15:00 | c.t. | Said Jawad Saidi | | Characterizing the IoT Ecosystem at Scale | E1 4, 024 | Promotionskolloquium |
02/23/2023 | 13:00 | | Karol Węgrzycki | | Parameterized Approximation for Maximum Weight Independent Set of Rectangles and Segments | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/23/2023 | 09:30 | | Priyanka Golia | | Fusing AI and Formal Methods for Automated Synthesis | G26 [KL], 111 | SWS Colloquium |
02/22/2023 | 16:00 | | Stephan Günnemann | | Graph Neural Networks for Molecular Systems | E1 5, 002 | Max Planck Distinguished Speaker Talk |
02/21/2023 | 16:00 | | Ryan Williams | | The Mystery of the Missing String | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
02/15/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting (Photographer) | E1 5, R 105 | AG1 Group Meeting |
02/14/2023 | 14:00 | | Leqi Liu | | Learning for Decision Making: A Tale of Complex Human Preferences | Virtual talk, zoom | SWS Colloquium |
02/14/2023 | 13:00 | | Peter Kiss | | (1+\eps)-Approximate Dynamic Matching in Truly Sublinear Time | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/10/2023 | 13:30 | | Naveen Garg | | Outliers: How to Handle Them | E1.4, 024 | MPI-Kolloquium |
02/09/2023 | 13:30 | | Aman Mathur | | Programmatic Interfaces for Design and Simulation | G26 [KL], 111 | SWS Student Defense Talks - Thesis Defense |
02/09/2023 | 13:00 | | Golnoosh Shahkarami | | A Novel Prediction Setup for Online Speed-Scaling | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/02/2023 | 13:00 | | Suomela Jukka | | Locality in online, dynamic, sequential, and distributed graph algorithms | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
02/01/2023 | 15:00 | | Manling Li | | Toward Deep Semantic Understanding: Event-Centric Multimodal Knowledge Acquisition | E1 5, 002 | SWS Colloquium |
02/01/2023 | 12:15 | | Sven Rahmann | | Terabyte-Scale Genome Analysis for Underfunded Labs | E1 5, 002 | Joint Lecture Series |
02/01/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting | E1 4, R 024 | AG1 Group Meeting |
01/31/2023 | 13:00 | | Adam Polak | | Dynamic algorithms with predictions | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/27/2023 | 16:30 | | Yaoyao Liu | | Learning from Imperfect Data: Incremental Learning and Few-shot Learning | E 1.4, 024 | Promotionskolloquium |
01/27/2023 | 14:30 | s.t. | Nhi Pham | | A Twitter corpus of linguistically and geographically diverse varieties of English | Virtual talk, zoom | PhD Application Talk |
01/27/2023 | 14:00 | s.t. | Mohammad Asadi | | Concept-Based Interpretation for Raw Time Series Models in Education | Virtual talk, zoom | PhD Application Talk |
01/27/2023 | 13:30 | s.t. | Tsung-Han Wu | | Towards Cost-Effective and Trustworthy Visual Autonomous Systems | Virtual talk, zoom | PhD Application Talk |
01/27/2023 | 13:00 | s.t. | Daoan Zhang | | Unconditional and Conditional Representation Manipulation | Virtual talk, zoom | PhD Application Talk |
01/27/2023 | 12:30 | s.t. | Hassan Hamidihesarsorkh | | Coloring as a Pretext Task for Semantic Segmentation in Point Cloud | Virtual talk, zoom | PhD Application Talk |
01/27/2023 | 11:00 | s.t. | Yuezhi Yang | | Discovering Design Concept for CAD Sketches | Virtual talk, zoom | PhD Application Talk |
01/27/2023 | 10:30 | s.t. | Shrisudhan Govindarajan | | Synthesizing Light Field Video from Smartphones | Virtual talk, zoom | PhD Application Talk |
01/27/2023 | 10:00 | s.t. | Sara Khosravi | | Area: AI, Machine Learning, Robotics, Vision | Virtual talk, zoom | PhD Application Talk |
01/27/2023 | 09:30 | s.t. | Mohammad Mahdi Asmae | | Neural Enhanced Dynamic Message Passing | Virtual talk, zoom | PhD Application Talk |
01/27/2023 | 09:00 | s.t. | Pushpdeep Singh | | Gender Bias in Neural Machine Translation(NMT): Evaluation and Mitigation | Virtual talk, zoom | PhD Application Talk |
01/27/2023 | 08:30 | s.t. | Ruonan Zhu | | Z-ACM: An approximate calculation method of Z-numbers for large data sets based on kernel density estimation and its application in decision-making | Virtual talk, zoom | PhD Application Talk |
01/26/2023 | 13:00 | | Ameet Gadekar | | Clustering with fairness constraints | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/24/2023 | 14:00 | s.t. | Duri Andrea Janett | | Two Dimensional Drift Analysis: Optimizing Two Functions Simultaneously Can Be Hard | Virtual talk, zoom | PhD Application Talk |
01/24/2023 | 13:30 | s.t. | Anita Dürr | | Improved bounds for rectangular monotone Min-Plus Product | Virtual talk, zoom | PhD Application Talk |
01/24/2023 | 13:00 | s.t. | Ali Hatamshoar | | Online Coloring of Intervals with a Limited Recourse Budget | Virtual talk, zoom | PhD Application Talk |
01/24/2023 | 12:00 | s.t. | Sagnik Dutta | | Improved lower bound and proof barrier for constant depth algebraic circuits | Virtual talk, zoom | PhD Application Talk |
01/24/2023 | 09:30 | s.t. | Aryan Agarwala | | Parallel Algorithms for Bipartite Graph Matching | Virtual talk, zoom | PhD Application Talk |
01/24/2023 | 09:00 | s.t. | Ajaykrishnan Edamana Illam Satheeshkumar | | Knot-Free Vertex Deletion Exact and Enumeration Algorithms | Virtual talk, zoom | PhD Application Talk |
01/23/2023 | 14:00 | s.t. | Si Suo | | Denotational semantics of commutative combinations of effects | Virtual talk, zoom | PhD Application Talk |
01/23/2023 | 13:30 | s.t. | MohammadHossein KhoshechinJorshari | | Actor-based Timing Analysis in Automotive Systems | Virtual talk, zoom | PhD Application Talk |
01/23/2023 | 13:00 | s.t. | Yun-Rong Luo | | Proofs and Dependency Schemes for Stochastic Quantified Satisfiability | Virtual talk, zoom | PhD Application Talk |
01/23/2023 | 12:30 | s.t. | Alexander Mayorov | | Variable independence in quantifier-free fragments of first-order logic | Virtual talk, zoom | PhD Application Talk |
01/23/2023 | 10:30 | s.t. | Otuekong Ekpo | | Technique for enhancing the resistance of critical rail infrastructure to cyber-threat | Virtual talk, zoom | PhD Application Talk |
01/23/2023 | 10:00 | s.t. | Soham De | | Studying Strategic Information Operations in India through Social Media | Virtual talk, zoom | PhD Application Talk |
01/23/2023 | 09:30 | s.t. | Mahsa Ghaderan | | Fact Extraction and Verification for a low resource language | Virtual talk, zoom | PhD Application Talk |
01/23/2023 | 09:00 | s.t. | Carolina Coimbra Vieira | | The Interplay between Culture and Migration | Virtual talk, zoom | PhD Application Talk |
01/19/2023 | 16:00 | | Robert Koenig | | Adaptive constant-depth circuits for manipulating non-abelian anyons | Virtual talk, Virtual talk | INF Distinguished Lecture Series |
01/19/2023 | 13:00 | | Yuval Efron | | Cut Query Algorithms Using Star-Contraction | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/18/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting (in presence) | E 1, 4, R 024 | AG1 Group Meeting |
01/17/2023 | 13:00 | | Zhongtian He | | Cactus Representations in Polylogarithmic Max-flow via Maximal Isolating Mincuts | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/12/2023 | 13:00 | | Philipp Schepper | | Tight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth Graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/04/2023 | 11:30 | | D1 Group Members | | D1 Group Meeting (in presence) | E1, 4, D1 Rotunda | AG1 Group Meeting |
12/28/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting (in presence) | E 1, 4, Rotunda D1 | AG1 Group Meeting |
12/20/2022 | 16:00 | | Yury Makarychev | | Approximation algorithms for the socially fair clustering problem | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
12/14/2022 | 14:00 | | Mahmoud Salamati | | Formal Controller Synthesis for Dynamical Systems: Decidability and Scalability | G26 [KL], 113 | SWS Student Defense Talks - Thesis Proposal |
12/14/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting | E 1, 4, R 024 | AG1 Group Meeting |
12/13/2022 | 13:00 | | Eva Rotenberg | | Sparsity-adaptive dynamic graph algorithms | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/12/2022 | 16:00 | | Aleksander B. G. Christiansen | | The Power of Multi-Step Vizing Chains | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/08/2022 | 16:00 | | Harry Buhrmann | | Quantum fine-grained complexity and the quantum advantage | Virtual talk, Virtual talk | AG1 Advanced Mini-Course |
12/08/2022 | 13:00 | | Adam Polak | | Bellman-Ford is optimal for shortest hop-bounded paths | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/08/2022 | 10:30 | | Janis Kalofolias | | Subgroup Discovery for Structured Target Concepts | C9 3, Konferenzraum | Promotionskolloquium |
12/07/2022 | 12:15 | | Anne Schmuck | | Let's play! - Solving controller synthesis games for cyber-physical system design | E1 5, 002 | Joint Lecture Series |
12/06/2022 | 13:00 | | Nikhil Kumar | | An Approximate Generalization of the Okamura-Seymour Theorem | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/01/2022 | 13:00 | | Peter Kiss | | Dynamic Matching with Better-than-2 Approximation in Polylogarithmic Update Time | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/30/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting | E 1, 4, R 024 | AG1 Group Meeting |
11/29/2022 | 13:00 | | Zahra Parsaeian | | Approximate Near-Neighbor Problem for Curves using Discrete Fréchet Distance under Translation and Rotation (Master thesis) | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/24/2022 | 13:00 | | Pascal Schweitzer | | The Graph Isomorphism Problem: a journey through theory-practice synergies | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/24/2022 | 10:00 | | Aïna Linn Georges | | Enforcing Stack Safety on a Capability Machine | E1 5, 005 | SWS Colloquium |
11/23/2022 | 13:00 | | Vasilis Livanos | | Combinatorial Optimization under Uncertainty and Prophet Inequalities | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/23/2022 | 09:00 | | Philipp Schröppel | | Robust Multi-view Depth Estimation | E1 7, 001 | Talk |
11/22/2022 | 13:00 | | Sanjeev Khanna | | Sublinear Algorithms for Hierarchical Clustering | Virtual talk, Virtual talk | AG1 Mittagsseminar (others' work) |
11/21/2022 | 13:00 | | Arijit Khan | | Data Management for Emerging Problems in Large Networks | E1 4, 024 | Talk |
11/17/2022 | 16:00 | | Barbara Terhal | | Quantum Error Correction Beyond Qubits | Virtual talk, Virtual talk | Max Planck Distinguished Speaker Talk |
11/16/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting | E 1, 4, R 024 | AG1 Group Meeting |
11/16/2022 | 10:00 | | Thorsten Joachims | | Designing AI Systems with Steerable Long-Term Dynamics | G26 [KL], 111 | SWS Distinguished Lecture Series |
11/12/2022 | 16:00 | | Aleksander B. G. Christiansen | | TBA | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/10/2022 | 13:00 | | Kurt Mehlhorn | | Fair Allocation of Indivisible Goods, A Survey | MPI-INF, 024 | AG1 Mittagsseminar (basic education) |
11/07/2022 | 10:30 | | Sumit Gulwani | | AI-assisted Programming: Applications, User experiences, and Neuro-symbolic techniques | E1 5, 002 | SWS Distinguished Lecture Series |
11/02/2022 | 12:15 | | Martin Bromberger | | Why not use a hammer when a problem looks almost like a nail? | E1 5, 002 | Joint Lecture Series |
11/02/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting | E 1, 4, R 024 | AG1 Group Meeting |
10/28/2022 | 10:30 | | Vinh Thinh Ho | | Entities with Quantities: Extraction, Search, and Ranking | E1 4, R024 | Promotionskolloquium |
10/27/2022 | 13:00 | | Tomasz Kociumaka | | Gap Edit Distance via Non-Adaptive Queries: Simple and Optimal | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/25/2022 | 13:00 | | Vera Traub | | Better-Than-2 Approximations for Weighted Tree Augmentation and Forest Augmentation | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
10/20/2022 | 13:00 | | Joseph Cheriyan | | Approximation Algorithms for Flexible Network Design | MPI-INF, 024 | AG1 Mittagsseminar (own work) |
10/19/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting (in presence) | E 1, 4, 310 | AG1 Group Meeting |
10/18/2022 | 13:00 | | Karl Bringmann | | Fine-Grained Complexity of Distance Oracles | E1 4, 007 | AG1 Mittagsseminar (own work) |
10/13/2022 | 16:00 | | Umesh Vazirani | | Theoretical Reflections on Quantum Supremacy | Virtual talk, Virtual talk | INF Distinguished Lecture Series |
10/12/2022 | 10:00 | | Attila Kinali-Dogan | | PhD Defense: On Time, Time Synchronization and Noise in Time Measurement Systems | E1 4, 024 | Promotionskolloquium |
10/11/2022 | 13:00 | | Hörsch Florian | | Orientations and Arc-connectivity | E1 4, 007 | AG1 Mittagsseminar (own work) |
10/05/2022 | 12:15 | | Martina Maggio | | Control Systems in the presence of Computational Problems | E1 5, 002 | Joint Lecture Series |
10/05/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting (in presence) | E 1, 4, 310 | AG1 Group Meeting |
10/04/2022 | 13:00 | | Evangelos Kipouridis | | Reconstructing the Tree of Life (Fitting Distances by Tree Metrics) | E1 5, 002 | AG1 Mittagsseminar (own work) |
09/28/2022 | 15:30 | | Lassota Alexandra Anna | | Integer Linear Programs and How To Use Them Efficiently | E1 4, 007 | AG1 Mittagsseminar (own work) |
09/27/2022 | 13:00 | | Pranjal Dutta | | Power and limitation of border depth-3 algebraic circuits | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/22/2022 | 16:00 | | Ariel Procaccia | | Democracy and the Pursuit of Randomness | Virtual talk, Virtual talk | Joint Lecture Series |
09/21/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting (in presence) | E 1, 4, Rotunda D1 | AG1 Group Meeting |
09/20/2022 | 13:00 | | Merav Parter | | A Graph Theoretic Approach for Resilient Distributed Algorithms | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
09/15/2022 | 16:00 | | Peter Shor | | Quantum Money | Virtual talk, Virtual talk | INF Distinguished Lecture Series |
09/15/2022 | 13:00 | | Joakim Blikstad | | Nearly Optimal Communication and Query Complexity of Bipartite Matching | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/08/2022 | 13:00 | | Danupon Nanongkai | | Negative-Weight Single-Source Shortest Paths in Near-linear Time | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/07/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting (in presence) | E 1, 4, R 024 | AG1 Group Meeting |
09/06/2022 | 18:00 | | Michael Sammler | | Automated and Foundational Verification of Low-Level Programs | Virtual talk, Virtual talk | SWS Student Defense Talks - Thesis Proposal |
09/01/2022 | 13:00 | | Philipp Schepper | | Computing Generalized Convolutions Faster Than Brute Force | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/31/2022 | 16:00 | | Mohamed Alzayat | | Efficient Request Isolation in Function-as-a-Service -- Reconciling Confidentiality and Correctness | Virtual talk, 029 | SWS Student Defense Talks - Thesis Proposal |
08/30/2022 | 13:00 | | Philipp Schepper | | Anti-Factor is FPT Parameterized by Treewidth and List Size (but Counting is Hard) | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/24/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
08/18/2022 | 16:00 | | Mohsen Ghaffari | | Local Computation of Maximal Independent Set | Virtual, Virtual | AG1 Mittagsseminar (own work) |
08/17/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
08/10/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
08/03/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
07/28/2022 | 16:00 | | Tony Cubitt | | Hamiltonian simulation theory: from near-term quantum computing to quantum gravity | E1 4, 024 | INF Distinguished Lecture Series |
07/28/2022 | 13:00 | | Jonas Fischer | | More than the sum of its parts – pattern mining, neural networks and how they complement each other | E1 4, 024 | Promotionskolloquium |
07/27/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting | Virtual talk, Virtual talk | AG1 Group Meeting |
07/25/2022 | 13:00 | | Numair Mansur | | Automatically Detecting and Mitigating Issues in Program Analyzers | Virtual talk, Remote | SWS Student Defense Talks - Thesis Proposal |
07/22/2022 | 14:00 | | David Stutz | | Understanding and Improving Robustness and Uncertainty Estimation in Deep Learning | E 1.4, 024 | Promotionskolloquium |
07/22/2022 | 13:00 | | Sahar Sheikholeslami | | A Recursive Early-Stopping Phase King Protocol | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
07/20/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting | Virtual talk, Virtual talk | AG1 Group Meeting |
07/19/2022 | 14:00 | | Indranil Gupta | | Distinguished Speaker Colloquium: Indranil Gupta (UIUC): Hammer vs. Gavel - How I Learned to Stop Learning and Love the Old-Fashioned Algorithm | E1 4, virtual | MPI Colloquium Series Distinguished Speaker |
07/13/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting | Virtual talk, Virtual talk | AG1 Group Meeting |
07/11/2022 | 14:00 | | Jean-Marie De Koninck | | Consecutive integers divisible by a power of their largest prime factor | E1 5, 002 | SWS Colloquium |
07/11/2022 | 11:00 | | Zahra Montazeri | | Realistic Modeling and Rendering of Fabrics | E1 4, 024 | AG4 Talk |
07/06/2022 | 12:15 | | Tobias Fiebig | | Information System Security: Beyond the Sum of its Parts Analyze, Measure, Explain, Improve | Virtual talk, Virtual | Joint Lecture Series |
07/06/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting | Virtual talk, Virtual talk | AG1 Group Meeting |
06/30/2022 | 13:00 | | Ian Jones | | The World’s 3rd Fastest FIFO | MPII, 024 | AG1 Mittagsseminar (own work) |
06/29/2022 | 14:00 | | Andrea Hornakova | | Lifted Edges as Connectivity Priors for Multicut and Disjoint Paths | E 1.5, 029 | Promotionskolloquium |
06/29/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting | Virtual talk, Virtual talk | AG1 Group Meeting |
06/28/2022 | 13:30 | | Areil Kulik | | Analysis of Two-variable Recurrence Relations with Application to Parameterized Approximations | MPII (E1 4), 024 | AG1 Mittagsseminar (own work) |
06/28/2022 | 13:00 | | Aleksander Łukasiewicz | | Tight Vector Bin Packing with Few Small Items via Fast Exact Matching in Multigraphs | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
06/27/2022 | 11:00 | | Debasmita Lohar | | Expanding the Horizons of Finite-Precision Analysis | E1 5, 029 | SWS Student Defense Talks - Thesis Proposal |
06/24/2022 | 14:00 | | Kaushik Mallik | | Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems | G26 [KL], 113 | SWS Student Defense Talks - Thesis Defense |
06/24/2022 | 10:30 | | Ivan Gavran | | Planning and Specification Problems for Multi-Robot Systems, Powered by Formal Methods | E1 5 [KL], 113 | SWS Student Defense Talks - Thesis Defense |
06/23/2022 | 13:00 | | Baris Can Esmer | | Faster Exponential-Time Approximation Algorithms Using Approximate Monotone Local Search | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
06/22/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
06/21/2022 | 13:00 | | Sam Jonas Niro | | Optimization under Privacy | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
06/17/2022 | 13:45 | | Dzmitry V. Dudko | | Decidability in Dynamics via Geometrization | E1 4 (MPII), 024 | AG1 Mittagsseminar (own work) |
06/17/2022 | 13:00 | | Golnoosh Shahkarami | | [Cancelled] A Novel Prediction Setup for Online Speed-Scaling | E1 4 (MPII), 024 | AG1 Mittagsseminar (own work) |
06/15/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
06/14/2022 | 13:30 | | Philipp Schepper | | Parameterized Complexity of Weighted Multicut in Trees | MPII (E1 4), 024 | AG1 Mittagsseminar (own work) |
06/14/2022 | 13:00 | | Alejandro Cassis | | Faster Knapsack Algorithms via Bounded Monotone Min-Plus-Convolution | MPII, 024 | AG1 Mittagsseminar (own work) |
06/14/2022 | 10:00 | s.t. | Ben Wiederhake | | PhD Defense Ben Wiederhake | E1 4, 024 | Promotionskolloquium |
06/10/2022 | 13:00 | | Anna Christina de Carvalho Guimaraes | | Data Science Methods for the Analysis of Controversial SocialMedia Discussions | Virtual talk, Virtual talk | Promotionskolloquium |
06/09/2022 | 13:00 | | Alejandro Cassis | | Almost-Optimal Sublinear-Time Edit Distance in the Low Distance Regime | MPII, 024 | AG1 Mittagsseminar (own work) |
06/08/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
06/07/2022 | 13:00 | | Aleksander Łukasiewicz | | All-Pairs LCA in DAGs: Breaking through the O(n^2.5) barrier | MPII, 024 | AG1 Mittagsseminar (own work) |
06/01/2022 | 12:15 | | Elissa Redmiles | | Learning from the People: Responsibly Encouraging Adoption of Contact Tracing Apps | Virtual talk, Virtual talk | Joint Lecture Series |
06/01/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
05/27/2022 | 14:00 | | Joël Ouaknine | | The Skolem Landscape | E1 5, 002 | SWS Colloquium |
05/25/2022 | 11:30 | | D1 Group Meeting | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
05/24/2022 | 13:00 | | Zahra Parsaeian | | Towards Sub-Quadratic Diameter Computation in Geometric Intersection Graphs | MPII, 024 | AG1 Mittagsseminar (own work) |
05/24/2022 | 09:30 | | Lorenzo Alvisi | | Orderrr! A tale of money, intrigue, and specifications | E1 5, 002 | SWS Distinguished Lecture Series |
05/20/2022 | 16:15 | | Preethi Lahoti | | Operationalizing Fairness for Responsible Machine Learning | Virtual talk, Virtual Talk | Promotionskolloquium |
05/19/2022 | 16:00 | | Andris Ambainis | | Quantum algorithms for search and optimization | Virtual talk, Zoom | INF Distinguished Lecture Series |
05/19/2022 | 13:00 | | Kurt Mehlhorn | | Review and Letters of Recommendations | MPI, 018 | AG1 Mittagsseminar (basic education) |
05/18/2022 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
05/13/2022 | 16:00 | | André Nusser | | PhD Defense André Nusser | Virtual talk, Virtual talk | Promotionskolloquium |
05/12/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
05/05/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
05/04/2022 | 12:15 | | Thorsten Holz | | Towards Resilient and Sustainable Software Security | Virtual talk, Virtual | Joint Lecture Series |
05/03/2022 | 13:00 | | Prafullkumar Tale | | Practice lecture on String Processing | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
04/28/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
04/25/2022 | 14:15 | | Iryna Gurevych | | Comment – Link – Revise: Towards a General Framework for Modelling Interconnected Texts | Virtual talk, virtual talk | MPI Colloquium Series Distinguished Speaker |
04/25/2022 | 10:00 | | Cuong Xuan Chu | | Knowledge Extraction from Fictional Texts | Virtual talk, Virtual talk | Promotionskolloquium |
04/21/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
04/19/2022 | 13:00 | | Prafullkumar Tale | | (CANCELLED) Practice lecture on String Processing. | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
04/14/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
04/07/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
04/07/2022 | 11:00 | | Long Tran-Thanh | | Saving Stochastic Bandits from Poisoning Attacks via Limited Data Verification | Virtual talk, Virtual talk | SWS Colloquium |
04/06/2022 | 12:15 | | Adam Kortylewski | | Robust Deep Neural Networks for Computer Vision | Virtual talk, Virtual | Joint Lecture Series |
03/31/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
03/29/2022 | 15:00 | c.t. | Maria Florina Balcan | | Machine learning for algorithm design | Virtual talk [KL], zoom | SWS Distinguished Lecture Series |
03/29/2022 | 13:00 | | Prafullkumar Tale | | Parameterized Complexity of Edge Contraction Problems | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
03/24/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
03/23/2022 | 18:00 | | Magdalena Balazinska | | Video Data Management | Virtual talk, Virtual talk | MPI Colloquium Series Distinguished Speaker |
03/17/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
03/15/2022 | 13:00 | | Karol Węgrzycki | | Isolation schemes for problems on decomposable graphs | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
03/14/2022 | 10:00 | | Roberto Navigli | | Recent Developments in Multilingual Natural Language Understanding | Virtual talk, Virtual talk | MPI Colloquium Series Distinguished Speaker |
03/10/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
03/09/2022 | 12:00 | c.t. | Gael Varoquaux | | Embeddings of databases for analytics robust to alignment errors | E1 4, 024 | AG5 Talk |
03/04/2022 | 14:00 | | Adam Dziedzic | | Confidential and Private Collaborative Machine Learning | Virtual talk, Virtual talk | CIS@MPG Colloquium |
03/03/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
03/03/2022 | 10:00 | | Anwar Hithnawi | | Systems Designs for End-to-End Privacy | Virtual talk, Virtual talk | CIS@MPG Colloquium |
03/02/2022 | 17:00 | | Pardis Emami-Naeini | | Empowering People to Have Secure and Private Interactions with Digital Technologies | Virtual talk, Virtual talk | CIS@MPG Colloquium |
03/01/2022 | 18:00 | | Yejin Choi | | Knowledge is Power: Symbolic Knowledge Distillation, Commonsense Morality, and Multimodal Script Knowledge | Virtual talk, Virtual talk | INF Distinguished Lecture Series |
03/01/2022 | 15:00 | | Yixin Zou | | Improving People’s Adoption of Security and Privacy Behaviors | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/28/2022 | 15:00 | | Suguman Bansal | | Specification-Guided Policy-Synthesis | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/24/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
02/23/2022 | 16:00 | | Rowan Zellers | | Grounding Language by Seeing, Hearing, and Interacting | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/22/2022 | 15:00 | | Aaron Schein | | Measurement and Experimentation in Complex Sociopolitical Processes | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/21/2022 | 15:00 | | Ningning Xie | | Language theory into practice, a play in three acts | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/18/2022 | 16:00 | | Yao Qin | | Improving Robustness in Machine Learning Models | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/18/2022 | 11:00 | | Anna Tigunova | | Extracting personal information from conversations | Virtual talk, virtual talk | Promotionskolloquium |
02/17/2022 | 16:00 | | Stephanie Wehner | | Quantum Networks: From a Physics Experiment to a Quantum Network System | E1 4, 325 | INF Distinguished Lecture Series |
02/17/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
02/15/2022 | 10:00 | | Yiqing Hua | | Characterizing and Mitigating Threats to Trust and Safety Online | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/11/2022 | 12:00 | | Hadi Daneshmand | | How do neurons learn? | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/11/2022 | 09:30 | | Krikamol Muandet | | Toward Reliable Machine Learning with Kernels | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/10/2022 | 14:00 | | Wenbo Guo | | Strengthening and Enriching Machine Learning for Cybersecurity | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/10/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
02/03/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
02/02/2022 | 12:15 | | Goran Radanovic | | Robust and Accountable Multi-Agent Sequential Decision Making | Virtual talk, Virtual | Joint Lecture Series |
01/27/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
01/20/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
01/20/2022 | 10:00 | | Willy Zwaenepoel | | Software for Fast Storage Hardware | Virtual talk, Virtual Talk | SWS Distinguished Lecture Series |
01/18/2022 | 15:00 | | Nina Grgić-Hlača | | Human Factors in Machine-Assisted Decision-Making | E1 4, 029 | SWS Student Defense Talks - Thesis Proposal |
01/18/2022 | 13:00 | | Benedikt Geilenkeuser | | FPT-Algorithms for the Treewidth-3 Modulator Problem (Master Thesis) | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
01/17/2022 | 13:00 | | Zhongtian He | | TBA | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/17/2022 | 13:00 | | Zhongtian He | | TBA | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/13/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
01/06/2022 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
01/04/2022 | 13:00 | | Karl Bringmann | | Tight Fine-Grained Bounds for Direct Access on Join Queries, or: Fine-Grained Complexity meets Databases | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
12/16/2021 | 13:00 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
12/16/2021 | 12:00 | | Yanlei Diao | | UDAO: A Next-Generation Cloud Data Analytics Optimizer via Large-Scale Machine Learning | Virtual talk, Virtual talk | INF Distinguished Lecture Series |
12/15/2021 | 12:00 | | Mohamed Omran | | From Pixels to People: Recovering Location, Shape, and Pose of Humans in Images | Virtual talk, Virtual talk | Promotionskolloquium |
12/14/2021 | 13:00 | | Daniel Neuen | | Parameterized Subexponential Algorithms for Generalized Cycle Hitting Problems on Planar Graphs | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
12/09/2021 | 11:00 | | Azin Ghazimatin | | Enhancing Explainability and Scrutability of Recommender Systems | Virtual talk, Virtual talk | Promotionskolloquium |
12/08/2021 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
12/07/2021 | 14:00 | | Marko Doko | | Program Logic for Weak Memory Concurrency | Uni Kaiserlautern [KL], 48 | SWS Student Defense Talks - Thesis Defense |
12/02/2021 | 15:00 | | Philip Wellnitz | | Counting Patterns in Strings and Graphs | Virtual talk, Virtual talk | Promotionskolloquium |
12/02/2021 | 13:00 | | Hossein Vahidi | | Approximate Minimum Directed Spanning Tree in Congest and Congested Clique Models (Master's Thesis) | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
12/01/2021 | 12:15 | | Deepak Kapur | | Semantic Congruence Closure Algorithms | Virtual talk, Virtual | Joint Lecture Series |
12/01/2021 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
12/01/2021 | 10:00 | | Utkarsh Upadhyay | | Models and Methods for Dissemination of Information and Knowledge Online | G26 [KL], 111 | SWS Student Defense Talks - Thesis Defense |
11/30/2021 | 10:00 | | Thomas Neumann | | Adaptive Join Order Optimization using Search Space Linearization | Virtual talk, Virtual talk | MPI Colloquium Series Distinguished Speaker |
11/25/2021 | 15:00 | s.t. | Victoria Tsoukala | | CANCELLED:Talk on European research framework (Horizon Europe) | Virtual talk, Virtual talk | Presentation |
11/24/2021 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
11/23/2021 | 15:00 | | Tim Kraska | | Towards instance-optimized data systems | Virtual talk, Virtual talk | MPI Colloquium Series Distinguished Speaker |
11/23/2021 | 14:00 | | Sandra Zilles | | Optimal Machine Teaching Without Collusion | Virtual talk, Virtual talk | SWS Colloquium |
11/19/2021 | 10:00 | | Federico Aromolo | | Event-Driven Delay-Induced Tasks: Model, Analysis, and Applications | Virtual talk [KL], Virtual talk | SWS Colloquium |
11/18/2021 | 14:00 | | Ashley Montanaro | | Observing ground-state properties of the Fermi-Hubbard model using a scalable algorithm on a quantum computer | Virtual talk, Virtual talk | MPI Colloquium Series Distinguished Speaker |
11/18/2021 | 12:00 | | Yanlei Diao | | UDAO: A Next-Generation Cloud Data Analytics Optimizer via Large-Scale Machine Learning | Virtual talk, Virtual talk | MPI Colloquium Series Distinguished Speaker |
11/17/2021 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
11/16/2021 | 13:00 | | Ariel Kulik | | Round&Round: An Improved Algorithm for 2-Dimensional Vector Bin Packing | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
11/15/2021 | 16:00 | s.t. | Johannes Gehrke | | Database Systems 2.0 | Virtual talk, Zoom | SWS Distinguished Lecture Series |
11/10/2021 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
11/03/2021 | 12:15 | | Paul Francis | | Most data anonymity attack papers are inconclusive or misleading | Virtual talk, Virtual | Joint Lecture Series |
11/03/2021 | 11:30 | | D1 Group Members | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
11/03/2021 | 10:00 | | Timothy Roscoe | | Enzian: a cache-coherent heterogeneous research computer | Virtual talk, Virtual | SWS Distinguished Lecture Series |
10/28/2021 | 15:00 | | Alexandra Silva | | Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks | Virtual talk [KL], zoom | SWS Distinguished Lecture Series |
10/28/2021 | 14:00 | | Renato Renner | | Optimal universal programming of unitary gates | Virtual talk, Virtual talk | MPI Colloquium Series Distinguished Speaker |
10/27/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
10/25/2021 | 10:00 | | Gabriel Kaptchuk | | Abuse Resistant Law Enforcement Access Systems | Virtual talk, Zoom | Talk |
10/20/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
10/13/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
10/06/2021 | 12:15 | c.t. | Dengxin Dai | | All-Season Semantic Scene Understanding for Autonomous Driving | Virtual talk, Virtual | Joint Lecture Series |
10/06/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
09/29/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
09/28/2021 | 13:00 | | Rishabh Sharma | | Building a user study system for the MPI Optimized Modeler | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
09/24/2021 | 16:00 | | Apratim Bhattacharyya | | Long-term Future Prediction under Uncertainty and Multi-modality | Virtual talk, Virtual talk | Promotionskolloquium |
09/23/2021 | 13:00 | | Alejandro Cassis | | Fine-Grained Completeness for Optimization in P | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
09/22/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
09/22/2021 | 10:00 | | Laura Kovacs | | Algebra-based Analysis of Polynomial Probabilistic Programs | Virtual talk, Zoom | SWS Distinguished Lecture Series |
09/21/2021 | 13:00 | | Sami Shalayel | | Reflector detection in ultrasound measurements via column generation | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
09/16/2021 | 16:00 | | Matthias Christandl | | Fault-tolerant Coding for Quantum Information | Virtual talk, Virtual talk | MPI Colloquium Series Distinguished Speaker |
09/15/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
09/15/2021 | 10:30 | | Frank Piessens | | Validating models for microarchitectural security | Virtual talk, Zoom | SWS Distinguished Lecture Series |
09/08/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
09/01/2021 | 12:15 | | Vladislav Golyanik | | 3D Computer Vision: From a Classical to a Quantum Perspective | Virtual talk, Virtual | Joint Lecture Series |
09/01/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
08/26/2021 | 15:00 | | Chuchu Fan | | Fast, optimal, and guaranteed safe controller synthesis | Virtual talk [KL], zoom | SWS Colloquium |
08/26/2021 | 13:00 | | Jeff Giliberti | | Improved Online Algorithm for Fractional Knapsack in the Random Order Model | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
08/25/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
08/11/2021 | 15:00 | | Debmalya Mandal | | Decision Making with Heterogeneous Agents | Virtual talk, Virtual talk | Talk |
08/04/2021 | 12:15 | | Thomas Leimkühler | | Exploring the Continuum of Image Synthesis Algorithms | Virtual talk, Virtual | Joint Lecture Series |
08/04/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
07/29/2021 | 13:00 | | Hamidreza Kamkari | | Semi-definite programming using Physarum inspired dynamics | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
07/28/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
07/27/2021 | 14:30 | | Rakshith Shetty | | Adversarial Content Manipulation for Analyzing and Improving Model Robustness | Virtual talk, Virtual talk | Promotionskolloquium |
07/22/2021 | 16:00 | | Andrew Childs | | Efficient quantum algorithm for dissipative nonlinear differential equations | Virtual talk, Virtual talk | INF Distinguished Lecture Series |
07/22/2021 | 13:00 | | Shahrzad Kananizadeh | | Algorithm for Target-Matching Wire Routing in the MEMS Periphery | Virtual talk, Virtual talk | AG1 Advanced Mini-Course |
07/21/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
07/20/2021 | 13:00 | | Parinya Chalermsook | | to be announced | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
07/15/2021 | 13:00 | | multiple | | D1 Virtual Poster Session | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
07/14/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
07/14/2021 | 10:00 | | Peter Pietzuch | | Making Distributed Deep Learning Adaptive | Virtual talk, Zoom | SWS Distinguished Lecture Series |
07/08/2021 | 13:00 | | Karol Wegrzycki | | Knapsack and Subset Sum with Small Items | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
07/07/2021 | 12:15 | | Christian Theobalt | | Neural Methods for Reconstruction and Rendering of Real World Scenes | Virtual talk, Virtual | Joint Lecture Series |
07/07/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
07/05/2021 | 18:00 | | Bhaskar Ray Chaudhury | | Finding Fair and Efficient Allocations | Virtual talk, Virtual talk | Promotionskolloquium |
06/30/2021 | 16:00 | | Herbert Bos | | Attacks on Hardware: Why You Should Not Do It | Virtual talk, Zoom | SWS Distinguished Lecture Series |
06/30/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
06/29/2021 | 14:00 | | Alexander Marx | | Information-theoretic causal discovery | Virtual talk, Virtual | Promotionskolloquium |
06/29/2021 | 13:00 | | Baris Can Esmer | | On (1+eps)-approximate Block Sparse Recovery (Master Seminar) | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
06/28/2021 | 16:15 | | Octavio Arizmendi Echegaray | | Energy of graphs and vertices | Virtual talk, Virtual talk | Talk |
06/28/2021 | 10:00 | | Sreyasi Nag Chowdhury | | Text-Image Synergy for Multimodal Retrieval and Annotation | Virtual talk, Virtual | Promotionskolloquium |
06/24/2021 | 13:00 | | Nick Fischer | | Sparse Nonnegative Convolution Is Equivalent to Dense Nonnegative Convolution | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
06/23/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
06/18/2021 | 13:00 | | Hossein Vahidi | | Approximate Minimum Directed Spanning Trees under Congestion | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
06/17/2021 | 13:00 | | Govind Sankar | | Tight Complexity Results for General Factor Problems Parameterized by Treewidth and Cutwidth | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
06/16/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
06/16/2021 | 10:30 | | Tulika Mitra | | Domain-Agnostic Accelerators: Efficiency with Programmability | Virtual talk [KL], Zoom | SWS Distinguished Lecture Series |
06/14/2021 | 09:00 | | Mahmoudreza Babaei | | Information Consumption on Social Media: Efficiency, Divisiveness, and Trust | E1 5, 029 | SWS Student Defense Talks - Thesis Defense |
06/10/2021 | 13:00 | | D1 Researchers | | D1 Virtual "Poster" Session | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
06/10/2021 | 11:30 | | Bruno Levy | | Partial Optimal Transport for a Constant-Volume Lagrangian Mesh with Free Boundaries | Virtual talk, Virtual talk | Talk |
06/09/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
06/08/2021 | 13:00 | | Sam Jonas Egervari | | Optimization under Privacy (Bachelor Seminar) | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
06/07/2021 | 16:00 | | Mohamed Gad-Elrab | | Explainable Methods for Knowledge Graph Refinement and Exploration via Symbolic Reasoning | Virtual talk, Virtual talk | Promotionskolloquium |
06/02/2021 | 15:00 | | Jon Kleinberg | | Monoculture and Simplicity in an Ecosystem of Algorithmic Decision-Making | Virtual talk [KL], Zoom | SWS Distinguished Lecture Series |
06/02/2021 | 12:15 | | Joël Ouaknine | | Dynamics and Computation: The GALoiS Initiative | Virtual talk, Virtual | Joint Lecture Series |
06/02/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
06/02/2021 | 09:00 | | Heiko Becker | | Verified Compilation and Optimization of Finite-Precision Kernels | E1 5, 029 | SWS Student Defense Talks - Thesis Proposal |
06/01/2021 | 13:00 | | Anna Twelsiek | | Production Planning of Mixed-Model Assembly Lines at the Ford Saarlouis Plant (Master thesis) | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
05/27/2021 | 13:00 | | André Nusser | | Translating Hausdorff is Hard: Fine-Grained Lower Bounds for Hausdorff Distance Under Translation | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
05/26/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
05/26/2021 | 10:00 | | Mooly Sagiv | | Modularity for Decidability: Formal Reasoning about Decentralized Financial Applications | Virtual talk, Zoom | SWS Distinguished Lecture Series |
05/19/2021 | 16:30 | | Margo Seltzer | | Caching: It's not just about Data | Virtual talk, Virtual | SWS Distinguished Lecture Series |
05/19/2021 | 11:30 | | Kurt Mehlhorn | | *No* D1 Group Meeting (due to SAB review) | —, — | AG1 Group Meeting |
05/12/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
05/12/2021 | 10:10 | | Orna Kupferman | | From Correctness to High Quality | Virtual talk [KL], Zoom | SWS Distinguished Lecture Series |
05/05/2021 | 15:00 | | Prakash Panangaden | | Distributional analysis of sampling-based RL algorithms | Virtual talk [KL], Zoom | SWS Distinguished Lecture Series |
05/05/2021 | 12:15 | | Savvas Zannettou | | Data-Driven Approaches to Understanding Hateful Content and Moderation Interventions on the Web | Virtual talk, Virtual | Joint Lecture Series |
05/05/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
04/28/2021 | 16:00 | | Phokion G. Kolaitis | | Computational Social Choice and Incomplete Information | Virtual talk [KL], Zoom | SWS Distinguished Lecture Series |
04/28/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
04/21/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
04/21/2021 | 10:00 | | Joost-Pieter Katoen | | On Probabilistic Program Termination | Virtual talk [KL], zoom | SWS Distinguished Lecture Series |
04/14/2021 | 15:00 | | André Platzer | | Logical Foundations of Cyber-Physical Systems | Virtual talk [KL], zoom | SWS Distinguished Lecture Series |
04/14/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
04/08/2021 | 13:00 | | Ben Wiederhake | | Distributed Distance-r Dominating Set on Bounded Expansion High-Girth Graphs | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
04/08/2021 | 10:00 | c.t. | Guyue (Grace) Liu | | Watching the Watchmen: Trustworthy Network Tasks Outsourcing | Virtual talk, Virtual | Talk |
04/07/2021 | 12:15 | | Marvin Künnemann | | A Structural Complexity Theory for Big Data: Fine-grained Complexity and Algorithm Design | Virtual talk, Virtual | Joint Lecture Series |
04/07/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
03/31/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
03/31/2021 | 10:00 | | Katerina Argyraki | | Internet Transparency | Virtual talk, Zoom | SWS Distinguished Lecture Series |
03/29/2021 | 10:00 | | Kuldeep Meel | | Functional Synthesis: An Ideal Meeting Ground for Formal Methods and Machine Learning | Virtual talk [KL], Virtual talk | SWS Colloquium |
03/24/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
03/17/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
03/11/2021 | 13:00 | | Deni Begaj | | A multi-user platform for managing and solving Mixed Integer Linear Optimization problems (Master's Thesis defense) | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
03/11/2021 | 10:00 | c.t. | Yasemin Acar | | Human Factors in Secure Software Development: How we can help developers write secure code | Virtual talk, Virtual talk | CIS@MPG Colloquium |
03/10/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
03/09/2021 | 10:00 | | Marcel Böhme | | Automatic Vulnerability Discovery at Scale | Virtual talk, Virtual talk | CIS@MPG Colloquium |
03/08/2021 | 15:00 | | Fraser Brown | | Exterminating bugs in real systems | Virtual talk, Virtual talk | CIS@MPG Colloquium |
03/05/2021 | 09:30 | c.t. | Hengshuang Zhao | | Advancing Visual Intelligence via Neural System Design | Virtual talk, Virtual talk | CIS@MPG Colloquium |
03/04/2021 | 13:00 | | Christoph Lenzen | | The Many Faces of Clock Synchronization | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
03/04/2021 | 11:00 | | Panagiotis Mandros | | Discovering Robust Dependencies from Data | Virtual talk, Virtual talk | Promotionskolloquium |
03/04/2021 | 10:30 | | Antoine Kaufmann | | Post-Moore Systems — Challenges and Opportunities | Virtual talk, Virtual talk | CIS@MPG Colloquium |
03/03/2021 | 12:15 | | Viktor Vafeiadis | | Model Checking Under Weak Memory Concurrency | Virtual talk, Virtual talk | Joint Lecture Series |
03/03/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
03/03/2021 | 09:30 | | Hongyang Zhang | | New Advances in (Adversarially) Robust and Secure Machine Learning | Virtual talk, Virtual talk | CIS@MPG Colloquium |
03/02/2021 | 17:00 | | Anqi Liu | | Towards Trustworthy AI: Provably Robust Extrapolation for Decision Making | Virtual talk, Virtual talk | CIS@MPG Colloquium |
03/01/2021 | 14:00 | | Hu Wei | | Opening the Black Box: Towards Theoretical Understanding of Deep Learning | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/25/2021 | 17:00 | | Florian Tramer | | Measuring and Enhancing the Security of Machine Learning | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/25/2021 | 13:00 | | Liana Khazaliya | | Graph coalition partitions that are optimal under social welfare | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
02/24/2021 | 17:00 | | Antonio Vergari | | From Simple Inference to Complex Probabilistic Reasoning | E1 1, 412 | Talk |
02/24/2021 | 14:00 | | Andrew Quinn | | Data-Centric Debugging or: How I Learned to Stop Worrying and Use 'Big Data' Techniques to Diagnose Software Bugs | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/24/2021 | 14:00 | | Saskia Metzler | | Structural Building Blocks in Graph Data: Characterised by Hyperbolic Communities and Uncovered by Boolean Tensor Clustering | Virtual talk, Virtual talk | Promotionskolloquium |
02/24/2021 | 13:00 | | Slobodan Mitrovic | | New Techniques for Designing Fast Parallel Algorithms | E1 1, 412 | Talk |
02/24/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
02/23/2021 | 15:00 | | Justine Zhang | | Towards an Actionable Understanding of Conversations | Virtual talk [KL], Virtual talk | CIS@MPG Colloquium |
02/23/2021 | 13:00 | | D1 Researchers | | D1 Open Problem Session | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
02/22/2021 | 10:30 | | Sandra Kiefer | | Algorithmic Approaches in Finite-ModelTheory With Interdisciplinary Applications | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/18/2021 | 16:00 | | Eddy Ilg | | What Models do we Need in Computer Vision? From Optical Flow to Scene Representations | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/18/2021 | 13:00 | | Sebastian Homrighausen | | On Asymmetric Fair Division | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
02/17/2021 | 15:00 | | Riad Wahby | | Breaking the chains of implicit trust | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/17/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
02/16/2021 | 15:00 | c.t. | Juba Ziani | | Using Data More Responsibly | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/16/2021 | 13:00 | | Bhaskar Ray Caudhury | | Discrete Fair Division | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
02/15/2021 | 14:00 | | Ahmed Saeed | | Building Scalable Network Stacks for Modern Applications | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/11/2021 | 15:00 | | Mariya Toneva | | Data-Driven Transfer of Insight between Brains and AI Systems | Virtual talk, Virtual talk | CIS@MPG Colloquium |
02/10/2021 | 17:30 | | Abhinav Verma | | Neurosymbolic Reinforcement Learning for Trustworthy AI | E1 3, 412 | Talk |
02/10/2021 | 15:00 | | Florian Willomitzer | | The Role of Fundamental Limits in Computational 3D Imaging Systems | E1 3, 412 | Talk |
02/10/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
02/10/2021 | 10:00 | | Wenguan Wang | | Deep Visual Perception in a Structured World | E1 3, 412 | Talk |
02/03/2021 | 16:00 | | Rebekka Burkholz | | Cascade processes in machine learning | E1 3, 412 | Talk |
02/03/2021 | 14:00 | | Jan van den Brand | | Dynamic Linear Algebra | E1 3, 412 | Talk |
02/03/2021 | 12:15 | | Yiting Xia | | A Social Network under Social Distancing - Experience and Insights during COVID-19 on Risk-Driven Backbone Management | Virtual talk, Virtual talk | Joint Lecture Series |
02/03/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
02/03/2021 | 11:00 | | Benjamin Kaminski | | TBA | E1 3, 412 | Talk |
01/27/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
01/20/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
01/18/2021 | 13:00 | | Benedikt Geilenkeuser | | FPT-Algorithms for the Treewidth-3 Modulator Problem (Master Thesis) | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
01/14/2021 | 13:00 | | Raul Lopes | | Adapting the Directed Grid Theorem into an FPT algorithm | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
01/13/2021 | 15:00 | c.t. | Steve Zdancewic | | Vellvm: Verifying LLVM IR Code | Virtual talk, Virtual talk | SWS Distinguished Lecture Series |
01/13/2021 | 12:15 | | Sven Apel | | The Programmer, The Unknown Being: Program Comprehension Research in the Neuroage | Virtual talk, Virtual talk | Joint Lecture Series |
01/13/2021 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
01/12/2021 | 13:00 | | Karol Wegrzycki | | Improving Schroeppel and Shamir's Algorithm for Subset Sum via Orthogonal Vectors | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
01/07/2021 | 13:00 | | Karl Bringmann | | A Fine-Grained Perspective on Approximating Subset Sum and Partition | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
12/18/2020 | 16:00 | | Tribhuvanesh Orekondy | | Understanding and Controlling Leakage in Machine Learning | Virtual talk, Virtual talk | Promotionskolloquium |
12/18/2020 | 13:00 | | Jannik Kudla | | Approximation Schemes for Subset Sum Ratio (Bachelor Thesis) | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
12/17/2020 | 13:00 | | Hussein Houdrouge | | Subquadratic High-Dimensional Hierarchical Clustering | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
12/16/2020 | 16:00 | | Eldar Insafutdinov | | Towards Accurate Multi-Person Pose Estimation in the Wild | Virtual talk, Virtual talk | Promotionskolloquium |
12/16/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
12/15/2020 | 13:00 | | Jannis Christopher Köhl | | Branch & Converge: A Generic Technique for Boundable Problems (Bachelor's Thesis defense) | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
12/15/2020 | 10:00 | c.t. | Jialong Li | | Building Low-Latency and Energy-Efficient Optical Metro-Access Converged Networks | Virtual talk, Virtual talk | Talk |
12/10/2020 | 13:00 | | Sándor Kisfaludi-Bak | | Gap-ETH-tight approximation scheme for Euclidean TSP | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
12/09/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
12/08/2020 | 14:00 | | Daniel Vaz | | Approximation Algorithms for Network Design and Cut Problems in Bounded-Treewidth | Virtual talk, Virtual talk | Promotionskolloquium |
12/04/2020 | 10:00 | | Anca Muscholl | | Distributed synthesis and negotiations | Virtual talk, Virtual talk | SWS Distinguished Lecture Series |
12/03/2020 | 13:00 | | Prafullkumar Tale | | On the Parameterized Complexity of Maximum Degree Contraction Problem | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
12/02/2020 | 16:00 | | Nuria Oliver | | Towards Human Behavior Modeling from (Big) Data: From smart rooms, cars and phones to COVID-19 | Virtual talk, Virtual talk | SWS Distinguished Lecture Series |
12/02/2020 | 12:15 | | Oliver Gasser | | Internet Measurements: From IPv6 Scanning to the COVID-19 Pandemic | Virtual talk, Virtual talk | Joint Lecture Series |
12/02/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
11/26/2020 | 15:30 | | Manohar Vanga | | High-Throughput and Predictable VM Scheduling for High-Density Workloads | G26 [KL], 111 | SWS Student Defense Talks - Thesis Defense |
11/26/2020 | 13:00 | | Jacob Focke | | On the Complexity of Approximately Counting Retractions | Virtual, Virtual | AG1 Advanced Mini-Course |
11/25/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
11/24/2020 | 16:00 | s.t. | Franziska Roesner | | Can You Believe It? Security and Privacy Case Studies in Online Advertising, Misinformation, and Augmented Reality | Virtual, Virtual | SWS Distinguished Lecture Series |
11/18/2020 | 15:00 | c.t. | Jenn Wortman Vaughan | | Intelligibility Throughout the Machine Learning Life Cycle | Virtual talk, Virtual talk | SWS Distinguished Lecture Series |
11/18/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
11/17/2020 | 17:00 | | Ben Wiederhake | | TRIX: Low-Skew Pulse Propagation for Fault-Tolerant Hardware | Virtual, Virtual | AG1 Mittagsseminar (own work) |
11/13/2020 | 14:00 | | Philipp Müller | | Sensing, Interpreting, and Anticipating Human Social Behaviour in the Real World | Virtual, Virtual | Promotionskolloquium |
11/11/2020 | 15:00 | c.t. | Iyad Rahwan | | Experiments in Machine Behavior: Cooperating with and through machines | Virtual, Zoom | SWS Distinguished Lecture Series |
11/11/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
11/05/2020 | 13:00 | | Joel Ouaknine | | Holonomic Techniques, Periods, and Decision Problems | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
11/04/2020 | 16:00 | c.t. | Evimaria Terzi | | Simple models for optimizing driver earnings in ride-sharing platforms | Virtual talk, Virtual talk | SWS Distinguished Lecture Series |
11/04/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
11/03/2020 | 14:30 | | Aastha Mehta | | Ensuring Compliance with Data Privacy and Usage Policies in Online Services | E1 5, 029 | SWS Student Defense Talks - Thesis Defense |
11/03/2020 | 13:00 | | Ioannis Anagnostides | | Optimistic Gradient Descent/Ascent in Zero-Sum Games | Virtual talk, Virtual talk | AG1 Mittagsseminar (own work) |
11/02/2020 | 09:00 | c.t. | Katrina Ligett | | Diagnosing the data ecosystem | Virtual talk, Virtual talk | SWS Colloquium |
10/28/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
10/27/2020 | 16:00 | | Boaz Barak | | Generalization bounds for rational self-supervised learning algorithms | E1 4, 024 | INF Distinguished Lecture Series |
10/22/2020 | 15:30 | | Arpan Gujarati | | Towards Ultra-Reliable CPS: Reliability Analysis of Distributed Real-Time Systems | E1 5 [KL], 111 | SWS Student Defense Talks - Thesis Defense |
10/22/2020 | 13:00 | | Marko Mrsic | | An interface to model and solve Mixed-Integer Linear Programs (Bachelor Defense) | 000, 000 | AG1 Mittagsseminar (own work) |
10/21/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
10/20/2020 | 14:00 | | Matthias Christandl | | Tensors: rank, entropy and entanglement | E1 4, 024 | MPI Colloquium Series Distinguished Speaker |
10/16/2020 | 13:00 | | Philip Wellnitz | | Faster Approximate Pattern Matching: A Unified Approach | n/a, n/a | AG1 Mittagsseminar (own work) |
10/15/2020 | 13:00 | | D1 members | | Sharing our experience with digital teaching | 000, 000 | AG1 Group Meeting |
10/15/2020 | 10:30 | | Tanja Pahl | | Flu Vaccination (requires sign-up) | E1 5, Foyer | Miscellaneous |
10/14/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | Virtual talk, Virtual talk | AG1 Group Meeting |
10/13/2020 | 13:00 | | Roohani Sharma | | Fault Tolerant Directed Subgraphs with Applications in Kernelization | 000, 000 | AG1 Mittagsseminar (own work) |
10/08/2020 | 13:00 | | Kurt Mehlhorn | | Network Design and Physarum | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/07/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | —, — | AG1 Group Meeting |
09/30/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
09/23/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
09/22/2020 | 13:00 | | Esther Galby | | Approximating Independent Set and Dominating Set on VPG graphs | 000, 000 | AG1 Mittagsseminar (own work) |
09/16/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
09/15/2020 | 13:00 | | André Nusser | | When Lipschitz Walks Your Dog: Algorithm Engineering of the Discrete Fréchet Distance under Translation | --, -- | AG1 Mittagsseminar (own work) |
09/10/2020 | 13:00 | | Marc Roth | | Counting Small Induced Subgraphs Satisfying Monotone Properties | -, - | AG1 Mittagsseminar (own work) |
09/09/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
09/02/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
08/27/2020 | 13:00 | | Jannis Köhl | | Branch & Converge: A Generic Technique for Boundable Problems (Bachelor Seminar) | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/26/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
08/21/2020 | 11:00 | | Ralf Jung | | Understanding and Evolving the Rust Programming Language | E1 5, 021 | SWS Student Defense Talks - Thesis Defense |
08/19/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
08/18/2020 | 13:00 | | Siddharth Barman | | Fair Cake Division Under Monotone Likelihood Ratios | E1 4, 024 | AG1 Advanced Mini-Course |
08/12/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
08/11/2020 | 13:00 | | Ian W. Jones | | Metastability Masking Flip-flops | 000, 000 | AG1 Mittagsseminar (own work) |
08/10/2020 | 13:00 | | Golnoosh Shahkarami | | Complexity of Computing the Anti-Ramsey Numbers for Paths | 000, 000 | AG1 Mittagsseminar (own work) |
08/05/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
07/29/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
07/28/2020 | 13:00 | | Guy Even | | Optimized Scheduling of COVID-19 Testing | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/23/2020 | 13:00 | | Pranabendu Misra | | An optimal approximation algorithm for Feedback Vertex Set in Tournaments | 000, 000 | AG1 Mittagsseminar (own work) |
07/22/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
07/21/2020 | 16:00 | | Johannes Bund | | PALS: Plesiochronous and Locally Synchronous Systems | virtual, virtual | AG1 Mittagsseminar (own work) |
07/21/2020 | 13:00 | | Stefan Schmid | | Self-Adjusting Networks: From Metrics to Algorithms | virtual, virtual | AG1 Mittagsseminar (others' work) |
07/15/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
07/09/2020 | 13:00 | | Deni Begaj | | Building a platform for modeling and solving Optimization problems (Master seminar) | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/08/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 024 | AG1 Group Meeting |
07/07/2020 | 16:00 | | Yongqin Xian | | Learning from Limited Labeled Data - Zero-Shot and Few-Shot Learning | E1 4, Zoom | Promotionskolloquium |
07/07/2020 | 13:00 | | Marvin Künnemann | | Finding Small Satisfying Assignments Faster Than Brute Force: A Fine-grained Perspective into Boolean Constraint Satisfaction | virtual, virtual | AG1 Mittagsseminar (own work) |
07/06/2020 | 14:00 | | Kailash Budhathoki | | Causal Inference on Discrete Data | E1 4, Zoom | Promotionskolloquium |
07/02/2020 | 15:00 | | Indranil Gupta | | The Future of Technology Will Not Be Technological | E1 4, Zoom Meeting | Colloquium Lecture |
07/02/2020 | 13:00 | | Leonie Krull | | Algorithms for MILPs | 000, 000 | AG1 Mittagsseminar (own work) |
07/01/2020 | 11:00 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
06/30/2020 | 13:00 | | Themis Gouleakis | | Distribution-Independent PAC Learning of Halfspaces with Massart Noise | 000, 000 | AG1 Mittagsseminar (own work) |
06/26/2020 | 14:00 | | Marko Mrsic | | Towards an Optimization Platform (Bachelor seminar) | 000, 000 | AG1 Mittagsseminar (own work) |
06/25/2020 | 13:00 | | Bhaskar Ray Chaudhury | | EFX Exists for Three Agents | 000, 000 | AG1 Mittagsseminar (own work) |
06/24/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 024 | AG1 Group Meeting |
06/24/2020 | 10:00 | | Eskam Elnikety | | Comprehensive and Practical Policy Compliance in Data Retrieval Systems | E1 5, 029 | SWS Student Defense Talks - Thesis Defense |
06/23/2020 | 13:00 | | Jasper Slusallek | | Algorithms and Lower Bounds for Finding Exact-Weight Subgraphs of Bounded Treewidth (Bachelor thesis) | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/18/2020 | 13:00 | | Sándor Kisfaludi-Bak | | A quasi-polynomial algorithm for well-spaced hyperbolic TSP | 000, 000 | AG1 Mittagsseminar (own work) |
06/17/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
06/16/2020 | 13:00 | | Vasileios Nakos | | (Nearly) Sample-Optimal Sparse Fourier Transform in Any Dimension | 000, 000 | AG1 Mittagsseminar (own work) |
06/15/2020 | 16:30 | | Elizaveta Kovalevskaya | | The Complexity of Reading Articles in an Online Setting (Master's defence) | 000, 000 | AG1 Mittagsseminar (own work) |
06/15/2020 | 16:00 | | Roxana Geambasu | | Security and Privacy Guarantees in Machine Learning with Differential Privacy | E1 4, Zoom | SWS Distinguished Lecture Series |
06/10/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 024 | AG1 Group Meeting |
06/09/2020 | 13:00 | | Prafullkumar Tale | | On the Parameterized Complexity of Grid Contraction | 000, 000 | AG1 Mittagsseminar (own work) |
06/03/2020 | 12:15 | | Cas Cremers | | CANCELLED The (In)Security of Modern Communication: From Guesses to Guarantees | E1 5, 002 | Joint Lecture Series |
06/03/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
05/27/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
05/27/2020 | 10:30 | | Jan-Oliver Kaiser | | Mtac2: Strongly-Typed Tactic- and Meta-Programming for Coq | E1 5, Online | SWS Student Defense Talks - Thesis Proposal |
05/25/2020 | 16:00 | | Hadas Kress-Gazit | | Formal Synthesis for Robots | G26 [KL], online | SWS Distinguished Lecture Series |
05/24/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 024 | AG1 Group Meeting |
05/20/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
05/20/2020 | 10:00 | | Emanuele D'Osualdo | | In Search of Compositional Verification for Concurrent Programs | E1 5, Remote | Colloquium Lecture |
05/13/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
05/10/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 024 | AG1 Group Meeting |
05/07/2020 | 13:00 | | Hossein Vahidi | | Distributed Minimum Directed Spanning Tree | 000, Video only | AG1 Mittagsseminar (others' work) |
05/06/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
04/29/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (virtual) | E1 4, 333 | AG1 Group Meeting |
04/23/2020 | 13:00 | | Daniel Neuen | | Quasipolynomial Time Isomorphism Tests for Parameterized Graph Classes | 000, Video only | AG1 Mittagsseminar (own work) |
04/22/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (ID 1095) | E1 4, 333 | AG1 Group Meeting |
04/21/2020 | 13:00 | | Prafullkumar Tale | | About Graph Contraction Problems | 000, Video only | AG1 Mittagsseminar (own work) |
04/15/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (ID 1095) | E1 4, 333 | AG1 Group Meeting |
04/14/2020 | 15:00 | | Gayane Vardoyan | | Talk: On the Analysis of Entanglement Distribution in a Quantum Network | -, - | Talk |
04/09/2020 | 13:00 | | Mathieu Mari | | Fixed-parameter algorithms for Unsplittable Flow Cover | Video only, 000 | AG1 Mittagsseminar (own work) |
04/08/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (ID 1095) | E1 4, 333 | AG1 Group Meeting |
04/07/2020 | 13:00 | | Pieter Kleer | | Learning-Augmented Online Selection Algorithms | Video only, 000 | AG1 Mittagsseminar (own work) |
04/06/2020 | 10:00 | | Danupon Nanonkai | | New Perspectives on Old Graph Questions (Video Talk) | E1 4, 024 | INF Distinguished Lecture Series |
04/01/2020 | 12:15 | | Julian Baldus, Marian Dietz, Simon Schwarz | | CANCELLED: Computer Science Competitions @ SIC | E2 2, Günther-Hotz-HS | Joint Lecture Series |
04/01/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (ID 1095) | E1 4, 333 | AG1 Group Meeting |
03/31/2020 | 11:00 | | Martin Grohe | | Symmetry and Similarity (Video Lecture) | E1 4, Video Lecture | Colloquium Lecture |
03/31/2020 | 11:00 | | Martin Grohe | | To be announced | E1 4, 024 | Colloquium Lecture |
03/26/2020 | 14:00 | | David Steurer | | Quest for a unified theory of efficient optimization and estimation (Video Lecture) | E1 4, Video | INF Distinguished Lecture Series |
03/26/2020 | 10:00 | | Yiting Xia | | *Remote Talk* Improve Operations of Data Center Networks with Physical-Layer Programmability | E1 5, 029 | SWS Colloquium |
03/25/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting (ID 1095) | E1 4, 333 | AG1 Group Meeting |
03/18/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
03/18/2020 | 10:00 | | Yannis Kalantidis | | *Remote Talk* Learning efficient representations for image and video understanding | E1 5, 029 | SWS Colloquium |
03/16/2020 | 10:00 | | Niki Kilbertus | | *Remote Talk* Fairness in machine learning | E1 5, 029 | SWS Colloquium |
03/12/2020 | 13:00 | | Radha Venkatagiri | | *Remote Talk* Democratizing Error-Efficient Computing | E1 5, 029 | SWS Colloquium |
03/12/2020 | 13:00 | | Surender Baswana | | Fault Tolerant DFS in Undirected Graphs - Simple yet Efficient | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/11/2020 | 10:00 | c.t. | Hamid Rahkooy | | Automated Reasoning in the Sciences: Biological Models and Chemical Reaction Networks | E1 5, 630 | Talk |
03/10/2020 | 13:00 | | Surender Baswana | | Mincut Sensitivity Data Structures for Insertion of an Edge. | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/10/2020 | 10:00 | | Shin Hwei Tan | | Search-based automated program repair and testing | G26 [KL], 111 | SWS Colloquium |
03/05/2020 | 13:00 | | Antonios Antoniadis | | Parallel Machine Scheduling to Minimize Energy Consumption | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/04/2020 | 12:15 | | Viktor Vafeiadis | | CANCELLED: Model checking under weak memory concurrency | E1 5, 002 | Joint Lecture Series |
03/04/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
02/27/2020 | 14:00 | | Qingyun Wu | | Learning by exploration in an unknown and changing environment | E1 5, SB 029 | SWS Colloquium |
02/27/2020 | 13:00 | | Ian W. Jones | | Detecting Glitch Paths in Chip Designs | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/25/2020 | 13:00 | | Alejandro Cassis | | Fine-Grained Complexity of Exists^k-Forall-Quantified First-Order Graph Properties: Optimization and Approximability (Master Thesis) | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/25/2020 | 10:00 | | Giulio Malavolta | | Compactness in Cryptography | E1 5, 029 | SWS Colloquium |
02/21/2020 | 13:00 | | Naveen Garg | | Half-integral Duals, Connectivity Augmentation and Multiflows in Planar Graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/19/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
02/13/2020 | 13:00 | | Nofar Carmeli | | Enumeration Complexity of Unions of Conjunctive Queries | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/12/2020 | 10:15 | | Klaus-Tycho Foerster | | Towards Reconfigurable Optical Networks: Opportunities and Challenges | E1 5, 029 | Informatik-Kolloquium |
02/11/2020 | 13:00 | | Corinna Coupette | | Cultivating Cluster Trees | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/10/2020 | 10:00 | | Marcel Böhme | | Software Testing as Species Discovery | E1 5, 029 | SWS Colloquium |
02/07/2020 | 15:00 | | Debayan Roy | | Hybrid optimization techniques for multi-domain coupling in cyber-physical systems design | G26 [KL], 111 | SWS Colloquium |
02/07/2020 | 10:00 | | Asia J. Biega | | Designing responsible information systems | E1 5, 029 | SWS Colloquium |
02/06/2020 | 13:00 | | Sami Shalayel | | Column Generation for the Reconstruction of Ultrasound Full Matrix Capture Data (BSc Defense) | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/05/2020 | 12:15 | | Jan Reineke | | Spectector: Principled Detection of Speculative Information Flows | E1 5, 002 | Joint Lecture Series |
02/05/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
02/04/2020 | 13:00 | | Kurt Mehlhorn | | A Solution to Excercise 8.13 (The Maximum-Level Vertex in an Arrangement of Lines) | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/03/2020 | 13:45 | | Abhimitra Meka | | Live Inverse Rendering | E1 4, 019 | Promotionskolloquium |
02/03/2020 | 13:00 | | Ian W. Jones | | Chip Design Goes “Boink” | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/30/2020 | 15:00 | | Goran Zuzic | | Towards Universal Optimality in Distributed Optimization | E1 5, 105 | Talk |
01/30/2020 | 13:00 | | Sandeep R. B. | | Incompressibility of H-free edge modification problems: Towards a dichotomy | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/28/2020 | 13:00 | | Elizaveta Kovalevskaya | | Reading Articles Online (Master thesis) | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/28/2020 | 10:00 | s.t. | Mathias Fleury | | Formalization of Logical Calculi in Isabelle/HOL | E1 4, 024 | Promotionskolloquium |
01/17/2020 | 10:30 | | Jon Howell | | veribetrfs: Verification as a Practical Engineering Tool | E1 5, 029 | SWS Distinguished Lecture Series |
01/17/2020 | 10:00 | | Mahmoudreza Babaei | | Information Consumption on Social Media: Efficiency, Divisiveness, and Trust | E1 5, 029 | SWS Student Defense Talks - Thesis Proposal |
01/16/2020 | 13:00 | | Philipp Schepper | | Tight Bounds for Regular Expression Pattern Matching and Membership (Master thesis) | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/15/2020 | 16:30 | | Maximilian John | | Of Keyboards and Beyond - Optimization in Human-Computer Interaction | E1 4, 024 | Promotionskolloquium |
01/15/2020 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
01/14/2020 | 13:00 | | Karl Bringmann | | Top-k-Convolution and the Quest for Near-Linear Output-Sensitive Subset Sum | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/08/2020 | 12:15 | | Dániel Marx | | Towards a Tight Understanding of the Complexity of Algorithmic Problems | E1 5, 002 | Joint Lecture Series |
12/18/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
12/17/2019 | 13:00 | | Nico Gründel | | Improving Computational Upper and Conditional Lower Bounds of Fréchet Distance on Practical Input Curves (Bachelor thesis) | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/16/2019 | 10:30 | | Işıl Dillig | | Computer-Aided Programming Across Software Stack | G26 [KL], 111 | SWS Distinguished Lecture Series |
12/12/2019 | 18:00 | c.t. | Prof. Anthony Elliott, University of South Australia | | CEUS Talk The Politics of Digital transformation: Challenges and opportunities for the EU and Australia | C7 1, C7 4, 1.17 | Talk |
12/12/2019 | 14:00 | | Dhruv Gupta | | Search and Analytics Using Semantic Annotations | E1 4, 0.24 | Promotionskolloquium |
12/12/2019 | 10:30 | s.t. | Conrad Watt | | WebAssembly: Mechanisation, Security, and Concurrency | E1 5, 029 | SWS Colloquium |
12/10/2019 | 14:00 | s.t. | Martin Bromberger | | Decision Procedures for Linear Arithmetic | E1 5, 002 | Promotionskolloquium |
12/10/2019 | 11:00 | s.t. | Pascal Fontaine | | Quantifiers and SMT | E1 5, 002 | Talk |
12/10/2019 | 10:00 | | Ralf Jung | | Understanding and Evolving the Rust Programming Language | E1 5, 029 | SWS Student Defense Talks - Thesis Proposal |
12/10/2019 | 09:00 | s.t. | Alberto Griggio | | SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators | E1 5, 002 | Talk |
12/06/2019 | 14:00 | | Reinhard Munz | | Towards Usability in Private Data Analytics | G26 [KL], 607 | SWS Student Defense Talks - Thesis Defense |
12/04/2019 | 12:15 | | Sophie Tourret | | Stronger Higher-order Automation | E1 5, 002 | Joint Lecture Series |
12/04/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
12/03/2019 | 15:00 | | Yang He | | Improved Methods and Analysis for Semantic Image Segmentation | E1 4, 024 | Promotionskolloquium |
12/03/2019 | 10:30 | | Alex Summers | | Prusti – Deductive Verification for Rust | G26 [KL], 111 | SWS Colloquium |
11/28/2019 | 13:00 | | Julian Baldus | | A fast implementation of near neighbors queries for Frechet distance (Bachelor thesis) | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/26/2019 | 16:00 | | Kashyap Popat | | Credibility Analysis of Textual Claims with Explainable Evidence | E1 5, 029 | Promotionskolloquium |
11/26/2019 | 14:15 | | Felix Naumann | | Exploring Change – A New Dimension of Data Analytics | E1 4, 024 | Colloquium Lecture |
11/26/2019 | 13:00 | | Sandor Kisfaludi-Bak | | One-round discrete Voronoi Games | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/20/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
11/19/2019 | 13:00 | | Pieter Kleer | | Uniform sampling of graphs with a given degree sequence | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/14/2019 | 10:00 | | Mohsen Ghaffari | | Network Decomposition and Derandomization for Distributed Algorithms | E1 4, 024 | Talk |
11/12/2019 | 13:00 | | Karol Wegrzycki | | Equal-Subset-Sum Faster Than the Meet-in-the-Middle | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/08/2019 | 12:00 | | Julian Steil | | Mobile Eye Tracking for Everyone | E1 4, 024 | Promotionskolloquium |
11/06/2019 | 12:15 | | Paramita Mirza | | Personal Knowledge Extraction: What Can Be Inferred From What You Say and Do | E1 5, 002 | Joint Lecture Series |
11/06/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
11/04/2019 | 10:30 | | Jessica Hoffmann | | Dealing with Epidemics under Uncertainty | G26, 111 | SWS Colloquium |
10/31/2019 | 13:00 | | Ian W. Jones | | Visualization in Circuit Design | E1 4, 024 | AG1 Mittagsseminar (others' work) |
10/24/2019 | 13:00 | | Philip Wellnitz | | Counting Induced Subgraphs: An Algebraic Approach to #W[1]-Hardness | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/22/2019 | 13:00 | | Lazar Milenkovic | | Approximation Algorithms for the Bottleneck Asymmetric Traveling Salesman Problem | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/17/2019 | 16:00 | | Utkarsh Upadhyay | | Knowledge and Information Dissemination: Models and Methods | G26 [KL], 111 | SWS Student Defense Talks - Thesis Proposal |
10/16/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
10/15/2019 | 15:00 | | Scott Kilpatrick | | Non-Reformist Reform for Haskell Modularity | E1 5, 029 | SWS Student Defense Talks - Thesis Defense |
10/08/2019 | 15:00 | | Yusra Ibrahim | | Understanding Quantities in Web Tables and Text | E1 4, 024 | Promotionskolloquium |
10/07/2019 | 10:30 | | Stefan Saroiu | | Are We Susceptible to Rowhammer? An End-to-End Methodology for Cloud Providers | E1 5, 002 | SWS Colloquium |
10/02/2019 | 12:15 | | Paul Swoboda | | Efficient Optimization for Very Large Combinatorial Problems in Computer Vision and Machine Learning | E1 5, 002 | Joint Lecture Series |
10/02/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
10/02/2019 | 10:30 | | Claude Castelluccia | | Toward Cognitive Security | E1 5, 029 | SWS Colloquium |
09/30/2019 | 10:30 | | Maria Rauschenberger | | Human-Centered Design and Data Science for Good | E1 5, 029 | SWS Colloquium |
09/24/2019 | 10:30 | | YoungGyoun Moon | | Accelerating Network Applications with Stateful TCP Offloading | E1 5, 029 | SWS Colloquium |
09/18/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
09/16/2019 | 10:30 | | Cesare Tinelli | | Synthesis from within: implementing automated synthesis inside an SMT solver | G26 [KL], 111 | SWS Colloquium |
09/12/2019 | 10:30 | | Sandor Kisfaludi-Bak | | ETH-tight algorithms for geometric network problems | E1 4, 024 | AG1 Advanced Mini-Course |
09/10/2019 | 13:00 | | Stephan-Alexander Ariesanu | | Circuit Delay Minimization Using Convex Optimization | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/09/2019 | 11:00 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
09/06/2019 | 13:00 | | Shahrzad Haddadan | | Random walks and their application in exploring networks and ranking objects | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/04/2019 | 12:15 | | Vahid Babaei | | Computational Fabrication: 3D Printing and Beyond | E1 5, 002 | Joint Lecture Series |
09/04/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
08/28/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
08/27/2019 | 14:00 | | Vineet Rajani | | A type theory for amortized resource analysis | E1 5, 029 | SWS Student Defense Talks - Thesis Proposal |
08/21/2019 | 10:30 | | Tanja Käser | | Modeling and Individualizing Learning in Computer-Based Environments | E1 5, 029 | SWS Colloquium |
08/20/2019 | 16:00 | s.t. | Marcel Hark | | Aiming Low is Harder: Inductive Lower Bounds in Probabilistic Program Verification | E1 5, 630 | Talk |
08/13/2019 | 13:45 | | Kurt Mehlhorn | | Trustworthy Graph Algorithms | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/13/2019 | 13:00 | | Bhaskar Ray Chaudhury | | A Little Charity Guarantees Almost Envy-Freeness | E1 4, 022 | AG1 Mittagsseminar (own work) |
08/08/2019 | 13:00 | | Andrea Hornakova | | Higher Order Disjoint Paths for Multiple Object Tracking | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/07/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
07/31/2019 | 14:00 | s.t. | Marco Voigt | | Decidable Fragments of First-Order Logic and of First-Order Linear Arithmetic with Uninterpreted Predicates | E1 4, 024 | Promotionskolloquium |
07/31/2019 | 11:00 | s.t. | Alexander Leitsch | | Algorithmic Analysis of Proofs via CERES | E1 4, 024 | Talk |
07/31/2019 | 09:00 | s.t. | Erich Grädel | | Provenance Analysis for Logic and Games | E1 4, 024 | Talk |
07/23/2019 | 13:00 | | Kurt Mehlhorn | | New Convergence Results for the Physarum Dynamics | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/19/2019 | 10:30 | | Martin Ziegler | | Computer Science for Numerics | E1 5, 029 | SWS Colloquium |
07/18/2019 | 13:00 | | Magnus Danielson | | Synchronization routing in telecom networks | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/17/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
07/16/2019 | 13:00 | | Soham Chakraborty | | Correct Compilation of Relaxed Memory Concurrency | G26 [KL], 111 | SWS Student Defense Talks - Thesis Defense |
07/15/2019 | 10:30 | | Mary Baker | | Design Problems: Trustworthy Smart Devices and 3D Printed Lace | E1 5, 029 | SWS Distinguished Lecture Series |
07/11/2019 | 13:00 | | Nick Fischer | | A Fine-Grained Analogue of Schaefer's Theorem in P: Dichotomy of Exists^k Forall-Quantified First-Order Graph Properties | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/10/2019 | 15:15 | | Matthijs van Leeuwen | | Mine, Interact, Learn, Repeat | E1 5, 029 | Colloquium Lecture |
07/10/2019 | 10:30 | | Sanjar Karaev | | Matrix Factorization over Dioids and its Applications in Data Mining | E1 5, 029 | Promotionskolloquium |
07/09/2019 | 13:00 | s.t. | Guy Kortsarz | | Between the metric and non metric facility location problems | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/08/2019 | 15:15 | | Srikanta Bedathur | | Index-free Approximation of Reachability Queries on Graphs | E1 4, 024 | Colloquium Lecture |
07/08/2019 | 10:30 | c.t. | Abhik Roychoudhury | | Automated Program Repair | G26 [KL], 111 | SWS Distinguished Lecture Series |
07/04/2019 | 13:00 | | Bundit Laekhanukit | | An O(log^2{k}/log log {k})-Approximation Algorithm for Directed Steiner Tree: A Tight Quasi-Polynomial-Time Algorithm | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/03/2019 | 12:15 | | Mario Fritz | | The Bright and Dark Sides of Computer Vision: Challenges and Opportunities for Privacy and Security | E1 5, 002 | Joint Lecture Series |
07/03/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
07/02/2019 | 13:00 | | Maximilian John | | Dynamic Sparsification for Quadratic Assignment Problems | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/02/2019 | 11:15 | | André Platzer | | Safe AI for CPS | E1 5, 029 | Talk |
06/28/2019 | 10:30 | s.t. | Gordon Wetzstein | | Computational Single-photon Imaging | E1 4, 019 | Talk |
06/27/2019 | 13:00 | | Guy Even | | to be announced | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/25/2019 | 13:00 | | Pieter Kleer | | The switch Markov chain for the uniform sampling of graphs with given degrees | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/24/2019 | 13:00 | | Mirko | | TBA | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/24/2019 | 13:00 | | Mirko Rossi | | Some Approximability Results on Delivering Messages with Mobile Agents | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/21/2019 | 15:00 | | Themis Gouleakis | | Communication and Memory Efficient Testing of Discrete Distributions | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/21/2019 | 10:00 | | Khaled Elbassioni | | Some Black-box Reductions for Cost-robust Discrete Optimization Problems | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/19/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
06/18/2019 | 13:00 | | Sandip Sinha | | Local Decodability of the Burrows-Wheeler Transform | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/17/2019 | 15:00 | | Naveen Garg | | A constant approximation algorithm for weighted flow time | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/17/2019 | 13:00 | | Stefano Leucci | | Tracking Routes in Communication Networks | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/13/2019 | 13:00 | | Sami Shalayel | | An optimzation problem from non-destructive testing using ultrasound | E1 5, 029 | AG1 Mittagsseminar (own work) |
06/11/2019 | 13:00 | | Bhaskar Ray Chaudhury | | Polyline Simplification has Cubic Complexity | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/10/2019 | 10:30 | | Ceren Budak | | Fake News During the 2016 U.S. Presidential Elections: Prevalence, Agenda, and Stickiness. | E1 5, 005 | SWS Colloquium |
06/06/2019 | 13:00 | | André Nusser | | Walking the Dog Fast in Practice: Algorithm Engineering of the Fréchet Distance | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/05/2019 | 12:15 | | Rhaleb Zayer | | Bridging the Performance Gap in Digital Geometry Processing | E1 5, 002 | Joint Lecture Series |
06/05/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
06/04/2019 | 10:30 | c.t. | Koushik Sen | | Automated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and Beyond | G26 [KL], 111 | SWS Distinguished Lecture Series |
05/31/2019 | 10:30 | | Tom Anderson | | High Performance Operating Systems in the Data Center | E1 5, 029 | SWS Colloquium |
05/27/2019 | 13:00 | | George Christodoulou | | The price of stability of (weighted) congestion games with polynomial latencies | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/23/2019 | 10:30 | | Theopilus Benson | | Systematic Approach to Managing Software Defined Networks | E1 5, 029 | SWS Colloquium |
05/21/2019 | 13:00 | | André Nusser | | Ipe Tutorial | E1 4, 024 | AG1 Mittagsseminar (basic education) |
05/20/2019 | 10:30 | | Dr Giovani Gracioli | | On the Predictability of Heterogeneous SoC Multicore Platforms | G26, 111 | SWS Colloquium |
05/17/2019 | 10:30 | | Jinyang Li | | Transparent Scaling of Deep Learning Systems through Dataflow Graph Analysis | E1 5, 002 | SWS Distinguished Lecture Series |
05/16/2019 | 14:00 | | Goran Radanovic | | Humans and Machines: From Data Elicitation to Helper-AI | E1 5, 029 | SWS Colloquium |
05/15/2019 | 12:15 | | Damien Zufferey | | Programming Abstractions for Verifiable Software | E1 5, 002 | Joint Lecture Series |
05/15/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
05/15/2019 | 10:30 | | Nikolaj Volgushev | | Conclave: Secure Multi-Party Computation on Big Data | E1 5, 029 | SWS Colloquium |
05/14/2019 | 13:00 | | Johannes Bund | | Optimal Metastability-Containing Sorting Networks | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/09/2019 | 10:30 | | Étienne Miquey | | A constructive proof of dependent choice in classical arithmetic via memoization | E1 5, 029 | SWS Colloquium |
05/07/2019 | 13:00 | | Sören Bund-Becker | | Creating a Markup Language for Mixed Integer Linear Programs | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/03/2019 | 15:30 | | Filip Nikšic | | Combinatorial Constructions for Effective Testing | G26 [KL], 111 | SWS Student Defense Talks - Thesis Defense |
05/02/2019 | 11:30 | | Emilio Zagheni | | Combining Facebook data with traditional sources to study migration processes | E1 4, 024 | Colloquium Lecture |
05/02/2019 | 10:00 | | Sandhya Dwarkadas | | Sharing-Aware Resource Management for Performance and Protection | E1 5, 002 | SWS Distinguished Lecture Series |
04/30/2019 | 13:00 | | Suman Banerjee | | Edge Computing in the Extreme and its Applications | E1 5, 105 | SWS Colloquium |
04/29/2019 | 14:30 | | Moses Ganardi | | Querying Regular Languages over Sliding Windows | G26 [KL], 111 | SWS Colloquium |
04/17/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
04/16/2019 | 13:00 | | Karl Bringmann | | Approximating APSP without Scaling | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/12/2019 | 15:00 | | Jimmy Lin | | Rigor in Deep Learning for NLP and IR | E1 4, 024 | Colloquium Lecture |
04/12/2019 | 11:00 | | Abdalghani Abujabal | | Question Answering over Knowledge Bases with Continuous Learning | E1 4, 024 | Promotionskolloquium |
04/08/2019 | 11:30 | | Evgeny Levinkov | | Generalizations of the Multicut Problem for Computer Vision | E1 4, 024 | Promotionskolloquium |
04/05/2019 | 14:00 | | Sylvain Schmitz | | The complexity of reachability in vector addition systems | G26, 111 | SWS Colloquium |
04/04/2019 | 14:00 | | Marvin Damschen | | Worst-Case Execution Time Guarantees for Runtime-Reconfigurable Architectures | G26 [KL], 111 | SWS Colloquium |
04/03/2019 | 12:15 | | Balakrishnan Chandrasekaran | | The Server-to-Server Landscape: Insights, Opportunities, and Challenges | E1 5, 002 | Joint Lecture Series |
04/03/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
04/01/2019 | 15:15 | | Joanna Biega | | Enhancing Privacy and Fairness in Search Systems | E1 4, 024 | Promotionskolloquium |
04/01/2019 | 11:00 | | Carlos Castillo | | Detecting Algorithmic Bias | E1 4, 024 | INF Distinguished Lecture Series |
03/21/2019 | 13:00 | | Pavel Vesely | | A ϕ-Competitive Algorithm for Scheduling Packets with Deadlines | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/20/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
03/14/2019 | 13:00 | | Jukka Suomela | | The landscape of distributed time complexity | E1 4, 024 | AG1 Mittagsseminar (others' work) |
03/13/2019 | 12:15 | | Gurprit Singh | | Analyzing Sample Correlations for Monte Carlo Rendering | E1 5, 002 | Joint Lecture Series |
03/13/2019 | 10:30 | | Martina Maggio | | Feedback-Control for Self-Adaptive Predictable Computing | E1 5, 029 | SWS Colloquium |
03/12/2019 | 13:00 | | Boaz Patt-Shamir | | On the Probe Complexity of Local Computation Algorithms | E1 4, 024 | AG1 Mittagsseminar (others' work) |
03/11/2019 | 10:30 | | Sangeetha Abdu Jyothi | | Automated Resource Management in Large-Scale Networked Systems | E1 5, 029 | SWS Colloquium |
03/08/2019 | 10:30 | | Matthias Becker | | Predictable Execution of Real-Time Applications on Many-Core Platforms | G26 [KL], 111 | SWS Colloquium |
03/07/2019 | 16:30 | | Aastha Mehta | | Mitigating data leaks in real world systems | E1 5, 029 | SWS Student Defense Talks - Thesis Proposal |
03/07/2019 | 13:00 | | Ioana Bercea | | Power of two choices filter for approximate membership queries | E1 4, 024 | AG1 Advanced Mini-Course |
03/07/2019 | 10:30 | | Oana Goga | | Privacy, Transparency and Trust in the User-Centric Internet | E1 5, 029 | SWS Colloquium |
03/06/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
03/05/2019 | 13:00 | | Enrico Facca | | Nature-Inspired Optimization | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/05/2019 | 10:30 | | Mrinmaya Sachan | | Towards Literate Artificial Intelligence | E1 5, 029 | SWS Colloquium |
02/28/2019 | 10:30 | | Natacha Crooks | | A Client-centric Approach to Transactional Datastores | E1 5, 029 | SWS Colloquium |
02/26/2019 | 13:00 | | Joel Rybicki | | Approximate Agreement on Graphs | E1 4, 024 | AG1 Mittagsseminar (others' work) |
02/20/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
02/20/2019 | 10:30 | | Theodoros Gkountouvas | | : Improving Data Analysis by Exploiting Temporal Information | E1 5, 029 | Talk |
02/18/2019 | 10:30 | | Malte Schwarzkopf | | New Abstractions for High-Performance Datacenter Applications | E1 5, 029 | SWS Colloquium |
02/14/2019 | 13:00 | | Jukka Suomela | | Lower bounds for maximal matchings and maximal independent sets | E1 4, 024 | AG1 Mittagsseminar (others' work) |
02/14/2019 | 09:00 | | Viktor Erdélyi | | Scalable positioning of commodity mobile devices using audio signals | E1 5, 029 | SWS Student Defense Talks - Thesis Defense |
02/12/2019 | 13:00 | | Michael Kenzel | | Software Graphics Pipelines for the GPU | DFKI D3 4, VisCenter, -1.63 | Talk |
02/12/2019 | 13:00 | | Pranabendu Misra | | Parameterized Complexity of Connectivity Augmentation problems | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/07/2019 | 10:30 | | Cristian Cadar | | Dynamic Symbolic Execution for Software Analysis | G26 [KL], 111 | SWS Distinguished Lecture Series |
02/06/2019 | 16:15 | | Saeed Amiri | | Reading Group: Important Cuts and their Applications | E1 4, 024 | MPI-Seminar |
02/06/2019 | 12:15 | | Adish Singla | | Machine Teaching | E1 5, 002 | Joint Lecture Series |
02/06/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
02/05/2019 | 17:30 | | Anjo Vahldiek-Oberwagner | | Techniques to Protect Confidentiality and Integrity of Persistant and In-Memory Data | E1 5, 029 | SWS Student Defense Talks - Thesis Defense |
02/04/2019 | 18:00 | | Bilal Zafar | | Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms | E1 5, 029 | SWS Student Defense Talks - Thesis Defense |
02/01/2019 | 10:30 | | Helmut Seidl | | How to Win a First-Order Safety Game | G26 [KL], 111 | SWS Distinguished Lecture Series |
01/30/2019 | 16:15 | | Eunjin Oh | | Reading Group: Clustering Problems on Sliding Windows | E1 4, 024 | MPI-Seminar |
01/25/2019 | 10:00 | s.t. | Jürgen Giesl | | Automated Complexity Analysis for Java Programs with AProVE | E1 5, 002 | Talk |
01/24/2019 | 16:00 | s.t. | Florian Frohn | | Complexity Analysis for Term Rewriting by Integer Transition Systems | E1 5, 002 | Talk |
01/24/2019 | 13:00 | | Vasileios Nakos | | Nearly Optimal Sparse Polynomial Multiplication | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/23/2019 | 16:15 | | Nico Gründel | | Reading Group: On the Difference Between Closest, Furthest, and Orthogonal Pairs: Nearly-Linear vs Barely-Subquadratic Complexity in Computational Geometry | E1 4, 024 | MPI-Seminar |
01/22/2019 | 13:00 | | Stefano Leucci | | Optimal Sorting with Persistent Comparison Errors | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/22/2019 | 10:00 | | Florian Frohn | | Automated Complexity Analysis of Rewrite Systems | G26 [KL], 111 | SWS Colloquium |
01/16/2019 | 16:15 | | Daniel Radke | | Refined Vertex Sparsifiers of Planar Graphs | E1 4, 024 | MPI-Seminar |
01/16/2019 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
01/15/2019 | 13:00 | s.t. | Haibo Chen | | Virtualization Security: The Good, The Bad and The Ugly | E1 5, 029 | Colloquium Lecture |
12/20/2018 | 16:00 | | Juhi Kulshrestha | | Quantifying & Characterizing Information Diets of Social Media Users | E1 5, 029 | SWS Student Defense Talks - Thesis Defense |
12/19/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
12/13/2018 | 13:00 | | Philip Wellnitz | | Few Matches or Almost Periodicity: Faster Pattern Matching with Mismatches in Compressed Texts | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/13/2018 | 10:30 | | Animesh Mukherjee | | Language dynamics in social media | G26 [KL], 113 | SWS Colloquium |
12/12/2018 | 16:15 | | Antonios Antoniadis | | A Nearly-linear Bound for Chasing Nested Convex Bodies | E1 4, 024 | MPI-Seminar |
12/11/2018 | 13:00 | | André Nusser | | Fréchet Distance Under Translation: Conditional Hardness and an Algorithm via Offline Dynamic Grid Reachability | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/05/2018 | 16:15 | | Alkmini Sgouritsa | | Barriers to Near-Optimal Equilibria | E1 4, 024 | MPI-Seminar |
12/05/2018 | 12:15 | | Nico Döttling | | Post-quantum Challenges in Secure Computation | E1 5, 002 | Joint Lecture Series |
12/05/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
12/03/2018 | 16:30 | | Paarijaat Aditya | | Privacy-Compliant Mobile Computing | E1 5, 029 | SWS Student Defense Talks - Thesis Defense |
11/29/2018 | 13:00 | | Bhaskar Ray Chaudhury | | Sketching, Streaming and Fine Grained Complexity of (Weighted) LCS | E 1 4, 024 | AG1 Mittagsseminar (own work) |
11/27/2018 | 16:15 | | Pavel Kolev | | Algorithmic Results for Clustering and Refined Physarum Analysis | E1 5, 029 | Promotionskolloquium |
11/27/2018 | 13:00 | | Attila Kinali | | Noise in Sine-to-Square Converters | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/27/2018 | 10:30 | | Paul Resnick | | Survey Equivalence: An Information-theoretic Measure of Classifier Accuracy When the Ground Truth is Subjective | E1 5, 002 | SWS Distinguished Lecture Series |
11/22/2018 | 16:00 | | Wojciech Czerwiński | | The Reachability Problem for Vector Addition Systems is Not Elementary | G26 [KL], 111 | SWS Colloquium |
11/22/2018 | 14:30 | | Georg von der Brueggen | | More Realistic Scheduling Models and Analyses for Advanced Real-Time Embedded Systems | G26 [KL], 111 | SWS Colloquium |
11/22/2018 | 13:00 | | Yiannis Giannakopoulos | | Optimality and Approximation in Revenue-Maximizing Auctions | E1 4, 024 | AG1 Advanced Mini-Course |
11/21/2018 | 16:15 | | André Nusser | | Customizable Route Planning in Road Networks | E1 4, 024 | MPI-Seminar |
11/21/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
11/19/2018 | 10:30 | | Peter Müller | | Verified Secure Routing | G26 [KL], 111 | SWS Distinguished Lecture Series |
11/14/2018 | 16:15 | | Daniel Vaz | | Euclidean spanners: Short, Thin and Lanky | E1 4, 024 | MPI-Seminar |
11/14/2018 | 10:30 | s.t. | Dr. Martina Maggio | | Feedback Control for Predictable Cloud Computing | G26, 111 | SWS Colloquium |
11/13/2018 | 10:30 | | Elissa Redmiles | | Learning from the People: From Normative to Descriptive Solutions to Problems in Security, Privacy & Machine Learning | E1 5, 029 | SWS Colloquium |
11/12/2018 | 10:30 | | Hoda Heidari | | Fairness for Sequential Decision Making Algorithms | E1 5, 029 | SWS Colloquium |
11/12/2018 | 10:30 | | Daniel Marx | | The Optimality Program in Parameterized Algorithms | E1 4, 024 | INF Distinguished Lecture Series |
11/07/2018 | 16:15 | | Tim Oosterwijk | | Potential Function Minimizers of Combinatorial Congestion Games: Efficiency and Computation | E1 4, 024 | MPI-Seminar |
11/07/2018 | 12:15 | | Andreas Zeller | | Generating Software Tests | E1 5, 002 | Joint Lecture Series |
11/07/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
11/07/2018 | 10:00 | | Verschiedene | | Symposium for Women in IT and related subjects | E1 5, ground floor | Talk |
11/06/2018 | 16:00 | | Vaibhav Bajpai | | A Longitudinal View of YouTube Content Delivery | E1 4, Rotunda 5th floor | Talk |
11/06/2018 | 13:00 | | Tobias Nipkow | | Verified Analysis of Algorithms: A Biased Survey | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/30/2018 | 13:00 | | Matthias Leinen | | Efficient Generation of 1/f^alpha Noise in Matlab Simulink | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/30/2018 | 10:00 | | Vijay Saraswat | | Challenges in deep text understanding in professional domains | E1 4, 024 | MPI Colloquium Series Distinguished Speaker |
10/24/2018 | 16:15 | | Kurt Mehlhorn | | A New Path from Splay to Dynamic Optimality | E1 4, 024 | MPI-Seminar |
10/22/2018 | 10:30 | | Sara Achour | | Compiling Dynamical Systems for Efficient Simulation on Reconfigurable Analog Computers | G26 [KL], 111 | SWS Colloquium |
10/19/2018 | 13:00 | | Yue Zhang | | Interactive Multi-style Pen-and-Ink Drawings from Images | E1 4, 019 | Talk |
10/19/2018 | 10:30 | | Edith Elkind | | Justified representation in multiwinner voting: axioms and algorithms | G26 [KL], 111 | SWS Distinguished Lecture Series |
10/18/2018 | 13:00 | | Suryajith Chillara | | A Quadratic Size-Hierarchy Theorem for Small-Depth Multilinear Formulas | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/16/2018 | 13:00 | | Reuven Hodges | | A non-iterative rule for straightening fillings of Young diagrams | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/15/2018 | 10:30 | | Dana Drachsler Cohen | | AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation | G26 [KL], 111 | SWS Colloquium |
10/10/2018 | 12:15 | | Rishiraj Saha Roy | | Complexity in Question Answering | E1 5, 002 | Joint Lecture Series |
10/10/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
10/08/2018 | 11:00 | s.t. | Debabrata Mahapatra | | DNNs for Sparse Coding and Dictionary Learning | E1 5, R029 | PhD Application Talk |
10/08/2018 | 11:00 | s.t. | Upendra Kapshikar | | Could code based cryptosystems be more compact? | E1 5, R029 | PhD Application Talk |
10/04/2018 | 13:00 | | Andrés Cristi | | A Near Optimal Mechanism for Energy Aware Scheduling | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/02/2018 | 13:00 | | Karl Bringmann | | SETH-Based Lower Bounds for Subset Sum and Bicriteria Path | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/28/2018 | 13:00 | | Sourav Chakraborty | | On the power of Conditional Sampling | E1 4, 023 | AG1 Mittagsseminar (own work) |
09/27/2018 | 13:00 | | Alkmini Sgouritsa | | Designing Cost-Sharing Networks with Good Equilibria Under Uncertainty | E1 4, 019 | AG1 Mittagsseminar (own work) |
09/26/2018 | 11:00 | | Xucong Zhang | | Gaze Estimation and Interaction in Real-World Environments | E1 4, 019 | Promotionskolloquium |
09/21/2018 | 10:30 | | Vlad Nitu | | Improving the energy efficiency of virtualized datacenters | G26 [KL], 111 | SWS Colloquium |
09/20/2018 | 14:00 | | Randy Bush | | Critical Infrastructure vs Computer Science vs Software Engineering - We are Doomed | E1 4, 019 | Talk |
09/19/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
09/18/2018 | 14:00 | | Fouzhan Hosseini | | Skeletons for Distributed Topological Computation | E1 4, 019 | Talk |
09/18/2018 | 10:00 | | Hamish Carr | | Topological Analysis of Scientific Data | E1 4, 019 | Talk |
09/13/2018 | 14:30 | | David Broman | | Gradually Typed Symbolic Expressions: an Approach for Developing Embedded Domain-Specific Modeling Languages | G26 [KL], 113 | SWS Colloquium |
09/13/2018 | 13:00 | | Tim Oosterwijk | | About the Price of Anarchy for Flows over Time | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/12/2018 | 15:30 | | Saranya Natarajan | | Timed C: An Extension to the C Programming Language for Real-Time Systems | G26 [KL], 113 | SWS Colloquium |
09/10/2018 | 16:00 | | Felipe Augusto Queiroz de Cerqueira | | PROSA: A Foundation for Verified Schedulability Analysis | G26 [KL], 111 | SWS Student Defense Talks - Thesis Proposal |
09/05/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
08/28/2018 | 13:00 | | Gautam Shroff (Chief Scientist, Tata Consultancy Services) | | From Conversational Interfaces to Knowledge Synthesis & Semantic Systems | E1 4, 024 | MPI Colloquium Series Distinguished Speaker |
08/24/2018 | 10:30 | | Venkat Padmanabhan | | HAMS: Harnessing AutoMobiles for Safety | E1 5, 029 | SWS Distinguished Lecture Series |
08/23/2018 | 13:00 | | Bhaskar Ray Chaudhury | | Curve Simplification has cubic complexity | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/21/2018 | 14:00 | | Phillip Stanley-Marbell | | Not Your Typical Objects: Made from Raw Materials Augmented with Sensing and Computation | G26 [KL], 111 | SWS Colloquium |
08/21/2018 | 14:00 | c.t. | Andreas Weber | | From Tarski to Tropical Geometry: Towards Symbolic Analysis of Biological Networks | E1 4, 024 | Talk |
08/20/2018 | 11:00 | | Vijay V. Vazirani | | Planar Graph Perfect Matching is in NC | E1 4, 024 | INF Distinguished Lecture Series |
08/09/2018 | 13:00 | | Karsten Klein | | Immersive Analytics - Concepts and Challenges | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/07/2018 | 13:00 | | Gorav Jindal | | On the Complexity of Symmetric Polynomials | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/06/2018 | 16:00 | | Seong Joon Oh | | Image Manipulation against Learned Models: Privacy and Security Implications | E1 4, 024 | Promotionskolloquium |
08/06/2018 | 14:00 | | Vitaly Shmatikov | | The Machine Learning Revolution in Data Privacy | E1 4, 024 | Talk |
08/06/2018 | 10:30 | | Florian Tramèr | | A tour of ML security | E9 1, 0.05 | Talk |
08/01/2018 | 12:15 | | Emanuele Natale | | Computing with Simple Dynamics and Biological Applications | E1 5, 002 | Joint Lecture Series |
08/01/2018 | 11:30 | | Kurt Mehlhorn | | D1 Group Meeting | E1 4, 333 | AG1 Group Meeting |
07/23/2018 | 14:00 | | Ruben Becker | | On Flows, Paths, Roots, and Zeros | E1.7 (MMCI), 001 | Promotionskolloquium |
07/23/2018 | 11:00 | | Bojana Kodric | | Incentives in Dynamic Markets | E1.7 (MMCI), 001 | Promotionskolloquium |
07/20/2018 | 13:00 | | Themistoklis Gouleakis | | Improved Massively Parallel Computation Algorithms for MIS, Matching, and Vertex Cover | E1 5 (SWS), 105 | AG1 Mittagsseminar (others' work) |
07/17/2018 | 13:00 | | Debarati Das | | Approximating Edit Distance Within Constant Factor in Truly Sub-Quadratic Time | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/16/2018 | 12:00 | s.t. | Max Maria Losch | | Inspectable Deep Learning with Bayesian Statistics | E1 4, 024 | IMPRS Research Seminar |
07/12/2018 | 13:00 | | Cornelius Brand | | Extensor-Coding | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/10/2018 | 13:00 | | Gorav Jindal | | A deterministic PTAS for the transcendence degree of constant degree polynomials | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/05/2018 | 16:00 | | Nikhil Balaji | | Waring rank of monomial | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/05/2018 | 13:00 | s.t. | Daniel Vaz | | Beyond Metric Embedding: Approximating Group Steiner Trees on Bounded Treewidth Graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/04/2018 | 13:00 | | various | | 3rd Networking-Meet-Up for Women in Computer Science | E1 5, 0.29 | Presentation |
07/04/2018 | 12:15 | | Maria Christakis | | Practical Program Analysis | E1 5, 002 | Joint Lecture Series |
07/03/2018 | 13:00 | | Saeed Amiri | | Congestion Free Rerouting of Flows (practice talk for ICALP) | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/29/2018 | 14:00 | | Sam Lindley | | On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited continuations | G26, 111 | SWS Colloquium |
06/29/2018 | 11:30 | | Joël Ouaknine | | Program Invariants | G26, 111 | SWS Colloquium |
06/29/2018 | 10:30 | | Nils Asmussen | | Designing a System for Heterogeneous Compute Units | G26 [KL], 111 | SWS Colloquium |
06/28/2018 | 11:00 | | Davis Issac | | Spanning Tree Congestion and Computation of Generalized Gyori-Lovasz Partition | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/26/2018 | 13:00 | | Joël Ouaknine | | Polynomial Invariants for Affine Programs | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/26/2018 | 10:30 | | Michael Mozer | | Boosting human capabilities on perceptual categorization tasks | G26 [KL], 111 | SWS Distinguished Lecture Series |
06/25/2018 | 10:00 | | Bruce M. Maggs | | The Web PKI in Theory and Malpractice | E1 5, 029 | Talk |
06/21/2018 | 15:30 | | 1. Eakta Jain / 2. Krzysztof Krejtz | | 1. The role of gaze and pupil diameter in understanding audience engagement / 2. The Role of Attention and Perception During Multimedia Learning. A Dynamical Perspective | E1 4, 019 | Talk |
06/19/2018 | 13:00 | | Yaroslav Shitov | | How hard is the tensor rank? | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/15/2018 | 12:00 | | Niels Landwehr | | Machine Learning for Spatially and Temporally Varying Data | E1 5, 029 | Talk |
06/14/2018 | 17:00 | | Johannes Kloos | | Heap-based reasoning about asynchronous programs | G26 [KL], 111 | SWS Student Defense Talks - Thesis Defense |
06/14/2018 | 14:00 | | Nihat Ay | | Information Geometry of Learning Systems | E1 5, 029 | Talk |
06/14/2018 | 13:00 | | Kurt Mehlhorn | | On Fair Division of Indisible Goods (Practice Talk for an Invited Lecture at Sirocco 18) | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/14/2018 | 10:00 | | Jörg Lücke | | Accelerated Learning of Probabilistic Data Models for Large-Scale Applications | E1 5, 029 | Talk |
06/13/2018 | 12:00 | | Daniel Neider | | Machine Learning Meets Formal Methods | E1 5, 029 | Talk |
06/13/2018 | 10:00 | | Christoph Lampert | | Principled Transfer Learning | E1 5, 029 | Talk |
06/12/2018 | 12:00 | | Marius Kloft | | Extreme Classification: Algorithms and Theory | E1 5, 029 | Talk |
06/12/2018 | 10:00 | | Gerhard Neumann | | Information-Geometric Policy Search for Learning Versatile, Reusable Skills | E1 5, 029 | Talk |
06/11/2018 | 14:00 | | Milica Gasic | | Spoken dialogue systems that learn online | E1 5, 029 | Talk |
06/11/2018 | 10:30 | | Andreas Gerstlauer | | Learning-Based Hardware/Software Power and Performance Prediction | E1 5, 105 | SWS Colloquium |
06/11/2018 | 08:00 | | Achim Rettinger | | Knowledge-guided Representation Learning | E1 5, 029 | Talk |
06/07/2018 | 14:00 | | Georg Neis | | Compositional Compiler Correctness Via Parametric Simulations | E1 5, 029 | SWS Student Defense Talks - Thesis Defense |
06/06/2018 | 16:15 | | Ben Wiederhake | | Reading Group: A Distributed Algorithm for Minimum-Weight Spanning Trees | E1 4, 022 | MPI-Seminar |
06/06/2018 | 12:15 | | Anja Feldmann | | The Internet: A Complex System at its Limits | E1 5, 002 | Joint Lecture Series |
05/30/2018 | 16:15 | | Eunjin Oh | | Reading Group: Dynamic Time Warping and Geometric Edit Distance: Breaking the Quadratic Barrier | E1 4, 022 | MPI-Seminar |
05/30/2018 | 11:30 | | Kurt Mehlhorn | | Group Meeting | E1 4, 333 | AG1 Group Meeting |
05/29/2018 | 13:00 | | Kurt Mehlhorn | | The Physarum Dynamics Solves Positive Undirected Linear Programs (Practice Talk for Invited Talk at Computer Science Russia) | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/25/2018 | 18:00 | s.t. | Anja Feldmann | | Distributed Data Collection and Processing at Scale | E2 2, Günter-Hotz-Hörsaal | Festkolloquium |
05/25/2018 | 17:30 | s.t. | Bastian Beggel | | Map-Based processing of geospatial data for driver assistance functions | E2 2, Günter-Hotz-Hörsaal | Festkolloquium |
05/25/2018 | 17:00 | s.t. | Jörg Rahnenführer | | Model-based optimization - in high-dimensional survival analysis and in real life | E2 2, Günter-Hotz-Hörsaal | Festkolloquium |
05/25/2018 | 16:30 | s.t. | Robert Tarjan | | My work with Thomas | E2 2, Günter-Hotz-Hörsaal | Festkolloquium |
05/25/2018 | 15:00 | s.t. | Kasia Bozek | | Can you see all the bees? Image analysis for biology | E2 2, Günter-Hotz-Hörsaal | Festkolloquium |
05/25/2018 | 14:30 | s.t. | Yves Moreau | | Bayesian matrix factorization with side information and application to drug-target activity prediction | E2 2, Günter-Hotz-Hörsaal | Festkolloquium |
05/25/2018 | 14:00 | s.t. | Nico Pfeifer | | Machine Learning in Infection Research: Including host information to understand viral adaptation | E2 2, Günter-Hotz-Hörsaal | Festkolloquium |