Previous Page | Next Page | Expand All | Collapse All
![]() | ![]() | Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||
---|---|---|---|---|---|---|---|---|---|---|---|
| ![]() | ||||||||||
|
| ![]() | |||||||||
2025-05-27 | 13:00 | Egor Gorbachev | Bounded Edit Distance: Optimal Static and Dynamic Algorithms for Small Integer Weights | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-05-22 | 13:00 | Danupon Nanongkai | On the Limitations of the Transformer Architecture (Brief Paper Presentation) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-05-21 | 10:00 | Pascal Fontaine | Around Congruence Closure | E1 4 024 | Talk | ![]() | |||||
2025-05-21 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2025-05-21 | 12:00 | Hendrik Leidinger | SCL(EQ): Simple Clause Learning in First-Order Logic with Equality | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2025-05-20 | 11:00 | Ahana Ghosh | Quizzes in Elementary-Level Visual Programming: Synthesis Methods and Pedagogical Utility | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
2025-05-20 | 13:00 | Yanheng Wang | How Fast Can You Estimate the Volume of a Union? | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-05-16 | 11:00 | Simon Spies | Shaking Up the Foundations of Modern Separation Logic | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2025-05-15 | 13:00 | Dani Dorfman | Faster all-pairs optimal electric car routing | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-05-13 | 13:00 | Evangelos Kipouridis and Rex Lei | Brief Biennial Reviews | E1 4 024 | AG1 Conference Report | ![]() | |||||
|
| ![]() | |||||||||
2025-05-08 | 13:00 | Andreas Karrenbauer | Brief Biennial Reviews | E1 4 024 | AG1 Conference Report | ![]() | |||||
|
| ![]() | |||||||||
2025-05-07 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2025-05-06 | 13:00 | Xinkai Shu | The Long Arm of Nashian Allocation in Online p-Mean Welfare Maximization | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2025-04-29 | 13:00 | Anita Dürr | Fine-Grained Complexity of Ambiguity Problems on Automata | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2025-04-29 | 13:00 | Carolina Coimbra Vieira | Migration and culture in algorithmically-mediated societies | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2025-04-24 | 11:30 | Tuan Phong Nguyen | Large-Scale Acquisition of Refined Commonsense Knowledge | E1 5 0.29 | Promotionskolloquium | ![]() | |||||
2025-04-24 | 16:00 | Fabian Suchanek | On Language Models and Knowledge Bases | E1 4 024 | Max Planck Distinguished Speaker Talk | ![]() | |||||
|
| ![]() | |||||||||
2025-04-17 | 13:00 | Tomasz Kociumaka and Daniel Neun | Brief Biennial Reviews | E1 4 024 | AG1 Conference Report | ![]() | |||||
|
| ![]() | |||||||||
2025-04-16 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2025-04-15 | 13:00 | Kurt Mehlhorn and Danupon Nanongkai | Brief Biennial Reviews | E1 4 024 | AG1 Conference Report | ![]() | |||||
|
| ![]() | |||||||||
2025-04-11 | 15:00 | Max Losch | Improving Trustworthiness of Deep Learning via Inspectable and Robust Representations | E 1.4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2025-04-10 | 13:00 | Pachara Sawettamalya | Parallel Repetition in Communication (and Information) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-04-02 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2025-04-02 | 12:15 | Johannes Zirngibl | QUIC: A New Fundamental Network Protocol | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2025-03-27 | 13:00 | Dr. Pranjal Dutta | A brief survey on De-bordering paradigms and its recent advances | E 1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-03-25 | 10:00 | Junaid Ali | Designing Fair Decision-Making Systems | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
2025-03-25 | 13:00 | Simon Döring | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-03-21 | 15:30 | Naveen Garg | Full Dynamic k-median with fast update time and small recourse | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2025-03-21 | 16:30 | Kavitha Telikepalli | Popular Arborescences | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-03-20 | 23:30 | Rati Devidze | Reward Design for Reinforcement Learning Agents. | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2025-03-19 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2025-03-18 | 10:00 | Leonid Libkin | Programming in the Large with Data | G26 [KL] 111 | MPI Colloquium Series Distinguished Speaker | ![]() | |||||
|
| ![]() | |||||||||
2025-03-17 | 16:15 | Omar Alonso | On Data Quality in Knowledge Graphs | E1 4 024 | Colloquium Lecture | ![]() | |||||
|
| ![]() | |||||||||
2025-03-14 | 10:00 | Wojciech Matusik (MIT) (Humboldt Research Award) | Can Computers Beat Humans at Design? | E1 5 002 | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2025-03-13 | 11:00 | Edith Elkind | Streamlining equal shares | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2025-03-13 | 15:00 | Hannaneh Akrami | PhD Defense | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2025-03-13 | 17:00 | Vaastav Anand | Abstractions for Managing Complexity in the Design, Implementation, and Optimization of Cloud Systems | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2025-03-12 | 10:00 | Chulin Xie | Improving Trustworthiness in Foundation Models: Assessing, Mitigating, and Analyzing ML Risks | Virtual talk MB1SMMW106 | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2025-03-11 | 10:00 | Miri Zilka | From Predictions to Impact: Building Trustworthy Human-AI Systems for High-Stakes Decision Making | G26 [KL] 111 | CIS@MPG Tenure-Track Faculty | ![]() | |||||
|
| ![]() | |||||||||
2025-03-10 | 10:00 | Tamalika Mukherjee | Efficient and Responsible Data Privacy | MPI-SP MB1SMMW106 | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2025-03-06 | 13:00 | Masoud Seddighin | Fair Allocation of Indivisible Items: Advances in Maximin Share Guarantees for Subadditive Valuations. | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-03-05 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2025-03-05 | 12:15 | Yiting Xia | Cracking System Challenges in Optical Data Center Networks | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2025-03-04 | 10:00 | Abhilasha Ravichander | Illuminating Generative AI: Mapping Knowledge in Large Language Models | G26 111 | CIS@MPG Tenure-Track Faculty | ![]() | |||||
2025-03-04 | 13:00 | Tuukka Korhonen | Linear-Time Algorithms for k-Edge-Connected Components, k-Lean Tree Decompositions, and More | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2025-02-25 | 13:00 | Benjamin Berendsohn | TBA | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
|
| ![]() | |||||||||
2025-02-24 | 15:00 | Till Speicher | On Fairness, Invariance and Memorization in Machine Decision and Deep Learning Algorithms | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
2025-02-24 | 22:00 | Chenhui Yuan | Building the Tools to Program a Quantum Computer | MPI-SP MB1SMMW106 | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2025-02-20 | 10:00 | Erin Grant | From mechanisms to cognition in neural networks | E1 5 029 | CIS@MPG Colloquium | ![]() | |||||
2025-02-20 | 13:00 | Golnoosh Shahkarami | Learning-Augmented Mechanism Design | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-02-19 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2025-02-18 | 10:00 | Yue Jiang | Computational Representations for User Interfaces | E1 5 029 | CIS@MPG Colloquium | ![]() | |||||
2025-02-18 | 13:00 | Ian Mertz | Catalytic Computing: A Primer | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
|
| ![]() | |||||||||
2025-02-13 | 10:00 | Marcel Binz | Foundation models of human cognition | MPI-SP MB1SMMW106 | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2025-02-12 | 10:00 | Lioba Heimbach | Measuring and Improving Fairness and Resilience Across the Blockchain Ecosystem | G26 [KL] 111 | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2025-02-11 | 10:00 | Maksym Andriushchenko | How Do We Evaluate and Mitigate AI Risks? | MPI-SP MB1SMMW106 | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2025-02-10 | 10:00 | Lukas Schmid | Spatio-Temporal AI for Long-term Human-centric Robot Autonomy | E1 5 029 | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2025-02-06 | 10:00 | Miranda Wei | Leveraging Sociotechnical Security and Privacy to Address Online Abuse | G26 [KL] 111 | CIS@MPG Colloquium | ![]() | |||||
2025-02-06 | 13:00 | Xinkai Shu | Breaking the Sorting Barrier for Directed Single-Source Shortest Paths | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-02-05 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2025-02-05 | 13:00 | Kinan Dak Albab | Practical Privacy via New Systems and Abstractions | Virtual talk MB1SMMW106 | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2025-02-04 | 09:30 | Kasra Khoshjoo | Distributionally Robust Losses for Latent Covariate Mixtures | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-02-04 | 10:00 | Fiza Husain | Quantitative Approaches to Assessing Privacy Risks in Machine Learning | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-02-04 | 10:30 | Harleen Bagga | Time Series Foundational Models in Anomaly Detection and Prediction | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-02-04 | 11:00 | Prince Mireku | Towards Reliable Medical AI Systems: Addressing the Limitations of Clinical Translational Research | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-02-04 | 11:30 | Hosna Oyarhoseini | Robustness Against Spurious Features | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-02-04 | 12:30 | Shayan Salehi | Context-Aware Fine-Tuning of Large Language Models | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-02-04 | 13:00 | Amir Mohammad Babaei | CLBSR: A Deep Curriculum Learning-based Blind Image Super Resolution Network using Geometrical Prior | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-02-04 | 13:30 | Bahar Dibaei Nia | Scanning Trojaned Models Using Out-of-Distribution Samples | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-02-04 | 14:00 | Katayoon Kobraei | ADEP: An AI Model for Accurate Prediction of Adverse Effects in Polypharmacy | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-02-04 | 14:30 | Mojtaba Nafez | Adversarially Robust Anomaly Detection through Spurious Negative Pair Mitigation | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-02-04 | 15:00 | Azhar Hussian | Gesture Detection in Artwork Images using Contextual Queries | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-02-04 | 17:00 | Chuyan Zhang | Contribution-Guided Level-of-Detail Rendering for Ray Tracing Geometry | Virtual talk zoom | PhD Application Talk | ![]() | |||||
|
| ![]() | |||||||||
2025-02-03 | 10:00 | Christina Giannoula | Pushing the Boundaries of Modern Application-Aware Computing Stacks | E1 5 029 | CIS@MPG Colloquium | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2025-01-30 | 10:00 | Viktor Kewenig | Making Meaning: Predictive Processing of Narratives in Humans and Machines | E1 5 029 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2025-01-29 | 09:00 | Zichen Xi | Hierarchical Sparse Representations for Accurate Surface and Dynamic Scene Reconstruction | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-29 | 09:30 | Chen Hou | 3D Generation from 2D Priors | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-29 | 10:00 | Zidu Wang | 3D Head Reconstruction | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-29 | 10:30 | Nicolas Peltier | Inductive Reasoning in Separation Logic | E1 4 024 | Talk | ![]() | |||||
2025-01-29 | 10:30 | Tung Lam Tran | Enhancing Domain Adaptation through Prompt Gradient Alignment | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-29 | 11:00 | Yiheng Xiong | PT43D: A Probabilistic Transformer for Generating 3D Shapes from Single Highly-Ambiguous RGB Images | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-29 | 11:30 | Shi Chen | Towards Online Dynamic Scene Reconstruction from Monocular Input | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-29 | 12:00 | Mikko Tripakis | Extending Logits-Based Watermarking Schemes to Mitigate Stealing Attacks | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-29 | 12:30 | Arda Baris Basaran | Leveraging Vision-Language Models for Efficient Task-Specific Knowledge Distillation | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-29 | 13:30 | Yunfan Wang | Deterministic Edge Connectivity and Max Flow using Subquadratic Cut Queries | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-29 | 14:00 | Ali Moradi Shahmiri | field: Algorithms, Theory, Logic | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-29 | 14:00 | Martin Desharnais | Formal Verification of Logical Calculi and Simulations in Isabelle/HOL | E1 4 024 | Promotionskolloquium | ![]() | |||||
2025-01-29 | 14:30 | Nikolai Chukhin | Toward Better Depth Lower Bounds: Composition of Boolean Functions and the KRW Conjecture | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-29 | 15:00 | Andreas Kalavas | Better-than-2 Approximation for Constrained Correlation Clustering | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-29 | 15:30 | Arnar Ágúst Kristjánsson | Expressive Power of Homomorphism Query Algorithms | Virtual talk zoom | PhD Application Talk | ![]() | |||||
|
| ![]() | |||||||||
2025-01-28 | 09:00 | Sabasadat Molaei | Sliding Squares in Parallel | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-28 | 09:30 | Alipasha Montaseri | Model-Agnostic Approximation of Constrained Forest Problems | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-28 | 10:00 | Mahyar Afshinmehr | EFX Allocations and Orientations on Bipartite Multi-graphs: A Complete Picture | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-28 | 10:30 | Negar Babashah | Distortion of Multi-Winner Elections on the Line Metric: The Polar Comparison Rule | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-28 | 11:00 | Amirhossein Janfaza | Maximum Weighted Matching in Random Order Stream | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-28 | 11:30 | Mehrafarin Kazemi | field: Algorithms, Theory, Logic | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-28 | 12:30 | Hirbod Behnam | Internet Censorship in Iran | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-28 | 13:00 | Attreyee Mukherjee | Democratizing LLM Access: Techniques for Cost-Effective and Efficient Usage | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-28 | 13:30 | Sepehr Azardar | Oblivious Vector Databases | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-28 | 14:00 | Pushpdeep Singh | Rethinking Machine Translation: Emphasising Skopos and Target Culture | Virtual talk zoom | PhD Application Talk | ![]() | |||||
|
| ![]() | |||||||||
2025-01-27 | 09:00 | Zhenyun Yin | Within or Beyond the Code? The True Context for Understanding Theorem Proving | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-27 | 09:30 | Amirhossein Rahmati | Improving Automatic Reproduction of Maven Artifacts | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-27 | 10:00 | Kiana Mousazadeh | A model checker for verifying concurrent and distributed Java programs | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-27 | 10:30 | Lu Zhang | Understanding Illicit Promotional Content on Short Video Platforms: Challenges and Solutions | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-27 | 11:00 | Cai Yang | Studying Behavioral Addiction by Combining Surveys and Digital Traces: A Case Study of TikTok | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-27 | 11:30 | Mohammadshayan Shabani | Bayesian Deep Matrix Factorization for Uncertainty-aware Recommender Systems | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-27 | 12:00 | Masoomali Fatehkia | Mapping socioeconomic indicators using social media advertising data | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-27 | 13:00 | Oleksandr Marmaliuk | A configurable SQL Query Generator that Learns from Existing Workloads: project review | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-27 | 13:30 | Zeinab Pourgheisari Najafabadi | Exploration of the Intel FPGA Bitstream Format | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-27 | 14:00 | Donya Roshan Zamir | Task Scheduling and Resource Management for Multi-DAG Systems | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-27 | 14:30 | Zhengyuan Su | Structured Synthesis for Neural Operators | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2025-01-27 | 15:00 | Yuke Ma | FISim: A Modular, Scalable and Flexible Simulator for Clean-Slate Future Internet Architectures | Virtual talk zoom | PhD Application Talk | ![]() | |||||
|
| ![]() | |||||||||
2025-01-21 | 16:15 | Bhaskar Ray Chaudhury | On the Theoretical Foundations of Data Exchange Economies | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2025-01-15 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2025-01-15 | 15:00 | Christoph Engel | Legal Research in the Era of Large Language Models | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2025-01-14 | 11:00 | TBA | CISPA-MPI seminar series | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2024-12-20 | 13:00 | Martin Herold | Clustering to Minimize Cluster-Aware Norm Objectives | E1 4 Rotunda, D1 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-12-11 | 14:00 | Lucie Guillou | Safety Analysis of Parameterized Networks with Non-Blocking Rendez-Vous and Broadcasts | G26 [KL] 113 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2024-12-05 | 13:00 | Nicola Cotumaccio | Sorting Automata and Regular Languages | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-12-03 | 13:00 | Jonas Klausen | Online Sorting and Online TSP | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2024-11-28 | 13:00 | Yonggang Jiang | New Tools and Faster Algorithms for Vertex Min-cut | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-11-25 | 15:30 | David Kaltenpoth | Don't Confound Yourself: Causality from Biased Data | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2024-11-21 | 13:00 | Maksim Moor | Bachelor's Thesis defense talk | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-11-20 | 11:30 | AG 1 | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2024-11-19 | 14:15 | Antonios Antoniadis | Different Benchmarks for Online Metric Algorithms with Predictions | Virtual talk Virtual talk | AG2 Seminar | ![]() | |||||
|
| ![]() | |||||||||
2024-11-14 | 13:00 | Maximilian Stahlberg | Deterministic Impartial Selection with Weights | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2024-11-14 | 14:00 | Thatchaphol Saranurak | Basics of Length-Constrained Expander and the existence of Low-Step Flow Shortcuts | E1 5 029 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-11-12 | 13:00 | Lea Herrmann | Optimal Interval Partitionings for Range Minimum Queries (Bachelor thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2024-11-12 | 14:15 | Vasilis Gkatzelis | Learning-Augmented Mechanism Design | Virtual talk Virtual talk | AG2 Seminar | ![]() | |||||
|
| ![]() | |||||||||
2024-11-07 | 13:00 | Zihang Wu | Sublinear Data Structure for Nearest Neighbor in Ultra High Dimensions | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-11-06 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2024-11-06 | 12:15 | Jonas Fischer | Mechanistic interpretability of neural networks | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2024-11-05 | 14:15 | Nicole Megow | Non-Clairvoyant Scheduling with Predictions | Virtual talk Virtual talk | AG2 Seminar | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2024-10-29 | 13:00 | Rex Lei | Replicable Learning Algorithms | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2024-10-29 | 17:00 | Jan Menz | Semantics of declassification in higher-order languages | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2024-10-17 | 13:00 | Javier Cembrano | New Combinatorial Insights for Monotone Apportionment | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2024-10-17 | 16:00 | Mohamad Hoseini | “Analyzing Information Propagation in Online Messaging Platforms“ | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2024-10-10 | 11:00 | Armin Weiß | Membership in finite inverse semigroups | G26 [KL] 111 | Talk | ![]() | |||||
2024-10-10 | 13:00 | Sarah Morell | The submodular Santa Claus problem | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2024-10-10 | 17:00 | Stratis Tsirtsis | Strategic and counterfactual reasoning in AI-assisted decision making | Virtual talk [KL] zoom | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2024-10-08 | 13:00 | Max Springer | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-10-02 | 12:15 | Daniel Neuen | Computing Graph Isomorphisms and Similarities | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2024-09-30 | 10:00 | Shrestha Ghosh | Count Information: Retrieving and Estimating Cardinality of Entity Sets from the Web | E1 4 019 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2024-09-26 | 10:00 | Lucy Li | Large-Scale Language Patterns across Social Groups | E1 5 029 | Talk | ![]() | |||||
2024-09-26 | 13:00 | Sander Borst | Stronger adversaries grow cheaper forests: Online Node-Weighted Steiner Problems | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-09-25 | 09:00 | Hasan Eniser | Specifying and Fuzzing Machine-Learning Models | G26 [KL] 111 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2024-09-19 | 10:00 | Travis Hance | Leaf: Modularity for Temporary Sharing in Separation Logic | E1 5 029 | Talk | ![]() | |||||
2024-09-19 | 13:00 | Philipp Schepper | Hitting Meets Packing: How Hard Can It Be? | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-09-17 | 18:00 | Alejandro Cassis | PhD Defense | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-09-13 | 15:00 | Rajarshi Roy | Learning Temporal Properties for Explainability and Verification | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2024-09-12 | 13:00 | Anouk Duyster | Logarithmic-Time Internal Pattern Matching Queries in Compressed and Dynamic Texts | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-09-10 | 10:00 | Stephanie Milani | Real-World Challenges of Human-AI Interaction: Transparency, Alignment, and Effectiveness | E1 4 024 | Talk | ![]() | |||||
2024-09-10 | 13:00 | Joakim Oscar Blikstad | Maximum Flow by Augmenting Paths in n^(2+o(1)) Time | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2024-09-10 | 15:00 | Hoang-Hai Dang | Scaling Up Relaxed Memory Verification with Separation Logics | E1 5 005 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2024-09-09 | 10:30 | Johanna Polzin | Specifying and Verifying Page Tables in a Concurrent Operating System | E1 5 029 | Talk | ![]() | |||||
2024-09-09 | 15:00 | Simon Spies | Reaching New Shores with Modern Separation Logic | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2024-09-04 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 024 | AG1 Group Meeting | ![]() | |||||
2024-09-04 | 12:15 | Krishna Gummadi | Towards Better Foundations for Foundational Models: A Cognitivist Approach to Studying Large Language Models (LLMs) | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2024-09-03 | 13:00 | Pooja Kulkarni | Sublinear Approximation Algorithm for Maximizing Nash Social Welfare with fractionally subadditive (XOS) agents | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2024-08-22 | 13:00 | Anita Duerr | Even Faster Knapsack via Rectangular Monotone Min-Plus Convolution and Balancing | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-08-13 | 13:00 | Sayan Bhattacharya | Nibbling at Long Cycles: Dynamic (and Static) Edge Coloring in Optimal Time | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-08-08 | 13:00 | Jacob Focke | Fundamental Problems on Bounded-Treewidth Graphs: The Real Source of Hardness | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-08-07 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2024-08-06 | 13:00 | Andreas Kalavas | A Data-Driven Approach to the Approximate Nearest Neighbor Problem. | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-08-02 | 15:00 | Ahmed Abbas | Efficient and differentiable combinatorial optimization for visual computing | E 1.4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2024-08-01 | 14:00 | Anna Kukleva | Advancing Image and Video Recognition with Less Supervision | E 1.4 024 | Promotionskolloquium | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2024-07-29 | 13:00 | Binhang Yuan | On the opportunities of the design for the next generation of collective communication libraries for AI-centric workflows | E1 4 024 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2024-07-25 | 13:00 | Karolina Drabik | Finding Diverse Solutions Parameterized by Cliquewidth | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-07-23 | 10:30 | Samuel Grütter | Live Verification of C Programs in Coq | E1 5 029 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2024-07-22 | 10:00 | Satnam Singh | Running Large Language Models at Scale on Groq's LPU Machine Learning Chips | E1 5 029 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2024-07-19 | 10:00 | Nanyun Peng | Controllable and Creativity Natural Language Generation | E 1.4 024 | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2024-07-18 | 13:00 | Sanyam Agarwal | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-07-17 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2024-07-16 | 13:00 | Ce Jin | Approximately Counting Knapsack Solutions in Subquadratic Time | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-07-11 | 13:00 | D1 group members | Open Problems Session | E1 4 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2024-07-04 | 13:00 | Paolo Luigi Rinaldi | Improving Order with Queues | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-07-03 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2024-07-03 | 12:15 | Deepak Garg | Foundational Verification of Low-Level Code: RefinedC and Beyond | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2024-07-02 | 13:00 | Danupon Nanongkai | ICALP practice talk on "Cross-Paradigm Graph Algorithms" | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2024-06-27 | 13:00 | Frank Neumann | Evolutionary Diversity Optimisation: Introduction and Recent Results | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
|
| ![]() | |||||||||
2024-06-25 | 12:00 | Ellie Pavlick | Understanding LLMs Under the Hood | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2024-06-20 | 14:00 | Mahmoud Salamati | Formal Controller Synthesis for Dynamical Systems: Decidability and Scalability | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2024-06-19 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2024-06-17 | 13:00 | Arindam Khan | Recent Trends in Rectangle Packing | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-06-14 | 13:00 | Karl Bringmann | Knapsack with Small Items in Near-Quadratic Time | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
|
| ![]() | |||||||||
2024-06-13 | 13:00 | Gopinath Mishra | Optimal (degree+1)-Coloring in Congested Clique | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-06-11 | 13:00 | Hannaneh Akrami | Epistemic EFX Allocations Exist for Monotone Valuations | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-06-05 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2024-06-05 | 12:15 | Alexey Gurevich | Hunting new antibiotics with computer science | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2024-06-03 | 16:00 | Daniel Wagner | “Improving Reactive Capabilities of Internet Peering Infrastructure in Stressful Situations“ | E1 4 024 | Promotionskolloquium | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2024-05-22 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2024-05-08 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2024-05-08 | 12:15 | Karol Węgrzycki | The Frontiers of Packing | E1 5 002 | Joint Lecture Series | ![]() | |||||
2024-05-08 | 15:00 | Saurabh Agarwal | Reducing Data Movement to Accelerate Machine Learning | E1 5 002 | Talk | ![]() | |||||
2024-05-08 | 16:15 | Xin Luna Dong | Next-generation Intelligent Assistants for Wearable Devices | E1 4 024 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2024-05-03 | 10:00 | Iryna Gurevych | Towards Real-World Fact-Checking with Large Language Models | G26 [KL] 111 | SWS Distinguished Lecture Series | ![]() | |||||
2024-05-03 | 13:00 | Patrick Pérez | AI for the real world - Some challenges | E1 5 002 | Lecture | ![]() | |||||
2024-05-03 | 14:00 | Moritz Böhle | Towards Designing Inherently Interpretable Deep Neural Networks for Image Classification | E 1.4 024 | Promotionskolloquium | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2024-04-25 | 13:00 | Johnnatan Messias | On Fairness Concerns in the Blockchain Ecosystem | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2024-04-19 | 10:00 | Haibo Chen | Formal Methods for Systems Software: The Good, The Bad, The Ugly | E1 5 002 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2024-04-17 | 10:00 | Andrew Ilyas | Making machine learning predictably reliable | G26 [KL] 111 | CIS@MPG Colloquium | ![]() | |||||
2024-04-17 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2024-04-09 | 13:00 | Ariel Kulik | Algorithms and Hardness for the Budgeted Matroid Independent Set problem | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-04-03 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2024-04-03 | 12:15 | Evangelos Kipouridis | Hierarchical clustering beyond heuristics: Quality guarantees without speed sacrifices | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2024-03-27 | 14:45 | Debasmita Lohar | Expanding the Horizons of Finite-Precision Analysis | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2024-03-26 | 12:00 | Till Speicher | On Fairness, Invariance and Memorization in Machine Decision and DeepLearning Algorithms | E1 5 005 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2024-03-25 | 16:00 | Rati Devidze | Reward Design for Reinforcement Learning Agents | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2024-03-20 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2024-03-14 | 10:00 | Andrea Lattuada | Practical, automation-assisted verification of efficient systems software | E1 5 029 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2024-03-11 | 10:00 | Emily Tseng | Digital Safety and Security for Survivors of Technology-Mediated Harms | E1 5 002 | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2024-03-08 | 13:00 | Guy Even | An Improved Approximation Algorithm for Dynamic Minimum Linear Arrangement | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
2024-03-08 | 14:00 | Mohamed Alzayat | Efficient Request Isolation in Function-as-a-Service | E1 5 002 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2024-03-07 | 10:00 | Ge Tiffany Wang | Designing for Autonomy in Data-Driven AI Systems | E1 5 002 | CIS@MPG Colloquium | ![]() | |||||
2024-03-07 | 13:00 | Paweł Gawrychowski | Sorting Signed Permutations by Reversals in Nearly-Linear Time | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-03-06 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2024-03-06 | 12:15 | Paul Strohmeier | Shaping Experience and Expression by Designing Sensorimotor Contingencies | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2024-03-05 | 10:00 | Srishti Palani | Beyond the Search Bar in Human-AI Interactions: Augmenting Discovery, Synthesis, and Creativity With User-Generated Context | G26 [KL] 111 | CIS@MPG Colloquium | ![]() | |||||
2024-03-05 | 13:00 | Karol Węgrzycki | A polynomial-time $\text{OPT}^\eps$-approximation algorithm for maximum independent set of connected subgraphs in a planar graph | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2024-03-05 | 14:00 | Marcus Pirron | Hardware and Software Codesign | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2024-03-01 | 10:00 | Amrita Roy Chowdhury | Data Privacy in the Decentralized Era | E1 5 002 | CIS@MPG Colloquium | ![]() | |||||
2024-03-01 | 14:00 | Emmanouil-Vasileios (Manolis) Vlatakis Gkaragkounis | Bridging the Gap between Theory and Practice: Solving Intractable Problems in a Multi-Agent Machine Learning World | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2024-02-28 | 15:00 | Christoph Siebenbrunner | Methods for Financial Stability Analysis | E1 5 002 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2024-02-27 | 13:00 | Daniel Neuen | Graph Isomorphism Testing and Beyond | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-02-26 | 10:00 | Maria Antoniak | Computational Approaches to Narrative Analysis | G26 [KL] 111 | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2024-02-23 | 10:00 | Ramakrishnan Sundara Raman | Global Investigation of Network Connection Tampering | MPI-SP - | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2024-02-22 | 13:00 | Christoph Hertrich | Understanding Neural Network Complexity from a Discrete AngleTBD | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-02-21 | 10:00 | Lily Xu | High-stakes decisions from low-quality data: AI decision-making for planetary health | G26 [KL] 111 | CIS@MPG Colloquium | ![]() | |||||
2024-02-21 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2024-02-20 | 13:00 | Benjamin Berendsohn | Optimization with pattern-avoiding input | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-02-19 | 10:00 | Sarah Cen | Paths to AI Accountability | G26 [KL] 111 | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2024-02-15 | 10:00 | Yinxi Liu | Programming Theory in Security Analysis: A Tripartite Framework for Vulnerability Specification | E1 5 002 | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2024-02-14 | 10:00 | Jana Hofmann | Formal Reasoning about Relational Properties in Large-Scale Systems | MPI-SP - | CIS@MPG Colloquium | ![]() | |||||
2024-02-14 | 11:30 | Javier Cembrano | Computational aspects of incentives and fairness in competitive environments | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-02-08 | 10:00 | A. Feder Cooper | Reliable Measurement for Machine Learning at Scale | MPI-SP - | CIS@MPG Colloquium | ![]() | |||||
2024-02-08 | 16:00 | Toghrul Karimov | Algorithmic Verification of Linear Dynamical Systems | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2024-02-07 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2024-02-07 | 12:15 | Tomasz Kociumaka | New Tools for Text Indexing and Beyond: Substring Complexity and String Synchronizing Sets | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2024-02-06 | 10:00 | Zhijing Jin | Causal Inference for Robust, Reliable, and Responsible NLP | E1 5 002 | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2024-02-05 | 10:00 | Tanusree Sharma | Towards Ethical and Democratic Design of AI | MPI-SP - | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2024-02-01 | 10:00 | Doreen Riepel | Theoretically Sound Cryptography for Key Exchange and Advanced Applications | MPI-SP - | CIS@MPG Colloquium | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2024-01-30 | 10:00 | Teodora Baluta | New Algorithmic Tools for Rigorous Machine Learning Security Analysis | MPI-SP - | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2024-01-25 | 10:00 | Sajin Sasy | Oblivious Algorithms for Privacy-Preserving Computations | MPI-SP - | CIS@MPG Colloquium | ![]() | |||||
2024-01-25 | 13:00 | Jiaheng Wang | Approximate counting: New problems and approaches | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-01-24 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2024-01-23 | 13:00 | Evangelos Kipouridis | Dynamic Dynamic Time Warping | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-01-17 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | ![]() | |||||
2024-01-17 | 11:30 | D1 Group Members | D1 Group Meeting (postponed due to black ice) | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2024-01-16 | 13:00 | Egor Gorbachev | A classification of subquadratic patterns for minimum-weight, enumeration, and listing subgraph isomorphism problems | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-01-14 | 13:00 | Shreyas Srinivasan | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2024-01-10 | 12:15 | Ha Dao | A comprehensive analysis of PII leakage-based web tracking | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2024-01-03 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2023-12-21 | 13:00 | Barış Can Esmer | Optimally Repurposing Existing Algorithms to Obtain Exponential-Time Approximations | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-12-19 | 15:00 | Mohammed Foughali | Compositional Verification of Embedded Real-Time Systems | G26 111 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2023-12-15 | 09:00 | Brigitte Pientka | Cocon: A Type-Theoretic Framework for Certified Meta-programming | E1 5 029 | SWS Colloquium | ![]() | |||||
2023-12-15 | 13:00 | Jan Philipp Wächter | Decision Problems for Automaton Groups and Monoids of BoundedActivity | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
2023-12-15 | 15:30 | Felix Stutz | Implementability of Asynchronous Communication Protocols - The Power of Choice | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2023-12-14 | 13:00 | Jan-Philipp Wächter | Decision Problems for Automaton Groups and Monoids of Bounded ActivityTBA | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
2023-12-14 | 14:00 | Aniss Maghsoudlou | “Towards Uncovering Hidden Internet Traffic Characteristics" - PhD Defense by Aniss Maghsoudlou | E1 5 002 | Promotionskolloquium | ![]() | |||||
2023-12-14 | 16:00 | Michalis Kokologiannakis | Automated Reasoning under Weak Memory Consistency | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2023-12-07 | 13:00 | Simon Döring | Counting Small Induced Subgraphs with Edge-monotone Properties | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
|
| ![]() | |||||||||
2023-12-06 | 11:30 | D1 Group Members | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2023-12-06 | 12:15 | Manuel Gomez Rodriguez | Improving Decision Making with Machine Learning, Provably | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2023-12-04 | 10:00 | Caroline Cronjäger | The Never-Ending Trace: An Under-Approximate Approach to Divergence Bugs | E1 5 029 | SWS Colloquium | ![]() | |||||
2023-12-04 | 17:00 | Michael Sammler | Automated and Foundational Verification of Low-Level Programs | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2023-11-29 | 13:00 | Erik Jan van Leeuwen | Complexity Framework For Forbidden Subgraphs and Beyond | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-11-22 | 11:30 | D1 Group Members | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2023-11-21 | 14:00 | Sergey Bozhko | Rigorous and General Response-Time Analysis for Uniprocessor Real-Time | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2023-11-16 | 14:00 | Sebastian Dalleiger | Characteristics and Commonalities – Differentially Describing Datasets with Insight-ful Patterns | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-11-14 | 11:00 | Dmitry Chistikov | The complexity of Presburger arithmetic with power or powers | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-11-08 | 11:30 | D1 Group Members | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
2023-11-08 | 12:15 | Mohamed Elgharib | Digitizing the Human Face | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2023-11-07 | 13:00 | Nicolas Regel | Exploring shorter certificates for the Fréchet Distance (Bachelor Thesis) | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
|
| ![]() | |||||||||
2023-11-02 | 13:00 | Alejandro Cassis | Negative-Weight Single-Source Shortest Paths in Near-Linear Time: Now Faster! | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2023-10-31 | 13:00 | Tomasz Kociumaka | Approximating Edit Distance in the Fully Dynamic Model | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
|
| ![]() | |||||||||
2023-10-27 | 09:00 | Hiba Arnaout | Enriching Open-world Knowledge Graphs with Expressive Negative Statements | E1 4 024 | Promotionskolloquium | ![]() | |||||
2023-10-27 | 14:15 | Ralf Schenkel | Quality-aware Argument Retrieval | E1 4 024 | Colloquium Lecture | ![]() | |||||
|
| ![]() | |||||||||
2023-10-26 | 10:30 | Umang Mathur | Exposing Concurrency Bugs from their Hiding Places | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
2023-10-26 | 13:00 | Klaus Jensen | New Algorithmic Results for Scheduling via ILPs | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
|
| ![]() | |||||||||
2023-10-24 | 13:00 | Sorrachai Yingchareonthawornchai | Faster Deterministic Vertex Connectivity Algorithms | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-10-23 | 09:00 | Corinna Coupette | Beyond Flatland: Exploring Graphs in Many Dimensions | Virtual talk Virtual talk | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-10-19 | 13:00 | Rajendra Kumar | TBA | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
|
| ![]() | |||||||||
2023-10-18 | 10:00 | Prem Devanbu | Naturalness & Bimodality of Code | E1 5 002 | SWS Distinguished Lecture Series | ![]() | |||||
2023-10-18 | 11:30 | D1 Group Members | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2023-10-17 | 10:00 | Smitha Milli | Algorithms for Plurality | E1 5 029 | SWS Colloquium | ![]() | |||||
2023-10-17 | 13:00 | Nidhi Rathi | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-10-11 | 12:15 | Isabel Valera | Causethical ML: Promises & Challenges | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2023-10-10 | 13:00 | Cornelius Brand | Algebraic Matroid Intersection | E1 5 029 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-10-05 | 13:00 | Panagiotis Charalampopoulos | Almost Optimal Edit Distance Oracles | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-10-04 | 11:30 | D1 Group Members | D1 Group Meeting (physical-only) | E1 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2023-09-28 | 10:30 | Miryung Kim | Software Engineering for Data Intensive Scalable Computing and Heterogeneous Computing | G26 [KL] 111 | SWS Distinguished Lecture Series | ![]() | |||||
2023-09-28 | 13:00 | Prajakta Nimbhorkar | Matchings with Fairness Constraints | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-09-27 | 10:00 | Kate Donahue | AI as a resource: strategy, uncertainty, and societal welfare | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
2023-09-27 | 14:00 | Aaron Roth | Robust and Equitable Uncertainty Estimation | Virtual talk [KL] zoom | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2023-09-22 | 09:00 | Weikum | D5 Alumni Workshop | E1 5 002 | AG5 Seminar | ![]() | |||||
|
| ![]() | |||||||||
2023-09-21 | 12:30 | Weikum | D5 Alumni Workshop | E1 5 002 | AG5 Seminar | ![]() | |||||
|
| ![]() | |||||||||
2023-09-20 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2023-09-18 | 10:00 | Fatemehsadat Mireshghallah | Privacy Auditing and Protection in Large Language Models | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-09-14 | 13:00 | Alexandra Lassota | Small lecture on integer programming | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-09-06 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2023-09-04 | 10:00 | Manya Ghobadi | Next-Generation Optical Networks for Machine Learning Jobs | G26 [KL] 111 | SWS Distinguished Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2023-08-29 | 13:00 | Yanheng Wang | Probabilistic Analyses of PPZ | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2023-08-29 | 15:00 | Nick Fischer | PhD Defense Nick Fischer | E14 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-08-25 | 14:30 | Tomasz Kociumaka | The Seaweed Method for Computing Edit Distance | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-08-16 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2023-08-10 | 16:00 | Euiwoong Lee | Parameterized Approximability of F-Deletion Problems | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-08-02 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2023-07-25 | 13:00 | Celine Swennenhuis | A Subexponential Time Algorithm for Makespan Scheduling of Unit Jobs with Precedence Constraints | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-07-20 | 13:00 | Gunjan Kumar | Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle? | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-07-19 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 021 | AG1 Group Meeting | ![]() | |||||
2023-07-19 | 13:00 | Spyros Angelopoulos | Searching with predictions | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-07-18 | 13:00 | Michal Koucky | Locally consistent decomposition of strings with applications to edit distance sketching | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-07-13 | 10:30 | Immanuel Trummer | Tuning Tools that "Read" the Manual: New Use Cases for Large Language Models in Data Management | E1 4 024 | Colloquium Lecture | ![]() | |||||
|
| ![]() | |||||||||
2023-07-11 | 13:00 | Nithin Varma | Improved sublinear algorithms for testing permutation freeness | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-07-10 | 14:00 | Debmalya Panigrahi | The Isolating Cuts Lemma and its Applications | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-07-06 | 13:00 | Lars Prehn | Routegazing: Analysing the Evolving Internet Routing Ecosystem | E1 5 002 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-07-05 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 021 | AG1 Group Meeting | ![]() | |||||
2023-07-05 | 12:15 | Jan Eric Lenssen | Inferring the 3D World from Incomplete Observations: Representations and Data Priors | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2023-07-04 | 13:00 | Hannaneh Akrami | EFX: A Simpler Approach and an (Almost) Optimal Guarantee via Rainbow Cycle Number | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-07-03 | 14:00 | Guy Even | Dynamic Filters and Retrieval with a Single Memory Access | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2023-06-22 | 11:15 | Prof. Sebastian Trimpe | Machine learning for machines: Challenges and recent results in learning-based control | E1 4 019 | MPI-Seminar | ![]() | |||||
2023-06-22 | 13:00 | Christopher Cohnen | Distributed consensus in asynchronous systems (Proseminar: Theory on consensus) | E1 4 024 | AG1 Mittagsseminar (others' work) | ![]() | |||||
|
| ![]() | |||||||||
2023-06-21 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 021 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2023-06-20 | 15:00 | Supratik Chakraborty | On Synthesizability of Skolem Functions in First-Order Theories | G26 [KL] 207 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-06-09 | 12:30 | Ruiwen Dong | Decision problems in sub-semigroups of metabelian groups. | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-06-07 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 021 | AG1 Group Meeting | ![]() | |||||
2023-06-07 | 12:15 | Mariya Toneva | Why do large language models align with human brains: insights, opportunities, and challenges | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2023-06-06 | 13:00 | Arturo Merino | Traversing combinatorial polytopes via optimization. | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-06-02 | 13:00 | Rahul Mudambi Venkatesh | Fault-tolerant pulse synchronization with stable output frequencies (Master thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-06-01 | 13:00 | Caterina De Bacco | Modelling multi-commodity optimal transport problems with constraints | Virtual talk Virtual talk | Colloquium Lecture | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2023-05-30 | 13:00 | Ariel Kulik | Faster Exponential-Time Approximation Algorithms Using Approximate Monotone Local Search | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-05-25 | 13:00 | Tomasz Kociumaka | Bounded Weighted Edit Distance | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2023-05-25 | 16:00 | Bo Zhao | Scalable and Sustainable Data-Intensive Systems | E1 5 002 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-05-23 | 13:00 | Christine Rizkallah | Language Based Approaches for Facilitating Software Verification | MPI building 024 | Colloquium Lecture | ![]() | |||||
|
| ![]() | |||||||||
2023-05-17 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 021 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2023-05-16 | 13:00 | Seth Pettie | Sorting Pattern-avoiding Permutations via Forbidden 0-1 Matrices | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-05-12 | 13:30 | Léo Exibard | A Generic Solution to Register-bounded Synthesis for Systems over Data words | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-05-04 | 15:00 | Beta Ziliani | Making monkeys and ducks behave with Crystal Lang | E1 5 002 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-05-03 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 021 | AG1 Group Meeting | ![]() | |||||
2023-05-03 | 12:15 | Marc Habermann | Digital Humans: From Sensor Measurements to Deeper Understanding and Synthesis | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2023-05-02 | 13:00 | George Osipov | Parameterized Complexity of MinCSP for Equality Constraint Languages | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2023-04-27 | 13:00 | Jan van den Brand | Faster High Accuracy Multi-Commodity Flow from Single-Commodity Techniques | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2023-04-27 | 16:00 | Alexander J. Summers | 2vyper: Contracts for Smart Contracts | E1 5 002 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-04-24 | 10:00 | Yuval Yarom | Automating cryptographic code generation | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-04-20 | 13:00 | Standa Zivny | Promise Constraint Satisfaction Problems | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-04-19 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 021 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2023-04-18 | 09:30 | Edgar Schönfeld | Improving Quality and Controllability in GAN-based Image Synthesis | E 1.4 024 | Promotionskolloquium | ![]() | |||||
2023-04-18 | 13:00 | Ran Gelles | Distributed Computations in Fully-Defective Networks | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-04-05 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | ![]() | |||||
2023-04-05 | 12:15 | Philip Wellnitz | Faster Approximate String Matching: Now with up to 500 Errors | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2023-04-04 | 13:00 | Corinna Coupette | Reducing Exposure to Harmful Content via Graph Rewiring | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2023-03-30 | 11:30 | Meike Zehlike | Learning Lunch: The Gender Data Gap - And its Implications for Data-Driven Decision Making | E1 4 024 | Talk | ![]() | |||||
2023-03-30 | 13:00 | Simon Döring | The Birkhoff-Polytope and the hardness of removing vertices | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2023-03-30 | 15:30 | Numair Mansur | Automatically Detecting and Mitigating Issues in Program Analyzers | G26 111 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2023-03-23 | 13:00 | Duri Janett | Tight Runtime Bounds for Static Unary Unbiased Evolutionary Algorithms on Linear Functions | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-03-21 | 13:00 | Hannaneh Akrami | Breaking the 3/4 Barrier for Approximate Maximin Share | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-03-16 | 13:00 | Niko Hastrich | Faster Nearest Neighbors Queries on Geographic Data | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2023-03-16 | 18:00 | Bharat Lal Bhatnagar | Modelling 3D Humans: Pose, Shape, Clothing and Interactions | E 1.4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-03-15 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2023-03-09 | 09:30 | Paul Gölz | Fair, Representative, and Transparent Algorithms for Citizens’ Assemblies | E1 5 002 | CIS@MPG Tenure-Track Faculty | ![]() | |||||
2023-03-09 | 10:00 | Stephan Schulz | E 3.0 - Even Faster, Much Higher, Still Stronger | E1 4 024 | Talk | ![]() | |||||
2023-03-09 | 14:00 | Fajar Haifani | On a Notion of Abduction and Relevance for First-Order Logic Clause Sets | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-03-07 | 13:00 | Rahul Mudambi Venkatesh | Fault-tolerant pulse synchronization with stable output frequencie (Master thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2023-03-07 | 14:00 | Anita Dürr | Recent developments in monotone min-plus convolution/product algorithms | E1 4 024 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2023-03-03 | 09:30 | Bhaskar Ray Chaudhury | From Resource Allocation to Machine Learning: Fairness Through Computation and Fairness in Computation | E1 5 002 | CIS@MPG Tenure-Track Faculty | ![]() | |||||
2023-03-03 | 12:30 | Mark Mrsic | Real-Time Collaborative Optimization Platform | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-03-02 | 09:30 | Maryam Aliakbarpour | Statistical inference with privacy and computational constraints | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
2023-03-02 | 13:00 | Seth Pettie | Optimal Vertex Connectivity Oracles | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
2023-03-02 | 15:00 | Mirko Palmer | PhD Defense: Towards Enabling Cross-layer Information Sharing to Improve Today's Content Delivery Systems | E1 4 024 | Promotionskolloquium | ![]() | |||||
2023-03-02 | 17:00 | Adam Bouland | Quantum Pseudoentanglement | Virtual talk Virtual talk | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2023-03-01 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | ![]() | |||||
2023-03-01 | 12:15 | Ingmar Weber | Societal Computing | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2023-02-28 | 09:30 | Dr. Anne-Kathrin Schmuck | The Power of Feedback in a Cyber-Physical World | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
2023-02-28 | 13:00 | Johannes Bund | Hazard-Free Clock Synchronization (PhD defense) | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-02-24 | 15:00 | Said Jawad Saidi | Characterizing the IoT Ecosystem at Scale | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-02-23 | 09:30 | Priyanka Golia | Fusing AI and Formal Methods for Automated Synthesis | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
2023-02-23 | 13:00 | Karol Węgrzycki | Parameterized Approximation for Maximum Weight Independent Set of Rectangles and Segments | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-02-22 | 16:00 | Stephan Günnemann | Graph Neural Networks for Molecular Systems | E1 5 002 | Max Planck Distinguished Speaker Talk | ![]() | |||||
|
| ![]() | |||||||||
2023-02-21 | 16:00 | Ryan Williams | The Mystery of the Missing String | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-02-15 | 11:30 | D1 Group Members | D1 Group Meeting (Photographer) | E1 5 R 105 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2023-02-14 | 13:00 | Peter Kiss | (1+\eps)-Approximate Dynamic Matching in Truly Sublinear Time | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2023-02-14 | 14:00 | Leqi Liu | Learning for Decision Making: A Tale of Complex Human Preferences | Virtual talk zoom | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-02-10 | 13:30 | Naveen Garg | Outliers: How to Handle Them | E1.4 024 | MPI-Kolloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-02-09 | 13:00 | Golnoosh Shahkarami | A Novel Prediction Setup for Online Speed-Scaling | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2023-02-09 | 13:30 | Aman Mathur | Programmatic Interfaces for Design and Simulation | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2023-02-02 | 13:00 | Suomela Jukka | Locality in online, dynamic, sequential, and distributed graph algorithms | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-02-01 | 11:30 | D1 Group Members | D1 Group Meeting | E1 4 R 024 | AG1 Group Meeting | ![]() | |||||
2023-02-01 | 12:15 | Sven Rahmann | Terabyte-Scale Genome Analysis for Underfunded Labs | E1 5 002 | Joint Lecture Series | ![]() | |||||
2023-02-01 | 15:00 | Manling Li | Toward Deep Semantic Understanding: Event-Centric Multimodal Knowledge Acquisition | E1 5 002 | SWS Colloquium | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2023-01-31 | 13:00 | Adam Polak | Dynamic algorithms with predictions | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-01-27 | 08:30 | Ruonan Zhu | Z-ACM: An approximate calculation method of Z-numbers for large data sets based on kernel density estimation and its application in decision-making | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-27 | 09:00 | Pushpdeep Singh | Gender Bias in Neural Machine Translation(NMT): Evaluation and Mitigation | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-27 | 09:30 | Mohammad Mahdi Asmae | Neural Enhanced Dynamic Message Passing | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-27 | 10:00 | Sara Khosravi | Area: AI, Machine Learning, Robotics, Vision | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-27 | 10:30 | Shrisudhan Govindarajan | Synthesizing Light Field Video from Smartphones | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-27 | 11:00 | Yuezhi Yang | Discovering Design Concept for CAD Sketches | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-27 | 12:30 | Hassan Hamidihesarsorkh | Coloring as a Pretext Task for Semantic Segmentation in Point Cloud | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-27 | 13:00 | Daoan Zhang | Unconditional and Conditional Representation Manipulation | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-27 | 13:30 | Tsung-Han Wu | Towards Cost-Effective and Trustworthy Visual Autonomous Systems | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-27 | 14:00 | Mohammad Asadi | Concept-Based Interpretation for Raw Time Series Models in Education | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-27 | 14:30 | Nhi Pham | A Twitter corpus of linguistically and geographically diverse varieties of English | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-27 | 16:30 | Yaoyao Liu | Learning from Imperfect Data: Incremental Learning and Few-shot Learning | E 1.4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2023-01-26 | 13:00 | Ameet Gadekar | Clustering with fairness constraints | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-01-24 | 09:00 | Ajaykrishnan Edamana Illam Satheeshkumar | Knot-Free Vertex Deletion Exact and Enumeration Algorithms | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-24 | 09:30 | Aryan Agarwala | Parallel Algorithms for Bipartite Graph Matching | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-24 | 12:00 | Sagnik Dutta | Improved lower bound and proof barrier for constant depth algebraic circuits | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-24 | 13:00 | Ali Hatamshoar | Online Coloring of Intervals with a Limited Recourse Budget | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-24 | 13:30 | Anita Dürr | Improved bounds for rectangular monotone Min-Plus Product | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-24 | 14:00 | Duri Andrea Janett | Two Dimensional Drift Analysis: Optimizing Two Functions Simultaneously Can Be Hard | Virtual talk zoom | PhD Application Talk | ![]() | |||||
|
| ![]() | |||||||||
2023-01-23 | 09:00 | Carolina Coimbra Vieira | The Interplay between Culture and Migration | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-23 | 09:30 | Mahsa Ghaderan | Fact Extraction and Verification for a low resource language | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-23 | 10:00 | Soham De | Studying Strategic Information Operations in India through Social Media | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-23 | 10:30 | Otuekong Ekpo | Technique for enhancing the resistance of critical rail infrastructure to cyber-threat | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-23 | 12:30 | Alexander Mayorov | Variable independence in quantifier-free fragments of first-order logic | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-23 | 13:00 | Yun-Rong Luo | Proofs and Dependency Schemes for Stochastic Quantified Satisfiability | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-23 | 13:30 | MohammadHossein KhoshechinJorshari | Actor-based Timing Analysis in Automotive Systems | Virtual talk zoom | PhD Application Talk | ![]() | |||||
2023-01-23 | 14:00 | Si Suo | Denotational semantics of commutative combinations of effects | Virtual talk zoom | PhD Application Talk | ![]() | |||||
|
| ![]() | |||||||||
2023-01-19 | 13:00 | Yuval Efron | Cut Query Algorithms Using Star-Contraction | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2023-01-19 | 16:00 | Robert Koenig | Adaptive constant-depth circuits for manipulating non-abelian anyons | Virtual talk Virtual talk | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2023-01-18 | 11:30 | D1 Group Members | D1 Group Meeting (in presence) | E 1, 4 R 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2023-01-17 | 13:00 | Zhongtian He | Cactus Representations in Polylogarithmic Max-flow via Maximal Isolating Mincuts | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-01-12 | 13:00 | Philipp Schepper | Tight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2023-01-04 | 11:30 | D1 Group Members | D1 Group Meeting (in presence) | E1, 4 D1 Rotunda | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2022-12-28 | 11:30 | D1 Group Members | D1 Group Meeting (in presence) | E 1, 4 Rotunda D1 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-12-20 | 16:00 | Yury Makarychev | Approximation algorithms for the socially fair clustering problem | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-12-14 | 11:30 | D1 Group Members | D1 Group Meeting | E 1, 4 R 024 | AG1 Group Meeting | ![]() | |||||
2022-12-14 | 14:00 | Mahmoud Salamati | Formal Controller Synthesis for Dynamical Systems: Decidability and Scalability | G26 [KL] 113 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2022-12-13 | 13:00 | Eva Rotenberg | Sparsity-adaptive dynamic graph algorithms | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-12-12 | 16:00 | Aleksander B. G. Christiansen | The Power of Multi-Step Vizing Chains | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-12-08 | 10:30 | Janis Kalofolias | Subgroup Discovery for Structured Target Concepts | C9 3 Konferenzraum | Promotionskolloquium | ![]() | |||||
2022-12-08 | 13:00 | Adam Polak | Bellman-Ford is optimal for shortest hop-bounded paths | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2022-12-08 | 16:00 | Harry Buhrmann | Quantum fine-grained complexity and the quantum advantage | Virtual talk Virtual talk | AG1 Advanced Mini-Course | ![]() | |||||
|
| ![]() | |||||||||
2022-12-07 | 12:15 | Anne Schmuck | Let's play! - Solving controller synthesis games for cyber-physical system design | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2022-12-06 | 13:00 | Nikhil Kumar | An Approximate Generalization of the Okamura-Seymour Theorem | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-12-01 | 13:00 | Peter Kiss | Dynamic Matching with Better-than-2 Approximation in Polylogarithmic Update Time | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2022-11-30 | 11:30 | D1 Group Members | D1 Group Meeting | E 1, 4 R 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-11-29 | 13:00 | Zahra Parsaeian | Approximate Near-Neighbor Problem for Curves using Discrete Fréchet Distance under Translation and Rotation (Master thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-11-24 | 10:00 | Aïna Linn Georges | Enforcing Stack Safety on a Capability Machine | E1 5 005 | SWS Colloquium | ![]() | |||||
2022-11-24 | 13:00 | Pascal Schweitzer | The Graph Isomorphism Problem: a journey through theory-practice synergies | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-11-23 | 09:00 | Philipp Schröppel | Robust Multi-view Depth Estimation | E1 7 001 | Talk | ![]() | |||||
2022-11-23 | 13:00 | Vasilis Livanos | Combinatorial Optimization under Uncertainty and Prophet Inequalities | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-11-22 | 13:00 | Sanjeev Khanna | Sublinear Algorithms for Hierarchical Clustering | Virtual talk Virtual talk | AG1 Mittagsseminar (others' work) | ![]() | |||||
|
| ![]() | |||||||||
2022-11-21 | 13:00 | Arijit Khan | Data Management for Emerging Problems in Large Networks | E1 4 024 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2022-11-17 | 16:00 | Barbara Terhal | Quantum Error Correction Beyond Qubits | Virtual talk Virtual talk | Max Planck Distinguished Speaker Talk | ![]() | |||||
|
| ![]() | |||||||||
2022-11-16 | 10:00 | Thorsten Joachims | Designing AI Systems with Steerable Long-Term Dynamics | G26 [KL] 111 | SWS Distinguished Lecture Series | ![]() | |||||
2022-11-16 | 11:30 | D1 Group Members | D1 Group Meeting | E 1, 4 R 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-11-12 | 16:00 | Aleksander B. G. Christiansen | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-11-10 | 13:00 | Kurt Mehlhorn | Fair Allocation of Indivisible Goods, A Survey | MPI-INF 024 | AG1 Mittagsseminar (basic education) | ![]() | |||||
|
| ![]() | |||||||||
2022-11-07 | 10:30 | Sumit Gulwani | AI-assisted Programming: Applications, User experiences, and Neuro-symbolic techniques | E1 5 002 | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2022-11-02 | 11:30 | D1 Group Members | D1 Group Meeting | E 1, 4 R 024 | AG1 Group Meeting | ![]() | |||||
2022-11-02 | 12:15 | Martin Bromberger | Why not use a hammer when a problem looks almost like a nail? | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2022-10-28 | 10:30 | Vinh Thinh Ho | Entities with Quantities: Extraction, Search, and Ranking | E1 4 R024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-10-27 | 13:00 | Tomasz Kociumaka | Gap Edit Distance via Non-Adaptive Queries: Simple and Optimal | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-10-25 | 13:00 | Vera Traub | Better-Than-2 Approximations for Weighted Tree Augmentation and Forest Augmentation | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-10-20 | 13:00 | Joseph Cheriyan | Approximation Algorithms for Flexible Network Design | MPI-INF 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-10-19 | 11:30 | D1 Group Members | D1 Group Meeting (in presence) | E 1, 4 310 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-10-18 | 13:00 | Karl Bringmann | Fine-Grained Complexity of Distance Oracles | E1 4 007 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-10-13 | 16:00 | Umesh Vazirani | Theoretical Reflections on Quantum Supremacy | Virtual talk Virtual talk | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2022-10-12 | 10:00 | Attila Kinali-Dogan | PhD Defense: On Time, Time Synchronization and Noise in Time Measurement Systems | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-10-11 | 13:00 | Hörsch Florian | Orientations and Arc-connectivity | E1 4 007 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-10-05 | 11:30 | D1 Group Members | D1 Group Meeting (in presence) | E 1, 4 310 | AG1 Group Meeting | ![]() | |||||
2022-10-05 | 12:15 | Martina Maggio | Control Systems in the presence of Computational Problems | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2022-10-04 | 13:00 | Evangelos Kipouridis | Reconstructing the Tree of Life (Fitting Distances by Tree Metrics) | E1 5 002 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2022-09-28 | 15:30 | Lassota Alexandra Anna | Integer Linear Programs and How To Use Them Efficiently | E1 4 007 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-09-27 | 13:00 | Pranjal Dutta | Power and limitation of border depth-3 algebraic circuits | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-09-22 | 16:00 | Ariel Procaccia | Democracy and the Pursuit of Randomness | Virtual talk Virtual talk | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2022-09-21 | 11:30 | D1 Group Members | D1 Group Meeting (in presence) | E 1, 4 Rotunda D1 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-09-20 | 13:00 | Merav Parter | A Graph Theoretic Approach for Resilient Distributed Algorithms | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-09-15 | 13:00 | Joakim Blikstad | Nearly Optimal Communication and Query Complexity of Bipartite Matching | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2022-09-15 | 16:00 | Peter Shor | Quantum Money | Virtual talk Virtual talk | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2022-09-08 | 13:00 | Danupon Nanongkai | Negative-Weight Single-Source Shortest Paths in Near-linear Time | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-09-07 | 11:30 | D1 Group Members | D1 Group Meeting (in presence) | E 1, 4 R 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-09-06 | 18:00 | Michael Sammler | Automated and Foundational Verification of Low-Level Programs | Virtual talk Virtual talk | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2022-09-01 | 13:00 | Philipp Schepper | Computing Generalized Convolutions Faster Than Brute Force | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2022-08-31 | 16:00 | Mohamed Alzayat | Efficient Request Isolation in Function-as-a-Service -- Reconciling Confidentiality and Correctness | Virtual talk 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2022-08-30 | 13:00 | Philipp Schepper | Anti-Factor is FPT Parameterized by Treewidth and List Size (but Counting is Hard) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-08-24 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-08-18 | 16:00 | Mohsen Ghaffari | Local Computation of Maximal Independent Set | Virtual Virtual | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-08-17 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-08-10 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-08-03 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2022-07-28 | 13:00 | Jonas Fischer | More than the sum of its parts – pattern mining, neural networks and how they complement each other | E1 4 024 | Promotionskolloquium | ![]() | |||||
2022-07-28 | 16:00 | Tony Cubitt | Hamiltonian simulation theory: from near-term quantum computing to quantum gravity | E1 4 024 | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2022-07-27 | 11:30 | D1 Group Members | D1 Group Meeting | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-07-25 | 13:00 | Numair Mansur | Automatically Detecting and Mitigating Issues in Program Analyzers | Virtual talk Remote | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2022-07-22 | 13:00 | Sahar Sheikholeslami | A Recursive Early-Stopping Phase King Protocol | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
2022-07-22 | 14:00 | David Stutz | Understanding and Improving Robustness and Uncertainty Estimation in Deep Learning | E 1.4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-07-20 | 11:30 | D1 Group Members | D1 Group Meeting | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-07-19 | 14:00 | Indranil Gupta | Distinguished Speaker Colloquium: Indranil Gupta (UIUC): Hammer vs. Gavel - How I Learned to Stop Learning and Love the Old-Fashioned Algorithm | E1 4 virtual | MPI Colloquium Series Distinguished Speaker | ![]() | |||||
|
| ![]() | |||||||||
2022-07-13 | 11:30 | D1 Group Members | D1 Group Meeting | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-07-11 | 11:00 | Zahra Montazeri | Realistic Modeling and Rendering of Fabrics | E1 4 024 | AG4 Talk | ![]() | |||||
2022-07-11 | 14:00 | Jean-Marie De Koninck | Consecutive integers divisible by a power of their largest prime factor | E1 5 002 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-07-06 | 11:30 | D1 Group Members | D1 Group Meeting | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
2022-07-06 | 12:15 | Tobias Fiebig | Information System Security: Beyond the Sum of its Parts Analyze, Measure, Explain, Improve | Virtual talk Virtual | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2022-06-30 | 13:00 | Ian Jones | The World’s 3rd Fastest FIFO | MPII 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-06-29 | 11:30 | D1 Group Members | D1 Group Meeting | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
2022-06-29 | 14:00 | Andrea Hornakova | Lifted Edges as Connectivity Priors for Multicut and Disjoint Paths | E 1.5 029 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-06-28 | 13:00 | Aleksander Łukasiewicz | Tight Vector Bin Packing with Few Small Items via Fast Exact Matching in Multigraphs | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
2022-06-28 | 13:30 | Areil Kulik | Analysis of Two-variable Recurrence Relations with Application to Parameterized Approximations | MPII (E1 4) 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-06-27 | 11:00 | Debasmita Lohar | Expanding the Horizons of Finite-Precision Analysis | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2022-06-24 | 10:30 | Ivan Gavran | Planning and Specification Problems for Multi-Robot Systems, Powered by Formal Methods | E1 5 [KL] 113 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
2022-06-24 | 14:00 | Kaushik Mallik | Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems | G26 [KL] 113 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2022-06-23 | 13:00 | Baris Can Esmer | Faster Exponential-Time Approximation Algorithms Using Approximate Monotone Local Search | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-06-22 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-06-21 | 13:00 | Sam Jonas Niro | Optimization under Privacy | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-06-17 | 13:00 | Golnoosh Shahkarami | [Cancelled] A Novel Prediction Setup for Online Speed-Scaling | E1 4 (MPII) 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2022-06-17 | 13:45 | Dzmitry V. Dudko | Decidability in Dynamics via Geometrization | E1 4 (MPII) 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-06-15 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-06-14 | 10:00 | Ben Wiederhake | PhD Defense Ben Wiederhake | E1 4 024 | Promotionskolloquium | ![]() | |||||
2022-06-14 | 13:00 | Alejandro Cassis | Faster Knapsack Algorithms via Bounded Monotone Min-Plus-Convolution | MPII 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2022-06-14 | 13:30 | Philipp Schepper | Parameterized Complexity of Weighted Multicut in Trees | MPII (E1 4) 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-06-10 | 13:00 | Anna Christina de Carvalho Guimaraes | Data Science Methods for the Analysis of Controversial SocialMedia Discussions | Virtual talk Virtual talk | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-06-09 | 13:00 | Alejandro Cassis | Almost-Optimal Sublinear-Time Edit Distance in the Low Distance Regime | MPII 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-06-08 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-06-07 | 13:00 | Aleksander Łukasiewicz | All-Pairs LCA in DAGs: Breaking through the O(n^2.5) barrier | MPII 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-06-01 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
2022-06-01 | 12:15 | Elissa Redmiles | Learning from the People: Responsibly Encouraging Adoption of Contact Tracing Apps | Virtual talk Virtual talk | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2022-05-27 | 14:00 | Joël Ouaknine | The Skolem Landscape | E1 5 002 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-05-25 | 11:30 | D1 Group Meeting | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-05-24 | 09:30 | Lorenzo Alvisi | Orderrr! A tale of money, intrigue, and specifications | E1 5 002 | SWS Distinguished Lecture Series | ![]() | |||||
2022-05-24 | 13:00 | Zahra Parsaeian | Towards Sub-Quadratic Diameter Computation in Geometric Intersection Graphs | MPII 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-05-20 | 16:15 | Preethi Lahoti | Operationalizing Fairness for Responsible Machine Learning | Virtual talk Virtual Talk | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-05-19 | 13:00 | Kurt Mehlhorn | Review and Letters of Recommendations | MPI 018 | AG1 Mittagsseminar (basic education) | ![]() | |||||
2022-05-19 | 16:00 | Andris Ambainis | Quantum algorithms for search and optimization | Virtual talk Zoom | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2022-05-18 | 11:30 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-05-13 | 16:00 | André Nusser | PhD Defense André Nusser | Virtual talk Virtual talk | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-05-12 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-05-05 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-05-04 | 12:15 | Thorsten Holz | Towards Resilient and Sustainable Software Security | Virtual talk Virtual | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2022-05-03 | 13:00 | Prafullkumar Tale | Practice lecture on String Processing | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2022-04-28 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-04-25 | 10:00 | Cuong Xuan Chu | Knowledge Extraction from Fictional Texts | Virtual talk Virtual talk | Promotionskolloquium | ![]() | |||||
2022-04-25 | 14:15 | Iryna Gurevych | Comment – Link – Revise: Towards a General Framework for Modelling Interconnected Texts | Virtual talk virtual talk | MPI Colloquium Series Distinguished Speaker | ![]() | |||||
|
| ![]() | |||||||||
2022-04-21 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-04-19 | 13:00 | Prafullkumar Tale | (CANCELLED) Practice lecture on String Processing. | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-04-14 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-04-07 | 11:00 | Long Tran-Thanh | Saving Stochastic Bandits from Poisoning Attacks via Limited Data Verification | Virtual talk Virtual talk | SWS Colloquium | ![]() | |||||
2022-04-07 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-04-06 | 12:15 | Adam Kortylewski | Robust Deep Neural Networks for Computer Vision | Virtual talk Virtual | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2022-03-31 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-03-29 | 13:00 | Prafullkumar Tale | Parameterized Complexity of Edge Contraction Problems | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
2022-03-29 | 15:00 | Maria Florina Balcan | Machine learning for algorithm design | Virtual talk [KL] zoom | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2022-03-24 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-03-23 | 18:00 | Magdalena Balazinska | Video Data Management | Virtual talk Virtual talk | MPI Colloquium Series Distinguished Speaker | ![]() | |||||
|
| ![]() | |||||||||
2022-03-17 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-03-15 | 13:00 | Karol Węgrzycki | Isolation schemes for problems on decomposable graphs | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2022-03-14 | 10:00 | Roberto Navigli | Recent Developments in Multilingual Natural Language Understanding | Virtual talk Virtual talk | MPI Colloquium Series Distinguished Speaker | ![]() | |||||
|
| ![]() | |||||||||
2022-03-10 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-03-09 | 12:00 | Gael Varoquaux | Embeddings of databases for analytics robust to alignment errors | E1 4 024 | AG5 Talk | ![]() | |||||
|
| ![]() | |||||||||
2022-03-04 | 14:00 | Adam Dziedzic | Confidential and Private Collaborative Machine Learning | Virtual talk Virtual talk | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-03-03 | 10:00 | Anwar Hithnawi | Systems Designs for End-to-End Privacy | Virtual talk Virtual talk | CIS@MPG Colloquium | ![]() | |||||
2022-03-03 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-03-02 | 17:00 | Pardis Emami-Naeini | Empowering People to Have Secure and Private Interactions with Digital Technologies | Virtual talk Virtual talk | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-03-01 | 15:00 | Yixin Zou | Improving People’s Adoption of Security and Privacy Behaviors | Virtual talk Virtual talk | CIS@MPG Colloquium | ![]() | |||||
2022-03-01 | 18:00 | Yejin Choi | Knowledge is Power: Symbolic Knowledge Distillation, Commonsense Morality, and Multimodal Script Knowledge | Virtual talk Virtual talk | INF Distinguished Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2022-02-28 | 15:00 | Suguman Bansal | Specification-Guided Policy-Synthesis | Virtual talk Virtual talk | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-02-24 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-02-23 | 16:00 | Rowan Zellers | Grounding Language by Seeing, Hearing, and Interacting | Virtual talk Virtual talk | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-02-22 | 15:00 | Aaron Schein | Measurement and Experimentation in Complex Sociopolitical Processes | Virtual talk Virtual talk | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-02-21 | 15:00 | Ningning Xie | Language theory into practice, a play in three acts | Virtual talk Virtual talk | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-02-18 | 11:00 | Anna Tigunova | Extracting personal information from conversations | Virtual talk virtual talk | Promotionskolloquium | ![]() | |||||
2022-02-18 | 16:00 | Yao Qin | Improving Robustness in Machine Learning Models | Virtual talk Virtual talk | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-02-17 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
2022-02-17 | 16:00 | Stephanie Wehner | Quantum Networks: From a Physics Experiment to a Quantum Network System | E1 4 325 | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2022-02-15 | 10:00 | Yiqing Hua | Characterizing and Mitigating Threats to Trust and Safety Online | Virtual talk Virtual talk | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-02-11 | 09:30 | Krikamol Muandet | Toward Reliable Machine Learning with Kernels | Virtual talk Virtual talk | CIS@MPG Colloquium | ![]() | |||||
2022-02-11 | 12:00 | Hadi Daneshmand | How do neurons learn? | Virtual talk Virtual talk | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-02-10 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
2022-02-10 | 14:00 | Wenbo Guo | Strengthening and Enriching Machine Learning for Cybersecurity | Virtual talk Virtual talk | CIS@MPG Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2022-02-03 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-02-02 | 12:15 | Goran Radanovic | Robust and Accountable Multi-Agent Sequential Decision Making | Virtual talk Virtual | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2022-01-27 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-01-20 | 10:00 | Willy Zwaenepoel | Software for Fast Storage Hardware | Virtual talk Virtual Talk | SWS Distinguished Lecture Series | ![]() | |||||
2022-01-20 | 13:00 | D1 Group Members | D1 Group Meeting (virtual) | Virtual talk Virtual talk | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2022-01-18 | 13:00 | Benedikt Geilenkeuser | FPT-Algorithms for the Treewidth-3 Modulator Problem (Master Thesis) | Virtual talk Virtual talk | AG1 Mittagsseminar (own work) | ![]() | |||||
2022-01-18 | 15:00 | Nina Grgić-Hlača | Human Factors in Machine-Assisted Decision-Making | E1 4 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() |