Previous Page | Next Page | Expand All | Collapse All
![]() | ![]() | Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||
---|---|---|---|---|---|---|---|---|---|---|---|
| ![]() | ||||||||||
|
| ![]() | |||||||||
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-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 | ![]() | |||||
|
| ![]() | |||||||||
2020-11-11 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
2020-11-11 | 15:00 | Iyad Rahwan | Experiments in Machine Behavior: Cooperating with and through machines | Virtual Zoom | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2020-11-05 | 13:00 | Joel Ouaknine | Holonomic Techniques, Periods, and Decision Problems | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-11-04 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
2020-11-04 | 16:00 | Evimaria Terzi | Simple models for optimizing driver earnings in ride-sharing platforms | Virtual talk Virtual talk | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2020-11-03 | 13:00 | Ioannis Anagnostides | Optimistic Gradient Descent/Ascent in Zero-Sum Games | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
2020-11-03 | 14:30 | Aastha Mehta | Ensuring Compliance with Data Privacy and Usage Policies in Online Services | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2020-11-02 | 09:00 | Katrina Ligett | Diagnosing the data ecosystem | Virtual talk Virtual talk | SWS Colloquium | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-10-28 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-10-27 | 16:00 | Boaz Barak | Generalization bounds for rational self-supervised learning algorithms | E1 4 024 | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2020-10-22 | 13:00 | Marko Mrsic | An interface to model and solve Mixed-Integer Linear Programs (Bachelor Defense) | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
2020-10-22 | 15:30 | Arpan Gujarati | Towards Ultra-Reliable CPS: Reliability Analysis of Distributed Real-Time Systems | E1 5 [KL] 111 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2020-10-21 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-10-20 | 14:00 | Matthias Christandl | Tensors: rank, entropy and entanglement | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ![]() | |||||
|
| ![]() | |||||||||
2020-10-16 | 13:00 | Philip Wellnitz | Faster Approximate Pattern Matching: A Unified Approach | n/a n/a | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-10-15 | 10:30 | Tanja Pahl | Flu Vaccination (requires sign-up) | E1 5 Foyer | Miscellaneous | ![]() | |||||
2020-10-15 | 13:00 | D1 members | Sharing our experience with digital teaching | 000 000 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-10-14 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-10-13 | 13:00 | Roohani Sharma | Fault Tolerant Directed Subgraphs with Applications in Kernelization | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-10-08 | 13:00 | Kurt Mehlhorn | Network Design and Physarum | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-10-07 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | — — | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-09-30 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-09-23 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-09-22 | 13:00 | Esther Galby | Approximating Independent Set and Dominating Set on VPG graphs | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-09-16 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-09-15 | 13:00 | André Nusser | When Lipschitz Walks Your Dog: Algorithm Engineering of the Discrete Fréchet Distance under Translation | -- -- | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-09-10 | 13:00 | Marc Roth | Counting Small Induced Subgraphs Satisfying Monotone Properties | - - | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-09-09 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-09-02 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-08-27 | 13:00 | Jannis Köhl | Branch & Converge: A Generic Technique for Boundable Problems (Bachelor Seminar) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-08-26 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-08-21 | 11:00 | Ralf Jung | Understanding and Evolving the Rust Programming Language | E1 5 021 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2020-08-19 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-08-18 | 13:00 | Siddharth Barman | Fair Cake Division Under Monotone Likelihood Ratios | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
|
| ![]() | |||||||||
2020-08-12 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-08-11 | 13:00 | Ian W. Jones | Metastability Masking Flip-flops | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-08-10 | 13:00 | Golnoosh Shahkarami | Complexity of Computing the Anti-Ramsey Numbers for Paths | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-08-05 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-07-29 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-07-28 | 13:00 | Guy Even | Optimized Scheduling of COVID-19 Testing | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-07-23 | 13:00 | Pranabendu Misra | An optimal approximation algorithm for Feedback Vertex Set in Tournaments | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-07-22 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-07-21 | 13:00 | Stefan Schmid | Self-Adjusting Networks: From Metrics to Algorithms | virtual virtual | AG1 Mittagsseminar (others' work) | ![]() | |||||
2020-07-21 | 16:00 | Johannes Bund | PALS: Plesiochronous and Locally Synchronous Systems | virtual virtual | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-07-15 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-07-09 | 13:00 | Deni Begaj | Building a platform for modeling and solving Optimization problems (Master seminar) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-07-08 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-07-07 | 13:00 | Marvin Künnemann | Finding Small Satisfying Assignments Faster Than Brute Force: A Fine-grained Perspective into Boolean Constraint Satisfaction | virtual virtual | AG1 Mittagsseminar (own work) | ![]() | |||||
2020-07-07 | 16:00 | Yongqin Xian | Learning from Limited Labeled Data - Zero-Shot and Few-Shot Learning | E1 4 Zoom | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-07-06 | 14:00 | Kailash Budhathoki | Causal Inference on Discrete Data | E1 4 Zoom | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-07-02 | 13:00 | Leonie Krull | Algorithms for MILPs | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
2020-07-02 | 15:00 | Indranil Gupta | The Future of Technology Will Not Be Technological | E1 4 Zoom Meeting | Colloquium Lecture | ![]() | |||||
|
| ![]() | |||||||||
2020-07-01 | 11:00 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-06-30 | 13:00 | Themis Gouleakis | Distribution-Independent PAC Learning of Halfspaces with Massart Noise | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-26 | 14:00 | Marko Mrsic | Towards an Optimization Platform (Bachelor seminar) | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-25 | 13:00 | Bhaskar Ray Chaudhury | EFX Exists for Three Agents | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-24 | 10:00 | Eskam Elnikety | Comprehensive and Practical Policy Compliance in Data Retrieval Systems | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
2020-06-24 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-06-23 | 13:00 | Jasper Slusallek | Algorithms and Lower Bounds for Finding Exact-Weight Subgraphs of Bounded Treewidth (Bachelor thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-18 | 13:00 | Sándor Kisfaludi-Bak | A quasi-polynomial algorithm for well-spaced hyperbolic TSP | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-17 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-06-16 | 13:00 | Vasileios Nakos | (Nearly) Sample-Optimal Sparse Fourier Transform in Any Dimension | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-15 | 16:00 | Roxana Geambasu | Security and Privacy Guarantees in Machine Learning with Differential Privacy | E1 4 Zoom | SWS Distinguished Lecture Series | ![]() | |||||
2020-06-15 | 16:30 | Elizaveta Kovalevskaya | The Complexity of Reading Articles in an Online Setting (Master's defence) | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-10 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-06-09 | 13:00 | Prafullkumar Tale | On the Parameterized Complexity of Grid Contraction | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-03 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2020-06-03 | 12:15 | Cas Cremers | CANCELLED The (In)Security of Modern Communication: From Guesses to Guarantees | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-05-27 | 10:30 | Jan-Oliver Kaiser | Mtac2: Strongly-Typed Tactic- and Meta-Programming for Coq | E1 5 Online | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
2020-05-27 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-05-25 | 16:00 | Hadas Kress-Gazit | Formal Synthesis for Robots | G26 [KL] online | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2020-05-24 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-05-20 | 10:00 | Emanuele D'Osualdo | In Search of Compositional Verification for Concurrent Programs | E1 5 Remote | Colloquium Lecture | ![]() | |||||
2020-05-20 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-05-13 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-05-10 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-05-07 | 13:00 | Hossein Vahidi | Distributed Minimum Directed Spanning Tree | 000 Video only | AG1 Mittagsseminar (others' work) | ![]() | |||||
|
| ![]() | |||||||||
2020-05-06 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-04-29 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-04-23 | 13:00 | Daniel Neuen | Quasipolynomial Time Isomorphism Tests for Parameterized Graph Classes | 000 Video only | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-04-22 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (ID 1095) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-04-21 | 13:00 | Prafullkumar Tale | About Graph Contraction Problems | 000 Video only | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-04-15 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (ID 1095) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-04-14 | 15:00 | Gayane Vardoyan | Talk: On the Analysis of Entanglement Distribution in a Quantum Network | - - | Talk | ![]() | |||||
|
| ![]() | |||||||||
2020-04-09 | 13:00 | Mathieu Mari | Fixed-parameter algorithms for Unsplittable Flow Cover | Video only 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-04-08 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (ID 1095) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-04-07 | 13:00 | Pieter Kleer | Learning-Augmented Online Selection Algorithms | Video only 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-04-06 | 10:00 | Danupon Nanonkai | New Perspectives on Old Graph Questions (Video Talk) | E1 4 024 | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2020-04-01 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (ID 1095) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2020-04-01 | 12:15 | Julian Baldus | CANCELLED: Computer Science Competitions @ SIC | E2 2 Günther-Hotz-HS | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-03-31 | 11:00 | Martin Grohe | Symmetry and Similarity (Video Lecture) | E1 4 Video Lecture | Colloquium Lecture | ![]() | |||||
2020-03-31 | 11:00 | Martin Grohe | To be announced | E1 4 024 | Colloquium Lecture | ![]() | |||||
|
| ![]() | |||||||||
2020-03-26 | 10:00 | Yiting Xia | *Remote Talk* Improve Operations of Data Center Networks with Physical-Layer Programmability | E1 5 029 | SWS Colloquium | ![]() | |||||
2020-03-26 | 14:00 | David Steurer | Quest for a unified theory of efficient optimization and estimation (Video Lecture) | E1 4 Video | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2020-03-25 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (ID 1095) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-03-18 | 10:00 | Yannis Kalantidis | *Remote Talk* Learning efficient representations for image and video understanding | E1 5 029 | SWS Colloquium | ![]() | |||||
2020-03-18 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-03-16 | 10:00 | Niki Kilbertus | *Remote Talk* Fairness in machine learning | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-03-12 | 13:00 | Radha Venkatagiri | *Remote Talk* Democratizing Error-Efficient Computing | E1 5 029 | SWS Colloquium | ![]() | |||||
2020-03-12 | 13:00 | Surender Baswana | Fault Tolerant DFS in Undirected Graphs - Simple yet Efficient | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-03-11 | 10:00 | Hamid Rahkooy | Automated Reasoning in the Sciences: Biological Models and Chemical Reaction Networks | E1 5 630 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2020-03-10 | 10:00 | Shin Hwei Tan | Search-based automated program repair and testing | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
2020-03-10 | 13:00 | Surender Baswana | Mincut Sensitivity Data Structures for Insertion of an Edge. | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-03-05 | 13:00 | Antonios Antoniadis | Parallel Machine Scheduling to Minimize Energy Consumption | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-03-04 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2020-03-04 | 12:15 | Viktor Vafeiadis | CANCELLED: Model checking under weak memory concurrency | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-02-27 | 13:00 | Ian W. Jones | Detecting Glitch Paths in Chip Designs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2020-02-27 | 14:00 | Qingyun Wu | Learning by exploration in an unknown and changing environment | E1 5 SB 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-02-25 | 10:00 | Giulio Malavolta | Compactness in Cryptography | E1 5 029 | SWS Colloquium | ![]() | |||||
2020-02-25 | 13:00 | Alejandro Cassis | Fine-Grained Complexity of Exists^k-Forall-Quantified First-Order Graph Properties: Optimization and Approximability (Master Thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-02-21 | 13:00 | Naveen Garg | Half-integral Duals, Connectivity Augmentation and Multiflows in Planar Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-02-19 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-02-13 | 13:00 | Nofar Carmeli | Enumeration Complexity of Unions of Conjunctive Queries | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-02-12 | 10:15 | Klaus-Tycho Foerster | Towards Reconfigurable Optical Networks: Opportunities and Challenges | E1 5 029 | Informatik-Kolloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-02-11 | 13:00 | Corinna Coupette | Cultivating Cluster Trees | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-02-10 | 10:00 | Marcel Böhme | Software Testing as Species Discovery | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-02-07 | 10:00 | Asia J. Biega | Designing responsible information systems | E1 5 029 | SWS Colloquium | ![]() | |||||
2020-02-07 | 15:00 | Debayan Roy | Hybrid optimization techniques for multi-domain coupling in cyber-physical systems design | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-02-06 | 13:00 | Sami Shalayel | Column Generation for the Reconstruction of Ultrasound Full Matrix Capture Data (BSc Defense) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-02-05 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2020-02-05 | 12:15 | Jan Reineke | Spectector: Principled Detection of Speculative Information Flows | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2020-02-04 | 13:00 | Kurt Mehlhorn | A Solution to Excercise 8.13 (The Maximum-Level Vertex in an Arrangement of Lines) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() |