MPI-INF Logo
Campus Event Calendar

All

DateTimeSpeakerEvent, Title, TopicBuilding, RoomEvent Type
09/04/202411:30D1 Group MembersD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
08/21/202411:30D1 Group MembersD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
08/07/202411:30D1 Group MembersD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
07/17/202411:30D1 Group MembersD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
07/03/202411:30D1 Group MembersD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
06/19/202411:30D1 Group MembersD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
06/05/202411:30D1 Group MembersD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
05/22/202411:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
05/08/202411:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
04/25/202413:00Johnnatan MessiasOn Fairness Concerns in the Blockchain EcosystemE1 5, 029SWS Student Defense Talks - Thesis Defense
04/17/202411:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
04/09/202413:00Ariel KulikAlgorithms and Hardness for the Budgeted Matroid Independent Set problemE1 4, 024AG1 Mittagsseminar (own work)
04/03/202412:15Evangelos KipouridisHierarchical clustering beyond heuristics: Quality guarantees without speed sacrificesE1 5, 002Joint Lecture Series
04/03/202411:30D1 Group MembersD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
03/27/202414:45Debasmita LoharExpanding the Horizons of Finite-Precision AnalysisE1 5, 029SWS Student Defense Talks - Thesis Defense
03/26/202412:00Till SpeicherOn Fairness, Invariance and Memorization in Machine Decision and DeepLearning AlgorithmsE1 5, 005SWS Student Defense Talks - Thesis Proposal
03/25/202416:00Rati DevidzeReward Design for Reinforcement Learning AgentsE1 5, 029SWS Student Defense Talks - Thesis Proposal
03/20/202411:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
03/14/202410:00Andrea LattuadaPractical, automation-assisted verification of efficient systems softwareE1 5, 029Talk
03/11/202410:00Emily TsengDigital Safety and Security for Survivors of Technology-Mediated HarmsE1 5, 002CIS@MPG Colloquium
03/08/202414:00Mohamed AlzayatEfficient Request Isolation in Function-as-a-ServiceE1 5, 002SWS Student Defense Talks - Thesis Defense
03/08/202413:00Guy EvenAn Improved Approximation Algorithm for Dynamic Minimum Linear ArrangementVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
03/07/202413:00Paweł GawrychowskiSorting Signed Permutations by Reversals in Nearly-Linear TimeE1 4, 024AG1 Mittagsseminar (own work)
03/07/202410:00Ge Tiffany WangDesigning for Autonomy in Data-Driven AI SystemsE1 5, 002CIS@MPG Colloquium
03/06/202412:15Paul StrohmeierShaping Experience and Expression by Designing Sensorimotor ContingenciesE1 5, 002Joint Lecture Series
03/06/202411:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
03/05/202414:00Marcus PirronHardware and Software CodesignG26 [KL], 111SWS Student Defense Talks - Thesis Defense
03/05/202413:00Karol WęgrzyckiA polynomial-time $\text{OPT}^\eps$-approximation algorithm for maximum independent set of connected subgraphs in a planar graphE1 4, 024AG1 Mittagsseminar (own work)
03/05/202410:00Srishti PalaniBeyond the Search Bar in Human-AI Interactions: Augmenting Discovery, Synthesis, and Creativity With User-Generated ContextG26 [KL], 111CIS@MPG Colloquium
03/01/202414:00Emmanouil-Vasileios (Manolis) Vlatakis GkaragkounisBridging the Gap between Theory and Practice: Solving Intractable Problems in a Multi-Agent Machine Learning WorldE1 4, 024AG1 Mittagsseminar (own work)
03/01/202410:00Amrita Roy ChowdhuryData Privacy in the Decentralized EraE1 5, 002CIS@MPG Colloquium
02/28/202415:00Christoph SiebenbrunnerMethods for Financial Stability AnalysisE1 5, 002SWS Colloquium
02/27/202413:00Daniel NeuenGraph Isomorphism Testing and BeyondE1 4, 024AG1 Mittagsseminar (own work)
02/26/202410:00Maria AntoniakComputational Approaches to Narrative AnalysisG26 [KL], 111CIS@MPG Colloquium
02/23/202410:00Ramakrishnan Sundara RamanGlobal Investigation of Network Connection TamperingMPI-SP, -CIS@MPG Colloquium
02/22/202413:00Christoph HertrichUnderstanding Neural Network Complexity from a Discrete AngleTBDE1 4, 024AG1 Mittagsseminar (own work)
02/21/202411:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
02/21/202410:00Lily XuHigh-stakes decisions from low-quality data: AI decision-making for planetary healthG26 [KL], 111CIS@MPG Colloquium
02/20/202413:00Benjamin BerendsohnOptimization with pattern-avoiding inputE1 4, 024AG1 Mittagsseminar (own work)
02/19/202410:00Sarah CenPaths to AI AccountabilityG26 [KL], 111CIS@MPG Colloquium
02/15/202410:00Yinxi LiuProgramming Theory in Security Analysis: A Tripartite Framework for Vulnerability SpecificationE1 5, 002CIS@MPG Colloquium
02/14/202411:30Javier CembranoComputational aspects of incentives and fairness in competitive environmentsE1 4, 024AG1 Mittagsseminar (own work)
02/14/202410:00Jana HofmannFormal Reasoning about Relational Properties in Large-Scale SystemsMPI-SP, -CIS@MPG Colloquium
02/08/202416:00Toghrul KarimovAlgorithmic Verification of Linear Dynamical SystemsE1 5, 029SWS Student Defense Talks - Thesis Defense
02/08/202410:00A. Feder CooperReliable Measurement for Machine Learning at ScaleMPI-SP, -CIS@MPG Colloquium
02/07/202412:15Tomasz KociumakaNew Tools for Text Indexing and Beyond: Substring Complexity and String Synchronizing SetsE1 5, 002Joint Lecture Series
02/07/202411:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
02/06/202410:00Zhijing JinCausal Inference for Robust, Reliable, and Responsible NLPE1 5, 002CIS@MPG Colloquium
02/05/202410:00Tanusree SharmaTowards Ethical and Democratic Design of AIMPI-SP, -CIS@MPG Colloquium
02/01/202410:00Doreen RiepelTheoretically Sound Cryptography for Key Exchange and Advanced ApplicationsMPI-SP, -CIS@MPG Colloquium
01/30/202410:00Teodora BalutaNew Algorithmic Tools for Rigorous Machine Learning Security AnalysisMPI-SP, -CIS@MPG Colloquium
01/25/202413:00Jiaheng WangApproximate counting: New problems and approachesE1 4, 024AG1 Mittagsseminar (own work)
01/25/202410:00Sajin SasyOblivious Algorithms for Privacy-Preserving ComputationsMPI-SP, -CIS@MPG Colloquium
01/24/202411:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, D1 RotundaAG1 Group Meeting
01/23/202413:00Evangelos KipouridisDynamic Dynamic Time WarpingE1 4, 024AG1 Mittagsseminar (own work)
01/17/202411:30D1 Group MembersExclamation Point IconD1 Group Meeting (postponed due to black ice)E1 4, D1 RotundaAG1 Group Meeting
01/16/202413:00Egor GorbachevA classification of subquadratic patterns for minimum-weight, enumeration, and listing subgraph isomorphism problemsE1 4, 024AG1 Mittagsseminar (own work)
01/10/202412:15Ha DaoA comprehensive analysis of PII leakage-based web trackingE1 5, 002Joint Lecture Series
12/21/202313:00Barış Can EsmerOptimally Repurposing Existing Algorithms to Obtain Exponential-Time ApproximationsE1 4, 024AG1 Mittagsseminar (own work)
12/19/202315:00Mohammed FoughaliCompositional Verification of Embedded Real-Time SystemsG26, 111Talk
12/15/202315:30Felix StutzImplementability of Asynchronous Communication Protocols - The Power of ChoiceG26 [KL], 111SWS Student Defense Talks - Thesis Defense
12/15/202313:00Jan Philipp WächterExclamation Point IconDecision Problems for Automaton Groups and Monoids of BoundedActivityE1 4, 024AG1 Advanced Mini-Course
12/15/202309:00Brigitte PientkaCocon: A Type-Theoretic Framework for Certified Meta-programmingE1 5, 029SWS Colloquium
12/14/202316:00Michalis KokologiannakisAutomated Reasoning under Weak Memory ConsistencyG26 [KL], 111SWS Student Defense Talks - Thesis Defense
12/14/202314:00Aniss Maghsoudlou“Towards Uncovering Hidden Internet Traffic Characteristics" - PhD Defense by Aniss MaghsoudlouE1 5, 002Promotionskolloquium
12/14/202313:00Jan-Philipp WächterDecision Problems for Automaton Groups and Monoids of Bounded ActivityTBAE1 4, 024AG1 Advanced Mini-Course
12/07/202313:00Simon DöringCounting Small Induced Subgraphs with Edge-monotone PropertiesE1 4, 024AG1 Advanced Mini-Course
12/06/202312:15Manuel Gomez RodriguezImproving Decision Making with Machine Learning, ProvablyE1 5, 002Joint Lecture Series
12/06/202311:30D1 Group MembersExclamation Point IconD1 Group Meeting (physical-only)E1 4, D1 RotundaAG1 Group Meeting
12/04/202317:00Michael SammlerAutomated and Foundational Verification of Low-Level ProgramsE1 5, 029SWS Student Defense Talks - Thesis Defense
12/04/202310:00Caroline CronjägerThe Never-Ending Trace: An Under-Approximate Approach to Divergence BugsE1 5, 029SWS Colloquium
11/29/202313:00Erik Jan van LeeuwenComplexity Framework For Forbidden Subgraphs and BeyondE1 4, 024AG1 Mittagsseminar (own work)
11/22/202311:30D1 Group MembersExclamation Point IconD1 Group Meeting (physical-only)E1 4, D1 RotundaAG1 Group Meeting
11/21/202314:00Sergey BozhkoRigorous and General Response-Time Analysis for Uniprocessor Real-TimeE1 5, 029SWS Student Defense Talks - Thesis Proposal
11/16/202314:00Sebastian DalleigerCharacteristics and Commonalities – Differentially Describing Datasets with Insight-ful PatternsE1 4, 024Promotionskolloquium
11/14/202311:00Dmitry ChistikovThe complexity of Presburger arithmetic with power or powersG26 [KL], 111SWS Colloquium
11/08/202312:15Mohamed ElgharibDigitizing the Human FaceE1 5, 002Joint Lecture Series
11/08/202311:30D1 Group MembersExclamation Point IconD1 Group Meeting (physical-only)E1 4, D1 RotundaAG1 Group Meeting
11/07/202313:00Nicolas RegelExploring shorter certificates for the Fréchet Distance (Bachelor Thesis)E1 4, 024AG1 Advanced Mini-Course
11/02/202313:00Alejandro CassisNegative-Weight Single-Source Shortest Paths in Near-Linear Time: Now Faster!E1 4, 024AG1 Advanced Mini-Course
10/31/202313:00Tomasz KociumakaApproximating Edit Distance in the Fully Dynamic ModelE1 4, 024AG1 Advanced Mini-Course
10/27/202314:15Ralf SchenkelQuality-aware Argument RetrievalE1 4, 024Colloquium Lecture
10/27/202309:00Hiba ArnaoutEnriching Open-world Knowledge Graphs with Expressive Negative StatementsE1 4, 024Promotionskolloquium
10/26/202313:00Klaus JensenNew Algorithmic Results for Scheduling via ILPsE1 4, 024AG1 Advanced Mini-Course
10/26/202310:30Umang MathurExposing Concurrency Bugs from their Hiding PlacesG26 [KL], 111SWS Colloquium
10/24/202313:00Sorrachai YingchareonthawornchaiFaster Deterministic Vertex Connectivity AlgorithmsE1 4, 024AG1 Mittagsseminar (own work)
10/23/202309:00Corinna CoupetteBeyond Flatland: Exploring Graphs in Many DimensionsVirtual talk, Virtual talkPromotionskolloquium
10/19/202313:00Rajendra KumarTBAE1 4, 024AG1 Advanced Mini-Course
10/18/202311:30D1 Group MembersExclamation Point IconD1 Group Meeting (physical-only)E1 4, D1 RotundaAG1 Group Meeting
10/18/202310:00Prem DevanbuNaturalness & Bimodality of CodeE1 5, 002SWS Distinguished Lecture Series
10/17/202313:00Nidhi RathiTBAE1 4, 024AG1 Mittagsseminar (own work)
10/17/202310:00Smitha MilliAlgorithms for PluralityE1 5, 029SWS Colloquium
10/11/202312:15Isabel ValeraCausethical ML: Promises & ChallengesE1 5, 002Joint Lecture Series
10/10/202313:00Cornelius BrandAlgebraic Matroid IntersectionE1 5, 029AG1 Mittagsseminar (own work)
10/05/202313:00Panagiotis CharalampopoulosAlmost Optimal Edit Distance OraclesE1 4, 024AG1 Mittagsseminar (own work)
10/04/202311:30D1 Group MembersExclamation Point IconD1 Group Meeting (physical-only)E1 4, D1 RotundaAG1 Group Meeting
09/28/202313:00Prajakta NimbhorkarMatchings with Fairness ConstraintsE1 4, 024AG1 Mittagsseminar (own work)
09/28/202310:30Miryung KimSoftware Engineering for Data Intensive Scalable Computing and Heterogeneous ComputingG26 [KL], 111SWS Distinguished Lecture Series
09/27/202314:00Aaron RothRobust and Equitable Uncertainty EstimationVirtual talk [KL], zoomSWS Distinguished Lecture Series
09/27/202310:00Kate DonahueAI as a resource: strategy, uncertainty, and societal welfareG26 [KL], 111SWS Colloquium
09/22/202309:00Weikum, et alD5 Alumni WorkshopE1 5, 002AG5 Seminar
09/21/202312:30Weikum, et alD5 Alumni WorkshopE1 5, 002AG5 Seminar
09/20/202311:30D1 Group MembersD1 Group MeetingE1 4, R 024AG1 Group Meeting
09/18/202310:00Fatemehsadat MireshghallahPrivacy Auditing and Protection in Large Language ModelsE1 5, 029SWS Colloquium
09/14/202313:00Alexandra LassotaSmall lecture on integer programmingE1 4, 024AG1 Mittagsseminar (own work)
09/06/202311:30D1 Group MembersD1 Group MeetingE1 4, R 024AG1 Group Meeting
09/04/202310:00Manya GhobadiNext-Generation Optical Networks for Machine Learning JobsG26 [KL], 111SWS Distinguished Lecture Series
08/29/202315:00Nick FischerPhD Defense Nick FischerE14, 024Promotionskolloquium
08/29/202313:00Yanheng WangProbabilistic Analyses of PPZE1 4, 024AG1 Mittagsseminar (own work)
08/25/202314:30Tomasz KociumakaThe Seaweed Method for Computing Edit DistanceE1 4, 024AG1 Mittagsseminar (own work)
08/16/202311:30D1 Group MembersD1 Group MeetingE1 4, R 024AG1 Group Meeting
08/10/202316:00Euiwoong LeeParameterized Approximability of F-Deletion ProblemsVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
08/02/202311:30D1 Group MembersD1 Group MeetingE1 4, R 024AG1 Group Meeting
07/25/202313:00Celine SwennenhuisA Subexponential Time Algorithm for Makespan Scheduling of Unit Jobs with Precedence ConstraintsE1 4, 024AG1 Mittagsseminar (own work)
07/20/202313:00Gunjan KumarApproximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?E1 4, 024AG1 Mittagsseminar (own work)
07/19/202313:00Spyros AngelopoulosSearching with predictionsE1 4, 024AG1 Mittagsseminar (own work)
07/19/202311:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, R 021AG1 Group Meeting
07/18/202313:00Michal KouckyLocally consistent decomposition of strings with applications to edit distance sketchingE1 4, 024AG1 Mittagsseminar (own work)
07/13/202310:30Immanuel TrummerTuning Tools that "Read" the Manual: New Use Cases for Large Language Models in Data ManagementE1 4, 024Colloquium Lecture
07/11/202313:00Nithin VarmaImproved sublinear algorithms for testing permutation freenessE1 4, 024AG1 Mittagsseminar (own work)
07/10/202314:00Debmalya PanigrahiThe Isolating Cuts Lemma and its ApplicationsE1 4, 024AG1 Mittagsseminar (own work)
07/06/202313:00Lars PrehnRoutegazing: Analysing the Evolving Internet Routing EcosystemE1 5, 002Promotionskolloquium
07/05/202312:15Jan Eric LenssenInferring the 3D World from Incomplete Observations: Representations and Data PriorsE1 5, 002Joint Lecture Series
07/05/202311:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, R 021AG1 Group Meeting
07/04/202313:00Hannaneh AkramiEFX: A Simpler Approach and an (Almost) Optimal Guarantee via Rainbow Cycle NumberE1 4, 024AG1 Mittagsseminar (own work)
07/03/202314:00Guy EvenDynamic Filters and Retrieval with a Single Memory AccessE1 4, 024AG1 Mittagsseminar (own work)
06/22/202313:00Christopher CohnenDistributed consensus in asynchronous systems (Proseminar: Theory on consensus)E1 4, 024AG1 Mittagsseminar (others' work)
06/22/202311:15Prof. Sebastian TrimpeMachine learning for machines: Challenges and recent results in learning-based controlE1 4, 019MPI-Seminar
06/21/202311:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, R 021AG1 Group Meeting
06/20/202315:00Supratik ChakrabortyOn Synthesizability of Skolem Functions in First-Order TheoriesG26 [KL], 207SWS Colloquium
06/09/202312:30Ruiwen DongDecision problems in sub-semigroups of metabelian groups.E1 4, 024AG1 Mittagsseminar (own work)
06/07/202312:15Mariya TonevaWhy do large language models align with human brains: insights, opportunities, and challengesE1 5, 002Joint Lecture Series
06/07/202311:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, R 021AG1 Group Meeting
06/06/202313:00Arturo MerinoTraversing combinatorial polytopes via optimization.E1 4, 024AG1 Mittagsseminar (own work)
06/02/202313:00Rahul Mudambi VenkateshFault-tolerant pulse synchronization with stable output frequencies (Master thesis)E1 4, 024AG1 Mittagsseminar (own work)
06/01/202313:00Caterina De BaccoModelling multi-commodity optimal transport problems with constraintsVirtual talk, Virtual talkColloquium Lecture
05/30/202313:00Ariel KulikFaster Exponential-Time Approximation Algorithms Using Approximate Monotone Local SearchE1 4, 024AG1 Mittagsseminar (own work)
05/25/202316:00Bo ZhaoScalable and Sustainable Data-Intensive SystemsE1 5, 002SWS Colloquium
05/25/202313:00Tomasz KociumakaBounded Weighted Edit DistanceE1 4, 024AG1 Mittagsseminar (own work)
05/23/202313:00Christine RizkallahLanguage Based Approaches for Facilitating Software VerificationMPI building, 024Colloquium Lecture
05/17/202311:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, R 021AG1 Group Meeting
05/16/202313:00Seth PettieSorting Pattern-avoiding Permutations via Forbidden 0-1 MatricesE1 4, 024AG1 Mittagsseminar (own work)
05/12/202313:30Léo ExibardA Generic Solution to Register-bounded Synthesis for Systems over Data wordsG26 [KL], 111SWS Colloquium
05/04/202315:00Beta ZilianiMaking monkeys and ducks behave with Crystal LangE1 5, 002SWS Colloquium
05/03/202312:15Marc HabermannDigital Humans: From Sensor Measurements to Deeper Understanding and SynthesisE1 5, 002Joint Lecture Series
05/03/202311:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, R 021AG1 Group Meeting
05/02/202313:00George OsipovParameterized Complexity of MinCSP for Equality Constraint LanguagesE1 4, 024AG1 Mittagsseminar (own work)
04/27/202316:00Alexander J. Summers2vyper: Contracts for Smart ContractsE1 5, 002SWS Colloquium
04/27/202313:00Jan van den BrandFaster High Accuracy Multi-Commodity Flow from Single-Commodity TechniquesE1 4, 024AG1 Mittagsseminar (own work)
04/24/202310:00Yuval YaromAutomating cryptographic code generationE1 5, 029SWS Colloquium
04/20/202313:00Standa ZivnyPromise Constraint Satisfaction ProblemsVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
04/19/202311:30D1 Group MembersExclamation Point IconD1 Group MeetingE1 4, R 021AG1 Group Meeting
04/18/202313:00Ran GellesDistributed Computations in Fully-Defective NetworksE1 4, 024AG1 Mittagsseminar (own work)
04/18/202309:30Edgar SchönfeldImproving Quality and Controllability in GAN-based Image SynthesisE 1.4, 024Promotionskolloquium
04/05/202312:15Philip WellnitzFaster Approximate String Matching: Now with up to 500 ErrorsE1 5, 002Joint Lecture Series
04/05/202311:30D1 Group MembersD1 Group MeetingE1 4, R 024AG1 Group Meeting
04/04/202313:00Corinna CoupetteReducing Exposure to Harmful Content via Graph RewiringVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
03/30/202315:30Numair MansurAutomatically Detecting and Mitigating Issues in Program AnalyzersG26, 111SWS Student Defense Talks - Thesis Defense
03/30/202313:00Simon DöringThe Birkhoff-Polytope and the hardness of removing verticesE1 4, 024AG1 Mittagsseminar (own work)
03/30/202311:30Meike ZehlikeLearning Lunch: The Gender Data Gap - And its Implications for Data-Driven Decision MakingE1 4, 024Talk
03/23/202313:00Duri JanettTight Runtime Bounds for Static Unary Unbiased Evolutionary Algorithms on Linear FunctionsE1 4, 024AG1 Mittagsseminar (own work)
03/21/202313:00Hannaneh AkramiBreaking the 3/4 Barrier for Approximate Maximin ShareE1 4, 024AG1 Mittagsseminar (own work)
03/16/202318:00Bharat Lal BhatnagarModelling 3D Humans: Pose, Shape, Clothing and InteractionsE 1.4, 024Promotionskolloquium
03/16/202313:00Niko HastrichFaster Nearest Neighbors Queries on Geographic DataE1 4, 024AG1 Mittagsseminar (own work)
03/15/202311:30D1 Group MembersD1 Group MeetingE1 4, R 024AG1 Group Meeting
03/09/202314:00Fajar HaifaniOn a Notion of Abduction and Relevance for First-Order Logic Clause SetsE1 4, 024Promotionskolloquium
03/09/202310:00s.t.Stephan SchulzE 3.0 - Even Faster, Much Higher, Still StrongerE1 4, 024Talk
03/09/202309:30Paul GölzFair, Representative, and Transparent Algorithms for Citizens’ AssembliesE1 5, 002CIS@MPG Tenure-Track Faculty
03/07/202314:00Anita DürrRecent developments in monotone min-plus convolution/product algorithmsE1 4, 024Talk
03/07/202313:00Rahul Mudambi VenkateshFault-tolerant pulse synchronization with stable output frequencie (Master thesis)E1 4, 024AG1 Mittagsseminar (own work)
03/03/202312:30Mark MrsicReal-Time Collaborative Optimization PlatformVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
03/03/202309:30Bhaskar Ray ChaudhuryFrom Resource Allocation to Machine Learning: Fairness Through Computation and Fairness in ComputationE1 5, 002CIS@MPG Tenure-Track Faculty
03/02/202317:00Adam BoulandQuantum PseudoentanglementVirtual talk, Virtual talkINF Distinguished Lecture Series
03/02/202315:00Mirko PalmerPhD Defense: Towards Enabling Cross-layer Information Sharing to Improve Today's Content Delivery SystemsE1 4, 024Promotionskolloquium
03/02/202313:00Seth PettieOptimal Vertex Connectivity OraclesVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
03/02/202309:30Maryam AliakbarpourStatistical inference with privacy and computational constraintsG26 [KL], 111SWS Colloquium
03/01/202312:15Ingmar WeberSocietal ComputingE1 5, 002Joint Lecture Series
03/01/202311:30D1 Group MembersD1 Group MeetingE1 4, R 024AG1 Group Meeting
02/28/202313:00Johannes BundHazard-Free Clock Synchronization (PhD defense)Virtual talk, Virtual talkAG1 Mittagsseminar (own work)
02/28/202309:30Dr. Anne-Kathrin SchmuckThe Power of Feedback in a Cyber-Physical WorldG26 [KL], 111SWS Colloquium
02/24/202315:00c.t.Said Jawad SaidiCharacterizing the IoT Ecosystem at ScaleE1 4, 024Promotionskolloquium
02/23/202313:00Karol WęgrzyckiParameterized Approximation for Maximum Weight Independent Set of Rectangles and SegmentsE1 4, 024AG1 Mittagsseminar (own work)
02/23/202309:30Priyanka GoliaFusing AI and Formal Methods for Automated SynthesisG26 [KL], 111SWS Colloquium
02/22/202316:00Stephan GünnemannGraph Neural Networks for Molecular SystemsE1 5, 002Max Planck Distinguished Speaker Talk
02/21/202316:00Ryan WilliamsThe Mystery of the Missing StringVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
02/15/202311:30D1 Group MembersExclamation Point IconD1 Group Meeting (Photographer)E1 5, R 105AG1 Group Meeting
02/14/202314:00Leqi LiuLearning for Decision Making: A Tale of Complex Human PreferencesVirtual talk, zoomSWS Colloquium
02/14/202313:00Peter Kiss(1+\eps)-Approximate Dynamic Matching in Truly Sublinear TimeE1 4, 024AG1 Mittagsseminar (own work)
02/10/202313:30Naveen GargOutliers: How to Handle ThemE1.4, 024MPI-Kolloquium
02/09/202313:30Aman MathurProgrammatic Interfaces for Design and SimulationG26 [KL], 111SWS Student Defense Talks - Thesis Defense
02/09/202313:00Golnoosh ShahkaramiA Novel Prediction Setup for Online Speed-ScalingE1 4, 024AG1 Mittagsseminar (own work)
02/02/202313:00Suomela JukkaLocality in online, dynamic, sequential, and distributed graph algorithmsVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
02/01/202315:00Manling LiToward Deep Semantic Understanding: Event-Centric Multimodal Knowledge AcquisitionE1 5, 002SWS Colloquium
02/01/202312:15Sven RahmannExclamation Point IconTerabyte-Scale Genome Analysis for Underfunded LabsE1 5, 002Joint Lecture Series
02/01/202311:30D1 Group MembersD1 Group MeetingE1 4, R 024AG1 Group Meeting
01/31/202313:00Adam PolakDynamic algorithms with predictionsE1 4, 024AG1 Mittagsseminar (own work)
01/27/202316:30Yaoyao LiuLearning from Imperfect Data: Incremental Learning and Few-shot LearningE 1.4, 024Promotionskolloquium
01/27/202314:30s.t.Nhi PhamA Twitter corpus of linguistically and geographically diverse varieties of EnglishVirtual talk, zoomPhD Application Talk
01/27/202314:00s.t.Mohammad AsadiConcept-Based Interpretation for Raw Time Series Models in EducationVirtual talk, zoomPhD Application Talk
01/27/202313:30s.t.Tsung-Han WuTowards Cost-Effective and Trustworthy Visual Autonomous SystemsVirtual talk, zoomPhD Application Talk
01/27/202313:00s.t.Daoan ZhangUnconditional and Conditional Representation ManipulationVirtual talk, zoomPhD Application Talk
01/27/202312:30s.t.Hassan HamidihesarsorkhColoring as a Pretext Task for Semantic Segmentation in Point CloudVirtual talk, zoomPhD Application Talk
01/27/202311:00s.t.Yuezhi YangDiscovering Design Concept for CAD SketchesVirtual talk, zoomPhD Application Talk
01/27/202310:30s.t.Shrisudhan GovindarajanSynthesizing Light Field Video from SmartphonesVirtual talk, zoomPhD Application Talk
01/27/202310:00s.t.Sara KhosraviArea: AI, Machine Learning, Robotics, VisionVirtual talk, zoomPhD Application Talk
01/27/202309:30s.t.Mohammad Mahdi AsmaeNeural Enhanced Dynamic Message PassingVirtual talk, zoomPhD Application Talk
01/27/202309:00s.t.Pushpdeep SinghGender Bias in Neural Machine Translation(NMT): Evaluation and MitigationVirtual talk, zoomPhD Application Talk
01/27/202308:30s.t.Ruonan ZhuZ-ACM: An approximate calculation method of Z-numbers for large data sets based on kernel density estimation and its application in decision-makingVirtual talk, zoomPhD Application Talk
01/26/202313:00Ameet GadekarClustering with fairness constraintsE1 4, 024AG1 Mittagsseminar (own work)
01/24/202314:00s.t.Duri Andrea JanettTwo Dimensional Drift Analysis: Optimizing Two Functions Simultaneously Can Be HardVirtual talk, zoomPhD Application Talk
01/24/202313:30s.t.Anita DürrImproved bounds for rectangular monotone Min-Plus ProductVirtual talk, zoomPhD Application Talk
01/24/202313:00s.t.Ali HatamshoarOnline Coloring of Intervals with a Limited Recourse BudgetVirtual talk, zoomPhD Application Talk
01/24/202312:00s.t.Sagnik DuttaImproved lower bound and proof barrier for constant depth algebraic circuitsVirtual talk, zoomPhD Application Talk
01/24/202309:30s.t.Aryan AgarwalaParallel Algorithms for Bipartite Graph MatchingVirtual talk, zoomPhD Application Talk
01/24/202309:00s.t.Ajaykrishnan Edamana Illam SatheeshkumarKnot-Free Vertex Deletion Exact and Enumeration AlgorithmsVirtual talk, zoomPhD Application Talk
01/23/202314:00s.t.Si SuoDenotational semantics of commutative combinations of effectsVirtual talk, zoomPhD Application Talk
01/23/202313:30s.t.MohammadHossein KhoshechinJorshariActor-based Timing Analysis in Automotive SystemsVirtual talk, zoomPhD Application Talk
01/23/202313:00s.t.Yun-Rong LuoProofs and Dependency Schemes for Stochastic Quantified SatisfiabilityVirtual talk, zoomPhD Application Talk
01/23/202312:30s.t.Alexander MayorovVariable independence in quantifier-free fragments of first-order logicVirtual talk, zoomPhD Application Talk
01/23/202310:30s.t.Otuekong EkpoTechnique for enhancing the resistance of critical rail infrastructure to cyber-threatVirtual talk, zoomPhD Application Talk
01/23/202310:00s.t.Soham DeStudying Strategic Information Operations in India through Social MediaVirtual talk, zoomPhD Application Talk
01/23/202309:30s.t.Mahsa GhaderanFact Extraction and Verification for a low resource languageVirtual talk, zoomPhD Application Talk
01/23/202309:00s.t.Carolina Coimbra VieiraThe Interplay between Culture and MigrationVirtual talk, zoomPhD Application Talk
01/19/202316:00Robert KoenigAdaptive constant-depth circuits for manipulating non-abelian anyonsVirtual talk, Virtual talkINF Distinguished Lecture Series
01/19/202313:00Yuval EfronCut Query Algorithms Using Star-ContractionE1 4, 024AG1 Mittagsseminar (own work)
01/18/202311:30D1 Group MembersD1 Group Meeting (in presence)E 1, 4, R 024AG1 Group Meeting
01/17/202313:00Zhongtian HeCactus Representations in Polylogarithmic Max-flow via Maximal Isolating MincutsE1 4, 024AG1 Mittagsseminar (own work)
01/12/202313:00Philipp SchepperTight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth GraphsE1 4, 024AG1 Mittagsseminar (own work)
01/04/202311:30D1 Group MembersD1 Group Meeting (in presence)E1, 4, D1 RotundaAG1 Group Meeting
12/28/202211:30D1 Group MembersD1 Group Meeting (in presence)E 1, 4, Rotunda D1AG1 Group Meeting
12/20/202216:00Yury MakarychevApproximation algorithms for the socially fair clustering problemVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
12/14/202214:00Mahmoud SalamatiFormal Controller Synthesis for Dynamical Systems: Decidability and ScalabilityG26 [KL], 113SWS Student Defense Talks - Thesis Proposal
12/14/202211:30D1 Group MembersD1 Group MeetingE 1, 4, R 024AG1 Group Meeting
12/13/202213:00Eva RotenbergSparsity-adaptive dynamic graph algorithmsE1 4, 024AG1 Mittagsseminar (own work)
12/12/202216:00Aleksander B. G. ChristiansenThe Power of Multi-Step Vizing ChainsE1 4, 024AG1 Mittagsseminar (own work)
12/08/202216:00Harry BuhrmannQuantum fine-grained complexity and the quantum advantageVirtual talk, Virtual talkAG1 Advanced Mini-Course
12/08/202213:00Adam PolakBellman-Ford is optimal for shortest hop-bounded pathsE1 4, 024AG1 Mittagsseminar (own work)
12/08/202210:30Janis KalofoliasSubgroup Discovery for Structured Target ConceptsC9 3, KonferenzraumPromotionskolloquium
12/07/202212:15Anne SchmuckLet's play! - Solving controller synthesis games for cyber-physical system designE1 5, 002Joint Lecture Series
12/06/202213:00Nikhil KumarAn Approximate Generalization of the Okamura-Seymour TheoremE1 4, 024AG1 Mittagsseminar (own work)
12/01/202213:00Peter KissDynamic Matching with Better-than-2 Approximation in Polylogarithmic Update TimeE1 4, 024AG1 Mittagsseminar (own work)
11/30/202211:30D1 Group MembersD1 Group MeetingE 1, 4, R 024AG1 Group Meeting
11/29/202213:00Zahra ParsaeianApproximate Near-Neighbor Problem for Curves using Discrete Fréchet Distance under Translation and Rotation (Master thesis)E1 4, 024AG1 Mittagsseminar (own work)
11/24/202213:00Pascal SchweitzerThe Graph Isomorphism Problem: a journey through theory-practice synergiesE1 4, 024AG1 Mittagsseminar (own work)
11/24/202210:00Aïna Linn GeorgesEnforcing Stack Safety on a Capability MachineE1 5, 005SWS Colloquium
11/23/202213:00Vasilis LivanosCombinatorial Optimization under Uncertainty and Prophet InequalitiesE1 4, 024AG1 Mittagsseminar (own work)
11/23/202209:00Philipp SchröppelRobust Multi-view Depth EstimationE1 7, 001Talk
11/22/202213:00Sanjeev KhannaSublinear Algorithms for Hierarchical ClusteringVirtual talk, Virtual talkAG1 Mittagsseminar (others' work)
11/21/202213:00Arijit KhanData Management for Emerging Problems in Large NetworksE1 4, 024Talk
11/17/202216:00Barbara TerhalQuantum Error Correction Beyond QubitsVirtual talk, Virtual talkMax Planck Distinguished Speaker Talk
11/16/202211:30D1 Group MembersD1 Group MeetingE 1, 4, R 024AG1 Group Meeting
11/16/202210:00Thorsten JoachimsDesigning AI Systems with Steerable Long-Term DynamicsG26 [KL], 111SWS Distinguished Lecture Series
11/12/202216:00Aleksander B. G. ChristiansenTBAE1 4, 024AG1 Mittagsseminar (own work)
11/10/202213:00Kurt MehlhornFair Allocation of Indivisible Goods, A SurveyMPI-INF, 024AG1 Mittagsseminar (basic education)
11/07/202210:30Sumit GulwaniAI-assisted Programming: Applications, User experiences, and Neuro-symbolic techniquesE1 5, 002SWS Distinguished Lecture Series
11/02/202212:15Martin BrombergerWhy not use a hammer when a problem looks almost like a nail?E1 5, 002Joint Lecture Series
11/02/202211:30D1 Group MembersD1 Group MeetingE 1, 4, R 024AG1 Group Meeting
10/28/202210:30Vinh Thinh HoEntities with Quantities: Extraction, Search, and RankingE1 4, R024Promotionskolloquium
10/27/202213:00Tomasz KociumakaGap Edit Distance via Non-Adaptive Queries: Simple and OptimalE1 4, 024AG1 Mittagsseminar (own work)
10/25/202213:00Vera TraubBetter-Than-2 Approximations for Weighted Tree Augmentation and Forest AugmentationVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
10/20/202213:00Joseph CheriyanApproximation Algorithms for Flexible Network DesignMPI-INF, 024AG1 Mittagsseminar (own work)
10/19/202211:30D1 Group MembersExclamation Point IconD1 Group Meeting (in presence)E 1, 4, 310AG1 Group Meeting
10/18/202213:00Karl BringmannFine-Grained Complexity of Distance OraclesE1 4, 007AG1 Mittagsseminar (own work)
10/13/202216:00Umesh VaziraniTheoretical Reflections on Quantum SupremacyVirtual talk, Virtual talkINF Distinguished Lecture Series
10/12/202210:00Attila Kinali-DoganPhD Defense: On Time, Time Synchronization and Noise in Time Measurement SystemsE1 4, 024Promotionskolloquium
10/11/202213:00Hörsch FlorianOrientations and Arc-connectivityE1 4, 007AG1 Mittagsseminar (own work)
10/05/202212:15Martina MaggioControl Systems in the presence of Computational ProblemsE1 5, 002Joint Lecture Series
10/05/202211:30D1 Group MembersExclamation Point IconD1 Group Meeting (in presence)E 1, 4, 310AG1 Group Meeting
10/04/202213:00Evangelos KipouridisReconstructing the Tree of Life (Fitting Distances by Tree Metrics)E1 5, 002AG1 Mittagsseminar (own work)
09/28/202215:30Lassota Alexandra AnnaInteger Linear Programs and How To Use Them EfficientlyE1 4, 007AG1 Mittagsseminar (own work)
09/27/202213:00Pranjal DuttaPower and limitation of border depth-3 algebraic circuitsE1 4, 024AG1 Mittagsseminar (own work)
09/22/202216:00Ariel ProcacciaDemocracy and the Pursuit of RandomnessVirtual talk, Virtual talkJoint Lecture Series
09/21/202211:30D1 Group MembersExclamation Point IconD1 Group Meeting (in presence)E 1, 4, Rotunda D1AG1 Group Meeting
09/20/202213:00Merav ParterA Graph Theoretic Approach for Resilient Distributed AlgorithmsVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
09/15/202216:00Peter ShorQuantum MoneyVirtual talk, Virtual talkINF Distinguished Lecture Series
09/15/202213:00Joakim BlikstadNearly Optimal Communication and Query Complexity of Bipartite MatchingE1 4, 024AG1 Mittagsseminar (own work)
09/08/202213:00Danupon NanongkaiNegative-Weight Single-Source Shortest Paths in Near-linear TimeE1 4, 024AG1 Mittagsseminar (own work)
09/07/202211:30D1 Group MembersExclamation Point IconD1 Group Meeting (in presence)E 1, 4, R 024AG1 Group Meeting
09/06/202218:00Michael SammlerAutomated and Foundational Verification of Low-Level ProgramsVirtual talk, Virtual talkSWS Student Defense Talks - Thesis Proposal
09/01/202213:00Philipp SchepperComputing Generalized Convolutions Faster Than Brute ForceE1 4, 024AG1 Mittagsseminar (own work)
08/31/202216:00Mohamed AlzayatEfficient Request Isolation in Function-as-a-Service -- Reconciling Confidentiality and CorrectnessVirtual talk, 029SWS Student Defense Talks - Thesis Proposal
08/30/202213:00Philipp SchepperAnti-Factor is FPT Parameterized by Treewidth and List Size (but Counting is Hard)E1 4, 024AG1 Mittagsseminar (own work)
08/24/202211:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
08/18/202216:00Mohsen GhaffariLocal Computation of Maximal Independent SetVirtual, VirtualAG1 Mittagsseminar (own work)
08/17/202211:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
08/10/202211:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
08/03/202211:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
07/28/202216:00Tony CubittHamiltonian simulation theory: from near-term quantum computing to quantum gravityE1 4, 024INF Distinguished Lecture Series
07/28/202213:00Jonas FischerMore than the sum of its parts – pattern mining, neural networks and how they complement each otherE1 4, 024Promotionskolloquium
07/27/202211:30D1 Group MembersD1 Group MeetingVirtual talk, Virtual talkAG1 Group Meeting
07/25/202213:00Numair MansurAutomatically Detecting and Mitigating Issues in Program AnalyzersVirtual talk, RemoteSWS Student Defense Talks - Thesis Proposal
07/22/202214:00David StutzUnderstanding and Improving Robustness and Uncertainty Estimation in Deep LearningE 1.4, 024Promotionskolloquium
07/22/202213:00Sahar SheikholeslamiA Recursive Early-Stopping Phase King ProtocolVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
07/20/202211:30D1 Group MembersD1 Group MeetingVirtual talk, Virtual talkAG1 Group Meeting
07/19/202214:00Indranil GuptaDistinguished Speaker Colloquium: Indranil Gupta (UIUC): Hammer vs. Gavel - How I Learned to Stop Learning and Love the Old-Fashioned AlgorithmE1 4, virtualMPI Colloquium Series Distinguished Speaker
07/13/202211:30D1 Group MembersD1 Group MeetingVirtual talk, Virtual talkAG1 Group Meeting
07/11/202214:00Jean-Marie De KoninckConsecutive integers divisible by a power of their largest prime factorE1 5, 002SWS Colloquium
07/11/202211:00Zahra MontazeriRealistic Modeling and Rendering of FabricsE1 4, 024AG4 Talk
07/06/202212:15Tobias FiebigExclamation Point IconInformation System Security: Beyond the Sum of its Parts Analyze, Measure, Explain, ImproveVirtual talk, VirtualJoint Lecture Series
07/06/202211:30D1 Group MembersD1 Group MeetingVirtual talk, Virtual talkAG1 Group Meeting
06/30/202213:00Ian JonesThe World’s 3rd Fastest FIFOMPII, 024AG1 Mittagsseminar (own work)
06/29/202214:00Andrea HornakovaLifted Edges as Connectivity Priors for Multicut and Disjoint PathsE 1.5, 029Promotionskolloquium
06/29/202211:30D1 Group MembersD1 Group MeetingVirtual talk, Virtual talkAG1 Group Meeting
06/28/202213:30Areil KulikAnalysis of Two-variable Recurrence Relations with Application to Parameterized ApproximationsMPII (E1 4), 024AG1 Mittagsseminar (own work)
06/28/202213:00Aleksander ŁukasiewiczTight Vector Bin Packing with Few Small Items via Fast Exact Matching in MultigraphsVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
06/27/202211:00Debasmita LoharExpanding the Horizons of Finite-Precision AnalysisE1 5, 029SWS Student Defense Talks - Thesis Proposal
06/24/202214:00Kaushik MallikPushing the Barriers in Controller Synthesis for Cyber-Physical SystemsG26 [KL], 113SWS Student Defense Talks - Thesis Defense
06/24/202210:30Ivan GavranPlanning and Specification Problems for Multi-Robot Systems, Powered by Formal MethodsE1 5 [KL], 113SWS Student Defense Talks - Thesis Defense
06/23/202213:00Baris Can EsmerFaster Exponential-Time Approximation Algorithms Using Approximate Monotone Local SearchVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
06/22/202211:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
06/21/202213:00Sam Jonas NiroOptimization under PrivacyVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
06/17/202213:45Dzmitry V. DudkoDecidability in Dynamics via GeometrizationE1 4 (MPII), 024AG1 Mittagsseminar (own work)
06/17/202213:00Golnoosh Shahkarami[Cancelled] A Novel Prediction Setup for Online Speed-ScalingE1 4 (MPII), 024AG1 Mittagsseminar (own work)
06/15/202211:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
06/14/202213:30Philipp SchepperParameterized Complexity of Weighted Multicut in TreesMPII (E1 4), 024AG1 Mittagsseminar (own work)
06/14/202213:00Alejandro CassisFaster Knapsack Algorithms via Bounded Monotone Min-Plus-ConvolutionMPII, 024AG1 Mittagsseminar (own work)
06/14/202210:00s.t.Ben WiederhakePhD Defense Ben WiederhakeE1 4, 024Promotionskolloquium
06/10/202213:00Anna Christina de Carvalho GuimaraesData Science Methods for the Analysis of Controversial SocialMedia DiscussionsVirtual talk, Virtual talkPromotionskolloquium
06/09/202213:00Alejandro CassisAlmost-Optimal Sublinear-Time Edit Distance in the Low Distance RegimeMPII, 024AG1 Mittagsseminar (own work)
06/08/202211:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
06/07/202213:00Aleksander ŁukasiewiczAll-Pairs LCA in DAGs: Breaking through the O(n^2.5) barrierMPII, 024AG1 Mittagsseminar (own work)
06/01/202212:15Elissa RedmilesExclamation Point IconLearning from the People: Responsibly Encouraging Adoption of Contact Tracing AppsVirtual talk, Virtual talkJoint Lecture Series
06/01/202211:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
05/27/202214:00Joël OuaknineThe Skolem LandscapeE1 5, 002SWS Colloquium
05/25/202211:30D1 Group MeetingD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
05/24/202213:00Zahra ParsaeianTowards Sub-Quadratic Diameter Computation in Geometric Intersection GraphsMPII, 024AG1 Mittagsseminar (own work)
05/24/202209:30Lorenzo AlvisiOrderrr! A tale of money, intrigue, and specificationsE1 5, 002SWS Distinguished Lecture Series
05/20/202216:15Preethi LahotiOperationalizing Fairness for Responsible Machine LearningVirtual talk, Virtual TalkPromotionskolloquium
05/19/202216:00Andris AmbainisQuantum algorithms for search and optimizationVirtual talk, ZoomINF Distinguished Lecture Series
05/19/202213:00Kurt MehlhornReview and Letters of RecommendationsMPI, 018AG1 Mittagsseminar (basic education)
05/18/202211:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
05/13/202216:00André NusserPhD Defense André NusserVirtual talk, Virtual talkPromotionskolloquium
05/12/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
05/05/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
05/04/202212:15Thorsten HolzTowards Resilient and Sustainable Software SecurityVirtual talk, VirtualJoint Lecture Series
05/03/202213:00Prafullkumar TalePractice lecture on String ProcessingVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
04/28/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
04/25/202214:15Iryna GurevychComment – Link – Revise: Towards a General Framework for Modelling Interconnected TextsVirtual talk, virtual talkMPI Colloquium Series Distinguished Speaker
04/25/202210:00Cuong Xuan ChuKnowledge Extraction from Fictional TextsVirtual talk, Virtual talkPromotionskolloquium
04/21/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
04/19/202213:00Prafullkumar Tale(CANCELLED) Practice lecture on String Processing.Virtual talk, Virtual talkAG1 Mittagsseminar (own work)
04/14/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
04/07/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
04/07/202211:00Long Tran-ThanhSaving Stochastic Bandits from Poisoning Attacks via Limited Data VerificationVirtual talk, Virtual talkSWS Colloquium
04/06/202212:15Adam KortylewskiRobust Deep Neural Networks for Computer VisionVirtual talk, VirtualJoint Lecture Series
03/31/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
03/29/202215:00c.t.Maria Florina BalcanMachine learning for algorithm designVirtual talk [KL], zoomSWS Distinguished Lecture Series
03/29/202213:00Prafullkumar TaleParameterized Complexity of Edge Contraction ProblemsVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
03/24/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
03/23/202218:00Magdalena BalazinskaVideo Data ManagementVirtual talk, Virtual talkMPI Colloquium Series Distinguished Speaker
03/17/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
03/15/202213:00Karol WęgrzyckiIsolation schemes for problems on decomposable graphsVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
03/14/202210:00Roberto NavigliRecent Developments in Multilingual Natural Language UnderstandingVirtual talk, Virtual talkMPI Colloquium Series Distinguished Speaker
03/10/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
03/09/202212:00c.t.Gael VaroquauxEmbeddings of databases for analytics robust to alignment errorsE1 4, 024AG5 Talk
03/04/202214:00Adam DziedzicConfidential and Private Collaborative Machine LearningVirtual talk, Virtual talkCIS@MPG Colloquium
03/03/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
03/03/202210:00Anwar HithnawiSystems Designs for End-to-End PrivacyVirtual talk, Virtual talkCIS@MPG Colloquium
03/02/202217:00Pardis Emami-NaeiniEmpowering People to Have Secure and Private Interactions with Digital TechnologiesVirtual talk, Virtual talkCIS@MPG Colloquium
03/01/202218:00Yejin ChoiKnowledge is Power: Symbolic Knowledge Distillation, Commonsense Morality, and Multimodal Script KnowledgeVirtual talk, Virtual talkINF Distinguished Lecture Series
03/01/202215:00Yixin ZouImproving People’s Adoption of Security and Privacy BehaviorsVirtual talk, Virtual talkCIS@MPG Colloquium
02/28/202215:00Suguman BansalSpecification-Guided Policy-SynthesisVirtual talk, Virtual talkCIS@MPG Colloquium
02/24/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
02/23/202216:00Rowan ZellersGrounding Language by Seeing, Hearing, and InteractingVirtual talk, Virtual talkCIS@MPG Colloquium
02/22/202215:00Aaron ScheinMeasurement and Experimentation in Complex Sociopolitical ProcessesVirtual talk, Virtual talkCIS@MPG Colloquium
02/21/202215:00Ningning XieLanguage theory into practice, a play in three actsVirtual talk, Virtual talkCIS@MPG Colloquium
02/18/202216:00Yao QinImproving Robustness in Machine Learning ModelsVirtual talk, Virtual talkCIS@MPG Colloquium
02/18/202211:00Anna TigunovaExtracting personal information from conversationsVirtual talk, virtual talkPromotionskolloquium
02/17/202216:00Stephanie WehnerQuantum Networks: From a Physics Experiment to a Quantum Network SystemE1 4, 325INF Distinguished Lecture Series
02/17/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
02/15/202210:00Yiqing HuaCharacterizing and Mitigating Threats to Trust and Safety OnlineVirtual talk, Virtual talkCIS@MPG Colloquium
02/11/202212:00Hadi DaneshmandHow do neurons learn?Virtual talk, Virtual talkCIS@MPG Colloquium
02/11/202209:30Krikamol MuandetToward Reliable Machine Learning with KernelsVirtual talk, Virtual talkCIS@MPG Colloquium
02/10/202214:00Wenbo GuoStrengthening and Enriching Machine Learning for CybersecurityVirtual talk, Virtual talkCIS@MPG Colloquium
02/10/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
02/03/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
02/02/202212:15Goran RadanovicRobust and Accountable Multi-Agent Sequential Decision MakingVirtual talk, VirtualJoint Lecture Series
01/27/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
01/20/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
01/20/202210:00Willy ZwaenepoelSoftware for Fast Storage HardwareVirtual talk, Virtual TalkSWS Distinguished Lecture Series
01/18/202215:00Nina Grgić-HlačaHuman Factors in Machine-Assisted Decision-MakingE1 4, 029SWS Student Defense Talks - Thesis Proposal
01/18/202213:00Benedikt GeilenkeuserFPT-Algorithms for the Treewidth-3 Modulator Problem (Master Thesis)Virtual talk, Virtual talkAG1 Mittagsseminar (own work)
01/17/202213:00Zhongtian HeTBAE1 4, 024AG1 Mittagsseminar (own work)
01/17/202213:00Zhongtian HeTBAE1 4, 024AG1 Mittagsseminar (own work)
01/13/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
01/06/202213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
01/04/202213:00Karl BringmannTight Fine-Grained Bounds for Direct Access on Join Queries, or: Fine-Grained Complexity meets DatabasesVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
12/16/202113:00D1 Group MembersExclamation Point IconD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
12/16/202112:00Yanlei DiaoUDAO: A Next-Generation Cloud Data Analytics Optimizer via Large-Scale Machine LearningVirtual talk, Virtual talkINF Distinguished Lecture Series
12/15/202112:00Mohamed OmranFrom Pixels to People: Recovering Location, Shape, and Pose of Humans in ImagesVirtual talk, Virtual talkPromotionskolloquium
12/14/202113:00Daniel NeuenParameterized Subexponential Algorithms for Generalized Cycle Hitting Problems on Planar GraphsVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
12/09/202111:00Azin GhazimatinEnhancing Explainability and Scrutability of Recommender SystemsVirtual talk, Virtual talkPromotionskolloquium
12/08/202111:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
12/07/202114:00Marko DokoProgram Logic for Weak Memory ConcurrencyUni Kaiserlautern [KL], 48SWS Student Defense Talks - Thesis Defense
12/02/202115:00Philip WellnitzCounting Patterns in Strings and GraphsVirtual talk, Virtual talkPromotionskolloquium
12/02/202113:00Hossein VahidiApproximate Minimum Directed Spanning Tree in Congest and Congested Clique Models (Master's Thesis)Virtual talk, Virtual talkAG1 Mittagsseminar (own work)
12/01/202112:15Deepak KapurSemantic Congruence Closure AlgorithmsVirtual talk, VirtualJoint Lecture Series
12/01/202111:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
12/01/202110:00Utkarsh UpadhyayModels and Methods for Dissemination of Information and Knowledge OnlineG26 [KL], 111SWS Student Defense Talks - Thesis Defense
11/30/202110:00Thomas NeumannAdaptive Join Order Optimization using Search Space LinearizationVirtual talk, Virtual talkMPI Colloquium Series Distinguished Speaker
11/25/202115:00s.t.Victoria TsoukalaCANCELLED:Talk on European research framework (Horizon Europe)Virtual talk, Virtual talkPresentation
11/24/202111:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
11/23/202115:00Tim KraskaTowards instance-optimized data systemsVirtual talk, Virtual talkMPI Colloquium Series Distinguished Speaker
11/23/202114:00Sandra ZillesOptimal Machine Teaching Without CollusionVirtual talk, Virtual talkSWS Colloquium
11/19/202110:00Federico AromoloEvent-Driven Delay-Induced Tasks: Model, Analysis, and ApplicationsVirtual talk [KL], Virtual talkSWS Colloquium
11/18/202114:00Ashley MontanaroObserving ground-state properties of the Fermi-Hubbard model using a scalable algorithm on a quantum computerVirtual talk, Virtual talkMPI Colloquium Series Distinguished Speaker
11/18/202112:00Yanlei DiaoUDAO: A Next-Generation Cloud Data Analytics Optimizer via Large-Scale Machine LearningVirtual talk, Virtual talkMPI Colloquium Series Distinguished Speaker
11/17/202111:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
11/16/202113:00Ariel KulikRound&Round: An Improved Algorithm for 2-Dimensional Vector Bin PackingVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
11/15/202116:00s.t.Johannes GehrkeDatabase Systems 2.0Virtual talk, ZoomSWS Distinguished Lecture Series
11/10/202111:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
11/03/202112:15Paul FrancisMost data anonymity attack papers are inconclusive or misleadingVirtual talk, VirtualJoint Lecture Series
11/03/202111:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
11/03/202110:00Timothy RoscoeEnzian: a cache-coherent heterogeneous research computerVirtual talk, VirtualSWS Distinguished Lecture Series
10/28/202115:00Alexandra SilvaConcurrent NetKAT: Modeling and analyzing stateful, concurrent networksVirtual talk [KL], zoomSWS Distinguished Lecture Series
10/28/202114:00Renato RennerExclamation Point IconOptimal universal programming of unitary gatesVirtual talk, Virtual talkMPI Colloquium Series Distinguished Speaker
10/27/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
10/25/202110:00Gabriel KaptchukAbuse Resistant Law Enforcement Access SystemsVirtual talk, ZoomTalk
10/20/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
10/13/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
10/06/202112:15c.t.Dengxin DaiAll-Season Semantic Scene Understanding for Autonomous DrivingVirtual talk, VirtualJoint Lecture Series
10/06/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
09/29/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
09/28/202113:00Rishabh SharmaBuilding a user study system for the MPI Optimized ModelerVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
09/24/202116:00Apratim BhattacharyyaLong-term Future Prediction under Uncertainty and Multi-modalityVirtual talk, Virtual talkPromotionskolloquium
09/23/202113:00Alejandro CassisFine-Grained Completeness for Optimization in PVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
09/22/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
09/22/202110:00Laura KovacsAlgebra-based Analysis of Polynomial Probabilistic ProgramsVirtual talk, ZoomSWS Distinguished Lecture Series
09/21/202113:00Sami ShalayelReflector detection in ultrasound measurements via column generationVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
09/16/202116:00Matthias ChristandlFault-tolerant Coding for Quantum InformationVirtual talk, Virtual talkMPI Colloquium Series Distinguished Speaker
09/15/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
09/15/202110:30Frank PiessensValidating models for microarchitectural securityVirtual talk, ZoomSWS Distinguished Lecture Series
09/08/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
09/01/202112:15Vladislav Golyanik3D Computer Vision: From a Classical to a Quantum PerspectiveVirtual talk, VirtualJoint Lecture Series
09/01/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
08/26/202115:00Chuchu FanFast, optimal, and guaranteed safe controller synthesisVirtual talk [KL], zoomSWS Colloquium
08/26/202113:00Jeff GilibertiImproved Online Algorithm for Fractional Knapsack in the Random Order ModelVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
08/25/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
08/11/202115:00Debmalya MandalDecision Making with Heterogeneous AgentsVirtual talk, Virtual talkTalk
08/04/202112:15Thomas LeimkühlerExploring the Continuum of Image Synthesis AlgorithmsVirtual talk, VirtualJoint Lecture Series
08/04/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
07/29/202113:00Hamidreza KamkariSemi-definite programming using Physarum inspired dynamicsVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
07/28/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
07/27/202114:30Rakshith ShettyAdversarial Content Manipulation for Analyzing and Improving Model RobustnessVirtual talk, Virtual talkPromotionskolloquium
07/22/202116:00Andrew ChildsEfficient quantum algorithm for dissipative nonlinear differential equationsVirtual talk, Virtual talkINF Distinguished Lecture Series
07/22/202113:00Shahrzad KananizadehAlgorithm for Target-Matching Wire Routing in the MEMS PeripheryVirtual talk, Virtual talkAG1 Advanced Mini-Course
07/21/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
07/20/202113:00Parinya Chalermsookto be announcedVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
07/15/202113:00multipleD1 Virtual Poster SessionVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
07/14/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
07/14/202110:00Peter PietzuchMaking Distributed Deep Learning AdaptiveVirtual talk, ZoomSWS Distinguished Lecture Series
07/08/202113:00Karol WegrzyckiKnapsack and Subset Sum with Small ItemsVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
07/07/202112:15Christian TheobaltNeural Methods for Reconstruction and Rendering of Real World ScenesVirtual talk, VirtualJoint Lecture Series
07/07/202111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
07/05/202118:00Bhaskar Ray ChaudhuryFinding Fair and Efficient AllocationsVirtual talk, Virtual talkPromotionskolloquium
06/30/202116:00Herbert BosAttacks on Hardware: Why You Should Not Do ItVirtual talk, ZoomSWS Distinguished Lecture Series
06/30/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
06/29/202114:00Alexander MarxInformation-theoretic causal discoveryVirtual talk, VirtualPromotionskolloquium
06/29/202113:00Baris Can EsmerOn (1+eps)-approximate Block Sparse Recovery (Master Seminar)Virtual talk, Virtual talkAG1 Mittagsseminar (own work)
06/28/202116:15Octavio Arizmendi EchegarayEnergy of graphs and verticesVirtual talk, Virtual talkTalk
06/28/202110:00Sreyasi Nag ChowdhuryText-Image Synergy for Multimodal Retrieval and AnnotationVirtual talk, VirtualPromotionskolloquium
06/24/202113:00Nick FischerSparse Nonnegative Convolution Is Equivalent to Dense Nonnegative ConvolutionVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
06/23/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
06/18/202113:00Hossein VahidiApproximate Minimum Directed Spanning Trees under CongestionVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
06/17/202113:00Govind SankarTight Complexity Results for General Factor Problems Parameterized by Treewidth and CutwidthVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
06/16/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
06/16/202110:30Tulika MitraDomain-Agnostic Accelerators: Efficiency with ProgrammabilityVirtual talk [KL], ZoomSWS Distinguished Lecture Series
06/14/202109:00Mahmoudreza BabaeiInformation Consumption on Social Media: Efficiency, Divisiveness, and TrustE1 5, 029SWS Student Defense Talks - Thesis Defense
06/10/202113:00D1 ResearchersD1 Virtual "Poster" SessionVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
06/10/202111:30Bruno LevyPartial Optimal Transport for a Constant-Volume Lagrangian Mesh with Free BoundariesVirtual talk, Virtual talkTalk
06/09/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
06/08/202113:00Sam Jonas EgervariOptimization under Privacy (Bachelor Seminar)Virtual talk, Virtual talkAG1 Mittagsseminar (own work)
06/07/202116:00Mohamed Gad-ElrabExplainable Methods for Knowledge Graph Refinement and Exploration via Symbolic ReasoningVirtual talk, Virtual talkPromotionskolloquium
06/02/202115:00Jon KleinbergMonoculture and Simplicity in an Ecosystem of Algorithmic Decision-MakingVirtual talk [KL], ZoomSWS Distinguished Lecture Series
06/02/202112:15Joël OuaknineDynamics and Computation: The GALoiS InitiativeVirtual talk, VirtualJoint Lecture Series
06/02/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
06/02/202109:00Heiko BeckerVerified Compilation and Optimization of Finite-Precision KernelsE1 5, 029SWS Student Defense Talks - Thesis Proposal
06/01/202113:00Anna TwelsiekProduction Planning of Mixed-Model Assembly Lines at the Ford Saarlouis Plant (Master thesis)Virtual talk, Virtual talkAG1 Mittagsseminar (own work)
05/27/202113:00André NusserTranslating Hausdorff is Hard: Fine-Grained Lower Bounds for Hausdorff Distance Under TranslationVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
05/26/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
05/26/202110:00Mooly SagivModularity for Decidability: Formal Reasoning about Decentralized Financial ApplicationsVirtual talk, ZoomSWS Distinguished Lecture Series
05/19/202116:30Margo SeltzerCaching: It's not just about DataVirtual talk, VirtualSWS Distinguished Lecture Series
05/19/202111:30Kurt MehlhornExclamation Point Icon*No* D1 Group Meeting (due to SAB review)—, —AG1 Group Meeting
05/12/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
05/12/202110:10Orna KupfermanFrom Correctness to High QualityVirtual talk [KL], ZoomSWS Distinguished Lecture Series
05/05/202115:00Prakash PanangadenDistributional analysis of sampling-based RL algorithmsVirtual talk [KL], ZoomSWS Distinguished Lecture Series
05/05/202112:15Savvas ZannettouData-Driven Approaches to Understanding Hateful Content and Moderation Interventions on the WebVirtual talk, VirtualJoint Lecture Series
05/05/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
04/28/202116:00Phokion G. KolaitisComputational Social Choice and Incomplete InformationVirtual talk [KL], ZoomSWS Distinguished Lecture Series
04/28/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
04/21/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
04/21/202110:00Joost-Pieter KatoenOn Probabilistic Program TerminationVirtual talk [KL], zoomSWS Distinguished Lecture Series
04/14/202115:00André PlatzerLogical Foundations of Cyber-Physical SystemsVirtual talk [KL], zoomSWS Distinguished Lecture Series
04/14/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
04/08/202113:00Ben WiederhakeDistributed Distance-r Dominating Set on Bounded Expansion High-Girth GraphsVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
04/08/202110:00c.t.Guyue (Grace) LiuWatching the Watchmen: Trustworthy Network Tasks OutsourcingVirtual talk, VirtualTalk
04/07/202112:15Marvin KünnemannA Structural Complexity Theory for Big Data: Fine-grained Complexity and Algorithm DesignVirtual talk, VirtualJoint Lecture Series
04/07/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
03/31/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
03/31/202110:00Katerina ArgyrakiInternet TransparencyVirtual talk, ZoomSWS Distinguished Lecture Series
03/29/202110:00Kuldeep MeelFunctional Synthesis: An Ideal Meeting Ground for Formal Methods and Machine LearningVirtual talk [KL], Virtual talkSWS Colloquium
03/24/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
03/17/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
03/11/202113:00Deni BegajA multi-user platform for managing and solving Mixed Integer Linear Optimization problems (Master's Thesis defense)Virtual talk, Virtual talkAG1 Mittagsseminar (own work)
03/11/202110:00c.t.Yasemin AcarHuman Factors in Secure Software Development: How we can help developers write secure codeVirtual talk, Virtual talkCIS@MPG Colloquium
03/10/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
03/09/202110:00Marcel BöhmeAutomatic Vulnerability Discovery at ScaleVirtual talk, Virtual talkCIS@MPG Colloquium
03/08/202115:00Fraser BrownExterminating bugs in real systemsVirtual talk, Virtual talkCIS@MPG Colloquium
03/05/202109:30c.t.Hengshuang ZhaoAdvancing Visual Intelligence via Neural System DesignVirtual talk, Virtual talkCIS@MPG Colloquium
03/04/202113:00Christoph LenzenThe Many Faces of Clock SynchronizationVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
03/04/202111:00Panagiotis MandrosDiscovering Robust Dependencies from DataVirtual talk, Virtual talkPromotionskolloquium
03/04/202110:30Antoine KaufmannPost-Moore Systems — Challenges and OpportunitiesVirtual talk, Virtual talkCIS@MPG Colloquium
03/03/202112:15Viktor VafeiadisExclamation Point IconModel Checking Under Weak Memory ConcurrencyVirtual talk, Virtual talkJoint Lecture Series
03/03/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
03/03/202109:30Hongyang ZhangNew Advances in (Adversarially) Robust and Secure Machine LearningVirtual talk, Virtual talkCIS@MPG Colloquium
03/02/202117:00Anqi LiuTowards Trustworthy AI: Provably Robust Extrapolation for Decision MakingVirtual talk, Virtual talkCIS@MPG Colloquium
03/01/202114:00Hu WeiOpening the Black Box: Towards Theoretical Understanding of Deep LearningVirtual talk, Virtual talkCIS@MPG Colloquium
02/25/202117:00Florian TramerMeasuring and Enhancing the Security of Machine LearningVirtual talk, Virtual talkCIS@MPG Colloquium
02/25/202113:00Liana KhazaliyaGraph coalition partitions that are optimal under social welfareVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
02/24/202117:00Antonio VergariFrom Simple Inference to Complex Probabilistic ReasoningE1 1, 412Talk
02/24/202114:00Andrew QuinnData-Centric Debugging or: How I Learned to Stop Worrying and Use 'Big Data' Techniques to Diagnose Software BugsVirtual talk, Virtual talkCIS@MPG Colloquium
02/24/202114:00Saskia MetzlerStructural Building Blocks in Graph Data: Characterised by Hyperbolic Communities and Uncovered by Boolean Tensor ClusteringVirtual talk, Virtual talkPromotionskolloquium
02/24/202113:00Slobodan MitrovicNew Techniques for Designing Fast Parallel AlgorithmsE1 1, 412Talk
02/24/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
02/23/202115:00Justine ZhangTowards an Actionable Understanding of ConversationsVirtual talk [KL], Virtual talkCIS@MPG Colloquium
02/23/202113:00D1 ResearchersExclamation Point IconD1 Open Problem SessionVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
02/22/202110:30Sandra KieferAlgorithmic Approaches in Finite-ModelTheory With Interdisciplinary ApplicationsVirtual talk, Virtual talkCIS@MPG Colloquium
02/18/202116:00Eddy IlgWhat Models do we Need in Computer Vision? From Optical Flow to Scene RepresentationsVirtual talk, Virtual talkCIS@MPG Colloquium
02/18/202113:00Sebastian HomrighausenOn Asymmetric Fair DivisionVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
02/17/202115:00Riad WahbyBreaking the chains of implicit trustVirtual talk, Virtual talkCIS@MPG Colloquium
02/17/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
02/16/202115:00c.t.Juba ZianiUsing Data More ResponsiblyVirtual talk, Virtual talkCIS@MPG Colloquium
02/16/202113:00Bhaskar Ray CaudhuryDiscrete Fair DivisionVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
02/15/202114:00Ahmed SaeedBuilding Scalable Network Stacks for Modern ApplicationsVirtual talk, Virtual talkCIS@MPG Colloquium
02/11/202115:00Mariya TonevaData-Driven Transfer of Insight between Brains and AI SystemsVirtual talk, Virtual talkCIS@MPG Colloquium
02/10/202117:30Abhinav VermaNeurosymbolic Reinforcement Learning for Trustworthy AIE1 3, 412Talk
02/10/202115:00Florian WillomitzerThe Role of Fundamental Limits in Computational 3D Imaging SystemsE1 3, 412Talk
02/10/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
02/10/202110:00Wenguan WangDeep Visual Perception in a Structured WorldE1 3, 412Talk
02/03/202116:00Rebekka BurkholzCascade processes in machine learningE1 3, 412Talk
02/03/202114:00Jan van den BrandDynamic Linear AlgebraE1 3, 412Talk
02/03/202112:15Yiting XiaA Social Network under Social Distancing - Experience and Insights during COVID-19 on Risk-Driven Backbone ManagementVirtual talk, Virtual talkJoint Lecture Series
02/03/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
02/03/202111:00Benjamin KaminskiTBAE1 3, 412Talk
01/27/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
01/20/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
01/18/202113:00Benedikt GeilenkeuserFPT-Algorithms for the Treewidth-3 Modulator Problem (Master Thesis)Virtual talk, Virtual talkAG1 Mittagsseminar (own work)
01/14/202113:00Raul LopesAdapting the Directed Grid Theorem into an FPT algorithmVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
01/13/202115:00c.t.Steve ZdancewicVellvm: Verifying LLVM IR CodeVirtual talk, Virtual talkSWS Distinguished Lecture Series
01/13/202112:15Sven ApelThe Programmer, The Unknown Being: Program Comprehension Research in the NeuroageVirtual talk, Virtual talkJoint Lecture Series
01/13/202111:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
01/12/202113:00Karol WegrzyckiImproving Schroeppel and Shamir's Algorithm for Subset Sum via Orthogonal VectorsVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
01/07/202113:00Karl BringmannA Fine-Grained Perspective on Approximating Subset Sum and PartitionVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
12/18/202016:00Tribhuvanesh OrekondyUnderstanding and Controlling Leakage in Machine LearningVirtual talk, Virtual talkPromotionskolloquium
12/18/202013:00Jannik KudlaApproximation Schemes for Subset Sum Ratio (Bachelor Thesis)Virtual talk, Virtual talkAG1 Mittagsseminar (own work)
12/17/202013:00Hussein HoudrougeSubquadratic High-Dimensional Hierarchical ClusteringVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
12/16/202016:00Eldar InsafutdinovTowards Accurate Multi-Person Pose Estimation in the WildVirtual talk, Virtual talkPromotionskolloquium
12/16/202011:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
12/15/202013:00Jannis Christopher KöhlBranch & Converge: A Generic Technique for Boundable Problems (Bachelor's Thesis defense)Virtual talk, Virtual talkAG1 Mittagsseminar (own work)
12/15/202010:00c.t.Jialong LiBuilding Low-Latency and Energy-Efficient Optical Metro-Access Converged NetworksVirtual talk, Virtual talkTalk
12/10/202013:00Sándor Kisfaludi-BakGap-ETH-tight approximation scheme for Euclidean TSPVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
12/09/202011:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
12/08/202014:00Daniel VazApproximation Algorithms for Network Design and Cut Problems in Bounded-TreewidthVirtual talk, Virtual talkPromotionskolloquium
12/04/202010:00Anca MuschollDistributed synthesis and negotiationsVirtual talk, Virtual talkSWS Distinguished Lecture Series
12/03/202013:00Prafullkumar TaleOn the Parameterized Complexity of Maximum Degree Contraction ProblemVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
12/02/202016:00Nuria OliverTowards Human Behavior Modeling from (Big) Data: From smart rooms, cars and phones to COVID-19Virtual talk, Virtual talkSWS Distinguished Lecture Series
12/02/202012:15Oliver GasserInternet Measurements: From IPv6 Scanning to the COVID-19 PandemicVirtual talk, Virtual talkJoint Lecture Series
12/02/202011:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
11/26/202015:30Manohar VangaHigh-Throughput and Predictable VM Scheduling for High-Density WorkloadsG26 [KL], 111SWS Student Defense Talks - Thesis Defense
11/26/202013:00Jacob FockeOn the Complexity of Approximately Counting RetractionsVirtual, VirtualAG1 Advanced Mini-Course
11/25/202011:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
11/24/202016:00s.t.Franziska RoesnerCan You Believe It? Security and Privacy Case Studies in Online Advertising, Misinformation, and Augmented RealityVirtual, VirtualSWS Distinguished Lecture Series
11/18/202015:00c.t.Jenn Wortman VaughanIntelligibility Throughout the Machine Learning Life CycleVirtual talk, Virtual talkSWS Distinguished Lecture Series
11/18/202011:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
11/17/202017:00Ben WiederhakeTRIX: Low-Skew Pulse Propagation for Fault-Tolerant HardwareVirtual, VirtualAG1 Mittagsseminar (own work)
11/13/202014:00Philipp MüllerSensing, Interpreting, and Anticipating Human Social Behaviour in the Real WorldVirtual, VirtualPromotionskolloquium
11/11/202015:00c.t.Iyad RahwanExperiments in Machine Behavior: Cooperating with and through machinesVirtual, ZoomSWS Distinguished Lecture Series
11/11/202011:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
11/05/202013:00Joel OuaknineHolonomic Techniques, Periods, and Decision ProblemsVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
11/04/202016:00c.t.Evimaria TerziSimple models for optimizing driver earnings in ride-sharing platformsVirtual talk, Virtual talkSWS Distinguished Lecture Series
11/04/202011:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
11/03/202014:30Aastha MehtaEnsuring Compliance with Data Privacy and Usage Policies in Online ServicesE1 5, 029SWS Student Defense Talks - Thesis Defense
11/03/202013:00Ioannis AnagnostidesOptimistic Gradient Descent/Ascent in Zero-Sum GamesVirtual talk, Virtual talkAG1 Mittagsseminar (own work)
11/02/202009:00c.t.Katrina LigettDiagnosing the data ecosystemVirtual talk, Virtual talkSWS Colloquium
10/28/202011:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
10/27/202016:00Boaz BarakGeneralization bounds for rational self-supervised learning algorithmsE1 4, 024INF Distinguished Lecture Series
10/22/202015:30Arpan GujaratiTowards Ultra-Reliable CPS: Reliability Analysis of Distributed Real-Time SystemsE1 5 [KL], 111SWS Student Defense Talks - Thesis Defense
10/22/202013:00Marko MrsicAn interface to model and solve Mixed-Integer Linear Programs (Bachelor Defense)000, 000AG1 Mittagsseminar (own work)
10/21/202011:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
10/20/202014:00Matthias ChristandlTensors: rank, entropy and entanglementE1 4, 024MPI Colloquium Series Distinguished Speaker
10/16/202013:00Philip WellnitzFaster Approximate Pattern Matching: A Unified Approachn/a, n/aAG1 Mittagsseminar (own work)
10/15/202013:00D1 membersSharing our experience with digital teaching000, 000AG1 Group Meeting
10/15/202010:30Tanja PahlFlu Vaccination (requires sign-up)E1 5, FoyerMiscellaneous
10/14/202011:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk, Virtual talkAG1 Group Meeting
10/13/202013:00Roohani SharmaFault Tolerant Directed Subgraphs with Applications in Kernelization000, 000AG1 Mittagsseminar (own work)
10/08/202013:00Kurt MehlhornNetwork Design and PhysarumE1 4, 024AG1 Mittagsseminar (own work)
10/07/202011:30Kurt MehlhornD1 Group Meeting (virtual)—, —AG1 Group Meeting
09/30/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
09/23/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
09/22/202013:00Esther GalbyApproximating Independent Set and Dominating Set on VPG graphs000, 000AG1 Mittagsseminar (own work)
09/16/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
09/15/202013:00André NusserWhen Lipschitz Walks Your Dog: Algorithm Engineering of the Discrete Fréchet Distance under Translation--, --AG1 Mittagsseminar (own work)
09/10/202013:00Marc RothCounting Small Induced Subgraphs Satisfying Monotone Properties-, -AG1 Mittagsseminar (own work)
09/09/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
09/02/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
08/27/202013:00Jannis KöhlBranch & Converge: A Generic Technique for Boundable Problems (Bachelor Seminar)E1 4, 024AG1 Mittagsseminar (own work)
08/26/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
08/21/202011:00Ralf JungUnderstanding and Evolving the Rust Programming LanguageE1 5, 021SWS Student Defense Talks - Thesis Defense
08/19/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
08/18/202013:00Siddharth BarmanFair Cake Division Under Monotone Likelihood RatiosE1 4, 024AG1 Advanced Mini-Course
08/12/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
08/11/202013:00Ian W. JonesMetastability Masking Flip-flops000, 000AG1 Mittagsseminar (own work)
08/10/202013:00Golnoosh ShahkaramiComplexity of Computing the Anti-Ramsey Numbers for Paths000, 000AG1 Mittagsseminar (own work)
08/05/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
07/29/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
07/28/202013:00Guy EvenOptimized Scheduling of COVID-19 TestingE1 4, 024AG1 Mittagsseminar (own work)
07/23/202013:00Pranabendu MisraAn optimal approximation algorithm for Feedback Vertex Set in Tournaments000, 000AG1 Mittagsseminar (own work)
07/22/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
07/21/202016:00Johannes BundExclamation Point IconPALS: Plesiochronous and Locally Synchronous Systemsvirtual, virtualAG1 Mittagsseminar (own work)
07/21/202013:00Stefan SchmidSelf-Adjusting Networks: From Metrics to Algorithmsvirtual, virtualAG1 Mittagsseminar (others' work)
07/15/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
07/09/202013:00Deni BegajBuilding a platform for modeling and solving Optimization problems (Master seminar)E1 4, 024AG1 Mittagsseminar (own work)
07/08/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 024AG1 Group Meeting
07/07/202016:00Yongqin XianLearning from Limited Labeled Data - Zero-Shot and Few-Shot LearningE1 4, ZoomPromotionskolloquium
07/07/202013:00Marvin KünnemannFinding Small Satisfying Assignments Faster Than Brute Force: A Fine-grained Perspective into Boolean Constraint Satisfactionvirtual, virtualAG1 Mittagsseminar (own work)
07/06/202014:00Kailash BudhathokiCausal Inference on Discrete DataE1 4, ZoomPromotionskolloquium
07/02/202015:00Indranil GuptaThe Future of Technology Will Not Be TechnologicalE1 4, Zoom MeetingColloquium Lecture
07/02/202013:00Leonie KrullAlgorithms for MILPs000, 000AG1 Mittagsseminar (own work)
07/01/202011:00Kurt MehlhornExclamation Point IconD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
06/30/202013:00Themis GouleakisDistribution-Independent PAC Learning of Halfspaces with Massart Noise000, 000AG1 Mittagsseminar (own work)
06/26/202014:00Marko MrsicTowards an Optimization Platform (Bachelor seminar)000, 000AG1 Mittagsseminar (own work)
06/25/202013:00Bhaskar Ray ChaudhuryEFX Exists for Three Agents000, 000AG1 Mittagsseminar (own work)
06/24/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 024AG1 Group Meeting
06/24/202010:00Eskam ElniketyComprehensive and Practical Policy Compliance in Data Retrieval SystemsE1 5, 029SWS Student Defense Talks - Thesis Defense
06/23/202013:00Jasper SlusallekAlgorithms and Lower Bounds for Finding Exact-Weight Subgraphs of Bounded Treewidth (Bachelor thesis)E1 4, 024AG1 Mittagsseminar (own work)
06/18/202013:00Sándor Kisfaludi-BakA quasi-polynomial algorithm for well-spaced hyperbolic TSP000, 000AG1 Mittagsseminar (own work)
06/17/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
06/16/202013:00Vasileios Nakos(Nearly) Sample-Optimal Sparse Fourier Transform in Any Dimension000, 000AG1 Mittagsseminar (own work)
06/15/202016:30Elizaveta KovalevskayaThe Complexity of Reading Articles in an Online Setting (Master's defence)000, 000AG1 Mittagsseminar (own work)
06/15/202016:00Roxana GeambasuSecurity and Privacy Guarantees in Machine Learning with Differential PrivacyE1 4, ZoomSWS Distinguished Lecture Series
06/10/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 024AG1 Group Meeting
06/09/202013:00Prafullkumar TaleOn the Parameterized Complexity of Grid Contraction000, 000AG1 Mittagsseminar (own work)
06/03/202012:15Cas CremersExclamation Point IconCANCELLED The (In)Security of Modern Communication: From Guesses to GuaranteesE1 5, 002Joint Lecture Series
06/03/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
05/27/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
05/27/202010:30Jan-Oliver KaiserMtac2: Strongly-Typed Tactic- and Meta-Programming for CoqE1 5, OnlineSWS Student Defense Talks - Thesis Proposal
05/25/202016:00Hadas Kress-GazitFormal Synthesis for RobotsG26 [KL], onlineSWS Distinguished Lecture Series
05/24/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 024AG1 Group Meeting
05/20/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
05/20/202010:00Emanuele D'OsualdoIn Search of Compositional Verification for Concurrent ProgramsE1 5, RemoteColloquium Lecture
05/13/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
05/10/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 024AG1 Group Meeting
05/07/202013:00Hossein VahidiDistributed Minimum Directed Spanning Tree000, Video onlyAG1 Mittagsseminar (others' work)
05/06/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
04/29/202011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4, 333AG1 Group Meeting
04/23/202013:00Daniel NeuenQuasipolynomial Time Isomorphism Tests for Parameterized Graph Classes000, Video onlyAG1 Mittagsseminar (own work)
04/22/202011:30Kurt MehlhornD1 Group Meeting (ID 1095)E1 4, 333AG1 Group Meeting
04/21/202013:00Prafullkumar TaleAbout Graph Contraction Problems000, Video onlyAG1 Mittagsseminar (own work)
04/15/202011:30Kurt MehlhornD1 Group Meeting (ID 1095)E1 4, 333AG1 Group Meeting
04/14/202015:00Gayane VardoyanTalk: On the Analysis of Entanglement Distribution in a Quantum Network-, -Talk
04/09/202013:00Mathieu MariFixed-parameter algorithms for Unsplittable Flow CoverVideo only, 000AG1 Mittagsseminar (own work)
04/08/202011:30Kurt MehlhornD1 Group Meeting (ID 1095)E1 4, 333AG1 Group Meeting
04/07/202013:00Pieter KleerLearning-Augmented Online Selection AlgorithmsVideo only, 000AG1 Mittagsseminar (own work)
04/06/202010:00Danupon NanonkaiNew Perspectives on Old Graph Questions (Video Talk)E1 4, 024INF Distinguished Lecture Series
04/01/202012:15Julian Baldus, Marian Dietz, Simon SchwarzCANCELLED: Computer Science Competitions @ SICE2 2, Günther-Hotz-HSJoint Lecture Series
04/01/202011:30Kurt MehlhornD1 Group Meeting (ID 1095)E1 4, 333AG1 Group Meeting
03/31/202011:00Martin GroheSymmetry and Similarity (Video Lecture)E1 4, Video LectureColloquium Lecture
03/31/202011:00Martin GroheTo be announcedE1 4, 024Colloquium Lecture
03/26/202014:00David SteurerQuest for a unified theory of efficient optimization and estimation (Video Lecture)E1 4, VideoINF Distinguished Lecture Series
03/26/202010:00Yiting Xia*Remote Talk* Improve Operations of Data Center Networks with Physical-Layer ProgrammabilityE1 5, 029SWS Colloquium
03/25/202011:30Kurt MehlhornD1 Group Meeting (ID 1095)E1 4, 333AG1 Group Meeting
03/18/202011:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
03/18/202010:00Yannis Kalantidis*Remote Talk* Learning efficient representations for image and video understandingE1 5, 029SWS Colloquium
03/16/202010:00Niki Kilbertus*Remote Talk* Fairness in machine learningE1 5, 029SWS Colloquium
03/12/202013:00Radha Venkatagiri*Remote Talk* Democratizing Error-Efficient ComputingE1 5, 029SWS Colloquium
03/12/202013:00Surender BaswanaFault Tolerant DFS in Undirected Graphs - Simple yet EfficientE1 4, 024AG1 Mittagsseminar (own work)
03/11/202010:00c.t.Hamid RahkooyAutomated Reasoning in the Sciences: Biological Models and Chemical Reaction NetworksE1 5, 630Talk
03/10/202013:00Surender BaswanaMincut Sensitivity Data Structures for Insertion of an Edge.E1 4, 024AG1 Mittagsseminar (own work)
03/10/202010:00Shin Hwei TanSearch-based automated program repair and testingG26 [KL], 111SWS Colloquium
03/05/202013:00Antonios AntoniadisParallel Machine Scheduling to Minimize Energy ConsumptionE1 4, 024AG1 Mittagsseminar (own work)
03/04/202012:15Viktor VafeiadisCANCELLED: Model checking under weak memory concurrencyE1 5, 002Joint Lecture Series
03/04/202011:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
02/27/202014:00Qingyun WuLearning by exploration in an unknown and changing environmentE1 5, SB 029SWS Colloquium
02/27/202013:00Ian W. JonesDetecting Glitch Paths in Chip DesignsE1 4, 024AG1 Mittagsseminar (own work)
02/25/202013:00Alejandro CassisFine-Grained Complexity of Exists^k-Forall-Quantified First-Order Graph Properties: Optimization and Approximability (Master Thesis)E1 4, 024AG1 Mittagsseminar (own work)
02/25/202010:00Giulio MalavoltaCompactness in CryptographyE1 5, 029SWS Colloquium
02/21/202013:00Naveen GargHalf-integral Duals, Connectivity Augmentation and Multiflows in Planar GraphsE1 4, 024AG1 Mittagsseminar (own work)
02/19/202011:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
02/13/202013:00Nofar CarmeliEnumeration Complexity of Unions of Conjunctive QueriesE1 4, 024AG1 Mittagsseminar (own work)
02/12/202010:15Klaus-Tycho FoersterTowards Reconfigurable Optical Networks: Opportunities and ChallengesE1 5, 029Informatik-Kolloquium
02/11/202013:00Corinna CoupetteCultivating Cluster TreesE1 4, 024AG1 Mittagsseminar (own work)
02/10/202010:00Marcel BöhmeSoftware Testing as Species DiscoveryE1 5, 029SWS Colloquium
02/07/202015:00Debayan RoyHybrid optimization techniques for multi-domain coupling in cyber-physical systems designG26 [KL], 111SWS Colloquium
02/07/202010:00Asia J. BiegaDesigning responsible information systemsE1 5, 029SWS Colloquium
02/06/202013:00Sami ShalayelColumn Generation for the Reconstruction of Ultrasound Full Matrix Capture Data (BSc Defense)E1 4, 024AG1 Mittagsseminar (own work)
02/05/202012:15Jan ReinekeSpectector: Principled Detection of Speculative Information FlowsE1 5, 002Joint Lecture Series
02/05/202011:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
02/04/202013:00Kurt MehlhornA Solution to Excercise 8.13 (The Maximum-Level Vertex in an Arrangement of Lines)E1 4, 024AG1 Mittagsseminar (own work)
02/03/202013:45Abhimitra MekaLive Inverse RenderingE1 4, 019Promotionskolloquium
02/03/202013:00Ian W. JonesChip Design Goes “Boink”E1 4, 024AG1 Mittagsseminar (own work)
01/30/202015:00Goran ZuzicTowards Universal Optimality in Distributed OptimizationE1 5, 105Talk
01/30/202013:00Sandeep R. B.Incompressibility of H-free edge modification problems: Towards a dichotomyE1 4, 024AG1 Mittagsseminar (own work)
01/28/202013:00Elizaveta KovalevskayaReading Articles Online (Master thesis)E1 4, 024AG1 Mittagsseminar (own work)
01/28/202010:00s.t.Mathias FleuryFormalization of Logical Calculi in Isabelle/HOLE1 4, 024Promotionskolloquium
01/17/202010:30Jon Howellveribetrfs: Verification as a Practical Engineering ToolE1 5, 029SWS Distinguished Lecture Series
01/17/202010:00Mahmoudreza BabaeiInformation Consumption on Social Media: Efficiency, Divisiveness, and TrustE1 5, 029SWS Student Defense Talks - Thesis Proposal
01/16/202013:00Philipp SchepperTight Bounds for Regular Expression Pattern Matching and Membership (Master thesis)E1 4, 024AG1 Mittagsseminar (own work)
01/15/202016:30Maximilian JohnOf Keyboards and Beyond - Optimization in Human-Computer InteractionE1 4, 024Promotionskolloquium
01/15/202011:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
01/14/202013:00Karl BringmannTop-k-Convolution and the Quest for Near-Linear Output-Sensitive Subset SumE1 4, 024AG1 Mittagsseminar (own work)
01/08/202012:15Dániel MarxTowards a Tight Understanding of the Complexity of Algorithmic ProblemsE1 5, 002Joint Lecture Series
12/18/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
12/17/201913:00Nico GründelImproving Computational Upper and Conditional Lower Bounds of Fréchet Distance on Practical Input Curves (Bachelor thesis)E1 4, 024AG1 Mittagsseminar (own work)
12/16/201910:30Işıl DilligComputer-Aided Programming Across Software StackG26 [KL], 111SWS Distinguished Lecture Series
12/12/201918:00c.t.Prof. Anthony Elliott, University of South AustraliaCEUS Talk The Politics of Digital transformation: Challenges and opportunities for the EU and AustraliaC7 1, C7 4, 1.17Talk
12/12/201914:00Dhruv GuptaSearch and Analytics Using Semantic AnnotationsE1 4, 0.24Promotionskolloquium
12/12/201910:30s.t.Conrad WattWebAssembly: Mechanisation, Security, and ConcurrencyE1 5, 029SWS Colloquium
12/10/201914:00s.t.Martin BrombergerDecision Procedures for Linear ArithmeticE1 5, 002Promotionskolloquium
12/10/201911:00s.t.Pascal FontaineQuantifiers and SMTE1 5, 002Talk
12/10/201910:00Ralf JungUnderstanding and Evolving the Rust Programming LanguageE1 5, 029SWS Student Defense Talks - Thesis Proposal
12/10/201909:00s.t.Alberto GriggioSMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric OperatorsE1 5, 002Talk
12/06/201914:00Reinhard MunzTowards Usability in Private Data AnalyticsG26 [KL], 607SWS Student Defense Talks - Thesis Defense
12/04/201912:15Sophie TourretStronger Higher-order AutomationE1 5, 002Joint Lecture Series
12/04/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
12/03/201915:00Yang HeImproved Methods and Analysis for Semantic Image SegmentationE1 4, 024Promotionskolloquium
12/03/201910:30Alex SummersPrusti – Deductive Verification for RustG26 [KL], 111SWS Colloquium
11/28/201913:00Julian BaldusA fast implementation of near neighbors queries for Frechet distance (Bachelor thesis)E1 4, 024AG1 Mittagsseminar (own work)
11/26/201916:00Kashyap PopatCredibility Analysis of Textual Claims with Explainable EvidenceE1 5, 029Promotionskolloquium
11/26/201914:15Felix NaumannExploring Change – A New Dimension of Data AnalyticsE1 4, 024Colloquium Lecture
11/26/201913:00Sandor Kisfaludi-BakOne-round discrete Voronoi GamesE1 4, 024AG1 Mittagsseminar (own work)
11/20/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
11/19/201913:00Pieter KleerUniform sampling of graphs with a given degree sequenceE1 4, 024AG1 Mittagsseminar (own work)
11/14/201910:00Mohsen GhaffariNetwork Decomposition and Derandomization for Distributed AlgorithmsE1 4, 024Talk
11/12/201913:00Karol WegrzyckiEqual-Subset-Sum Faster Than the Meet-in-the-MiddleE1 4, 024AG1 Mittagsseminar (own work)
11/08/201912:00Julian SteilMobile Eye Tracking for EveryoneE1 4, 024Promotionskolloquium
11/06/201912:15Paramita MirzaPersonal Knowledge Extraction: What Can Be Inferred From What You Say and DoE1 5, 002Joint Lecture Series
11/06/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
11/04/201910:30Jessica HoffmannDealing with Epidemics under UncertaintyG26, 111SWS Colloquium
10/31/201913:00Ian W. JonesVisualization in Circuit DesignE1 4, 024AG1 Mittagsseminar (others' work)
10/24/201913:00Philip WellnitzCounting Induced Subgraphs: An Algebraic Approach to #W[1]-HardnessE1 4, 024AG1 Mittagsseminar (own work)
10/22/201913:00Lazar MilenkovicApproximation Algorithms for the Bottleneck Asymmetric Traveling Salesman ProblemE1 4, 024AG1 Mittagsseminar (own work)
10/17/201916:00Utkarsh UpadhyayKnowledge and Information Dissemination: Models and MethodsG26 [KL], 111SWS Student Defense Talks - Thesis Proposal
10/16/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
10/15/201915:00Scott KilpatrickNon-Reformist Reform for Haskell ModularityE1 5, 029SWS Student Defense Talks - Thesis Defense
10/08/201915:00Yusra IbrahimUnderstanding Quantities in Web Tables and TextE1 4, 024Promotionskolloquium
10/07/201910:30Stefan SaroiuAre We Susceptible to Rowhammer? An End-to-End Methodology for Cloud ProvidersE1 5, 002SWS Colloquium
10/02/201912:15Paul SwobodaEfficient Optimization for Very Large Combinatorial Problems in Computer Vision and Machine LearningE1 5, 002Joint Lecture Series
10/02/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
10/02/201910:30Claude CastellucciaToward Cognitive SecurityE1 5, 029SWS Colloquium
09/30/201910:30Maria RauschenbergerHuman-Centered Design and Data Science for GoodE1 5, 029SWS Colloquium
09/24/201910:30YoungGyoun MoonAccelerating Network Applications with Stateful TCP OffloadingE1 5, 029SWS Colloquium
09/18/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
09/16/201910:30Cesare TinelliSynthesis from within: implementing automated synthesis inside an SMT solverG26 [KL], 111SWS Colloquium
09/12/201910:30Sandor Kisfaludi-BakETH-tight algorithms for geometric network problemsE1 4, 024AG1 Advanced Mini-Course
09/10/201913:00Stephan-Alexander AriesanuCircuit Delay Minimization Using Convex OptimizationE1 4, 024AG1 Mittagsseminar (own work)
09/09/201911:00Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
09/06/201913:00Shahrzad HaddadanRandom walks and their application in exploring networks and ranking objectsE1 4, 024AG1 Mittagsseminar (own work)
09/04/201912:15Vahid BabaeiComputational Fabrication: 3D Printing and BeyondE1 5, 002Joint Lecture Series
09/04/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
08/28/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
08/27/201914:00Vineet RajaniA type theory for amortized resource analysisE1 5, 029SWS Student Defense Talks - Thesis Proposal
08/21/201910:30Tanja KäserModeling and Individualizing Learning in Computer-Based EnvironmentsE1 5, 029SWS Colloquium
08/20/201916:00s.t.Marcel HarkAiming Low is Harder: Inductive Lower Bounds in Probabilistic Program VerificationE1 5, 630Talk
08/13/201913:45Kurt MehlhornTrustworthy Graph AlgorithmsE1 4, 024AG1 Mittagsseminar (own work)
08/13/201913:00Bhaskar Ray ChaudhuryExclamation Point IconA Little Charity Guarantees Almost Envy-FreenessE1 4, 022AG1 Mittagsseminar (own work)
08/08/201913:00Andrea HornakovaHigher Order Disjoint Paths for Multiple Object TrackingE1 4, 024AG1 Mittagsseminar (own work)
08/07/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
07/31/201914:00s.t.Marco VoigtDecidable Fragments of First-Order Logic and of First-Order Linear Arithmetic with Uninterpreted PredicatesE1 4, 024Promotionskolloquium
07/31/201911:00s.t.Alexander LeitschAlgorithmic Analysis of Proofs via CERESE1 4, 024Talk
07/31/201909:00s.t.Erich GrädelProvenance Analysis for Logic and GamesE1 4, 024Talk
07/23/201913:00Kurt MehlhornNew Convergence Results for the Physarum DynamicsE1 4, 024AG1 Mittagsseminar (own work)
07/19/201910:30Martin ZieglerComputer Science for NumericsE1 5, 029SWS Colloquium
07/18/201913:00Magnus DanielsonSynchronization routing in telecom networksE1 4, 024AG1 Mittagsseminar (own work)
07/17/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
07/16/201913:00Soham ChakrabortyCorrect Compilation of Relaxed Memory ConcurrencyG26 [KL], 111SWS Student Defense Talks - Thesis Defense
07/15/201910:30Mary BakerDesign Problems: Trustworthy Smart Devices and 3D Printed LaceE1 5, 029SWS Distinguished Lecture Series
07/11/201913:00Nick FischerA Fine-Grained Analogue of Schaefer's Theorem in P: Dichotomy of Exists^k Forall-Quantified First-Order Graph PropertiesE1 4, 024AG1 Mittagsseminar (own work)
07/10/201915:15Matthijs van LeeuwenMine, Interact, Learn, RepeatE1 5, 029Colloquium Lecture
07/10/201910:30Sanjar KaraevMatrix Factorization over Dioids and its Applications in Data MiningE1 5, 029Promotionskolloquium
07/09/201913:00s.t.Guy KortsarzBetween the metric and non metric facility location problemsE1 4, 024AG1 Mittagsseminar (own work)
07/08/201915:15Srikanta BedathurIndex-free Approximation of Reachability Queries on GraphsE1 4, 024Colloquium Lecture
07/08/201910:30c.t.Abhik RoychoudhuryAutomated Program RepairG26 [KL], 111SWS Distinguished Lecture Series
07/04/201913:00Bundit LaekhanukitAn O(log^2{k}/log log {k})-Approximation Algorithm for Directed Steiner Tree: A Tight Quasi-Polynomial-Time AlgorithmE1 4, 024AG1 Mittagsseminar (own work)
07/03/201912:15Mario FritzThe Bright and Dark Sides of Computer Vision: Challenges and Opportunities for Privacy and SecurityE1 5, 002Joint Lecture Series
07/03/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
07/02/201913:00Maximilian JohnDynamic Sparsification for Quadratic Assignment ProblemsE1 4, 024AG1 Mittagsseminar (own work)
07/02/201911:15André PlatzerSafe AI for CPSE1 5, 029Talk
06/28/201910:30s.t.Gordon WetzsteinComputational Single-photon ImagingE1 4, 019Talk
06/27/201913:00Guy Evento be announcedE1 4, 024AG1 Mittagsseminar (own work)
06/25/201913:00Pieter KleerThe switch Markov chain for the uniform sampling of graphs with given degreesE1 4, 024AG1 Mittagsseminar (own work)
06/24/201913:00MirkoTBAE1 4, 024AG1 Mittagsseminar (own work)
06/24/201913:00Mirko RossiSome Approximability Results on Delivering Messages with Mobile AgentsE1 4, 024AG1 Mittagsseminar (own work)
06/21/201915:00Themis GouleakisCommunication and Memory Efficient Testing of Discrete DistributionsE1 4, 024AG1 Mittagsseminar (own work)
06/21/201910:00Khaled ElbassioniSome Black-box Reductions for Cost-robust Discrete Optimization ProblemsE1 4, 024AG1 Mittagsseminar (own work)
06/19/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
06/18/201913:00Sandip SinhaLocal Decodability of the Burrows-Wheeler TransformE1 4, 024AG1 Mittagsseminar (own work)
06/17/201915:00Naveen GargA constant approximation algorithm for weighted flow timeE1 4, 024AG1 Mittagsseminar (own work)
06/17/201913:00Stefano LeucciTracking Routes in Communication NetworksE1 4, 024AG1 Mittagsseminar (own work)
06/13/201913:00Sami ShalayelAn optimzation problem from non-destructive testing using ultrasoundE1 5, 029AG1 Mittagsseminar (own work)
06/11/201913:00Bhaskar Ray ChaudhuryPolyline Simplification has Cubic ComplexityE1 4, 024AG1 Mittagsseminar (own work)
06/10/201910:30Ceren BudakFake News During the 2016 U.S. Presidential Elections: Prevalence, Agenda, and Stickiness.E1 5, 005SWS Colloquium
06/06/201913:00André NusserWalking the Dog Fast in Practice: Algorithm Engineering of the Fréchet DistanceE1 4, 024AG1 Mittagsseminar (own work)
06/05/201912:15Rhaleb ZayerBridging the Performance Gap in Digital Geometry ProcessingE1 5, 002Joint Lecture Series
06/05/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
06/04/201910:30c.t.Koushik SenAutomated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and BeyondG26 [KL], 111SWS Distinguished Lecture Series
05/31/201910:30Tom AndersonHigh Performance Operating Systems in the Data CenterE1 5, 029SWS Colloquium
05/27/201913:00George ChristodoulouThe price of stability of (weighted) congestion games with polynomial latenciesE1 4, 024AG1 Mittagsseminar (own work)
05/23/201910:30Theopilus BensonSystematic Approach to Managing Software Defined NetworksE1 5, 029SWS Colloquium
05/21/201913:00André NusserIpe TutorialE1 4, 024AG1 Mittagsseminar (basic education)
05/20/201910:30Dr Giovani GracioliOn the Predictability of Heterogeneous SoC Multicore PlatformsG26, 111SWS Colloquium
05/17/201910:30Jinyang LiTransparent Scaling of Deep Learning Systems through Dataflow Graph AnalysisE1 5, 002SWS Distinguished Lecture Series
05/16/201914:00Goran RadanovicHumans and Machines: From Data Elicitation to Helper-AIE1 5, 029SWS Colloquium
05/15/201912:15Damien ZuffereyProgramming Abstractions for Verifiable SoftwareE1 5, 002Joint Lecture Series
05/15/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
05/15/201910:30Nikolaj VolgushevConclave: Secure Multi-Party Computation on Big DataE1 5, 029SWS Colloquium
05/14/201913:00Johannes BundOptimal Metastability-Containing Sorting NetworksE1 4, 024AG1 Mittagsseminar (own work)
05/09/201910:30Étienne MiqueyA constructive proof of dependent choice in classical arithmetic via memoizationE1 5, 029SWS Colloquium
05/07/201913:00Sören Bund-BeckerCreating a Markup Language for Mixed Integer Linear ProgramsE1 4, 024AG1 Mittagsseminar (own work)
05/03/201915:30Filip NikšicCombinatorial Constructions for Effective TestingG26 [KL], 111SWS Student Defense Talks - Thesis Defense
05/02/201911:30Emilio ZagheniCombining Facebook data with traditional sources to study migration processesE1 4, 024Colloquium Lecture
05/02/201910:00Sandhya DwarkadasExclamation Point IconSharing-Aware Resource Management for Performance and ProtectionE1 5, 002SWS Distinguished Lecture Series
04/30/201913:00Suman BanerjeeEdge Computing in the Extreme and its ApplicationsE1 5, 105SWS Colloquium
04/29/201914:30Moses GanardiQuerying Regular Languages over Sliding WindowsG26 [KL], 111SWS Colloquium
04/17/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
04/16/201913:00Karl BringmannApproximating APSP without ScalingE1 4, 024AG1 Mittagsseminar (own work)
04/12/201915:00Jimmy LinRigor in Deep Learning for NLP and IRE1 4, 024Colloquium Lecture
04/12/201911:00Abdalghani AbujabalQuestion Answering over Knowledge Bases with Continuous LearningE1 4, 024Promotionskolloquium
04/08/201911:30Evgeny LevinkovGeneralizations of the Multicut Problem for Computer VisionE1 4, 024Promotionskolloquium
04/05/201914:00Sylvain SchmitzThe complexity of reachability in vector addition systemsG26, 111SWS Colloquium
04/04/201914:00Marvin DamschenWorst-Case Execution Time Guarantees for Runtime-Reconfigurable ArchitecturesG26 [KL], 111SWS Colloquium
04/03/201912:15Balakrishnan ChandrasekaranThe Server-to-Server Landscape: Insights, Opportunities, and ChallengesE1 5, 002Joint Lecture Series
04/03/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
04/01/201915:15Joanna BiegaEnhancing Privacy and Fairness in Search SystemsE1 4, 024Promotionskolloquium
04/01/201911:00Carlos CastilloDetecting Algorithmic BiasE1 4, 024INF Distinguished Lecture Series
03/21/201913:00Pavel VeselyA ϕ-Competitive Algorithm for Scheduling Packets with DeadlinesE1 4, 024AG1 Mittagsseminar (own work)
03/20/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
03/14/201913:00Jukka SuomelaThe landscape of distributed time complexityE1 4, 024AG1 Mittagsseminar (others' work)
03/13/201912:15Gurprit SinghAnalyzing Sample Correlations for Monte Carlo RenderingE1 5, 002Joint Lecture Series
03/13/201910:30Martina MaggioFeedback-Control for Self-Adaptive Predictable ComputingE1 5, 029SWS Colloquium
03/12/201913:00Boaz Patt-ShamirOn the Probe Complexity of Local Computation AlgorithmsE1 4, 024AG1 Mittagsseminar (others' work)
03/11/201910:30Sangeetha Abdu JyothiAutomated Resource Management in Large-Scale Networked SystemsE1 5, 029SWS Colloquium
03/08/201910:30Matthias BeckerPredictable Execution of Real-Time Applications on Many-Core PlatformsG26 [KL], 111SWS Colloquium
03/07/201916:30Aastha MehtaMitigating data leaks in real world systemsE1 5, 029SWS Student Defense Talks - Thesis Proposal
03/07/201913:00Ioana BerceaPower of two choices filter for approximate membership queriesE1 4, 024AG1 Advanced Mini-Course
03/07/201910:30Oana GogaPrivacy, Transparency and Trust in the User-Centric InternetE1 5, 029SWS Colloquium
03/06/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
03/05/201913:00Enrico FaccaNature-Inspired OptimizationE1 4, 024AG1 Mittagsseminar (own work)
03/05/201910:30Mrinmaya SachanTowards Literate Artificial IntelligenceE1 5, 029SWS Colloquium
02/28/201910:30Natacha CrooksA Client-centric Approach to Transactional DatastoresE1 5, 029SWS Colloquium
02/26/201913:00Joel RybickiApproximate Agreement on GraphsE1 4, 024AG1 Mittagsseminar (others' work)
02/20/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
02/20/201910:30Theodoros Gkountouvas: Improving Data Analysis by Exploiting Temporal InformationE1 5, 029Talk
02/18/201910:30Malte SchwarzkopfNew Abstractions for High-Performance Datacenter ApplicationsE1 5, 029SWS Colloquium
02/14/201913:00Jukka SuomelaLower bounds for maximal matchings and maximal independent setsE1 4, 024AG1 Mittagsseminar (others' work)
02/14/201909:00Viktor ErdélyiScalable positioning of commodity mobile devices using audio signalsE1 5, 029SWS Student Defense Talks - Thesis Defense
02/12/201913:00Michael KenzelSoftware Graphics Pipelines for the GPUDFKI D3 4, VisCenter, -1.63Talk
02/12/201913:00Pranabendu MisraParameterized Complexity of Connectivity Augmentation problemsE1 4, 024AG1 Mittagsseminar (own work)
02/07/201910:30Cristian CadarDynamic Symbolic Execution for Software AnalysisG26 [KL], 111SWS Distinguished Lecture Series
02/06/201916:15Saeed AmiriReading Group: Important Cuts and their ApplicationsE1 4, 024MPI-Seminar
02/06/201912:15Adish SinglaMachine TeachingE1 5, 002Joint Lecture Series
02/06/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
02/05/201917:30Anjo Vahldiek-OberwagnerTechniques to Protect Confidentiality and Integrity of Persistant and In-Memory DataE1 5, 029SWS Student Defense Talks - Thesis Defense
02/04/201918:00Bilal ZafarDiscrimination in Algorithmic Decision Making: From Principles to Measures and MechanismsE1 5, 029SWS Student Defense Talks - Thesis Defense
02/01/201910:30Helmut SeidlHow to Win a First-Order Safety GameG26 [KL], 111SWS Distinguished Lecture Series
01/30/201916:15Eunjin OhReading Group: Clustering Problems on Sliding WindowsE1 4, 024MPI-Seminar
01/25/201910:00s.t.Jürgen GieslAutomated Complexity Analysis for Java Programs with AProVEE1 5, 002Talk
01/24/201916:00s.t.Florian FrohnComplexity Analysis for Term Rewriting by Integer Transition SystemsE1 5, 002Talk
01/24/201913:00Vasileios NakosNearly Optimal Sparse Polynomial MultiplicationE1 4, 024AG1 Mittagsseminar (own work)
01/23/201916:15Nico GründelReading Group: On the Difference Between Closest, Furthest, and Orthogonal Pairs: Nearly-Linear vs Barely-Subquadratic Complexity in Computational GeometryE1 4, 024MPI-Seminar
01/22/201913:00Stefano LeucciOptimal Sorting with Persistent Comparison ErrorsE1 4, 024AG1 Mittagsseminar (own work)
01/22/201910:00Florian FrohnAutomated Complexity Analysis of Rewrite SystemsG26 [KL], 111SWS Colloquium
01/16/201916:15Daniel RadkeRefined Vertex Sparsifiers of Planar GraphsE1 4, 024MPI-Seminar
01/16/201911:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
01/15/201913:00s.t.Haibo ChenVirtualization Security: The Good, The Bad and The UglyE1 5, 029Colloquium Lecture
12/20/201816:00Juhi KulshresthaQuantifying & Characterizing Information Diets of Social Media UsersE1 5, 029SWS Student Defense Talks - Thesis Defense
12/19/201811:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
12/13/201813:00Philip WellnitzFew Matches or Almost Periodicity: Faster Pattern Matching with Mismatches in Compressed TextsE1 4, 024AG1 Mittagsseminar (own work)
12/13/201810:30Animesh MukherjeeLanguage dynamics in social mediaG26 [KL], 113SWS Colloquium
12/12/201816:15Antonios AntoniadisA Nearly-linear Bound for Chasing Nested Convex BodiesE1 4, 024MPI-Seminar
12/11/201813:00André NusserFréchet Distance Under Translation: Conditional Hardness and an Algorithm via Offline Dynamic Grid ReachabilityE1 4, 024AG1 Mittagsseminar (own work)
12/05/201816:15Alkmini SgouritsaBarriers to Near-Optimal EquilibriaE1 4, 024MPI-Seminar
12/05/201812:15Nico DöttlingPost-quantum Challenges in Secure ComputationE1 5, 002Joint Lecture Series
12/05/201811:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
12/03/201816:30Paarijaat AdityaPrivacy-Compliant Mobile ComputingE1 5, 029SWS Student Defense Talks - Thesis Defense
11/29/201813:00Bhaskar Ray ChaudhurySketching, Streaming and Fine Grained Complexity of (Weighted) LCSE 1 4, 024AG1 Mittagsseminar (own work)
11/27/201816:15Pavel KolevAlgorithmic Results for Clustering and Refined Physarum AnalysisE1 5, 029Promotionskolloquium
11/27/201813:00Attila KinaliNoise in Sine-to-Square ConvertersE1 4, 024AG1 Mittagsseminar (own work)
11/27/201810:30Paul ResnickSurvey Equivalence: An Information-theoretic Measure of Classifier Accuracy When the Ground Truth is SubjectiveE1 5, 002SWS Distinguished Lecture Series
11/22/201816:00Wojciech CzerwińskiThe Reachability Problem for Vector Addition Systems is Not ElementaryG26 [KL], 111SWS Colloquium
11/22/201814:30Georg von der BrueggenMore Realistic Scheduling Models and Analyses for Advanced Real-Time Embedded SystemsG26 [KL], 111SWS Colloquium
11/22/201813:00Yiannis GiannakopoulosOptimality and Approximation in Revenue-Maximizing AuctionsE1 4, 024AG1 Advanced Mini-Course
11/21/201816:15André NusserCustomizable Route Planning in Road NetworksE1 4, 024MPI-Seminar
11/21/201811:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
11/19/201810:30Peter MüllerVerified Secure RoutingG26 [KL], 111SWS Distinguished Lecture Series
11/14/201816:15Daniel VazEuclidean spanners: Short, Thin and LankyE1 4, 024MPI-Seminar
11/14/201810:30s.t.Dr. Martina MaggioFeedback Control for Predictable Cloud ComputingG26, 111SWS Colloquium
11/13/201810:30Elissa RedmilesLearning from the People: From Normative to Descriptive Solutions to Problems in Security, Privacy & Machine LearningE1 5, 029SWS Colloquium
11/12/201810:30Hoda HeidariFairness for Sequential Decision Making AlgorithmsE1 5, 029SWS Colloquium
11/12/201810:30Daniel MarxThe Optimality Program in Parameterized AlgorithmsE1 4, 024INF Distinguished Lecture Series
11/07/201816:15Tim OosterwijkPotential Function Minimizers of Combinatorial Congestion Games: Efficiency and ComputationE1 4, 024MPI-Seminar
11/07/201812:15Andreas ZellerGenerating Software TestsE1 5, 002Joint Lecture Series
11/07/201811:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
11/07/201810:00VerschiedeneSymposium for Women in IT and related subjectsE1 5, ground floorTalk
11/06/201816:00Vaibhav BajpaiA Longitudinal View of YouTube Content DeliveryE1 4, Rotunda 5th floorTalk
11/06/201813:00Tobias NipkowVerified Analysis of Algorithms: A Biased SurveyE1 4, 024AG1 Mittagsseminar (own work)
10/30/201813:00Matthias LeinenEfficient Generation of 1/f^alpha Noise in Matlab SimulinkE1 4, 024AG1 Mittagsseminar (own work)
10/30/201810:00Vijay SaraswatChallenges in deep text understanding in professional domainsE1 4, 024MPI Colloquium Series Distinguished Speaker
10/24/201816:15Kurt MehlhornA New Path from Splay to Dynamic OptimalityE1 4, 024MPI-Seminar
10/22/201810:30Sara AchourCompiling Dynamical Systems for Efficient Simulation on Reconfigurable Analog ComputersG26 [KL], 111SWS Colloquium
10/19/201813:00Yue ZhangInteractive Multi-style Pen-and-Ink Drawings from ImagesE1 4, 019Talk
10/19/201810:30Edith ElkindJustified representation in multiwinner voting: axioms and algorithmsG26 [KL], 111SWS Distinguished Lecture Series
10/18/201813:00Suryajith ChillaraA Quadratic Size-Hierarchy Theorem for Small-Depth Multilinear FormulasE1 4, 024AG1 Mittagsseminar (own work)
10/16/201813:00Reuven HodgesA non-iterative rule for straightening fillings of Young diagramsE1 4, 024AG1 Mittagsseminar (own work)
10/15/201810:30Dana Drachsler CohenAI2: Safety and Robustness Certification of Neural Networks with Abstract InterpretationG26 [KL], 111SWS Colloquium
10/10/201812:15Rishiraj Saha RoyComplexity in Question AnsweringE1 5, 002Joint Lecture Series
10/10/201811:30Kurt MehlhornExclamation Point IconD1 Group MeetingE1 4, 333AG1 Group Meeting
10/08/201811:00s.t.Debabrata MahapatraDNNs for Sparse Coding and Dictionary LearningE1 5, R029PhD Application Talk
10/08/201811:00s.t.Upendra KapshikarCould code based cryptosystems be more compact?E1 5, R029PhD Application Talk
10/04/201813:00Andrés CristiA Near Optimal Mechanism for Energy Aware SchedulingE1 4, 024AG1 Mittagsseminar (own work)
10/02/201813:00Karl BringmannSETH-Based Lower Bounds for Subset Sum and Bicriteria PathE1 4, 024AG1 Mittagsseminar (own work)
09/28/201813:00Sourav ChakrabortyOn the power of Conditional SamplingE1 4, 023AG1 Mittagsseminar (own work)
09/27/201813:00Alkmini SgouritsaDesigning Cost-Sharing Networks with Good Equilibria Under UncertaintyE1 4, 019AG1 Mittagsseminar (own work)
09/26/201811:00Xucong ZhangGaze Estimation and Interaction in Real-World EnvironmentsE1 4, 019Promotionskolloquium
09/21/201810:30Vlad NituImproving the energy efficiency of virtualized datacentersG26 [KL], 111SWS Colloquium
09/20/201814:00Randy BushCritical Infrastructure vs Computer Science vs Software Engineering - We are DoomedE1 4, 019Talk
09/19/201811:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
09/18/201814:00Fouzhan HosseiniSkeletons for Distributed Topological ComputationE1 4, 019Talk
09/18/201810:00Hamish CarrTopological Analysis of Scientific DataE1 4, 019Talk
09/13/201814:30David BromanGradually Typed Symbolic Expressions: an Approach for Developing Embedded Domain-Specific Modeling LanguagesG26 [KL], 113SWS Colloquium
09/13/201813:00Tim OosterwijkAbout the Price of Anarchy for Flows over TimeE1 4, 024AG1 Mittagsseminar (own work)
09/12/201815:30Saranya NatarajanTimed C: An Extension to the C Programming Language for Real-Time SystemsG26 [KL], 113SWS Colloquium
09/10/201816:00Felipe Augusto Queiroz de CerqueiraPROSA: A Foundation for Verified Schedulability AnalysisG26 [KL], 111SWS Student Defense Talks - Thesis Proposal
09/05/201811:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
08/28/201813:00Gautam Shroff (Chief Scientist, Tata Consultancy Services)From Conversational Interfaces to Knowledge Synthesis & Semantic SystemsE1 4, 024MPI Colloquium Series Distinguished Speaker
08/24/201810:30Venkat PadmanabhanHAMS: Harnessing AutoMobiles for SafetyE1 5, 029SWS Distinguished Lecture Series
08/23/201813:00Bhaskar Ray ChaudhuryCurve Simplification has cubic complexityE1 4, 024AG1 Mittagsseminar (own work)
08/21/201814:00Phillip Stanley-MarbellNot Your Typical Objects: Made from Raw Materials Augmented with Sensing and ComputationG26 [KL], 111SWS Colloquium
08/21/201814:00c.t.Andreas WeberFrom Tarski to Tropical Geometry: Towards Symbolic Analysis of Biological NetworksE1 4, 024Talk
08/20/201811:00Vijay V. VaziraniPlanar Graph Perfect Matching is in NCE1 4, 024INF Distinguished Lecture Series
08/09/201813:00Karsten KleinImmersive Analytics - Concepts and ChallengesE1 4, 024AG1 Mittagsseminar (own work)
08/07/201813:00Gorav JindalOn the Complexity of Symmetric PolynomialsE1 4, 024AG1 Mittagsseminar (own work)
08/06/201816:00Seong Joon OhImage Manipulation against Learned Models: Privacy and Security ImplicationsE1 4, 024Promotionskolloquium
08/06/201814:00Vitaly ShmatikovThe Machine Learning Revolution in Data PrivacyE1 4, 024Talk
08/06/201810:30Florian TramèrExclamation Point IconA tour of ML securityE9 1, 0.05Talk
08/01/201812:15Emanuele NataleComputing with Simple Dynamics and Biological ApplicationsE1 5, 002Joint Lecture Series
08/01/201811:30Kurt MehlhornD1 Group MeetingE1 4, 333AG1 Group Meeting
07/23/201814:00Ruben BeckerOn Flows, Paths, Roots, and ZerosE1.7 (MMCI), 001Promotionskolloquium
07/23/201811:00Bojana KodricExclamation Point IconIncentives in Dynamic MarketsE1.7 (MMCI), 001Promotionskolloquium
07/20/201813:00Themistoklis GouleakisImproved Massively Parallel Computation Algorithms for MIS, Matching, and Vertex CoverE1 5 (SWS), 105AG1 Mittagsseminar (others' work)
07/17/201813:00Debarati DasApproximating Edit Distance Within Constant Factor in Truly Sub-Quadratic TimeE1 4, 024AG1 Mittagsseminar (own work)
07/16/201812:00s.t.Max Maria LoschInspectable Deep Learning with Bayesian StatisticsE1 4, 024IMPRS Research Seminar
07/12/201813:00Cornelius BrandExtensor-CodingE1 4, 024AG1 Mittagsseminar (own work)
07/10/201813:00Gorav JindalExclamation Point IconA deterministic PTAS for the transcendence degree of constant degree polynomialsE1 4, 024AG1 Mittagsseminar (own work)
07/05/201816:00Nikhil BalajiWaring rank of monomialE1 4, 024AG1 Mittagsseminar (own work)
07/05/201813:00s.t.Daniel VazBeyond Metric Embedding: Approximating Group Steiner Trees on Bounded Treewidth GraphsE1 4, 024AG1 Mittagsseminar (own work)
07/04/201813:00various3rd Networking-Meet-Up for Women in Computer ScienceE1 5, 0.29Presentation
07/04/201812:15Maria ChristakisPractical Program AnalysisE1 5, 002Joint Lecture Series
07/03/201813:00Saeed AmiriCongestion Free Rerouting of Flows (practice talk for ICALP)E1 4, 024AG1 Mittagsseminar (own work)
06/29/201814:00Sam LindleyOn the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited continuationsG26, 111SWS Colloquium
06/29/201811:30Joël OuaknineProgram InvariantsG26, 111SWS Colloquium
06/29/201810:30Nils AsmussenDesigning a System for Heterogeneous Compute UnitsG26 [KL], 111SWS Colloquium
06/28/201811:00Davis IssacSpanning Tree Congestion and Computation of Generalized Gyori-Lovasz PartitionE1 4, 024AG1 Mittagsseminar (own work)
06/26/201813:00Joël OuakninePolynomial Invariants for Affine ProgramsE1 4, 024AG1 Mittagsseminar (own work)
06/26/201810:30Michael MozerBoosting human capabilities on perceptual categorization tasksG26 [KL], 111SWS Distinguished Lecture Series
06/25/201810:00Bruce M. MaggsThe Web PKI in Theory and MalpracticeE1 5, 029Talk
06/21/201815:301. Eakta Jain / 2. Krzysztof Krejtz1. The role of gaze and pupil diameter in understanding audience engagement / 2. The Role of Attention and Perception During Multimedia Learning. A Dynamical PerspectiveE1 4, 019Talk
06/19/201813:00Yaroslav ShitovHow hard is the tensor rank?E1 4, 024AG1 Mittagsseminar (own work)
06/15/201812:00Niels LandwehrMachine Learning for Spatially and Temporally Varying DataE1 5, 029Talk
06/14/201817:00Johannes KloosHeap-based reasoning about asynchronous programsG26 [KL], 111SWS Student Defense Talks - Thesis Defense
06/14/201814:00Nihat AyInformation Geometry of Learning SystemsE1 5, 029Talk
06/14/201813:00Kurt MehlhornOn Fair Division of Indisible Goods (Practice Talk for an Invited Lecture at Sirocco 18)E1 4, 024AG1 Mittagsseminar (own work)
06/14/201810:00Jörg LückeAccelerated Learning of Probabilistic Data Models for Large-Scale ApplicationsE1 5, 029Talk
06/13/201812:00Daniel NeiderMachine Learning Meets Formal MethodsE1 5, 029Talk
06/13/201810:00Christoph LampertPrincipled Transfer LearningE1 5, 029Talk
06/12/201812:00Marius KloftExtreme Classification: Algorithms and TheoryE1 5, 029Talk
06/12/201810:00Gerhard NeumannInformation-Geometric Policy Search for Learning Versatile, Reusable SkillsE1 5, 029Talk
06/11/201814:00Milica GasicSpoken dialogue systems that learn onlineE1 5, 029Talk
06/11/201810:30Andreas GerstlauerLearning-Based Hardware/Software Power and Performance PredictionE1 5, 105SWS Colloquium
06/11/201808:00Achim RettingerKnowledge-guided Representation LearningE1 5, 029Talk
06/07/201814:00Georg NeisCompositional Compiler Correctness Via Parametric SimulationsE1 5, 029SWS Student Defense Talks - Thesis Defense
06/06/201816:15Ben WiederhakeReading Group: A Distributed Algorithm for Minimum-Weight Spanning TreesE1 4, 022MPI-Seminar
06/06/201812:15Anja FeldmannThe Internet: A Complex System at its LimitsE1 5, 002Joint Lecture Series
05/30/201816:15Eunjin OhReading Group: Dynamic Time Warping and Geometric Edit Distance: Breaking the Quadratic BarrierE1 4, 022MPI-Seminar
05/30/201811:30Kurt MehlhornGroup MeetingE1 4, 333AG1 Group Meeting
05/29/201813:00Kurt MehlhornThe Physarum Dynamics Solves Positive Undirected Linear Programs (Practice Talk for Invited Talk at Computer Science Russia)E1 4, 024AG1 Mittagsseminar (own work)
05/25/201818:00s.t.Anja FeldmannDistributed Data Collection and Processing at ScaleE2 2, Günter-Hotz-HörsaalFestkolloquium
05/25/201817:30s.t.Bastian BeggelMap-Based processing of geospatial data for driver assistance functionsE2 2, Günter-Hotz-HörsaalFestkolloquium
05/25/201817:00s.t.Jörg RahnenführerModel-based optimization - in high-dimensional survival analysis and in real lifeE2 2, Günter-Hotz-HörsaalFestkolloquium
05/25/201816:30s.t.Robert TarjanMy work with ThomasE2 2, Günter-Hotz-HörsaalFestkolloquium
05/25/201815:00s.t.Kasia BozekCan you see all the bees? Image analysis for biologyE2 2, Günter-Hotz-HörsaalFestkolloquium
05/25/201814:30s.t.Yves MoreauBayesian matrix factorization with side information and application to drug-target activity predictionE2 2, Günter-Hotz-HörsaalFestkolloquium
05/25/201814:00s.t.Nico PfeiferMachine Learning in Infection Research: Including host information to understand viral adaptationE2 2, Günter-Hotz-HörsaalFestkolloquium
05/25/201813:30s.t.Gene MyersTowards Perfect DNA Sequencing and AssemblyE2 2, Günter-Hotz-HörsaalFestkolloquium
05/25/201810:15Karon MacLean (University of British Columbia) & Christian Holz (Microsoft Research)Taking Haptic Design from Research to Practice & Rich Haptic Shape Output Controllers for Virtual RealityE1 4, 019Talk
05/24/201813:00Emanuele NatalePooling or Sampling: Collective Dynamics for Electrical Flow EstimationE1 4, 024AG1 Mittagsseminar (own work)
05/23/201816:15André NusserReading Group: A faster algorithm for the discrete Fréchet distance under translationE1 4, 022MPI-Seminar
05/22/201814:00s.t.Werner SeilerFrom Singularities of Algebraic Differential Equations to Real Algebraic GeometricE1 5, 630Talk
05/22/201813:00Pranjal DuttaDiscovering the roots: Uniform closure results for algebraic classes under factoringE1 4, 024AG1 Mittagsseminar (own work)
05/16/201816:15Andreas SchmidtReading Group: Sparse Kneser graphs are HamiltonianE1 4, 022MPI-Seminar
05/16/201811:30Kurt MehlhornGroup MeetingE1 4, 333AG1 Group Meeting