Previous Page | Next Page | Expand All | Collapse All
![]() | ![]() | Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||
---|---|---|---|---|---|---|---|---|---|---|---|
|
| ![]() | |||||||||
2020-08-27 | 13:00 | Jannis Köhl | Branch & Converge: A Generic Technique for Boundable Problems (Bachelor Seminar) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-08-26 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-08-21 | 11:00 | Ralf Jung | Understanding and Evolving the Rust Programming Language | E1 5 021 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2020-08-19 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-08-18 | 13:00 | Siddharth Barman | Fair Cake Division Under Monotone Likelihood Ratios | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
|
| ![]() | |||||||||
2020-08-12 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-08-11 | 13:00 | Ian W. Jones | Metastability Masking Flip-flops | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-08-10 | 13:00 | Golnoosh Shahkarami | Complexity of Computing the Anti-Ramsey Numbers for Paths | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-08-05 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-07-29 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-07-28 | 13:00 | Guy Even | Optimized Scheduling of COVID-19 Testing | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-07-23 | 13:00 | Pranabendu Misra | An optimal approximation algorithm for Feedback Vertex Set in Tournaments | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-07-22 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-07-21 | 13:00 | Stefan Schmid | Self-Adjusting Networks: From Metrics to Algorithms | virtual virtual | AG1 Mittagsseminar (others' work) | ![]() | |||||
2020-07-21 | 16:00 | Johannes Bund | PALS: Plesiochronous and Locally Synchronous Systems | virtual virtual | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-07-15 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-07-09 | 13:00 | Deni Begaj | Building a platform for modeling and solving Optimization problems (Master seminar) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-07-08 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-07-07 | 13:00 | Marvin Künnemann | Finding Small Satisfying Assignments Faster Than Brute Force: A Fine-grained Perspective into Boolean Constraint Satisfaction | virtual virtual | AG1 Mittagsseminar (own work) | ![]() | |||||
2020-07-07 | 16:00 | Yongqin Xian | Learning from Limited Labeled Data - Zero-Shot and Few-Shot Learning | E1 4 Zoom | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-07-06 | 14:00 | Kailash Budhathoki | Causal Inference on Discrete Data | E1 4 Zoom | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-07-02 | 13:00 | Leonie Krull | Algorithms for MILPs | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
2020-07-02 | 15:00 | Indranil Gupta | The Future of Technology Will Not Be Technological | E1 4 Zoom Meeting | Colloquium Lecture | ![]() | |||||
|
| ![]() | |||||||||
2020-07-01 | 11:00 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-06-30 | 13:00 | Themis Gouleakis | Distribution-Independent PAC Learning of Halfspaces with Massart Noise | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-26 | 14:00 | Marko Mrsic | Towards an Optimization Platform (Bachelor seminar) | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-25 | 13:00 | Bhaskar Ray Chaudhury | EFX Exists for Three Agents | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-24 | 10:00 | Eskam Elnikety | Comprehensive and Practical Policy Compliance in Data Retrieval Systems | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
2020-06-24 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-06-23 | 13:00 | Jasper Slusallek | Algorithms and Lower Bounds for Finding Exact-Weight Subgraphs of Bounded Treewidth (Bachelor thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-18 | 13:00 | Sándor Kisfaludi-Bak | A quasi-polynomial algorithm for well-spaced hyperbolic TSP | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-17 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-06-16 | 13:00 | Vasileios Nakos | (Nearly) Sample-Optimal Sparse Fourier Transform in Any Dimension | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-15 | 16:00 | Roxana Geambasu | Security and Privacy Guarantees in Machine Learning with Differential Privacy | E1 4 Zoom | SWS Distinguished Lecture Series | ![]() | |||||
2020-06-15 | 16:30 | Elizaveta Kovalevskaya | The Complexity of Reading Articles in an Online Setting (Master's defence) | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-10 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-06-09 | 13:00 | Prafullkumar Tale | On the Parameterized Complexity of Grid Contraction | 000 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-06-03 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2020-06-03 | 12:15 | Cas Cremers | CANCELLED The (In)Security of Modern Communication: From Guesses to Guarantees | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-05-27 | 10:30 | Jan-Oliver Kaiser | Mtac2: Strongly-Typed Tactic- and Meta-Programming for Coq | E1 5 Online | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
2020-05-27 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-05-25 | 16:00 | Hadas Kress-Gazit | Formal Synthesis for Robots | G26 [KL] online | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2020-05-24 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-05-20 | 10:00 | Emanuele D'Osualdo | In Search of Compositional Verification for Concurrent Programs | E1 5 Remote | Colloquium Lecture | ![]() | |||||
2020-05-20 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-05-13 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-05-10 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 024 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-05-07 | 13:00 | Hossein Vahidi | Distributed Minimum Directed Spanning Tree | 000 Video only | AG1 Mittagsseminar (others' work) | ![]() | |||||
|
| ![]() | |||||||||
2020-05-06 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-04-29 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (virtual) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-04-23 | 13:00 | Daniel Neuen | Quasipolynomial Time Isomorphism Tests for Parameterized Graph Classes | 000 Video only | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-04-22 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (ID 1095) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-04-21 | 13:00 | Prafullkumar Tale | About Graph Contraction Problems | 000 Video only | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-04-15 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (ID 1095) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-04-14 | 15:00 | Gayane Vardoyan | Talk: On the Analysis of Entanglement Distribution in a Quantum Network | - - | Talk | ![]() | |||||
|
| ![]() | |||||||||
2020-04-09 | 13:00 | Mathieu Mari | Fixed-parameter algorithms for Unsplittable Flow Cover | Video only 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-04-08 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (ID 1095) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-04-07 | 13:00 | Pieter Kleer | Learning-Augmented Online Selection Algorithms | Video only 000 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-04-06 | 10:00 | Danupon Nanonkai | New Perspectives on Old Graph Questions (Video Talk) | E1 4 024 | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2020-04-01 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (ID 1095) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2020-04-01 | 12:15 | Julian Baldus | CANCELLED: Computer Science Competitions @ SIC | E2 2 Günther-Hotz-HS | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-03-31 | 11:00 | Martin Grohe | Symmetry and Similarity (Video Lecture) | E1 4 Video Lecture | Colloquium Lecture | ![]() | |||||
2020-03-31 | 11:00 | Martin Grohe | To be announced | E1 4 024 | Colloquium Lecture | ![]() | |||||
|
| ![]() | |||||||||
2020-03-26 | 10:00 | Yiting Xia | *Remote Talk* Improve Operations of Data Center Networks with Physical-Layer Programmability | E1 5 029 | SWS Colloquium | ![]() | |||||
2020-03-26 | 14:00 | David Steurer | Quest for a unified theory of efficient optimization and estimation (Video Lecture) | E1 4 Video | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2020-03-25 | 11:30 | Kurt Mehlhorn | D1 Group Meeting (ID 1095) | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-03-18 | 10:00 | Yannis Kalantidis | *Remote Talk* Learning efficient representations for image and video understanding | E1 5 029 | SWS Colloquium | ![]() | |||||
2020-03-18 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-03-16 | 10:00 | Niki Kilbertus | *Remote Talk* Fairness in machine learning | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-03-12 | 13:00 | Radha Venkatagiri | *Remote Talk* Democratizing Error-Efficient Computing | E1 5 029 | SWS Colloquium | ![]() | |||||
2020-03-12 | 13:00 | Surender Baswana | Fault Tolerant DFS in Undirected Graphs - Simple yet Efficient | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-03-11 | 10:00 | Hamid Rahkooy | Automated Reasoning in the Sciences: Biological Models and Chemical Reaction Networks | E1 5 630 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2020-03-10 | 10:00 | Shin Hwei Tan | Search-based automated program repair and testing | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
2020-03-10 | 13:00 | Surender Baswana | Mincut Sensitivity Data Structures for Insertion of an Edge. | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-03-05 | 13:00 | Antonios Antoniadis | Parallel Machine Scheduling to Minimize Energy Consumption | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-03-04 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2020-03-04 | 12:15 | Viktor Vafeiadis | CANCELLED: Model checking under weak memory concurrency | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-02-27 | 13:00 | Ian W. Jones | Detecting Glitch Paths in Chip Designs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2020-02-27 | 14:00 | Qingyun Wu | Learning by exploration in an unknown and changing environment | E1 5 SB 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-02-25 | 10:00 | Giulio Malavolta | Compactness in Cryptography | E1 5 029 | SWS Colloquium | ![]() | |||||
2020-02-25 | 13:00 | Alejandro Cassis | Fine-Grained Complexity of Exists^k-Forall-Quantified First-Order Graph Properties: Optimization and Approximability (Master Thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-02-21 | 13:00 | Naveen Garg | Half-integral Duals, Connectivity Augmentation and Multiflows in Planar Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-02-19 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2020-02-13 | 13:00 | Nofar Carmeli | Enumeration Complexity of Unions of Conjunctive Queries | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-02-12 | 10:15 | Klaus-Tycho Foerster | Towards Reconfigurable Optical Networks: Opportunities and Challenges | E1 5 029 | Informatik-Kolloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-02-11 | 13:00 | Corinna Coupette | Cultivating Cluster Trees | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-02-10 | 10:00 | Marcel Böhme | Software Testing as Species Discovery | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-02-07 | 10:00 | Asia J. Biega | Designing responsible information systems | E1 5 029 | SWS Colloquium | ![]() | |||||
2020-02-07 | 15:00 | Debayan Roy | Hybrid optimization techniques for multi-domain coupling in cyber-physical systems design | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-02-06 | 13:00 | Sami Shalayel | Column Generation for the Reconstruction of Ultrasound Full Matrix Capture Data (BSc Defense) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-02-05 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2020-02-05 | 12:15 | Jan Reineke | Spectector: Principled Detection of Speculative Information Flows | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2020-02-04 | 13:00 | Kurt Mehlhorn | A Solution to Excercise 8.13 (The Maximum-Level Vertex in an Arrangement of Lines) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-02-03 | 13:00 | Ian W. Jones | Chip Design Goes “Boink” | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2020-02-03 | 13:45 | Abhimitra Meka | Live Inverse Rendering | E1 4 019 | Promotionskolloquium | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2020-01-30 | 13:00 | Sandeep R. B. | Incompressibility of H-free edge modification problems: Towards a dichotomy | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2020-01-30 | 15:00 | Goran Zuzic | Towards Universal Optimality in Distributed Optimization | E1 5 105 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2020-01-28 | 10:00 | Mathias Fleury | Formalization of Logical Calculi in Isabelle/HOL | E1 4 024 | Promotionskolloquium | ![]() | |||||
2020-01-28 | 13:00 | Elizaveta Kovalevskaya | Reading Articles Online (Master thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-01-17 | 10:00 | Mahmoudreza Babaei | Information Consumption on Social Media: Efficiency, Divisiveness, and Trust | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
2020-01-17 | 10:30 | Jon Howell | veribetrfs: Verification as a Practical Engineering Tool | E1 5 029 | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2020-01-16 | 13:00 | Philipp Schepper | Tight Bounds for Regular Expression Pattern Matching and Membership (Master thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-01-15 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2020-01-15 | 16:30 | Maximilian John | Of Keyboards and Beyond - Optimization in Human-Computer Interaction | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2020-01-14 | 13:00 | Karl Bringmann | Top-k-Convolution and the Quest for Near-Linear Output-Sensitive Subset Sum | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2020-01-08 | 12:15 | Dániel Marx | Towards a Tight Understanding of the Complexity of Algorithmic Problems | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2019-12-18 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2019-12-17 | 13:00 | Nico Gründel | Improving Computational Upper and Conditional Lower Bounds of Fréchet Distance on Practical Input Curves (Bachelor thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-12-16 | 10:30 | Işıl Dillig | Computer-Aided Programming Across Software Stack | G26 [KL] 111 | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2019-12-12 | 10:30 | Conrad Watt | WebAssembly: Mechanisation, Security, and Concurrency | E1 5 029 | SWS Colloquium | ![]() | |||||
2019-12-12 | 14:00 | Dhruv Gupta | Search and Analytics Using Semantic Annotations | E1 4 0.24 | Promotionskolloquium | ![]() | |||||
2019-12-12 | 18:00 | Prof. Anthony Elliott | CEUS Talk The Politics of Digital transformation: Challenges and opportunities for the EU and Australia | C7 1 C7 4, 1.17 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2019-12-10 | 09:00 | Alberto Griggio | SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators | E1 5 002 | Talk | ![]() | |||||
2019-12-10 | 10:00 | Ralf Jung | Understanding and Evolving the Rust Programming Language | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
2019-12-10 | 11:00 | Pascal Fontaine | Quantifiers and SMT | E1 5 002 | Talk | ![]() | |||||
2019-12-10 | 14:00 | Martin Bromberger | Decision Procedures for Linear Arithmetic | E1 5 002 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-12-06 | 14:00 | Reinhard Munz | Towards Usability in Private Data Analytics | G26 [KL] 607 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2019-12-04 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2019-12-04 | 12:15 | Sophie Tourret | Stronger Higher-order Automation | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2019-12-03 | 10:30 | Alex Summers | Prusti – Deductive Verification for Rust | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
2019-12-03 | 15:00 | Yang He | Improved Methods and Analysis for Semantic Image Segmentation | E1 4 024 | Promotionskolloquium | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2019-11-28 | 13:00 | Julian Baldus | A fast implementation of near neighbors queries for Frechet distance (Bachelor thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-11-26 | 13:00 | Sandor Kisfaludi-Bak | One-round discrete Voronoi Games | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2019-11-26 | 14:15 | Felix Naumann | Exploring Change – A New Dimension of Data Analytics | E1 4 024 | Colloquium Lecture | ![]() | |||||
2019-11-26 | 16:00 | Kashyap Popat | Credibility Analysis of Textual Claims with Explainable Evidence | E1 5 029 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-11-20 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2019-11-19 | 13:00 | Pieter Kleer | Uniform sampling of graphs with a given degree sequence | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-11-14 | 10:00 | Mohsen Ghaffari | Network Decomposition and Derandomization for Distributed Algorithms | E1 4 024 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2019-11-12 | 13:00 | Karol Wegrzycki | Equal-Subset-Sum Faster Than the Meet-in-the-Middle | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-11-08 | 12:00 | Julian Steil | Mobile Eye Tracking for Everyone | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-11-06 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2019-11-06 | 12:15 | Paramita Mirza | Personal Knowledge Extraction: What Can Be Inferred From What You Say and Do | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2019-11-04 | 10:30 | Jessica Hoffmann | Dealing with Epidemics under Uncertainty | G26 111 | SWS Colloquium | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2019-10-31 | 13:00 | Ian W. Jones | Visualization in Circuit Design | E1 4 024 | AG1 Mittagsseminar (others' work) | ![]() | |||||
|
| ![]() | |||||||||
2019-10-24 | 13:00 | Philip Wellnitz | Counting Induced Subgraphs: An Algebraic Approach to #W[1]-Hardness | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-10-22 | 13:00 | Lazar Milenkovic | Approximation Algorithms for the Bottleneck Asymmetric Traveling Salesman Problem | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-10-17 | 16:00 | Utkarsh Upadhyay | Knowledge and Information Dissemination: Models and Methods | G26 [KL] 111 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2019-10-16 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2019-10-15 | 15:00 | Scott Kilpatrick | Non-Reformist Reform for Haskell Modularity | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2019-10-08 | 15:00 | Yusra Ibrahim | Understanding Quantities in Web Tables and Text | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-10-07 | 10:30 | Stefan Saroiu | Are We Susceptible to Rowhammer? An End-to-End Methodology for Cloud Providers | E1 5 002 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-10-02 | 10:30 | Claude Castelluccia | Toward Cognitive Security | E1 5 029 | SWS Colloquium | ![]() | |||||
2019-10-02 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2019-10-02 | 12:15 | Paul Swoboda | Efficient Optimization for Very Large Combinatorial Problems in Computer Vision and Machine Learning | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2019-09-30 | 10:30 | Maria Rauschenberger | Human-Centered Design and Data Science for Good | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-09-24 | 10:30 | YoungGyoun Moon | Accelerating Network Applications with Stateful TCP Offloading | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-09-18 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2019-09-16 | 10:30 | Cesare Tinelli | Synthesis from within: implementing automated synthesis inside an SMT solver | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-09-12 | 10:30 | Sandor Kisfaludi-Bak | ETH-tight algorithms for geometric network problems | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
|
| ![]() | |||||||||
2019-09-10 | 13:00 | Stephan-Alexander Ariesanu | Circuit Delay Minimization Using Convex Optimization | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-09-09 | 11:00 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2019-09-06 | 13:00 | Shahrzad Haddadan | Random walks and their application in exploring networks and ranking objects | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-09-04 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2019-09-04 | 12:15 | Vahid Babaei | Computational Fabrication: 3D Printing and Beyond | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2019-08-28 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2019-08-27 | 14:00 | Vineet Rajani | A type theory for amortized resource analysis | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2019-08-21 | 10:30 | Tanja Käser | Modeling and Individualizing Learning in Computer-Based Environments | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-08-20 | 16:00 | Marcel Hark | Aiming Low is Harder: Inductive Lower Bounds in Probabilistic Program Verification | E1 5 630 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2019-08-13 | 13:00 | Bhaskar Ray Chaudhury | A Little Charity Guarantees Almost Envy-Freeness | E1 4 022 | AG1 Mittagsseminar (own work) | ![]() | |||||
2019-08-13 | 13:45 | Kurt Mehlhorn | Trustworthy Graph Algorithms | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-08-08 | 13:00 | Andrea Hornakova | Higher Order Disjoint Paths for Multiple Object Tracking | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-08-07 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2019-07-31 | 09:00 | Erich Grädel | Provenance Analysis for Logic and Games | E1 4 024 | Talk | ![]() | |||||
2019-07-31 | 11:00 | Alexander Leitsch | Algorithmic Analysis of Proofs via CERES | E1 4 024 | Talk | ![]() | |||||
2019-07-31 | 14:00 | Marco Voigt | Decidable Fragments of First-Order Logic and of First-Order Linear Arithmetic with Uninterpreted Predicates | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-07-23 | 13:00 | Kurt Mehlhorn | New Convergence Results for the Physarum Dynamics | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-07-19 | 10:30 | Martin Ziegler | Computer Science for Numerics | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-07-18 | 13:00 | Magnus Danielson | Synchronization routing in telecom networks | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-07-17 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2019-07-16 | 13:00 | Soham Chakraborty | Correct Compilation of Relaxed Memory Concurrency | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2019-07-15 | 10:30 | Mary Baker | Design Problems: Trustworthy Smart Devices and 3D Printed Lace | E1 5 029 | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2019-07-11 | 13:00 | Nick Fischer | A Fine-Grained Analogue of Schaefer's Theorem in P: Dichotomy of Exists^k Forall-Quantified First-Order Graph Properties | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-07-10 | 10:30 | Sanjar Karaev | Matrix Factorization over Dioids and its Applications in Data Mining | E1 5 029 | Promotionskolloquium | ![]() | |||||
2019-07-10 | 15:15 | Matthijs van Leeuwen | Mine, Interact, Learn, Repeat | E1 5 029 | Colloquium Lecture | ![]() | |||||
|
| ![]() | |||||||||
2019-07-09 | 13:00 | Guy Kortsarz | Between the metric and non metric facility location problems | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-07-08 | 10:30 | Abhik Roychoudhury | Automated Program Repair | G26 [KL] 111 | SWS Distinguished Lecture Series | ![]() | |||||
2019-07-08 | 15:15 | Srikanta Bedathur | Index-free Approximation of Reachability Queries on Graphs | E1 4 024 | Colloquium Lecture | ![]() | |||||
|
| ![]() | |||||||||
2019-07-04 | 13:00 | Bundit Laekhanukit | An O(log^2{k}/log log {k})-Approximation Algorithm for Directed Steiner Tree: A Tight Quasi-Polynomial-Time Algorithm | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-07-03 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2019-07-03 | 12:15 | Mario Fritz | The Bright and Dark Sides of Computer Vision: Challenges and Opportunities for Privacy and Security | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2019-07-02 | 11:15 | André Platzer | Safe AI for CPS | E1 5 029 | Talk | ![]() | |||||
2019-07-02 | 13:00 | Maximilian John | Dynamic Sparsification for Quadratic Assignment Problems | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2019-06-28 | 10:30 | Gordon Wetzstein | Computational Single-photon Imaging | E1 4 019 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2019-06-27 | 13:00 | Guy Even | to be announced | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-06-25 | 13:00 | Pieter Kleer | The switch Markov chain for the uniform sampling of graphs with given degrees | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-06-24 | 13:00 | Mirko | TBA | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2019-06-24 | 13:00 | Mirko Rossi | Some Approximability Results on Delivering Messages with Mobile Agents | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-06-21 | 10:00 | Khaled Elbassioni | Some Black-box Reductions for Cost-robust Discrete Optimization Problems | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2019-06-21 | 15:00 | Themis Gouleakis | Communication and Memory Efficient Testing of Discrete Distributions | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-06-19 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2019-06-18 | 13:00 | Sandip Sinha | Local Decodability of the Burrows-Wheeler Transform | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-06-17 | 13:00 | Stefano Leucci | Tracking Routes in Communication Networks | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2019-06-17 | 15:00 | Naveen Garg | A constant approximation algorithm for weighted flow time | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-06-13 | 13:00 | Sami Shalayel | An optimzation problem from non-destructive testing using ultrasound | E1 5 029 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-06-11 | 13:00 | Bhaskar Ray Chaudhury | Polyline Simplification has Cubic Complexity | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-06-10 | 10:30 | Ceren Budak | Fake News During the 2016 U.S. Presidential Elections: Prevalence, Agenda, and Stickiness. | E1 5 005 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-06-06 | 13:00 | André Nusser | Walking the Dog Fast in Practice: Algorithm Engineering of the Fréchet Distance | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-06-05 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2019-06-05 | 12:15 | Rhaleb Zayer | Bridging the Performance Gap in Digital Geometry Processing | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2019-06-04 | 10:30 | Koushik Sen | Automated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and Beyond | G26 [KL] 111 | SWS Distinguished Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2019-05-31 | 10:30 | Tom Anderson | High Performance Operating Systems in the Data Center | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-05-27 | 13:00 | George Christodoulou | The price of stability of (weighted) congestion games with polynomial latencies | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-05-23 | 10:30 | Theopilus Benson | Systematic Approach to Managing Software Defined Networks | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-05-21 | 13:00 | André Nusser | Ipe Tutorial | E1 4 024 | AG1 Mittagsseminar (basic education) | ![]() | |||||
|
| ![]() | |||||||||
2019-05-20 | 10:30 | Dr Giovani Gracioli | On the Predictability of Heterogeneous SoC Multicore Platforms | G26 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-05-17 | 10:30 | Jinyang Li | Transparent Scaling of Deep Learning Systems through Dataflow Graph Analysis | E1 5 002 | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2019-05-16 | 14:00 | Goran Radanovic | Humans and Machines: From Data Elicitation to Helper-AI | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-05-15 | 10:30 | Nikolaj Volgushev | Conclave: Secure Multi-Party Computation on Big Data | E1 5 029 | SWS Colloquium | ![]() | |||||
2019-05-15 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2019-05-15 | 12:15 | Damien Zufferey | Programming Abstractions for Verifiable Software | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2019-05-14 | 13:00 | Johannes Bund | Optimal Metastability-Containing Sorting Networks | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-05-09 | 10:30 | Étienne Miquey | A constructive proof of dependent choice in classical arithmetic via memoization | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-05-07 | 13:00 | Sören Bund-Becker | Creating a Markup Language for Mixed Integer Linear Programs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-05-03 | 15:30 | Filip Nikšic | Combinatorial Constructions for Effective Testing | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2019-05-02 | 10:00 | Sandhya Dwarkadas | Sharing-Aware Resource Management for Performance and Protection | E1 5 002 | SWS Distinguished Lecture Series | ![]() | |||||
2019-05-02 | 11:30 | Emilio Zagheni | Combining Facebook data with traditional sources to study migration processes | E1 4 024 | Colloquium Lecture | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2019-04-30 | 13:00 | Suman Banerjee | Edge Computing in the Extreme and its Applications | E1 5 105 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-04-29 | 14:30 | Moses Ganardi | Querying Regular Languages over Sliding Windows | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-04-17 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2019-04-16 | 13:00 | Karl Bringmann | Approximating APSP without Scaling | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-04-12 | 11:00 | Abdalghani Abujabal | Question Answering over Knowledge Bases with Continuous Learning | E1 4 024 | Promotionskolloquium | ![]() | |||||
2019-04-12 | 15:00 | Jimmy Lin | Rigor in Deep Learning for NLP and IR | E1 4 024 | Colloquium Lecture | ![]() | |||||
|
| ![]() | |||||||||
2019-04-08 | 11:30 | Evgeny Levinkov | Generalizations of the Multicut Problem for Computer Vision | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-04-05 | 14:00 | Sylvain Schmitz | The complexity of reachability in vector addition systems | G26 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-04-04 | 14:00 | Marvin Damschen | Worst-Case Execution Time Guarantees for Runtime-Reconfigurable Architectures | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-04-03 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2019-04-03 | 12:15 | Balakrishnan Chandrasekaran | The Server-to-Server Landscape: Insights, Opportunities, and Challenges | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2019-04-01 | 11:00 | Carlos Castillo | Detecting Algorithmic Bias | E1 4 024 | INF Distinguished Lecture Series | ![]() | |||||
2019-04-01 | 15:15 | Joanna Biega | Enhancing Privacy and Fairness in Search Systems | E1 4 024 | Promotionskolloquium | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2019-03-21 | 13:00 | Pavel Vesely | A ϕ-Competitive Algorithm for Scheduling Packets with Deadlines | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-03-20 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2019-03-14 | 13:00 | Jukka Suomela | The landscape of distributed time complexity | E1 4 024 | AG1 Mittagsseminar (others' work) | ![]() | |||||
|
| ![]() | |||||||||
2019-03-13 | 10:30 | Martina Maggio | Feedback-Control for Self-Adaptive Predictable Computing | E1 5 029 | SWS Colloquium | ![]() | |||||
2019-03-13 | 12:15 | Gurprit Singh | Analyzing Sample Correlations for Monte Carlo Rendering | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2019-03-12 | 13:00 | Boaz Patt-Shamir | On the Probe Complexity of Local Computation Algorithms | E1 4 024 | AG1 Mittagsseminar (others' work) | ![]() | |||||
|
| ![]() | |||||||||
2019-03-11 | 10:30 | Sangeetha Abdu Jyothi | Automated Resource Management in Large-Scale Networked Systems | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-03-08 | 10:30 | Matthias Becker | Predictable Execution of Real-Time Applications on Many-Core Platforms | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-03-07 | 10:30 | Oana Goga | Privacy, Transparency and Trust in the User-Centric Internet | E1 5 029 | SWS Colloquium | ![]() | |||||
2019-03-07 | 13:00 | Ioana Bercea | Power of two choices filter for approximate membership queries | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
2019-03-07 | 16:30 | Aastha Mehta | Mitigating data leaks in real world systems | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2019-03-06 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2019-03-05 | 10:30 | Mrinmaya Sachan | Towards Literate Artificial Intelligence | E1 5 029 | SWS Colloquium | ![]() | |||||
2019-03-05 | 13:00 | Enrico Facca | Nature-Inspired Optimization | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2019-02-28 | 10:30 | Natacha Crooks | A Client-centric Approach to Transactional Datastores | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-02-26 | 13:00 | Joel Rybicki | Approximate Agreement on Graphs | E1 4 024 | AG1 Mittagsseminar (others' work) | ![]() | |||||
|
| ![]() | |||||||||
2019-02-20 | 10:30 | Theodoros Gkountouvas | : Improving Data Analysis by Exploiting Temporal Information | E1 5 029 | Talk | ![]() | |||||
2019-02-20 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2019-02-18 | 10:30 | Malte Schwarzkopf | New Abstractions for High-Performance Datacenter Applications | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2019-02-14 | 09:00 | Viktor Erdélyi | Scalable positioning of commodity mobile devices using audio signals | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
2019-02-14 | 13:00 | Jukka Suomela | Lower bounds for maximal matchings and maximal independent sets | E1 4 024 | AG1 Mittagsseminar (others' work) | ![]() | |||||
|
| ![]() | |||||||||
2019-02-12 | 13:00 | Michael Kenzel | Software Graphics Pipelines for the GPU | DFKI D3 4 VisCenter, -1.63 | Talk | ![]() | |||||
2019-02-12 | 13:00 | Pranabendu Misra | Parameterized Complexity of Connectivity Augmentation problems | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-02-07 | 10:30 | Cristian Cadar | Dynamic Symbolic Execution for Software Analysis | G26 [KL] 111 | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2019-02-06 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2019-02-06 | 12:15 | Adish Singla | Machine Teaching | E1 5 002 | Joint Lecture Series | ![]() | |||||
2019-02-06 | 16:15 | Saeed Amiri | Reading Group: Important Cuts and their Applications | E1 4 024 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2019-02-05 | 17:30 | Anjo Vahldiek-Oberwagner | Techniques to Protect Confidentiality and Integrity of Persistant and In-Memory Data | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2019-02-04 | 18:00 | Bilal Zafar | Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2019-02-01 | 10:30 | Helmut Seidl | How to Win a First-Order Safety Game | G26 [KL] 111 | SWS Distinguished Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2019-01-30 | 16:15 | Eunjin Oh | Reading Group: Clustering Problems on Sliding Windows | E1 4 024 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2019-01-25 | 10:00 | Jürgen Giesl | Automated Complexity Analysis for Java Programs with AProVE | E1 5 002 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2019-01-24 | 13:00 | Vasileios Nakos | Nearly Optimal Sparse Polynomial Multiplication | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2019-01-24 | 16:00 | Florian Frohn | Complexity Analysis for Term Rewriting by Integer Transition Systems | E1 5 002 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2019-01-23 | 16:15 | Nico Gründel | Reading Group: On the Difference Between Closest, Furthest, and Orthogonal Pairs: Nearly-Linear vs Barely-Subquadratic Complexity in Computational Geometry | E1 4 024 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2019-01-22 | 10:00 | Florian Frohn | Automated Complexity Analysis of Rewrite Systems | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
2019-01-22 | 13:00 | Stefano Leucci | Optimal Sorting with Persistent Comparison Errors | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2019-01-16 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2019-01-16 | 16:15 | Daniel Radke | Refined Vertex Sparsifiers of Planar Graphs | E1 4 024 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2019-01-15 | 13:00 | Haibo Chen | Virtualization Security: The Good, The Bad and The Ugly | E1 5 029 | Colloquium Lecture | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2018-12-20 | 16:00 | Juhi Kulshrestha | Quantifying & Characterizing Information Diets of Social Media Users | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2018-12-19 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2018-12-13 | 10:30 | Animesh Mukherjee | Language dynamics in social media | G26 [KL] 113 | SWS Colloquium | ![]() | |||||
2018-12-13 | 13:00 | Philip Wellnitz | Few Matches or Almost Periodicity: Faster Pattern Matching with Mismatches in Compressed Texts | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-12-12 | 16:15 | Antonios Antoniadis | A Nearly-linear Bound for Chasing Nested Convex Bodies | E1 4 024 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2018-12-11 | 13:00 | André Nusser | Fréchet Distance Under Translation: Conditional Hardness and an Algorithm via Offline Dynamic Grid Reachability | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-12-05 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2018-12-05 | 12:15 | Nico Döttling | Post-quantum Challenges in Secure Computation | E1 5 002 | Joint Lecture Series | ![]() | |||||
2018-12-05 | 16:15 | Alkmini Sgouritsa | Barriers to Near-Optimal Equilibria | E1 4 024 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2018-12-03 | 16:30 | Paarijaat Aditya | Privacy-Compliant Mobile Computing | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2018-11-29 | 13:00 | Bhaskar Ray Chaudhury | Sketching, Streaming and Fine Grained Complexity of (Weighted) LCS | E 1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-11-27 | 10:30 | Paul Resnick | Survey Equivalence: An Information-theoretic Measure of Classifier Accuracy When the Ground Truth is Subjective | E1 5 002 | SWS Distinguished Lecture Series | ![]() | |||||
2018-11-27 | 13:00 | Attila Kinali | Noise in Sine-to-Square Converters | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2018-11-27 | 16:15 | Pavel Kolev | Algorithmic Results for Clustering and Refined Physarum Analysis | E1 5 029 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-11-22 | 13:00 | Yiannis Giannakopoulos | Optimality and Approximation in Revenue-Maximizing Auctions | E1 4 024 | AG1 Advanced Mini-Course | ![]() | |||||
2018-11-22 | 14:30 | Georg von der Brueggen | More Realistic Scheduling Models and Analyses for Advanced Real-Time Embedded Systems | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
2018-11-22 | 16:00 | Wojciech Czerwiński | The Reachability Problem for Vector Addition Systems is Not Elementary | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-11-21 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2018-11-21 | 16:15 | André Nusser | Customizable Route Planning in Road Networks | E1 4 024 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2018-11-19 | 10:30 | Peter Müller | Verified Secure Routing | G26 [KL] 111 | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2018-11-14 | 10:30 | Dr. Martina Maggio | Feedback Control for Predictable Cloud Computing | G26 111 | SWS Colloquium | ![]() | |||||
2018-11-14 | 16:15 | Daniel Vaz | Euclidean spanners: Short, Thin and Lanky | E1 4 024 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2018-11-13 | 10:30 | Elissa Redmiles | Learning from the People: From Normative to Descriptive Solutions to Problems in Security, Privacy & Machine Learning | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-11-12 | 10:30 | Daniel Marx | The Optimality Program in Parameterized Algorithms | E1 4 024 | INF Distinguished Lecture Series | ![]() | |||||
2018-11-12 | 10:30 | Hoda Heidari | Fairness for Sequential Decision Making Algorithms | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-11-07 | 10:00 | Verschiedene | Symposium for Women in IT and related subjects | E1 5 ground floor | Talk | ![]() | |||||
2018-11-07 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2018-11-07 | 12:15 | Andreas Zeller | Generating Software Tests | E1 5 002 | Joint Lecture Series | ![]() | |||||
2018-11-07 | 16:15 | Tim Oosterwijk | Potential Function Minimizers of Combinatorial Congestion Games: Efficiency and Computation | E1 4 024 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2018-11-06 | 13:00 | Tobias Nipkow | Verified Analysis of Algorithms: A Biased Survey | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2018-11-06 | 16:00 | Vaibhav Bajpai | A Longitudinal View of YouTube Content Delivery | E1 4 Rotunda 5th floor | Talk | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2018-10-30 | 10:00 | Vijay Saraswat | Challenges in deep text understanding in professional domains | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ![]() | |||||
2018-10-30 | 13:00 | Matthias Leinen | Efficient Generation of 1/f^alpha Noise in Matlab Simulink | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-10-24 | 16:15 | Kurt Mehlhorn | A New Path from Splay to Dynamic Optimality | E1 4 024 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2018-10-22 | 10:30 | Sara Achour | Compiling Dynamical Systems for Efficient Simulation on Reconfigurable Analog Computers | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-10-19 | 10:30 | Edith Elkind | Justified representation in multiwinner voting: axioms and algorithms | G26 [KL] 111 | SWS Distinguished Lecture Series | ![]() | |||||
2018-10-19 | 13:00 | Yue Zhang | Interactive Multi-style Pen-and-Ink Drawings from Images | E1 4 019 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-10-18 | 13:00 | Suryajith Chillara | A Quadratic Size-Hierarchy Theorem for Small-Depth Multilinear Formulas | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-10-16 | 13:00 | Reuven Hodges | A non-iterative rule for straightening fillings of Young diagrams | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-10-15 | 10:30 | Dana Drachsler Cohen | AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-10-10 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2018-10-10 | 12:15 | Rishiraj Saha Roy | Complexity in Question Answering | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2018-10-08 | 11:00 | Debabrata Mahapatra | DNNs for Sparse Coding and Dictionary Learning | E1 5 R029 | PhD Application Talk | ![]() | |||||
2018-10-08 | 11:00 | Upendra Kapshikar | Could code based cryptosystems be more compact? | E1 5 R029 | PhD Application Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-10-04 | 13:00 | Andrés Cristi | A Near Optimal Mechanism for Energy Aware Scheduling | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-10-02 | 13:00 | Karl Bringmann | SETH-Based Lower Bounds for Subset Sum and Bicriteria Path | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2018-09-28 | 13:00 | Sourav Chakraborty | On the power of Conditional Sampling | E1 4 023 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-09-27 | 13:00 | Alkmini Sgouritsa | Designing Cost-Sharing Networks with Good Equilibria Under Uncertainty | E1 4 019 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-09-26 | 11:00 | Xucong Zhang | Gaze Estimation and Interaction in Real-World Environments | E1 4 019 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-09-21 | 10:30 | Vlad Nitu | Improving the energy efficiency of virtualized datacenters | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-09-20 | 14:00 | Randy Bush | Critical Infrastructure vs Computer Science vs Software Engineering - We are Doomed | E1 4 019 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-09-19 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2018-09-18 | 10:00 | Hamish Carr | Topological Analysis of Scientific Data | E1 4 019 | Talk | ![]() | |||||
2018-09-18 | 14:00 | Fouzhan Hosseini | Skeletons for Distributed Topological Computation | E1 4 019 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-09-13 | 13:00 | Tim Oosterwijk | About the Price of Anarchy for Flows over Time | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2018-09-13 | 14:30 | David Broman | Gradually Typed Symbolic Expressions: an Approach for Developing Embedded Domain-Specific Modeling Languages | G26 [KL] 113 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-09-12 | 15:30 | Saranya Natarajan | Timed C: An Extension to the C Programming Language for Real-Time Systems | G26 [KL] 113 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-09-10 | 16:00 | Felipe Augusto Queiroz de Cerqueira | PROSA: A Foundation for Verified Schedulability Analysis | G26 [KL] 111 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2018-09-05 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2018-08-28 | 13:00 | Gautam Shroff (Chief Scientist | From Conversational Interfaces to Knowledge Synthesis & Semantic Systems | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ![]() | |||||
|
| ![]() | |||||||||
2018-08-24 | 10:30 | Venkat Padmanabhan | HAMS: Harnessing AutoMobiles for Safety | E1 5 029 | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2018-08-23 | 13:00 | Bhaskar Ray Chaudhury | Curve Simplification has cubic complexity | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-08-21 | 14:00 | Andreas Weber | From Tarski to Tropical Geometry: Towards Symbolic Analysis of Biological Networks | E1 4 024 | Talk | ![]() | |||||
2018-08-21 | 14:00 | Phillip Stanley-Marbell | Not Your Typical Objects: Made from Raw Materials Augmented with Sensing and Computation | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-08-20 | 11:00 | Vijay V. Vazirani | Planar Graph Perfect Matching is in NC | E1 4 024 | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2018-08-09 | 13:00 | Karsten Klein | Immersive Analytics - Concepts and Challenges | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-08-07 | 13:00 | Gorav Jindal | On the Complexity of Symmetric Polynomials | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-08-06 | 10:30 | Florian Tramèr | A tour of ML security | E9 1 0.05 | Talk | ![]() | |||||
2018-08-06 | 14:00 | Vitaly Shmatikov | The Machine Learning Revolution in Data Privacy | E1 4 024 | Talk | ![]() | |||||
2018-08-06 | 16:00 | Seong Joon Oh | Image Manipulation against Learned Models: Privacy and Security Implications | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-08-01 | 11:30 | Kurt Mehlhorn | D1 Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2018-08-01 | 12:15 | Emanuele Natale | Computing with Simple Dynamics and Biological Applications | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2018-07-23 | 11:00 | Bojana Kodric | Incentives in Dynamic Markets | E1.7 (MMCI) 001 | Promotionskolloquium | ![]() | |||||
2018-07-23 | 14:00 | Ruben Becker | On Flows, Paths, Roots, and Zeros | E1.7 (MMCI) 001 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-07-20 | 13:00 | Themistoklis Gouleakis | Improved Massively Parallel Computation Algorithms for MIS, Matching, and Vertex Cover | E1 5 (SWS) 105 | AG1 Mittagsseminar (others' work) | ![]() | |||||
|
| ![]() | |||||||||
2018-07-17 | 13:00 | Debarati Das | Approximating Edit Distance Within Constant Factor in Truly Sub-Quadratic Time | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-07-16 | 12:00 | Max Maria Losch | Inspectable Deep Learning with Bayesian Statistics | E1 4 024 | IMPRS Research Seminar | ![]() | |||||
|
| ![]() | |||||||||
2018-07-12 | 13:00 | Cornelius Brand | Extensor-Coding | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-07-10 | 13:00 | Gorav Jindal | A deterministic PTAS for the transcendence degree of constant degree polynomials | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-07-05 | 13:00 | Daniel Vaz | Beyond Metric Embedding: Approximating Group Steiner Trees on Bounded Treewidth Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2018-07-05 | 16:00 | Nikhil Balaji | Waring rank of monomial | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-07-04 | 12:15 | Maria Christakis | Practical Program Analysis | E1 5 002 | Joint Lecture Series | ![]() | |||||
2018-07-04 | 13:00 | various | 3rd Networking-Meet-Up for Women in Computer Science | E1 5 0.29 | Presentation | ![]() | |||||
|
| ![]() | |||||||||
2018-07-03 | 13:00 | Saeed Amiri | Congestion Free Rerouting of Flows (practice talk for ICALP) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2018-06-29 | 10:30 | Nils Asmussen | Designing a System for Heterogeneous Compute Units | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
2018-06-29 | 11:30 | Joël Ouaknine | Program Invariants | G26 111 | SWS Colloquium | ![]() | |||||
2018-06-29 | 14:00 | Sam Lindley | On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited continuations | G26 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-06-28 | 11:00 | Davis Issac | Spanning Tree Congestion and Computation of Generalized Gyori-Lovasz Partition | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-06-26 | 10:30 | Michael Mozer | Boosting human capabilities on perceptual categorization tasks | G26 [KL] 111 | SWS Distinguished Lecture Series | ![]() | |||||
2018-06-26 | 13:00 | Joël Ouaknine | Polynomial Invariants for Affine Programs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-06-25 | 10:00 | Bruce M. Maggs | The Web PKI in Theory and Malpractice | E1 5 029 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-06-21 | 15:30 | 1. Eakta Jain / 2. Krzysztof Krejtz | 1. The role of gaze and pupil diameter in understanding audience engagement / 2. The Role of Attention and Perception During Multimedia Learning. A Dynamical Perspective | E1 4 019 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-06-19 | 13:00 | Yaroslav Shitov | How hard is the tensor rank? | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-06-15 | 12:00 | Niels Landwehr | Machine Learning for Spatially and Temporally Varying Data | E1 5 029 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-06-14 | 10:00 | Jörg Lücke | Accelerated Learning of Probabilistic Data Models for Large-Scale Applications | E1 5 029 | Talk | ![]() | |||||
2018-06-14 | 13:00 | Kurt Mehlhorn | On Fair Division of Indisible Goods (Practice Talk for an Invited Lecture at Sirocco 18) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2018-06-14 | 14:00 | Nihat Ay | Information Geometry of Learning Systems | E1 5 029 | Talk | ![]() | |||||
2018-06-14 | 17:00 | Johannes Kloos | Heap-based reasoning about asynchronous programs | G26 [KL] 111 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2018-06-13 | 10:00 | Christoph Lampert | Principled Transfer Learning | E1 5 029 | Talk | ![]() | |||||
2018-06-13 | 12:00 | Daniel Neider | Machine Learning Meets Formal Methods | E1 5 029 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-06-12 | 10:00 | Gerhard Neumann | Information-Geometric Policy Search for Learning Versatile, Reusable Skills | E1 5 029 | Talk | ![]() | |||||
2018-06-12 | 12:00 | Marius Kloft | Extreme Classification: Algorithms and Theory | E1 5 029 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-06-11 | 08:00 | Achim Rettinger | Knowledge-guided Representation Learning | E1 5 029 | Talk | ![]() | |||||
2018-06-11 | 10:30 | Andreas Gerstlauer | Learning-Based Hardware/Software Power and Performance Prediction | E1 5 105 | SWS Colloquium | ![]() | |||||
2018-06-11 | 14:00 | Milica Gasic | Spoken dialogue systems that learn online | E1 5 029 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-06-07 | 14:00 | Georg Neis | Compositional Compiler Correctness Via Parametric Simulations | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2018-06-06 | 12:15 | Anja Feldmann | The Internet: A Complex System at its Limits | E1 5 002 | Joint Lecture Series | ![]() | |||||
2018-06-06 | 16:15 | Ben Wiederhake | Reading Group: A Distributed Algorithm for Minimum-Weight Spanning Trees | E1 4 022 | MPI-Seminar | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2018-05-30 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2018-05-30 | 16:15 | Eunjin Oh | Reading Group: Dynamic Time Warping and Geometric Edit Distance: Breaking the Quadratic Barrier | E1 4 022 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2018-05-29 | 13:00 | Kurt Mehlhorn | The Physarum Dynamics Solves Positive Undirected Linear Programs (Practice Talk for Invited Talk at Computer Science Russia) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-05-25 | 10:15 | Karon MacLean (University of British Columbia) & Christian Holz (Microsoft Research) | Taking Haptic Design from Research to Practice & Rich Haptic Shape Output Controllers for Virtual Reality | E1 4 019 | Talk | ![]() | |||||
2018-05-25 | 13:30 | Gene Myers | Towards Perfect DNA Sequencing and Assembly | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ![]() | |||||
2018-05-25 | 14:00 | Nico Pfeifer | Machine Learning in Infection Research: Including host information to understand viral adaptation | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ![]() | |||||
2018-05-25 | 14:30 | Yves Moreau | Bayesian matrix factorization with side information and application to drug-target activity prediction | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ![]() | |||||
2018-05-25 | 15:00 | Kasia Bozek | Can you see all the bees? Image analysis for biology | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ![]() | |||||
2018-05-25 | 16:30 | Robert Tarjan | My work with Thomas | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ![]() | |||||
2018-05-25 | 17:00 | Jörg Rahnenführer | Model-based optimization - in high-dimensional survival analysis and in real life | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ![]() | |||||
2018-05-25 | 17:30 | Bastian Beggel | Map-Based processing of geospatial data for driver assistance functions | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ![]() | |||||
2018-05-25 | 18:00 | Anja Feldmann | Distributed Data Collection and Processing at Scale | E2 2 Günter-Hotz-Hörsaal | Festkolloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-05-24 | 13:00 | Emanuele Natale | Pooling or Sampling: Collective Dynamics for Electrical Flow Estimation | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-05-23 | 16:15 | André Nusser | Reading Group: A faster algorithm for the discrete Fréchet distance under translation | E1 4 022 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2018-05-22 | 13:00 | Pranjal Dutta | Discovering the roots: Uniform closure results for algebraic classes under factoring | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2018-05-22 | 14:00 | Werner Seiler | From Singularities of Algebraic Differential Equations to Real Algebraic Geometric | E1 5 630 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-05-16 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2018-05-16 | 16:15 | Andreas Schmidt | Reading Group: Sparse Kneser graphs are Hamiltonian | E1 4 022 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2018-05-15 | 10:00 | Thomas Rothvoss | Modern algorithms for Bin packing | E1 4 024 | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2018-05-09 | 16:15 | Nitin Saurabh | Arithmetic Circuits : A chasm at depth four | E1 4 022 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2018-05-08 | 13:00 | Matthias Függer | Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-05-07 | 09:30 | Aniket Roy | Multimedia Security through Digital Image Forensics | E1 4 0.24 | PhD Application Talk | ![]() | |||||
2018-05-07 | 09:30 | Sagar Verma | Egocentric Video Understanding | E1 4 0.24 | PhD Application Talk | ![]() | |||||
2018-05-07 | 09:30 | Stavros Petsalakis | Fine Grained Complexity: Exploring Reductions and their Properties | E1 4 0.24 | PhD Application Talk | ![]() | |||||
2018-05-07 | 10:30 | Joshua Kroll | Accountability in the Governance of Machine Learning | E1 5 029 | SWS Colloquium | ![]() | |||||
2018-05-07 | 11:00 | Alberto Fiori | On consistency of the Minimalist Foundation | E1 4 0.24 | PhD Application Talk | ![]() | |||||
2018-05-07 | 11:00 | Burcu Sayin | An Analysis of Information Spreading and Privacy Issues on Social Networks | E1 4 0.24 | PhD Application Talk | ![]() | |||||
2018-05-07 | 11:00 | Ehsam Etesami | Modeling and Evaluation of Cloud Services Considering Live Virtual Machine Migration | E1 4 0.24 | PhD Application Talk | ![]() | |||||
2018-05-07 | 11:00 | Safia Kalwar | Security and Privacy in the era of Big data | E1 4 0.24 | PhD Application Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-05-03 | 10:00 | Nicole Immorlica | Maximizing the Social Good: Markets without Money | E1 4 024 | INF Distinguished Lecture Series | ![]() | |||||
2018-05-03 | 11:15 | Marian-Andrei Rizoiu | #DebateNight :The Role and Influence of Socialbots on Twitter During the 1st U.S. Presidential Debate | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-05-02 | 10:30 | Alexandra Silva | Probabilistic Program Equivalence for NetKAT | E1 5 029 | SWS Colloquium | ![]() | |||||
2018-05-02 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 3 333 | AG1 Group Meeting | ![]() | |||||
2018-05-02 | 12:15 | Gerard Pons-Moll | Capturing and Learning Digital Humans | E1 5 002 | Joint Lecture Series | ![]() | |||||
2018-05-02 | 16:15 | Davis Issac | Reading Group: Deciding k-colorability of P5-free graphs in polynomial time | E1 4 022 | MPI-Seminar | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2018-04-30 | 12:00 | Michael Schenck | Complex Procedural Terrain Generation | E1 4 024 | IMPRS Research Seminar | ![]() | |||||
|
| ![]() | |||||||||
2018-04-27 | 11:00 | David Dunn | Perceptually-based Near Eye Displays | E1 4 019 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-04-26 | 13:00 | Stefan Funke | How to Decide Whether a Path is Optimal | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-04-25 | 16:00 | Wenbin Li | From Perception over Anticipation to Manipulation | E1 4 019 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-04-24 | 13:00 | Karol Węgrzycki | Subquadratic Approximation Scheme for Partition | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2018-04-24 | 18:00 | Kurt Mehlhorn | Algorithms and Programs -- My Fascination for Computer Science | E1 5 002 | MPI Colloquium Series Distinguished Speaker | ![]() | |||||
|
| ![]() | |||||||||
2018-04-20 | 10:30 | Tudor Dumitras | Measurements, predictions, and the puzzle of machine learning: what data from 10 million hosts can teach us about security | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-04-18 | 16:15 | Daniel Vaz | Reading Group: Minimum Weight 2-Edge-Connected Spanning Subgraphs in Planar Graphs | E1 4 022 | MPI-Seminar | ![]() | |||||
|
| ![]() | |||||||||
2018-04-11 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2018-04-11 | 12:15 | Holger Hermanns | Power to the People. Verified. | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2018-04-10 | 13:00 | Davis Issac | Algorithms and Bounds for Very Strong Rainbow Coloring of Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-04-05 | 13:00 | Paul Manderscheid | SAR Phase Unwrapping by Undirected Shortest Transshipment | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-04-04 | 10:30 | Prof. Martin Grohe | Lovasz meets Weisfeiler-Leman | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
2018-04-04 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2018-04-04 | 16:00 | Cathy McGeoch | Performance Evaluation for Annealing Based Quantum Computers | E1 4 024 | Colloquium Lecture | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2018-03-28 | 16:00 | Arpan Gujarati | Failures-In-Time (FIT) Analysis for Fault-Tolerant Distributed Real-Time Systems | G26 [KL] 111 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2018-03-27 | 13:00 | Eunjin Oh | Point Location in Dynamic Planar Subdivisions | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-03-26 | 10:30 | Tim Althoff | Data Science for Human Well-being | G26 111 | SWS Colloquium | ![]() | |||||
2018-03-26 | 15:00 | Manohar Vanga | High-Throughput and Predictable VM Scheduling for High-Density Workloads | G26 [KL] 111 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2018-03-22 | 10:30 | Nicolas Papernot | Characterizing the Space of Adversarial Examples in Machine Learning | E1 5 029 | SWS Colloquium | ![]() | |||||
2018-03-22 | 13:00 | Kurt Mehlhorn | Fair Division | E1 4 024 | AG1 Mittagsseminar (others' work) | ![]() | |||||
|
| ![]() | |||||||||
2018-03-21 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2018-03-19 | 10:30 | Mihir Nanavati | Catch-22: Isolation and Efficiency in Datacenters | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
2018-03-19 | 11:00 | Nitish Padmanaban & Vincent Sitzmann | Varifocal Lenses for Focus-Supporting Near-Eye Displays & Learning domain-specific cameras: End-to-end optimization of optical sensing pipelines | E1 4 019 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-03-16 | 13:00 | Meena Mahajan | Short proofs with simple arithmetic? | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-03-15 | 10:30 | Dr. Caterina Urban | Static Program Analysis for a Software-Driven Society | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
2018-03-15 | 13:00 | Karl Bringmann | More Consequences of Falsifying SETH and the Orthogonal Vectors Conjecture | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-03-14 | 18:00 | Nima Anari | TCS+ talk: Planar Graph Perfect Matching is in NC | E1 4 D1 Rotunda | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-03-12 | 10:00 | Arunav Mishra | Leveraging Semantic Annotations for Event-focused Search & Summarization | E1 4 0.24 | Promotionskolloquium | ![]() | |||||
2018-03-12 | 10:30 | Heather Miller | Language Support for Distributed Systems in Scala | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-03-08 | 13:00 | Antonios Antoniadis | A PTAS for TSP with Hyperplane Neighborhoods | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-03-07 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
2018-03-07 | 12:15 | Andrew Yates | Incorporating Positional and Contextual Information into a Neural IR Model | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2018-03-06 | 10:00 | Patrick Ernst | Biomedical Knowledge Base Construction from Text and its Applications in Knowledge-based Systems | E1 4 024 | Promotionskolloquium | ![]() | |||||
2018-03-06 | 13:00 | Grigorios Koumoutsos | Weighted k-Server Bounds via Combinatorial Dichotomies | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2018-03-06 | 14:00 | Hoon Hong | Improved Root Separation Bound: Bigger and Geometric | E1 4 024 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-03-05 | 10:30 | Jonathan Mace | Observing and Controlling Distributed Systems with Cross-Cutting Tools | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-03-01 | 10:30 | Georg Zetzsche | Storage mechanisms and finite-state abstractions for software verification | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2018-02-26 | 10:30 | Kevin Borgolte | Fighting Large-scale Internet Abuse | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-02-22 | 13:00 | Julian Dörfler | An efficient data structure for finding Pareto-optimal points (Bachelor thesis) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-02-21 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2018-02-20 | 13:00 | Bundit Laekhanukit | On the Parameterized Complexity of Approximating Dominating Set | E1 4 024 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-02-19 | 10:30 | Antoine Kaufmann | High Performance Data Center TCP Packet Processing | G26 [KL] 111 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-02-15 | 10:30 | Keon Jang | Towards Latency Guarantees in Datacenters | E1 5 029 | SWS Colloquium | ![]() | |||||
2018-02-15 | 13:00 | Bernhard Haeupler | Synchronization Strings and Coding for Insertions and Deletions | E1 4 024 | AG1 Mittagsseminar (others' work) | ![]() | |||||
|
| ![]() | |||||||||
2018-02-14 | 19:00 | Dor Minzer | TCS+ talk: 2-to-2 Games via expansion on the Grassmann Graph | E1 4 D1 Rotunda | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-02-13 | 13:00 | Saeed Amiri | Distributed Dominating Set in Bounded Genus Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2018-02-13 | 15:15 | Bernhard Häupler | Fast Distributed Optimization Algorithms via Low-Congestion Shortcuts | E1 4 024 | INF Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2018-02-12 | 10:30 | Niki Vazou | Liquid Haskell: Usable Language-Based Program Verification | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-02-09 | 16:00 | Viktor Erdélyi | Scalable positioning of commodity mobile devices using audio signals | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2018-02-08 | 10:30 | Zsolt Istvan | Caribou -- Intelligent Distributed Storage for the Datacenter | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2018-02-07 | 11:30 | Kurt Mehlhorn | Group Meeting, D1 | E1 4 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2018-02-01 | 13:00 | Nitin Saurabh | Optimal Quasi-Gray Codes: Does the Alphabet matter? | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2018-01-31 | 19:00 | Avi Wigderson | TCS+ talk: Optimization, Complexity and Math (through the lens of one problem and one algorithm) | E1 4 D1 Rotunda | Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-01-30 | 11:00 | Dr. Herbert Jäger | An Introduction to Reservoir Computing, and Beyond | E1 5 029 | AG3 Talk | ![]() | |||||
|
| ![]() | |||||||||
2018-01-22 | 16:00 | Ezgi Çiçek | Relational Cost Analysis | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2018-01-17 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 333 | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2018-01-16 | 13:00 | Christian Ikenmeyer | On algebraic branching programs of small width | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-01-11 | 13:00 | Saeed Amiri | Disjoint Paths Problem | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2018-01-09 | 13:00 | Saeed Amiri | Erdos Posa Property in Digraphs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2017-12-20 | 17:00 | Anna Khoreva | Learning to Segment in Images and Videos with Different Forms of Supervision | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2017-12-19 | 14:00 | Seongkook Heo | Let it move—Creating force and movement feedback on the surface and in the air. | E1 7 0.01 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2017-12-18 | 12:00 | Prof. Gerhard Weikum | Talk on Good Scientific Practice | E1 4 R024 | IMPRS Research Seminar | ![]() | |||||
2017-12-18 | 14:00 | Georgios Smaragdakis | Understanding and Improving the Resilience of the Internet using the Measurement Lens | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ![]() | |||||
|
| ![]() | |||||||||
2017-12-14 | 13:00 | Tetiana Lavynska | On Biclique Cover and Partition of Bipartite Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-12-11 | 11:00 | Aruni Choudhary | Approximation Algorithms for Vietoris-Rips and Cech Filtrations | E1 4 019 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2017-12-08 | 12:00 | David Swasey | Formal and Compositional Reasoning about Object Capabilities | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2017-12-07 | 13:00 | Laszlo Kozma | Selection from heaps, row-sorted matrices and X + Y using soft heaps | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2017-12-07 | 14:15 | Nisheeth Vishnoi | Algorithms, Complexity, and Bias | E1 4 024 | MPI Colloquium Series Distinguished Speaker | ![]() | |||||
|
| ![]() | |||||||||
2017-12-06 | 12:15 | Joël Ouaknine | Fundamental Algorithmic Problems and Challenges in Dynamical and Cyber-Physical Systems | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2017-12-04 | 16:15 | Kai Hui | Automatic Methods for Low-Cost Evaluation and Position-Aware Models for Neural Information Retrieval | E1 5 029 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2017-12-01 | 14:00 | Dat Ba Nguyen | Joint Models for Information and Knowledge Extraction | E1 4 024 | Promotionskolloquium | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2017-11-30 | 13:00 | Emilio Cruciani | Some new results for opinion dynamics on social networks | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-11-29 | 16:00 | Alexander Wieder | Blocking Analysis of Spin Locks under Partitioned Fixed-Priority Scheduling | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2017-11-23 | 13:00 | Günter Schmidt | Competitive Analysis of Bi-directional Non-preemptive Conversion | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-11-22 | 10:30 | Hugo Férée | Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations | E1 5 029 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2017-11-20 | 16:00 | Mainack Mondal | Understanding & Controlling User Privacy in Social Media via Exposure | E1 5 029 | SWS Student Defense Talks - Thesis Defense | ![]() | |||||
|
| ![]() | |||||||||
2017-11-17 | 15:00 | Marko Doko | Program Logic for Weak Memory Concurrency | G26 [KL] 111 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2017-11-16 | 14:00 | Soham Chakraborty | Correct Compilation of Relaxed Memory Concurrency | G26 [KL] 111 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2017-11-15 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2017-11-14 | 13:00 | L. Sunil Chandran and Davis Issac | Spanning Tree Congestion and the Generalized Győri-Lovász Theorem (Part 2) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-11-13 | 10:00 | Rakesh Agrawal | Toward Data-Driven Education | E1 5 002 | SWS Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2017-11-10 | 13:00 | Oliver Nalbach | Smarter Screen Space Shading | E1 4 019 | Promotionskolloquium | ![]() | |||||
2017-11-10 | 15:00 | Nina Grgić-Hlača | Beyond Distributive Fairness in Algorithmic Decision Making: Feature Selection for Procedurally Fair Learning | E1 5 029 | SWS Student Defense Talks - Qualifying Exam | ![]() | |||||
|
| ![]() | |||||||||
2017-11-09 | 11:00 | Wolfgang Ahrendt | StaRVOOrS: Combined Static and Runtime Verification of Object-Oriented Software | E1 5 029 | SWS Colloquium | ![]() | |||||
2017-11-09 | 13:00 | L. Sunil Chandran and Davis Issac | Spanning Tree Congestion and the Generalized Győri-Lovász Theorem (Part 1) | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-11-08 | 12:15 | Karl Bringmann | Fine-Grained Complexity: Hardness for a Big Data World | E1 5 002 | Joint Lecture Series | ![]() | |||||
2017-11-08 | 16:00 | Juhi Kulshrestha | Quantifying & Characterizing Information Diets of Social Media Users | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2017-11-06 | 11:00 | Pietro Ferrara | Julia: An abstract interpretation-based static analyzer of industrial OO software | G26 [KL] 113 | MPI-Kolloquium | ![]() | |||||
|
| ![]() | |||||||||
2017-11-02 | 14:00 | Dr. Steffen Rochel | Deep Learning in Apache MxNet Gluon | E1 3 HS002 | Talk | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2017-10-30 | 12:00 | Khansa Rekik | Results of planning for sentence generation | E1 4 022 | IMPRS Research Seminar | ![]() | |||||
|
| ![]() | |||||||||
2017-10-27 | 10:00 | Prof. Dr.-Ing. Stefan Seelecke | Actuation and New Materials | E1 7 0.01 | Talk | ![]() | |||||
2017-10-27 | 10:00 | Prof. Dr.-Ing. Stefan Seelecke | Actuation and New Materials | E1 7 0.01 | Talk | ![]() | |||||
2017-10-27 | 13:00 | Kurt Mehlhorn | Physarum solves Positive Undirected LPs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-10-24 | 12:57 | Dr.-Ing. Stefan Seelecke | Actuation and New Material | E1 7 0.01 | Talk | ![]() | |||||
2017-10-24 | 09:30 | Yu | Delegation HANCOM Group, Korea | E1 5 R 0.29 | Presentation | ![]() | |||||
2017-10-24 | 15:00 | Annette Diehl | Sexualisierte Diskriminierung und Gewalt | E1 5 002 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2017-10-23 | 12:00 | Vinh Thinh Ho | Approaches for Word Representations | E1 4 022 | IMPRS Research Seminar | ![]() | |||||
|
| ![]() | |||||||||
2017-10-19 | 13:00 | Kevin Schewior | A Tight Lower Bound for Online Convex Optimization with Switching Costs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-10-17 | 13:00 | Bhaskar Ray Chaudhury | Proof of the Weighted Dynamic Finger Theorem by Iacono and Langerman. | E1 4 024 | AG1 Mittagsseminar (others' work) | ![]() | |||||
|
| ![]() | |||||||||
2017-10-16 | 15:00 | Natalia Boldyrev | Alignment of Multi-Cultural Knowledge Repositories | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2017-10-12 | 13:00 | Ruben Becker | Near-Optimal Approximate Shortest Paths and Transshipment in Distributed and Streaming Models | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2017-10-12 | 14:00 | Dr. Donald Dansereau | Computational Imaging for Robotic Vision | E1 4 019 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2017-10-11 | 11:00 | Cosmina Croitoru | Graph Models for Rational Social Interaction - PhD Verteidigung | E1 4 019 | Promotionskolloquium | ![]() | |||||
2017-10-11 | 16:15 | Leila Amgoud | Evaluation Methods of Arguments | E1 4 024 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2017-10-10 | 09:30 | David Kaltenpoth | Distinguishing Confounding from Causality | E1 4 024 | PhD Application Talk | ![]() | |||||
2017-10-10 | 09:30 | Hiba Arnaout | Effective Searching of RDF Knowledge Graphs | E1 4 024 | PhD Application Talk | ![]() | |||||
2017-10-10 | 09:30 | Xiaoyu Shen | Latent Variable Models in Dialogue Generation | E1 4 R024 | PhD Application Talk | ![]() | |||||
2017-10-10 | 11:00 | Hufsah Ashraf | Computational Modeling and Analysis of the Impacts of Sleep Deprivation on Glucose Stimulated Insulin Secretion via Circadian Clock Misalignment | E1 4 024 | PhD Application Talk | ![]() | |||||
2017-10-10 | 11:00 | Jana Ebler | Haplotype-Aware Genotyping from Long Sequencing Reads | E1 4 024 | PhD Application Talk | ![]() | |||||
2017-10-10 | 11:00 | Jonas Fischer | Fast methylation calling on mammalian bisulfite sequencing data | E1 4 024 | PhD Application Talk | ![]() | |||||
2017-10-10 | 13:00 | Janne H. Korhonen | LCL problems on grids | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-10-09 | 16:00 | Muhammad Bilal Zafar | Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2017-10-05 | 13:00 | Kurt Mehlhorn | Weighted Dynamic Finger in Binary Search Trees by Iacono and Langerman (SODA '16) | E1 4 024 | AG1 Mittagsseminar (others' work) | ![]() | |||||
|
| ![]() | |||||||||
2017-10-04 | 12:15 | Simon Razniewski | What knowledge bases know (and what they don't) | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2017-09-29 | 15:00 | Siyu Tang | People Detection and Tracking in Crowded Scenes | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2017-09-20 | 11:30 | Christoph Lenzen | Group Meeting | E1 4 Rotunde | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2017-09-14 | 13:00 | Mathew Francis | Induced Colourful Paths in Triangle-free Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-09-12 | 13:00 | Giacomo Scornavacca | Rational Fair Consensus in the GOSSIP Model | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-09-11 | 15:30 | Stephan Friedrichs | Metastability-Containing Circuits, Parallel Distance Problems, and Terrain Guarding | E1 4 024 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2017-09-06 | 12:15 | Christian Ikenmeyer | Geometric Complexity Theory: An ambitious approach towards P versus NP | E1 5 002 | Joint Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2017-09-04 | 16:00 | Amy Siu | Knowledge-driven Entity Recognition and Disambiguation in Biomedical Text | E1 4 024 | Promotionskolloquium | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2017-08-29 | 13:00 | Aruni Choudhary | Improved Approximate Rips Filtrations with Shifted Integer Lattices | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-08-18 | 11:00 | Martin Ochoa | Securing Cyber-Physical Systems: Challenges and the road ahead | E9 1 Lecture Hall | CISPA Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2017-08-17 | 13:00 | Nitin Saurabh | Upper bounds on Fourier Entropy | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-08-16 | 14:00 | Andreas Herzig | Dynamic logic and propositional assignments | E1 4 024 | Talk | ![]() | |||||
|
| ![]() | |||||||||
2017-08-14 | 15:00 | Filip Nikšić | Combinatorial Constructions for Effective Testing | G26 [KL] 113 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2017-08-10 | 13:00 | Krzysztof Fleszar | Maximum Disjoint Paths: New Algorithms based on Tree-Likeness | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-08-08 | 13:00 | Andreas Schmid | Computing Tutte Paths | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-08-07 | 17:00 | Anjo Vahldiek-Oberwagner | Techniques to enforce security policies on untrusted applications | E1 5 029 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
|
| ![]() | |||||||||
2017-08-04 | 13:30 | Reinhard Munz | Towards Use-Ability in Private Data Analytics | G26 [KL] 111 | SWS Student Defense Talks - Thesis Proposal | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() | |||||||||
2017-07-27 | 13:00 | Seri Khoury | New Lower Bounds for the CONGEST model | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-07-25 | 10:30 | Alexandra Chouldechova | Fairer and more accurate, but for whom? | E1 5 005 | SWS Colloquium | ![]() | |||||
2017-07-25 | 11:00 | Nils Ole Tippenhauer | Physical-Layer Security Aspects of ICS and IoT | E9 1 Lecture Hall | CISPA Distinguished Lecture Series | ![]() | |||||
2017-07-25 | 13:00 | Karl Bringmann | Improved Algorithms for Computing the Cycle of Minimum Cost-to-Time Ratio in Directed Graphs | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-07-24 | 15:00 | Pierre-Louis Giscard | The Theory of Walks | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-07-20 | 15:00 | Prof. Gilles Barthe: | Advances in computer-aided cryptography | E9 1 Lecture Hall | CISPA Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2017-07-19 | 11:30 | Kurt Mehlhorn | Group Meeting | E1 4 Rotunda | AG1 Group Meeting | ![]() | |||||
|
| ![]() | |||||||||
2017-07-18 | 11:00 | Stavros Tripakis | Security as a System Design Problem | E9 1 lecture hall | CISPA Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2017-07-13 | 13:00 | Juho Lauri | NP-completeness results for partitioning a graph into total dominating sets | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-07-12 | 14:00 | Dr James Hook | Max-plus linear regression and low rank matrix approximation | E1 5 029 | Colloquium Lecture | ![]() | |||||
2017-07-12 | 16:00 | Dr. Matthias Berg | IT-Sicherheit mitgestalten beim BSI | E9 1 Lecture Hall | Talk | ![]() | |||||
|
| ![]() | |||||||||
2017-07-11 | 11:00 | Demetris Zeinalipour | Indoor Data Management in Anyplace | E1 4 024 | Colloquium Lecture | ![]() | |||||
2017-07-11 | 13:00 | Erik Jan Van Leeuwen | Parameterized Complexity of Vertex-Partitioning Problems | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
|
| ![]() | |||||||||
2017-07-10 | 11:00 | David Evans | Adversarial Machine Learning: Are We Playing the Wrong Game? | E9 1 Lecture Hall | CISPA Distinguished Lecture Series | ![]() | |||||
|
| ![]() | |||||||||
2017-07-07 | 10:00 | Kathy Strandburg | Decision Making and The Value of Explanation | E1 5 005 | SWS Colloquium | ![]() | |||||
|
| ![]() | |||||||||
2017-07-06 | 11:00 | Stephan Günnemann | Robust and Scalable Learning with Graphs | E1 5 029 | Colloquium Lecture | ![]() | |||||
2017-07-06 | 13:00 | Attila Kinali | The Use of Fault-tolerant Clock Synchronization Algorithms for Time Scales | E1 4 024 | AG1 Mittagsseminar (own work) | ![]() | |||||
2017-07-06 | 16:00 | Subhabrata Mukherjee | Probabilistic Graphical Models for Credibility Analysis in Evolving Online Communities | E1 5 029 | Promotionskolloquium | ![]() | |||||
|
| ![]() | |||||||||
2017-07-05 | 12:15 | Qianru Sun | Your photos expose your social life - Social relation recognition in 5 social domains | E1 5 002 | Joint Lecture Series | ![]() | |||||
| ![]() | ||||||||||
|
| ![]() |