Campus Event Calendar
6. Event History - 1. Date and Time - 1. for All AGs
Previous Page | Next Page | Expand All | Collapse All
 | | Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| | ||||||||||
|
|
| | |||||||||
| 2024-04-19 | 10:00 | Haibo Chen | Formal Methods for Systems Software: The Good, The Bad, The Ugly | E1 5 002 | Talk | | |||||
|
|
| | |||||||||
| 2024-04-17 | 10:00 | Andrew Ilyas | Making machine learning predictably reliable | G26 [KL] 111 | CIS@MPG Colloquium | | |||||
| 2024-04-17 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2024-04-09 | 13:00 | Ariel Kulik | Algorithms and Hardness for the Budgeted Matroid Independent Set problem | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2024-04-03 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
| 2024-04-03 | 12:15 | Evangelos Kipouridis | Hierarchical clustering beyond heuristics: Quality guarantees without speed sacrifices | E1 5 002 | Joint Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2024-03-27 | 14:45 | Debasmita Lohar | Expanding the Horizons of Finite-Precision Analysis | E1 5 029 | SWS Student Defense Talks - Thesis Defense | | |||||
|
|
| | |||||||||
| 2024-03-26 | 12:00 | Till Speicher | On Fairness, Invariance and Memorization in Machine Decision and DeepLearning Algorithms | E1 5 005 | SWS Student Defense Talks - Thesis Proposal | | |||||
|
|
| | |||||||||
| 2024-03-25 | 16:00 | Rati Devidze | Reward Design for Reinforcement Learning Agents | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | | |||||
|
|
| | |||||||||
| 2024-03-20 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2024-03-14 | 10:00 | Andrea Lattuada | Practical, automation-assisted verification of efficient systems software | E1 5 029 | Talk | | |||||
|
|
| | |||||||||
| 2024-03-11 | 10:00 | Emily Tseng | Digital Safety and Security for Survivors of Technology-Mediated Harms | E1 5 002 | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2024-03-08 | 13:00 | Guy Even | An Improved Approximation Algorithm for Dynamic Minimum Linear Arrangement | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| 2024-03-08 | 14:00 | Mohamed Alzayat | Efficient Request Isolation in Function-as-a-Service | E1 5 002 | SWS Student Defense Talks - Thesis Defense | | |||||
|
|
| | |||||||||
| 2024-03-07 | 10:00 | Ge Tiffany Wang | Designing for Autonomy in Data-Driven AI Systems | E1 5 002 | CIS@MPG Colloquium | | |||||
| 2024-03-07 | 13:00 | Paweł Gawrychowski | Sorting Signed Permutations by Reversals in Nearly-Linear Time | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2024-03-06 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
| 2024-03-06 | 12:15 | Paul Strohmeier | Shaping Experience and Expression by Designing Sensorimotor Contingencies | E1 5 002 | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2024-03-05 | 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 | | |||||
| 2024-03-05 | 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) | | |||||
| 2024-03-05 | 14:00 | Marcus Pirron | Hardware and Software Codesign | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | | |||||
|
|
| | |||||||||
| 2024-03-01 | 10:00 | Amrita Roy Chowdhury | Data Privacy in the Decentralized Era | E1 5 002 | CIS@MPG Colloquium | | |||||
| 2024-03-01 | 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) | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2024-02-28 | 15:00 | Christoph Siebenbrunner | Methods for Financial Stability Analysis | E1 5 002 | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2024-02-27 | 13:00 | Daniel Neuen | Graph Isomorphism Testing and Beyond | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2024-02-26 | 10:00 | Maria Antoniak | Computational Approaches to Narrative Analysis | G26 [KL] 111 | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2024-02-23 | 10:00 | Ramakrishnan Sundara Raman | Global Investigation of Network Connection Tampering | MPI-SP - | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2024-02-22 | 13:00 | Christoph Hertrich | Understanding Neural Network Complexity from a Discrete AngleTBD | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2024-02-21 | 10:00 | Lily Xu | High-stakes decisions from low-quality data: AI decision-making for planetary health | G26 [KL] 111 | CIS@MPG Colloquium | | |||||
| 2024-02-21 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2024-02-20 | 13:00 | Benjamin Berendsohn | Optimization with pattern-avoiding input | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2024-02-19 | 10:00 | Sarah Cen | Paths to AI Accountability | G26 [KL] 111 | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2024-02-15 | 10:00 | Yinxi Liu | Programming Theory in Security Analysis: A Tripartite Framework for Vulnerability Specification | E1 5 002 | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2024-02-14 | 10:00 | Jana Hofmann | Formal Reasoning about Relational Properties in Large-Scale Systems | MPI-SP - | CIS@MPG Colloquium | | |||||
| 2024-02-14 | 11:30 | Javier Cembrano | Computational aspects of incentives and fairness in competitive environments | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2024-02-08 | 10:00 | A. Feder Cooper | Reliable Measurement for Machine Learning at Scale | MPI-SP - | CIS@MPG Colloquium | | |||||
| 2024-02-08 | 16:00 | Toghrul Karimov | Algorithmic Verification of Linear Dynamical Systems | E1 5 029 | SWS Student Defense Talks - Thesis Defense | | |||||
|
|
| | |||||||||
| 2024-02-07 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
| 2024-02-07 | 12:15 | Tomasz Kociumaka | New Tools for Text Indexing and Beyond: Substring Complexity and String Synchronizing Sets | E1 5 002 | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2024-02-06 | 10:00 | Zhijing Jin | Causal Inference for Robust, Reliable, and Responsible NLP | E1 5 002 | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2024-02-05 | 10:00 | Tanusree Sharma | Towards Ethical and Democratic Design of AI | MPI-SP - | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2024-02-01 | 10:00 | Doreen Riepel | Theoretically Sound Cryptography for Key Exchange and Advanced Applications | MPI-SP - | CIS@MPG Colloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2024-01-30 | 10:00 | Teodora Baluta | New Algorithmic Tools for Rigorous Machine Learning Security Analysis | MPI-SP - | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2024-01-25 | 10:00 | Sajin Sasy | Oblivious Algorithms for Privacy-Preserving Computations | MPI-SP - | CIS@MPG Colloquium | | |||||
| 2024-01-25 | 13:00 | Jiaheng Wang | Approximate counting: New problems and approaches | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2024-01-24 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2024-01-23 | 13:00 | Evangelos Kipouridis | Dynamic Dynamic Time Warping | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2024-01-17 | 11:30 | D1 Group Members | D1 Group Meeting (postponed due to black ice) | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2024-01-16 | 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) | | |||||
|
|
| | |||||||||
| 2024-01-10 | 12:15 | Ha Dao | A comprehensive analysis of PII leakage-based web tracking | E1 5 002 | Joint Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2023-12-21 | 13:00 | Barış Can Esmer | Optimally Repurposing Existing Algorithms to Obtain Exponential-Time Approximations | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-12-19 | 15:00 | Mohammed Foughali | Compositional Verification of Embedded Real-Time Systems | G26 111 | Talk | | |||||
|
|
| | |||||||||
| 2023-12-15 | 09:00 | Brigitte Pientka | Cocon: A Type-Theoretic Framework for Certified Meta-programming | E1 5 029 | SWS Colloquium | | |||||
| 2023-12-15 | 13:00 | Jan Philipp Wächter | Decision Problems for Automaton Groups and Monoids of BoundedActivity | E1 4 024 | AG1 Advanced Mini-Course | | |||||
| 2023-12-15 | 15:30 | Felix Stutz | Implementability of Asynchronous Communication Protocols - The Power of Choice | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | | |||||
|
|
| | |||||||||
| 2023-12-14 | 13:00 | Jan-Philipp Wächter | Decision Problems for Automaton Groups and Monoids of Bounded ActivityTBA | E1 4 024 | AG1 Advanced Mini-Course | | |||||
| 2023-12-14 | 14:00 | Aniss Maghsoudlou | “Towards Uncovering Hidden Internet Traffic Characteristics" - PhD Defense by Aniss Maghsoudlou | E1 5 002 | Promotionskolloquium | | |||||
| 2023-12-14 | 16:00 | Michalis Kokologiannakis | Automated Reasoning under Weak Memory Consistency | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | | |||||
|
|
| | |||||||||
| 2023-12-07 | 13:00 | Simon Döring | Counting Small Induced Subgraphs with Edge-monotone Properties | E1 4 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 2023-12-06 | 11:30 | D1 Group Members | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
| 2023-12-06 | 12:15 | Manuel Gomez Rodriguez | Improving Decision Making with Machine Learning, Provably | E1 5 002 | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2023-12-04 | 10:00 | Caroline Cronjäger | The Never-Ending Trace: An Under-Approximate Approach to Divergence Bugs | E1 5 029 | SWS Colloquium | | |||||
| 2023-12-04 | 17:00 | Michael Sammler | Automated and Foundational Verification of Low-Level Programs | E1 5 029 | SWS Student Defense Talks - Thesis Defense | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2023-11-29 | 13:00 | Erik Jan van Leeuwen | Complexity Framework For Forbidden Subgraphs and Beyond | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-11-22 | 11:30 | D1 Group Members | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2023-11-21 | 14:00 | Sergey Bozhko | Rigorous and General Response-Time Analysis for Uniprocessor Real-Time | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | | |||||
|
|
| | |||||||||
| 2023-11-16 | 14:00 | Sebastian Dalleiger | Characteristics and Commonalities – Differentially Describing Datasets with Insight-ful Patterns | E1 4 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2023-11-14 | 11:00 | Dmitry Chistikov | The complexity of Presburger arithmetic with power or powers | G26 [KL] 111 | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2023-11-08 | 11:30 | D1 Group Members | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
| 2023-11-08 | 12:15 | Mohamed Elgharib | Digitizing the Human Face | E1 5 002 | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2023-11-07 | 13:00 | Nicolas Regel | Exploring shorter certificates for the Fréchet Distance (Bachelor Thesis) | E1 4 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 2023-11-02 | 13:00 | Alejandro Cassis | Negative-Weight Single-Source Shortest Paths in Near-Linear Time: Now Faster! | E1 4 024 | AG1 Advanced Mini-Course | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2023-10-31 | 13:00 | Tomasz Kociumaka | Approximating Edit Distance in the Fully Dynamic Model | E1 4 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 2023-10-27 | 09:00 | Hiba Arnaout | Enriching Open-world Knowledge Graphs with Expressive Negative Statements | E1 4 024 | Promotionskolloquium | | |||||
| 2023-10-27 | 14:15 | Ralf Schenkel | Quality-aware Argument Retrieval | E1 4 024 | Colloquium Lecture | | |||||
|
|
| | |||||||||
| 2023-10-26 | 10:30 | Umang Mathur | Exposing Concurrency Bugs from their Hiding Places | G26 [KL] 111 | SWS Colloquium | | |||||
| 2023-10-26 | 13:00 | Klaus Jensen | New Algorithmic Results for Scheduling via ILPs | E1 4 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 2023-10-24 | 13:00 | Sorrachai Yingchareonthawornchai | Faster Deterministic Vertex Connectivity Algorithms | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-10-23 | 09:00 | Corinna Coupette | Beyond Flatland: Exploring Graphs in Many Dimensions | Virtual talk Virtual talk | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2023-10-19 | 13:00 | Rajendra Kumar | TBA | E1 4 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 2023-10-18 | 10:00 | Prem Devanbu | Naturalness & Bimodality of Code | E1 5 002 | SWS Distinguished Lecture Series | | |||||
| 2023-10-18 | 11:30 | D1 Group Members | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2023-10-17 | 10:00 | Smitha Milli | Algorithms for Plurality | E1 5 029 | SWS Colloquium | | |||||
| 2023-10-17 | 13:00 | Nidhi Rathi | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-10-11 | 12:15 | Isabel Valera | Causethical ML: Promises & Challenges | E1 5 002 | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2023-10-10 | 13:00 | Cornelius Brand | Algebraic Matroid Intersection | E1 5 029 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-10-05 | 13:00 | Panagiotis Charalampopoulos | Almost Optimal Edit Distance Oracles | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-10-04 | 11:30 | D1 Group Members | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2023-09-28 | 10:30 | Miryung Kim | Software Engineering for Data Intensive Scalable Computing and Heterogeneous Computing | G26 [KL] 111 | SWS Distinguished Lecture Series | | |||||
| 2023-09-28 | 13:00 | Prajakta Nimbhorkar | Matchings with Fairness Constraints | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-09-27 | 10:00 | Kate Donahue | AI as a resource: strategy, uncertainty, and societal welfare | G26 [KL] 111 | SWS Colloquium | | |||||
| 2023-09-27 | 14:00 | Aaron Roth | Robust and Equitable Uncertainty Estimation | Virtual talk [KL] zoom | SWS Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2023-09-22 | 09:00 | Weikum | D5 Alumni Workshop | E1 5 002 | AG5 Seminar | | |||||
|
|
| | |||||||||
| 2023-09-21 | 12:30 | Weikum | D5 Alumni Workshop | E1 5 002 | AG5 Seminar | | |||||
|
|
| | |||||||||
| 2023-09-20 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2023-09-18 | 10:00 | Fatemehsadat Mireshghallah | Privacy Auditing and Protection in Large Language Models | E1 5 029 | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2023-09-14 | 13:00 | Alexandra Lassota | Small lecture on integer programming | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-09-06 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2023-09-04 | 10:00 | Manya Ghobadi | Next-Generation Optical Networks for Machine Learning Jobs | G26 [KL] 111 | SWS Distinguished Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2023-08-29 | 13:00 | Yanheng Wang | Probabilistic Analyses of PPZ | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2023-08-29 | 15:00 | Nick Fischer | PhD Defense Nick Fischer | E14 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2023-08-25 | 14:30 | Tomasz Kociumaka | The Seaweed Method for Computing Edit Distance | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-08-16 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2023-08-10 | 16:00 | Euiwoong Lee | Parameterized Approximability of F-Deletion Problems | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-08-02 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2023-07-25 | 13:00 | Celine Swennenhuis | A Subexponential Time Algorithm for Makespan Scheduling of Unit Jobs with Precedence Constraints | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-07-20 | 13:00 | Gunjan Kumar | Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle? | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-07-19 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 021 | AG1 Group Meeting | | |||||
| 2023-07-19 | 13:00 | Spyros Angelopoulos | Searching with predictions | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-07-18 | 13:00 | Michal Koucky | Locally consistent decomposition of strings with applications to edit distance sketching | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-07-13 | 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 | | |||||
|
|
| | |||||||||
| 2023-07-11 | 13:00 | Nithin Varma | Improved sublinear algorithms for testing permutation freeness | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-07-10 | 14:00 | Debmalya Panigrahi | The Isolating Cuts Lemma and its Applications | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-07-06 | 13:00 | Lars Prehn | Routegazing: Analysing the Evolving Internet Routing Ecosystem | E1 5 002 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2023-07-05 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 021 | AG1 Group Meeting | | |||||
| 2023-07-05 | 12:15 | Jan Eric Lenssen | Inferring the 3D World from Incomplete Observations: Representations and Data Priors | E1 5 002 | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2023-07-04 | 13:00 | Hannaneh Akrami | EFX: A Simpler Approach and an (Almost) Optimal Guarantee via Rainbow Cycle Number | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-07-03 | 14:00 | Guy Even | Dynamic Filters and Retrieval with a Single Memory Access | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2023-06-22 | 11:15 | Prof. Sebastian Trimpe | Machine learning for machines: Challenges and recent results in learning-based control | E1 4 019 | MPI-Seminar | | |||||
| 2023-06-22 | 13:00 | Christopher Cohnen | Distributed consensus in asynchronous systems (Proseminar: Theory on consensus) | E1 4 024 | AG1 Mittagsseminar (others' work) | | |||||
|
|
| | |||||||||
| 2023-06-21 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 021 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2023-06-20 | 15:00 | Supratik Chakraborty | On Synthesizability of Skolem Functions in First-Order Theories | G26 [KL] 207 | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2023-06-09 | 12:30 | Ruiwen Dong | Decision problems in sub-semigroups of metabelian groups. | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-06-07 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 021 | AG1 Group Meeting | | |||||
| 2023-06-07 | 12:15 | Mariya Toneva | Why do large language models align with human brains: insights, opportunities, and challenges | E1 5 002 | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2023-06-06 | 13:00 | Arturo Merino | Traversing combinatorial polytopes via optimization. | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-06-02 | 13:00 | Rahul Mudambi Venkatesh | Fault-tolerant pulse synchronization with stable output frequencies (Master thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-06-01 | 13:00 | Caterina De Bacco | Modelling multi-commodity optimal transport problems with constraints | Virtual talk Virtual talk | Colloquium Lecture | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2023-05-30 | 13:00 | Ariel Kulik | Faster Exponential-Time Approximation Algorithms Using Approximate Monotone Local Search | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-05-25 | 13:00 | Tomasz Kociumaka | Bounded Weighted Edit Distance | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2023-05-25 | 16:00 | Bo Zhao | Scalable and Sustainable Data-Intensive Systems | E1 5 002 | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2023-05-23 | 13:00 | Christine Rizkallah | Language Based Approaches for Facilitating Software Verification | MPI building 024 | Colloquium Lecture | | |||||
|
|
| | |||||||||
| 2023-05-17 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 021 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2023-05-16 | 13:00 | Seth Pettie | Sorting Pattern-avoiding Permutations via Forbidden 0-1 Matrices | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-05-12 | 13:30 | Léo Exibard | A Generic Solution to Register-bounded Synthesis for Systems over Data words | G26 [KL] 111 | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2023-05-04 | 15:00 | Beta Ziliani | Making monkeys and ducks behave with Crystal Lang | E1 5 002 | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2023-05-03 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 021 | AG1 Group Meeting | | |||||
| 2023-05-03 | 12:15 | Marc Habermann | Digital Humans: From Sensor Measurements to Deeper Understanding and Synthesis | E1 5 002 | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2023-05-02 | 13:00 | George Osipov | Parameterized Complexity of MinCSP for Equality Constraint Languages | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2023-04-27 | 13:00 | Jan van den Brand | Faster High Accuracy Multi-Commodity Flow from Single-Commodity Techniques | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2023-04-27 | 16:00 | Alexander J. Summers | 2vyper: Contracts for Smart Contracts | E1 5 002 | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2023-04-24 | 10:00 | Yuval Yarom | Automating cryptographic code generation | E1 5 029 | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2023-04-20 | 13:00 | Standa Zivny | Promise Constraint Satisfaction Problems | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-04-19 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 021 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2023-04-18 | 09:30 | Edgar Schönfeld | Improving Quality and Controllability in GAN-based Image Synthesis | E 1.4 024 | Promotionskolloquium | | |||||
| 2023-04-18 | 13:00 | Ran Gelles | Distributed Computations in Fully-Defective Networks | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-04-05 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | | |||||
| 2023-04-05 | 12:15 | Philip Wellnitz | Faster Approximate String Matching: Now with up to 500 Errors | E1 5 002 | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2023-04-04 | 13:00 | Corinna Coupette | Reducing Exposure to Harmful Content via Graph Rewiring | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2023-03-30 | 11:30 | Meike Zehlike | Learning Lunch: The Gender Data Gap - And its Implications for Data-Driven Decision Making | E1 4 024 | Talk | | |||||
| 2023-03-30 | 13:00 | Simon Döring | The Birkhoff-Polytope and the hardness of removing vertices | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2023-03-30 | 15:30 | Numair Mansur | Automatically Detecting and Mitigating Issues in Program Analyzers | G26 111 | SWS Student Defense Talks - Thesis Defense | | |||||
|
|
| | |||||||||
| 2023-03-23 | 13:00 | Duri Janett | Tight Runtime Bounds for Static Unary Unbiased Evolutionary Algorithms on Linear Functions | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-03-21 | 13:00 | Hannaneh Akrami | Breaking the 3/4 Barrier for Approximate Maximin Share | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-03-16 | 13:00 | Niko Hastrich | Faster Nearest Neighbors Queries on Geographic Data | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2023-03-16 | 18:00 | Bharat Lal Bhatnagar | Modelling 3D Humans: Pose, Shape, Clothing and Interactions | E 1.4 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2023-03-15 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2023-03-09 | 09:30 | Paul Gölz | Fair, Representative, and Transparent Algorithms for Citizens’ Assemblies | E1 5 002 | CIS@MPG Tenure-Track Faculty | | |||||
| 2023-03-09 | 10:00 | Stephan Schulz | E 3.0 - Even Faster, Much Higher, Still Stronger | E1 4 024 | Talk | | |||||
| 2023-03-09 | 14:00 | Fajar Haifani | On a Notion of Abduction and Relevance for First-Order Logic Clause Sets | E1 4 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2023-03-07 | 13:00 | Rahul Mudambi Venkatesh | Fault-tolerant pulse synchronization with stable output frequencie (Master thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2023-03-07 | 14:00 | Anita Dürr | Recent developments in monotone min-plus convolution/product algorithms | E1 4 024 | Talk | | |||||
|
|
| | |||||||||
| 2023-03-03 | 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 | | |||||
| 2023-03-03 | 12:30 | Mark Mrsic | Real-Time Collaborative Optimization Platform | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-03-02 | 09:30 | Maryam Aliakbarpour | Statistical inference with privacy and computational constraints | G26 [KL] 111 | SWS Colloquium | | |||||
| 2023-03-02 | 13:00 | Seth Pettie | Optimal Vertex Connectivity Oracles | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| 2023-03-02 | 15:00 | Mirko Palmer | PhD Defense: Towards Enabling Cross-layer Information Sharing to Improve Today's Content Delivery Systems | E1 4 024 | Promotionskolloquium | | |||||
| 2023-03-02 | 17:00 | Adam Bouland | Quantum Pseudoentanglement | Virtual talk Virtual talk | INF Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2023-03-01 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | | |||||
| 2023-03-01 | 12:15 | Ingmar Weber | Societal Computing | E1 5 002 | Joint Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2023-02-28 | 09:30 | Dr. Anne-Kathrin Schmuck | The Power of Feedback in a Cyber-Physical World | G26 [KL] 111 | SWS Colloquium | | |||||
| 2023-02-28 | 13:00 | Johannes Bund | Hazard-Free Clock Synchronization (PhD defense) | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-02-24 | 15:00 | Said Jawad Saidi | Characterizing the IoT Ecosystem at Scale | E1 4 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2023-02-23 | 09:30 | Priyanka Golia | Fusing AI and Formal Methods for Automated Synthesis | G26 [KL] 111 | SWS Colloquium | | |||||
| 2023-02-23 | 13:00 | Karol Węgrzycki | Parameterized Approximation for Maximum Weight Independent Set of Rectangles and Segments | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-02-22 | 16:00 | Stephan Günnemann | Graph Neural Networks for Molecular Systems | E1 5 002 | Max Planck Distinguished Speaker Talk | | |||||
|
|
| | |||||||||
| 2023-02-21 | 16:00 | Ryan Williams | The Mystery of the Missing String | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-02-15 | 11:30 | D1 Group Members | D1 Group Meeting (Photographer) | E1 5 R 105 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2023-02-14 | 13:00 | Peter Kiss | (1+\eps)-Approximate Dynamic Matching in Truly Sublinear Time | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2023-02-14 | 14:00 | Leqi Liu | Learning for Decision Making: A Tale of Complex Human Preferences | Virtual talk zoom | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2023-02-10 | 13:30 | Naveen Garg | Outliers: How to Handle Them | E1.4 024 | MPI-Kolloquium | | |||||
|
|
| | |||||||||
| 2023-02-09 | 13:00 | Golnoosh Shahkarami | A Novel Prediction Setup for Online Speed-Scaling | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2023-02-09 | 13:30 | Aman Mathur | Programmatic Interfaces for Design and Simulation | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | | |||||
|
|
| | |||||||||
| 2023-02-02 | 13:00 | Suomela Jukka | Locality in online, dynamic, sequential, and distributed graph algorithms | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-02-01 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | | |||||
| 2023-02-01 | 12:15 | Sven Rahmann | Terabyte-Scale Genome Analysis for Underfunded Labs | E1 5 002 | Joint Lecture Series | | |||||
| 2023-02-01 | 15:00 | Manling Li | Toward Deep Semantic Understanding: Event-Centric Multimodal Knowledge Acquisition | E1 5 002 | SWS Colloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2023-01-31 | 13:00 | Adam Polak | Dynamic algorithms with predictions | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-01-27 | 08:30 | 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 | | |||||
| 2023-01-27 | 09:00 | Pushpdeep Singh | Gender Bias in Neural Machine Translation(NMT): Evaluation and Mitigation | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-27 | 09:30 | Mohammad Mahdi Asmae | Neural Enhanced Dynamic Message Passing | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-27 | 10:00 | Sara Khosravi | Area: AI, Machine Learning, Robotics, Vision | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-27 | 10:30 | Shrisudhan Govindarajan | Synthesizing Light Field Video from Smartphones | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-27 | 11:00 | Yuezhi Yang | Discovering Design Concept for CAD Sketches | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-27 | 12:30 | Hassan Hamidihesarsorkh | Coloring as a Pretext Task for Semantic Segmentation in Point Cloud | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-27 | 13:00 | Daoan Zhang | Unconditional and Conditional Representation Manipulation | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-27 | 13:30 | Tsung-Han Wu | Towards Cost-Effective and Trustworthy Visual Autonomous Systems | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-27 | 14:00 | Mohammad Asadi | Concept-Based Interpretation for Raw Time Series Models in Education | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-27 | 14:30 | Nhi Pham | A Twitter corpus of linguistically and geographically diverse varieties of English | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-27 | 16:30 | Yaoyao Liu | Learning from Imperfect Data: Incremental Learning and Few-shot Learning | E 1.4 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2023-01-26 | 13:00 | Ameet Gadekar | Clustering with fairness constraints | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-01-24 | 09:00 | Ajaykrishnan Edamana Illam Satheeshkumar | Knot-Free Vertex Deletion Exact and Enumeration Algorithms | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-24 | 09:30 | Aryan Agarwala | Parallel Algorithms for Bipartite Graph Matching | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-24 | 12:00 | Sagnik Dutta | Improved lower bound and proof barrier for constant depth algebraic circuits | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-24 | 13:00 | Ali Hatamshoar | Online Coloring of Intervals with a Limited Recourse Budget | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-24 | 13:30 | Anita Dürr | Improved bounds for rectangular monotone Min-Plus Product | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-24 | 14:00 | Duri Andrea Janett | Two Dimensional Drift Analysis: Optimizing Two Functions Simultaneously Can Be Hard | Virtual talk zoom | PhD Application Talk | | |||||
|
|
| | |||||||||
| 2023-01-23 | 09:00 | Carolina Coimbra Vieira | The Interplay between Culture and Migration | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-23 | 09:30 | Mahsa Ghaderan | Fact Extraction and Verification for a low resource language | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-23 | 10:00 | Soham De | Studying Strategic Information Operations in India through Social Media | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-23 | 10:30 | Otuekong Ekpo | Technique for enhancing the resistance of critical rail infrastructure to cyber-threat | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-23 | 12:30 | Alexander Mayorov | Variable independence in quantifier-free fragments of first-order logic | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-23 | 13:00 | Yun-Rong Luo | Proofs and Dependency Schemes for Stochastic Quantified Satisfiability | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-23 | 13:30 | MohammadHossein KhoshechinJorshari | Actor-based Timing Analysis in Automotive Systems | Virtual talk zoom | PhD Application Talk | | |||||
| 2023-01-23 | 14:00 | Si Suo | Denotational semantics of commutative combinations of effects | Virtual talk zoom | PhD Application Talk | | |||||
|
|
| | |||||||||
| 2023-01-19 | 13:00 | Yuval Efron | Cut Query Algorithms Using Star-Contraction | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2023-01-19 | 16:00 | Robert Koenig | Adaptive constant-depth circuits for manipulating non-abelian anyons | Virtual talk Virtual talk | INF Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2023-01-18 | 11:30 | D1 Group Members | D1 Group Meeting (in presence) | E 1, 4 R 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2023-01-17 | 13:00 | Zhongtian He | Cactus Representations in Polylogarithmic Max-flow via Maximal Isolating Mincuts | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-01-12 | 13:00 | Philipp Schepper | Tight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2023-01-04 | 11:30 | D1 Group Members | D1 Group Meeting (in presence) | E1, 4 D1 Rotunda | AG1 Group Meeting | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2022-12-28 | 11:30 | D1 Group Members | D1 Group Meeting (in presence) | E 1, 4 Rotunda D1 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-12-20 | 16:00 | Yury Makarychev | Approximation algorithms for the socially fair clustering problem | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-12-14 | 11:30 | D1 Group Members | D1 Group Meeting | E 1, 4 R 024 | AG1 Group Meeting | | |||||
| 2022-12-14 | 14:00 | Mahmoud Salamati | Formal Controller Synthesis for Dynamical Systems: Decidability and Scalability | G26 [KL] 113 | SWS Student Defense Talks - Thesis Proposal | | |||||
|
|
| | |||||||||
| 2022-12-13 | 13:00 | Eva Rotenberg | Sparsity-adaptive dynamic graph algorithms | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-12-12 | 16:00 | Aleksander B. G. Christiansen | The Power of Multi-Step Vizing Chains | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-12-08 | 10:30 | Janis Kalofolias | Subgroup Discovery for Structured Target Concepts | C9 3 Konferenzraum | Promotionskolloquium | | |||||
| 2022-12-08 | 13:00 | Adam Polak | Bellman-Ford is optimal for shortest hop-bounded paths | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2022-12-08 | 16:00 | Harry Buhrmann | Quantum fine-grained complexity and the quantum advantage | Virtual talk Virtual talk | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 2022-12-07 | 12:15 | Anne Schmuck | Let's play! - Solving controller synthesis games for cyber-physical system design | E1 5 002 | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2022-12-06 | 13:00 | Nikhil Kumar | An Approximate Generalization of the Okamura-Seymour Theorem | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-12-01 | 13:00 | Peter Kiss | Dynamic Matching with Better-than-2 Approximation in Polylogarithmic Update Time | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2022-11-30 | 11:30 | D1 Group Members | D1 Group Meeting | E 1, 4 R 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-11-29 | 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) | | |||||
|
|
| | |||||||||
| 2022-11-24 | 10:00 | Aïna Linn Georges | Enforcing Stack Safety on a Capability Machine | E1 5 005 | SWS Colloquium | | |||||
| 2022-11-24 | 13:00 | Pascal Schweitzer | The Graph Isomorphism Problem: a journey through theory-practice synergies | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-11-23 | 09:00 | Philipp Schröppel | Robust Multi-view Depth Estimation | E1 7 001 | Talk | | |||||
| 2022-11-23 | 13:00 | Vasilis Livanos | Combinatorial Optimization under Uncertainty and Prophet Inequalities | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-11-22 | 13:00 | Sanjeev Khanna | Sublinear Algorithms for Hierarchical Clustering | Virtual talk Virtual talk | AG1 Mittagsseminar (others' work) | | |||||
|
|
| | |||||||||
| 2022-11-21 | 13:00 | Arijit Khan | Data Management for Emerging Problems in Large Networks | E1 4 024 | Talk | | |||||
|
|
| | |||||||||
| 2022-11-17 | 16:00 | Barbara Terhal | Quantum Error Correction Beyond Qubits | Virtual talk Virtual talk | Max Planck Distinguished Speaker Talk | | |||||
|
|
| | |||||||||
| 2022-11-16 | 10:00 | Thorsten Joachims | Designing AI Systems with Steerable Long-Term Dynamics | G26 [KL] 111 | SWS Distinguished Lecture Series | | |||||
| 2022-11-16 | 11:30 | D1 Group Members | D1 Group Meeting | E 1, 4 R 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-11-12 | 16:00 | Aleksander B. G. Christiansen | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-11-10 | 13:00 | Kurt Mehlhorn | Fair Allocation of Indivisible Goods, A Survey | MPI-INF 024 | AG1 Mittagsseminar (basic education) | | |||||
|
|
| | |||||||||
| 2022-11-07 | 10:30 | Sumit Gulwani | AI-assisted Programming: Applications, User experiences, and Neuro-symbolic techniques | E1 5 002 | SWS Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2022-11-02 | 11:30 | D1 Group Members | D1 Group Meeting | E 1, 4 R 024 | AG1 Group Meeting | | |||||
| 2022-11-02 | 12:15 | Martin Bromberger | Why not use a hammer when a problem looks almost like a nail? | E1 5 002 | Joint Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2022-10-28 | 10:30 | Vinh Thinh Ho | Entities with Quantities: Extraction, Search, and Ranking | E1 4 R024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2022-10-27 | 13:00 | Tomasz Kociumaka | Gap Edit Distance via Non-Adaptive Queries: Simple and Optimal | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-10-25 | 13:00 | Vera Traub | Better-Than-2 Approximations for Weighted Tree Augmentation and Forest Augmentation | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-10-20 | 13:00 | Joseph Cheriyan | Approximation Algorithms for Flexible Network Design | MPI-INF 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-10-19 | 11:30 | D1 Group Members | D1 Group Meeting (in presence) | E 1, 4 310 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-10-18 | 13:00 | Karl Bringmann | Fine-Grained Complexity of Distance Oracles | E1 4 007 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-10-13 | 16:00 | Umesh Vazirani | Theoretical Reflections on Quantum Supremacy | Virtual talk Virtual talk | INF Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2022-10-12 | 10:00 | Attila Kinali-Dogan | PhD Defense: On Time, Time Synchronization and Noise in Time Measurement Systems | E1 4 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2022-10-11 | 13:00 | Hörsch Florian | Orientations and Arc-connectivity | E1 4 007 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-10-05 | 11:30 | D1 Group Members | D1 Group Meeting (in presence) | E 1, 4 310 | AG1 Group Meeting | | |||||
| 2022-10-05 | 12:15 | Martina Maggio | Control Systems in the presence of Computational Problems | E1 5 002 | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2022-10-04 | 13:00 | Evangelos Kipouridis | Reconstructing the Tree of Life (Fitting Distances by Tree Metrics) | E1 5 002 | AG1 Mittagsseminar (own work) | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2022-09-28 | 15:30 | Lassota Alexandra Anna | Integer Linear Programs and How To Use Them Efficiently | E1 4 007 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-09-27 | 13:00 | Pranjal Dutta | Power and limitation of border depth-3 algebraic circuits | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-09-22 | 16:00 | Ariel Procaccia | Democracy and the Pursuit of Randomness | Virtual talk Virtual talk | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2022-09-21 | 11:30 | D1 Group Members | D1 Group Meeting (in presence) | E 1, 4 Rotunda D1 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-09-20 | 13:00 | Merav Parter | A Graph Theoretic Approach for Resilient Distributed Algorithms | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-09-15 | 13:00 | Joakim Blikstad | Nearly Optimal Communication and Query Complexity of Bipartite Matching | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2022-09-15 | 16:00 | Peter Shor | Quantum Money | Virtual talk Virtual talk | INF Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2022-09-08 | 13:00 | Danupon Nanongkai | Negative-Weight Single-Source Shortest Paths in Near-linear Time | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-09-07 | 11:30 | D1 Group Members | D1 Group Meeting (in presence) | E 1, 4 R 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-09-06 | 18:00 | Michael Sammler | Automated and Foundational Verification of Low-Level Programs | Virtual talk Virtual talk | SWS Student Defense Talks - Thesis Proposal | | |||||
|
|
| | |||||||||
| 2022-09-01 | 13:00 | Philipp Schepper | Computing Generalized Convolutions Faster Than Brute Force | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2022-08-31 | 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 | | |||||
|
|
| | |||||||||
| 2022-08-30 | 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) | | |||||
|
|
| | |||||||||
| 2022-08-24 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-08-18 | 16:00 | Mohsen Ghaffari | Local Computation of Maximal Independent Set | Virtual Virtual | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-08-17 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-08-10 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-08-03 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2022-07-28 | 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 | | |||||
| 2022-07-28 | 16:00 | Tony Cubitt | Hamiltonian simulation theory: from near-term quantum computing to quantum gravity | E1 4 024 | INF Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2022-07-27 | 11:30 | D1 Group Members | D1 Group Meeting | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-07-25 | 13:00 | Numair Mansur | Automatically Detecting and Mitigating Issues in Program Analyzers | Virtual talk Remote | SWS Student Defense Talks - Thesis Proposal | | |||||
|
|
| | |||||||||
| 2022-07-22 | 13:00 | Sahar Sheikholeslami | A Recursive Early-Stopping Phase King Protocol | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| 2022-07-22 | 14:00 | David Stutz | Understanding and Improving Robustness and Uncertainty Estimation in Deep Learning | E 1.4 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2022-07-20 | 11:30 | D1 Group Members | D1 Group Meeting | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-07-19 | 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 | | |||||
|
|
| | |||||||||
| 2022-07-13 | 11:30 | D1 Group Members | D1 Group Meeting | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-07-11 | 11:00 | Zahra Montazeri | Realistic Modeling and Rendering of Fabrics | E1 4 024 | AG4 Talk | | |||||
| 2022-07-11 | 14:00 | Jean-Marie De Koninck | Consecutive integers divisible by a power of their largest prime factor | E1 5 002 | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2022-07-06 | 11:30 | D1 Group Members | D1 Group Meeting | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| 2022-07-06 | 12:15 | Tobias Fiebig | Information System Security: Beyond the Sum of its Parts Analyze, Measure, Explain, Improve | Virtual talk Virtual | Joint Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2022-06-30 | 13:00 | Ian Jones | The World’s 3rd Fastest FIFO | MPII 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-06-29 | 11:30 | D1 Group Members | D1 Group Meeting | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| 2022-06-29 | 14:00 | Andrea Hornakova | Lifted Edges as Connectivity Priors for Multicut and Disjoint Paths | E 1.5 029 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2022-06-28 | 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) | | |||||
| 2022-06-28 | 13:30 | Areil Kulik | Analysis of Two-variable Recurrence Relations with Application to Parameterized Approximations | MPII (E1 4) 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-06-27 | 11:00 | Debasmita Lohar | Expanding the Horizons of Finite-Precision Analysis | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | | |||||
|
|
| | |||||||||
| 2022-06-24 | 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 | | |||||
| 2022-06-24 | 14:00 | Kaushik Mallik | Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems | G26 [KL] 113 | SWS Student Defense Talks - Thesis Defense | | |||||
|
|
| | |||||||||
| 2022-06-23 | 13:00 | Baris Can Esmer | Faster Exponential-Time Approximation Algorithms Using Approximate Monotone Local Search | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-06-22 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-06-21 | 13:00 | Sam Jonas Niro | Optimization under Privacy | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-06-17 | 13:00 | Golnoosh Shahkarami | [Cancelled] A Novel Prediction Setup for Online Speed-Scaling | E1 4 (MPII) 024 | AG1 Mittagsseminar (own work) | | |||||
| 2022-06-17 | 13:45 | Dzmitry V. Dudko | Decidability in Dynamics via Geometrization | E1 4 (MPII) 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-06-15 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-06-14 | 10:00 | Ben Wiederhake | PhD Defense Ben Wiederhake | E1 4 024 | Promotionskolloquium | | |||||
| 2022-06-14 | 13:00 | Alejandro Cassis | Faster Knapsack Algorithms via Bounded Monotone Min-Plus-Convolution | MPII 024 | AG1 Mittagsseminar (own work) | | |||||
| 2022-06-14 | 13:30 | Philipp Schepper | Parameterized Complexity of Weighted Multicut in Trees | MPII (E1 4) 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-06-10 | 13:00 | Anna Christina de Carvalho Guimaraes | Data Science Methods for the Analysis of Controversial SocialMedia Discussions | Virtual talk Virtual talk | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2022-06-09 | 13:00 | Alejandro Cassis | Almost-Optimal Sublinear-Time Edit Distance in the Low Distance Regime | MPII 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-06-08 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-06-07 | 13:00 | Aleksander Łukasiewicz | All-Pairs LCA in DAGs: Breaking through the O(n^2.5) barrier | MPII 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-06-01 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| 2022-06-01 | 12:15 | Elissa Redmiles | Learning from the People: Responsibly Encouraging Adoption of Contact Tracing Apps | Virtual talk Virtual talk | Joint Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2022-05-27 | 14:00 | Joël Ouaknine | The Skolem Landscape | E1 5 002 | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2022-05-25 | 11:30 | D1 Group Meeting | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-05-24 | 09:30 | Lorenzo Alvisi | Orderrr! A tale of money, intrigue, and specifications | E1 5 002 | SWS Distinguished Lecture Series | | |||||
| 2022-05-24 | 13:00 | Zahra Parsaeian | Towards Sub-Quadratic Diameter Computation in Geometric Intersection Graphs | MPII 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-05-20 | 16:15 | Preethi Lahoti | Operationalizing Fairness for Responsible Machine Learning | Virtual talk Virtual Talk | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2022-05-19 | 13:00 | Kurt Mehlhorn | Review and Letters of Recommendations | MPI 018 | AG1 Mittagsseminar (basic education) | | |||||
| 2022-05-19 | 16:00 | Andris Ambainis | Quantum algorithms for search and optimization | Virtual talk Zoom | INF Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2022-05-18 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-05-13 | 16:00 | André Nusser | PhD Defense André Nusser | Virtual talk Virtual talk | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2022-05-12 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-05-05 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-05-04 | 12:15 | Thorsten Holz | Towards Resilient and Sustainable Software Security | Virtual talk Virtual | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2022-05-03 | 13:00 | Prafullkumar Tale | Practice lecture on String Processing | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2022-04-28 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-04-25 | 10:00 | Cuong Xuan Chu | Knowledge Extraction from Fictional Texts | Virtual talk Virtual talk | Promotionskolloquium | | |||||
| 2022-04-25 | 14:15 | Iryna Gurevych | Comment – Link – Revise: Towards a General Framework for Modelling Interconnected Texts | Virtual talk virtual talk | MPI Colloquium Series Distinguished Speaker | | |||||
|
|
| | |||||||||
| 2022-04-21 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-04-19 | 13:00 | Prafullkumar Tale | (CANCELLED) Practice lecture on String Processing. | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-04-14 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-04-07 | 11:00 | Long Tran-Thanh | Saving Stochastic Bandits from Poisoning Attacks via Limited Data Verification | Virtual talk Virtual talk | SWS Colloquium | | |||||
| 2022-04-07 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-04-06 | 12:15 | Adam Kortylewski | Robust Deep Neural Networks for Computer Vision | Virtual talk Virtual | Joint Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2022-03-31 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-03-29 | 13:00 | Prafullkumar Tale | Parameterized Complexity of Edge Contraction Problems | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| 2022-03-29 | 15:00 | Maria Florina Balcan | Machine learning for algorithm design | Virtual talk [KL] zoom | SWS Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2022-03-24 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-03-23 | 18:00 | Magdalena Balazinska | Video Data Management | Virtual talk Virtual talk | MPI Colloquium Series Distinguished Speaker | | |||||
|
|
| | |||||||||
| 2022-03-17 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-03-15 | 13:00 | Karol Węgrzycki | Isolation schemes for problems on decomposable graphs | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-03-14 | 10:00 | Roberto Navigli | Recent Developments in Multilingual Natural Language Understanding | Virtual talk Virtual talk | MPI Colloquium Series Distinguished Speaker | | |||||
|
|
| | |||||||||
| 2022-03-10 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-03-09 | 12:00 | Gael Varoquaux | Embeddings of databases for analytics robust to alignment errors | E1 4 024 | AG5 Talk | | |||||
|
|
| | |||||||||
| 2022-03-04 | 14:00 | Adam Dziedzic | Confidential and Private Collaborative Machine Learning | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2022-03-03 | 10:00 | Anwar Hithnawi | Systems Designs for End-to-End Privacy | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
| 2022-03-03 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-03-02 | 17:00 | Pardis Emami-Naeini | Empowering People to Have Secure and Private Interactions with Digital Technologies | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2022-03-01 | 15:00 | Yixin Zou | Improving People’s Adoption of Security and Privacy Behaviors | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
| 2022-03-01 | 18:00 | Yejin Choi | Knowledge is Power: Symbolic Knowledge Distillation, Commonsense Morality, and Multimodal Script Knowledge | Virtual talk Virtual talk | INF Distinguished Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2022-02-28 | 15:00 | Suguman Bansal | Specification-Guided Policy-Synthesis | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2022-02-24 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-02-23 | 16:00 | Rowan Zellers | Grounding Language by Seeing, Hearing, and Interacting | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2022-02-22 | 15:00 | Aaron Schein | Measurement and Experimentation in Complex Sociopolitical Processes | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2022-02-21 | 15:00 | Ningning Xie | Language theory into practice, a play in three acts | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2022-02-18 | 11:00 | Anna Tigunova | Extracting personal information from conversations | Virtual talk virtual talk | Promotionskolloquium | | |||||
| 2022-02-18 | 16:00 | Yao Qin | Improving Robustness in Machine Learning Models | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2022-02-17 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| 2022-02-17 | 16:00 | Stephanie Wehner | Quantum Networks: From a Physics Experiment to a Quantum Network System | E1 4 325 | INF Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2022-02-15 | 10:00 | Yiqing Hua | Characterizing and Mitigating Threats to Trust and Safety Online | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2022-02-11 | 09:30 | Krikamol Muandet | Toward Reliable Machine Learning with Kernels | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
| 2022-02-11 | 12:00 | Hadi Daneshmand | How do neurons learn? | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2022-02-10 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| 2022-02-10 | 14:00 | Wenbo Guo | Strengthening and Enriching Machine Learning for Cybersecurity | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2022-02-03 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-02-02 | 12:15 | Goran Radanovic | Robust and Accountable Multi-Agent Sequential Decision Making | Virtual talk Virtual | Joint Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2022-01-27 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-01-20 | 10:00 | Willy Zwaenepoel | Software for Fast Storage Hardware | Virtual talk Virtual Talk | SWS Distinguished Lecture Series | | |||||
| 2022-01-20 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-01-18 | 13:00 | Benedikt Geilenkeuser | FPT-Algorithms for the Treewidth-3 Modulator Problem (Master Thesis) | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| 2022-01-18 | 15:00 | Nina Grgić-Hlača | Human Factors in Machine-Assisted Decision-Making | E1 4 029 | SWS Student Defense Talks - Thesis Proposal | | |||||
|
|
| | |||||||||
| 2022-01-17 | 13:00 | Zhongtian He | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
| 2022-01-17 | 13:00 | Zhongtian He | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2022-01-13 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-01-06 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2022-01-04 | 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) | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2021-12-16 | 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 | | |||||
| 2021-12-16 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-12-15 | 12:00 | Mohamed Omran | From Pixels to People: Recovering Location, Shape, and Pose of Humans in Images | Virtual talk Virtual talk | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2021-12-14 | 13:00 | Daniel Neuen | Parameterized Subexponential Algorithms for Generalized Cycle Hitting Problems on Planar Graphs | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-12-09 | 11:00 | Azin Ghazimatin | Enhancing Explainability and Scrutability of Recommender Systems | Virtual talk Virtual talk | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2021-12-08 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-12-07 | 14:00 | Marko Doko | Program Logic for Weak Memory Concurrency | Uni Kaiserlautern [KL] 48 | SWS Student Defense Talks - Thesis Defense | | |||||
|
|
| | |||||||||
| 2021-12-02 | 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) | | |||||
| 2021-12-02 | 15:00 | Philip Wellnitz | Counting Patterns in Strings and Graphs | Virtual talk Virtual talk | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2021-12-01 | 10:00 | Utkarsh Upadhyay | Models and Methods for Dissemination of Information and Knowledge Online | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | | |||||
| 2021-12-01 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| 2021-12-01 | 12:15 | Deepak Kapur | Semantic Congruence Closure Algorithms | Virtual talk Virtual | Joint Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2021-11-30 | 10:00 | Thomas Neumann | Adaptive Join Order Optimization using Search Space Linearization | Virtual talk Virtual talk | MPI Colloquium Series Distinguished Speaker | | |||||
|
|
| | |||||||||
| 2021-11-25 | 15:00 | Victoria Tsoukala | CANCELLED:Talk on European research framework (Horizon Europe) | Virtual talk Virtual talk | Presentation | | |||||
|
|
| | |||||||||
| 2021-11-24 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-11-23 | 14:00 | Sandra Zilles | Optimal Machine Teaching Without Collusion | Virtual talk Virtual talk | SWS Colloquium | | |||||
| 2021-11-23 | 15:00 | Tim Kraska | Towards instance-optimized data systems | Virtual talk Virtual talk | MPI Colloquium Series Distinguished Speaker | | |||||
|
|
| | |||||||||
| 2021-11-19 | 10:00 | Federico Aromolo | Event-Driven Delay-Induced Tasks: Model, Analysis, and Applications | Virtual talk [KL] Virtual talk | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2021-11-18 | 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 | | |||||
| 2021-11-18 | 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 | | |||||
|
|
| | |||||||||
| 2021-11-17 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-11-16 | 13:00 | Ariel Kulik | Round&Round: An Improved Algorithm for 2-Dimensional Vector Bin Packing | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-11-15 | 16:00 | Johannes Gehrke | Database Systems 2.0 | Virtual talk Zoom | SWS Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2021-11-10 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-11-03 | 10:00 | Timothy Roscoe | Enzian: a cache-coherent heterogeneous research computer | Virtual talk Virtual | SWS Distinguished Lecture Series | | |||||
| 2021-11-03 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| 2021-11-03 | 12:15 | Paul Francis | Most data anonymity attack papers are inconclusive or misleading | Virtual talk Virtual | Joint Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2021-10-28 | 14:00 | Renato Renner | Optimal universal programming of unitary gates | Virtual talk Virtual talk | MPI Colloquium Series Distinguished Speaker | | |||||
| 2021-10-28 | 15:00 | Alexandra Silva | Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks | Virtual talk [KL] zoom | SWS Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2021-10-27 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-10-25 | 10:00 | Gabriel Kaptchuk | Abuse Resistant Law Enforcement Access Systems | Virtual talk Zoom | Talk | | |||||
|
|
| | |||||||||
| 2021-10-20 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-10-13 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-10-06 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| 2021-10-06 | 12:15 | Dengxin Dai | All-Season Semantic Scene Understanding for Autonomous Driving | Virtual talk Virtual | Joint Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2021-09-29 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-09-28 | 13:00 | Rishabh Sharma | Building a user study system for the MPI Optimized Modeler | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-09-24 | 16:00 | Apratim Bhattacharyya | Long-term Future Prediction under Uncertainty and Multi-modality | Virtual talk Virtual talk | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2021-09-23 | 13:00 | Alejandro Cassis | Fine-Grained Completeness for Optimization in P | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-09-22 | 10:00 | Laura Kovacs | Algebra-based Analysis of Polynomial Probabilistic Programs | Virtual talk Zoom | SWS Distinguished Lecture Series | | |||||
| 2021-09-22 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-09-21 | 13:00 | Sami Shalayel | Reflector detection in ultrasound measurements via column generation | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-09-16 | 16:00 | Matthias Christandl | Fault-tolerant Coding for Quantum Information | Virtual talk Virtual talk | MPI Colloquium Series Distinguished Speaker | | |||||
|
|
| | |||||||||
| 2021-09-15 | 10:30 | Frank Piessens | Validating models for microarchitectural security | Virtual talk Zoom | SWS Distinguished Lecture Series | | |||||
| 2021-09-15 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-09-08 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-09-01 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| 2021-09-01 | 12:15 | Vladislav Golyanik | 3D Computer Vision: From a Classical to a Quantum Perspective | Virtual talk Virtual | Joint Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2021-08-26 | 13:00 | Jeff Giliberti | Improved Online Algorithm for Fractional Knapsack in the Random Order Model | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| 2021-08-26 | 15:00 | Chuchu Fan | Fast, optimal, and guaranteed safe controller synthesis | Virtual talk [KL] zoom | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2021-08-25 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-08-11 | 15:00 | Debmalya Mandal | Decision Making with Heterogeneous Agents | Virtual talk Virtual talk | Talk | | |||||
|
|
| | |||||||||
| 2021-08-04 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| 2021-08-04 | 12:15 | Thomas Leimkühler | Exploring the Continuum of Image Synthesis Algorithms | Virtual talk Virtual | Joint Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2021-07-29 | 13:00 | Hamidreza Kamkari | Semi-definite programming using Physarum inspired dynamics | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-07-28 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-07-27 | 14:30 | Rakshith Shetty | Adversarial Content Manipulation for Analyzing and Improving Model Robustness | Virtual talk Virtual talk | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2021-07-22 | 13:00 | Shahrzad Kananizadeh | Algorithm for Target-Matching Wire Routing in the MEMS Periphery | Virtual talk Virtual talk | AG1 Advanced Mini-Course | | |||||
| 2021-07-22 | 16:00 | Andrew Childs | Efficient quantum algorithm for dissipative nonlinear differential equations | Virtual talk Virtual talk | INF Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2021-07-21 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-07-20 | 13:00 | Parinya Chalermsook | to be announced | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-07-15 | 13:00 | multiple | D1 Virtual Poster Session | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-07-14 | 10:00 | Peter Pietzuch | Making Distributed Deep Learning Adaptive | Virtual talk Zoom | SWS Distinguished Lecture Series | | |||||
| 2021-07-14 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-07-08 | 13:00 | Karol Wegrzycki | Knapsack and Subset Sum with Small Items | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-07-07 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| 2021-07-07 | 12:15 | Christian Theobalt | Neural Methods for Reconstruction and Rendering of Real World Scenes | Virtual talk Virtual | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2021-07-05 | 18:00 | Bhaskar Ray Chaudhury | Finding Fair and Efficient Allocations | Virtual talk Virtual talk | Promotionskolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2021-06-30 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
| 2021-06-30 | 16:00 | Herbert Bos | Attacks on Hardware: Why You Should Not Do It | Virtual talk Zoom | SWS Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2021-06-29 | 13:00 | Baris Can Esmer | On (1+eps)-approximate Block Sparse Recovery (Master Seminar) | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| 2021-06-29 | 14:00 | Alexander Marx | Information-theoretic causal discovery | Virtual talk Virtual | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2021-06-28 | 10:00 | Sreyasi Nag Chowdhury | Text-Image Synergy for Multimodal Retrieval and Annotation | Virtual talk Virtual | Promotionskolloquium | | |||||
| 2021-06-28 | 16:15 | Octavio Arizmendi Echegaray | Energy of graphs and vertices | Virtual talk Virtual talk | Talk | | |||||
|
|
| | |||||||||
| 2021-06-24 | 13:00 | Nick Fischer | Sparse Nonnegative Convolution Is Equivalent to Dense Nonnegative Convolution | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-06-23 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-06-18 | 13:00 | Hossein Vahidi | Approximate Minimum Directed Spanning Trees under Congestion | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-06-17 | 13:00 | Govind Sankar | Tight Complexity Results for General Factor Problems Parameterized by Treewidth and Cutwidth | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-06-16 | 10:30 | Tulika Mitra | Domain-Agnostic Accelerators: Efficiency with Programmability | Virtual talk [KL] Zoom | SWS Distinguished Lecture Series | | |||||
| 2021-06-16 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-06-14 | 09:00 | Mahmoudreza Babaei | Information Consumption on Social Media: Efficiency, Divisiveness, and Trust | E1 5 029 | SWS Student Defense Talks - Thesis Defense | | |||||
|
|
| | |||||||||
| 2021-06-10 | 11:30 | Bruno Levy | Partial Optimal Transport for a Constant-Volume Lagrangian Mesh with Free Boundaries | Virtual talk Virtual talk | Talk | | |||||
| 2021-06-10 | 13:00 | D1 Researchers | D1 Virtual "Poster" Session | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-06-09 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-06-08 | 13:00 | Sam Jonas Egervari | Optimization under Privacy (Bachelor Seminar) | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-06-07 | 16:00 | Mohamed Gad-Elrab | Explainable Methods for Knowledge Graph Refinement and Exploration via Symbolic Reasoning | Virtual talk Virtual talk | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2021-06-02 | 09:00 | Heiko Becker | Verified Compilation and Optimization of Finite-Precision Kernels | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | | |||||
| 2021-06-02 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
| 2021-06-02 | 12:15 | Joël Ouaknine | Dynamics and Computation: The GALoiS Initiative | Virtual talk Virtual | Joint Lecture Series | | |||||
| 2021-06-02 | 15:00 | Jon Kleinberg | Monoculture and Simplicity in an Ecosystem of Algorithmic Decision-Making | Virtual talk [KL] Zoom | SWS Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2021-06-01 | 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) | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2021-05-27 | 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) | | |||||
|
|
| | |||||||||
| 2021-05-26 | 10:00 | Mooly Sagiv | Modularity for Decidability: Formal Reasoning about Decentralized Financial Applications | Virtual talk Zoom | SWS Distinguished Lecture Series | | |||||
| 2021-05-26 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-05-19 | 11:30 | Kurt Mehlhorn | *No* D1 Group Meeting (due to SAB review) | — — | AG1 Group Meeting | | |||||
| 2021-05-19 | 16:30 | Margo Seltzer | Caching: It's not just about Data | Virtual talk Virtual | SWS Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2021-05-12 | 10:10 | Orna Kupferman | From Correctness to High Quality | Virtual talk [KL] Zoom | SWS Distinguished Lecture Series | | |||||
| 2021-05-12 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-05-05 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
| 2021-05-05 | 12:15 | Savvas Zannettou | Data-Driven Approaches to Understanding Hateful Content and Moderation Interventions on the Web | Virtual talk Virtual | Joint Lecture Series | | |||||
| 2021-05-05 | 15:00 | Prakash Panangaden | Distributional analysis of sampling-based RL algorithms | Virtual talk [KL] Zoom | SWS Distinguished Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2021-04-28 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
| 2021-04-28 | 16:00 | Phokion G. Kolaitis | Computational Social Choice and Incomplete Information | Virtual talk [KL] Zoom | SWS Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2021-04-21 | 10:00 | Joost-Pieter Katoen | On Probabilistic Program Termination | Virtual talk [KL] zoom | SWS Distinguished Lecture Series | | |||||
| 2021-04-21 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-04-14 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
| 2021-04-14 | 15:00 | André Platzer | Logical Foundations of Cyber-Physical Systems | Virtual talk [KL] zoom | SWS Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2021-04-08 | 10:00 | Guyue (Grace) Liu | Watching the Watchmen: Trustworthy Network Tasks Outsourcing | Virtual talk Virtual | Talk | | |||||
| 2021-04-08 | 13:00 | Ben Wiederhake | Distributed Distance-r Dominating Set on Bounded Expansion High-Girth Graphs | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-04-07 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
| 2021-04-07 | 12:15 | Marvin Künnemann | A Structural Complexity Theory for Big Data: Fine-grained Complexity and Algorithm Design | Virtual talk Virtual | Joint Lecture Series | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2021-03-31 | 10:00 | Katerina Argyraki | Internet Transparency | Virtual talk Zoom | SWS Distinguished Lecture Series | | |||||
| 2021-03-31 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-03-29 | 10:00 | Kuldeep Meel | Functional Synthesis: An Ideal Meeting Ground for Formal Methods and Machine Learning | Virtual talk [KL] Virtual talk | SWS Colloquium | | |||||
|
|
| | |||||||||
| 2021-03-24 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-03-17 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-03-11 | 10:00 | Yasemin Acar | Human Factors in Secure Software Development: How we can help developers write secure code | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
| 2021-03-11 | 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) | | |||||
|
|
| | |||||||||
| 2021-03-10 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-03-09 | 10:00 | Marcel Böhme | Automatic Vulnerability Discovery at Scale | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2021-03-08 | 15:00 | Fraser Brown | Exterminating bugs in real systems | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2021-03-05 | 09:30 | Hengshuang Zhao | Advancing Visual Intelligence via Neural System Design | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2021-03-04 | 10:30 | Antoine Kaufmann | Post-Moore Systems — Challenges and Opportunities | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
| 2021-03-04 | 11:00 | Panagiotis Mandros | Discovering Robust Dependencies from Data | Virtual talk Virtual talk | Promotionskolloquium | | |||||
| 2021-03-04 | 13:00 | Christoph Lenzen | The Many Faces of Clock Synchronization | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-03-03 | 09:30 | Hongyang Zhang | New Advances in (Adversarially) Robust and Secure Machine Learning | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
| 2021-03-03 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
| 2021-03-03 | 12:15 | Viktor Vafeiadis | Model Checking Under Weak Memory Concurrency | Virtual talk Virtual talk | Joint Lecture Series | | |||||
|
|
| | |||||||||
| 2021-03-02 | 17:00 | Anqi Liu | Towards Trustworthy AI: Provably Robust Extrapolation for Decision Making | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2021-03-01 | 14:00 | Hu Wei | Opening the Black Box: Towards Theoretical Understanding of Deep Learning | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2021-02-25 | 13:00 | Liana Khazaliya | Graph coalition partitions that are optimal under social welfare | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| 2021-02-25 | 17:00 | Florian Tramer | Measuring and Enhancing the Security of Machine Learning | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2021-02-24 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
| 2021-02-24 | 13:00 | Slobodan Mitrovic | New Techniques for Designing Fast Parallel Algorithms | E1 1 412 | Talk | | |||||
| 2021-02-24 | 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 | | |||||
| 2021-02-24 | 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 | | |||||
| 2021-02-24 | 17:00 | Antonio Vergari | From Simple Inference to Complex Probabilistic Reasoning | E1 1 412 | Talk | | |||||
|
|
| | |||||||||
| 2021-02-23 | 13:00 | D1 Researchers | D1 Open Problem Session | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| 2021-02-23 | 15:00 | Justine Zhang | Towards an Actionable Understanding of Conversations | Virtual talk [KL] Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2021-02-22 | 10:30 | Sandra Kiefer | Algorithmic Approaches in Finite-ModelTheory With Interdisciplinary Applications | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2021-02-18 | 13:00 | Sebastian Homrighausen | On Asymmetric Fair Division | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| 2021-02-18 | 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 | | |||||
|
|
| | |||||||||
| 2021-02-17 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
| 2021-02-17 | 15:00 | Riad Wahby | Breaking the chains of implicit trust | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2021-02-16 | 13:00 | Bhaskar Ray Caudhury | Discrete Fair Division | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| 2021-02-16 | 15:00 | Juba Ziani | Using Data More Responsibly | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2021-02-15 | 14:00 | Ahmed Saeed | Building Scalable Network Stacks for Modern Applications | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2021-02-11 | 15:00 | Mariya Toneva | Data-Driven Transfer of Insight between Brains and AI Systems | Virtual talk Virtual talk | CIS@MPG Colloquium | | |||||
|
|
| | |||||||||
| 2021-02-10 | 10:00 | Wenguan Wang | Deep Visual Perception in a Structured World | E1 3 412 | Talk | | |||||
| 2021-02-10 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
| 2021-02-10 | 15:00 | Florian Willomitzer | The Role of Fundamental Limits in Computational 3D Imaging Systems | E1 3 412 | Talk | | |||||
| 2021-02-10 | 17:30 | Abhinav Verma | Neurosymbolic Reinforcement Learning for Trustworthy AI | E1 3 412 | Talk | | |||||
|
|
| | |||||||||
| 2021-02-03 | 11:00 | Benjamin Kaminski | TBA | E1 3 412 | Talk | | |||||
| 2021-02-03 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
| 2021-02-03 | 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 | | |||||
| 2021-02-03 | 14:00 | Jan van den Brand | Dynamic Linear Algebra | E1 3 412 | Talk | | |||||
| 2021-02-03 | 16:00 | Rebekka Burkholz | Cascade processes in machine learning | E1 3 412 | Talk | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2021-01-27 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-01-20 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2021-01-18 | 13:00 | Benedikt Geilenkeuser | FPT-Algorithms for the Treewidth-3 Modulator Problem (Master Thesis) | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-01-14 | 13:00 | Raul Lopes | Adapting the Directed Grid Theorem into an FPT algorithm | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-01-13 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | | |||||
| 2021-01-13 | 12:15 | Sven Apel | The Programmer, The Unknown Being: Program Comprehension Research in the Neuroage | Virtual talk Virtual talk | Joint Lecture Series | | |||||
| 2021-01-13 | 15:00 | Steve Zdancewic | Vellvm: Verifying LLVM IR Code | Virtual talk Virtual talk | SWS Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2021-01-12 | 13:00 | Karol Wegrzycki | Improving Schroeppel and Shamir's Algorithm for Subset Sum via Orthogonal Vectors | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2021-01-07 | 13:00 | Karl Bringmann | A Fine-Grained Perspective on Approximating Subset Sum and Partition | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2020-12-18 | 13:00 | Jannik Kudla | Approximation Schemes for Subset Sum Ratio (Bachelor Thesis) | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
| 2020-12-18 | 16:00 | Tribhuvanesh Orekondy | Understanding and Controlling Leakage in Machine Learning | Virtual talk Virtual talk | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2020-12-17 | 13:00 | Hussein Houdrouge | Subquadratic High-Dimensional Hierarchical Clustering | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2020-12-16 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| 2020-12-16 | 16:00 | Eldar Insafutdinov | Towards Accurate Multi-Person Pose Estimation in the Wild | Virtual talk Virtual talk | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2020-12-15 | 10:00 | Jialong Li | Building Low-Latency and Energy-Efficient Optical Metro-Access Converged Networks | Virtual talk Virtual talk | Talk | | |||||
| 2020-12-15 | 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) | | |||||
|
|
| | |||||||||
| 2020-12-10 | 13:00 | Sándor Kisfaludi-Bak | Gap-ETH-tight approximation scheme for Euclidean TSP | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2020-12-09 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2020-12-08 | 14:00 | Daniel Vaz | Approximation Algorithms for Network Design and Cut Problems in Bounded-Treewidth | Virtual talk Virtual talk | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2020-12-04 | 10:00 | Anca Muscholl | Distributed synthesis and negotiations | Virtual talk Virtual talk | SWS Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2020-12-03 | 13:00 | Prafullkumar Tale | On the Parameterized Complexity of Maximum Degree Contraction Problem | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2020-12-02 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| 2020-12-02 | 12:15 | Oliver Gasser | Internet Measurements: From IPv6 Scanning to the COVID-19 Pandemic | Virtual talk Virtual talk | Joint Lecture Series | | |||||
| 2020-12-02 | 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 | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2020-11-26 | 13:00 | Jacob Focke | On the Complexity of Approximately Counting Retractions | Virtual Virtual | AG1 Advanced Mini-Course | | |||||
| 2020-11-26 | 15:30 | Manohar Vanga | High-Throughput and Predictable VM Scheduling for High-Density Workloads | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | | |||||
|
|
| | |||||||||
| 2020-11-25 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2020-11-24 | 16:00 | Franziska Roesner | Can You Believe It? Security and Privacy Case Studies in Online Advertising, Misinformation, and Augmented Reality | Virtual Virtual | SWS Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2020-11-18 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | | |||||
| 2020-11-18 | 15:00 | Jenn Wortman Vaughan | Intelligibility Throughout the Machine Learning Life Cycle | Virtual talk Virtual talk | SWS Distinguished Lecture Series | | |||||
|
|
| | |||||||||
| 2020-11-17 | 17:00 | Ben Wiederhake | TRIX: Low-Skew Pulse Propagation for Fault-Tolerant Hardware | Virtual Virtual | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2020-11-13 | 14:00 | Philipp Müller | Sensing, Interpreting, and Anticipating Human Social Behaviour in the Real World | Virtual Virtual | Promotionskolloquium | | |||||