MPI-INF Logo
Campus Event Calendar

6. Event History - 1. Date and Time - 1. for All AGs

 



Previous Page | Next Page | Expand All | Collapse All

DateTimeSpeakerEvent, Title, TopicBuilding, RoomEvent Type
Hide details for May 2025May 2025
Hide details for 27 - Tuesday27 - Tuesday
2025-05-2713:00Egor GorbachevBounded Edit Distance: Optimal Static and Dynamic Algorithms for Small Integer WeightsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Thursday22 - Thursday
2025-05-2213:00Danupon NanongkaiOn the Limitations of the Transformer Architecture (Brief Paper Presentation)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Wednesday21 - Wednesday
2025-05-2110:00Pascal FontaineAround Congruence ClosureE1 4
024
Talk
2025-05-2111:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
2025-05-2112:00Hendrik LeidingerSCL(EQ): Simple Clause Learning in First-Order Logic with EqualityE1 4
024
Promotionskolloquium
Hide details for 20 - Tuesday20 - Tuesday
2025-05-2011:00Ahana GhoshQuizzes in Elementary-Level Visual Programming: Synthesis Methods and Pedagogical UtilityE1 5
029
SWS Student Defense Talks - Thesis Proposal
2025-05-2013:00Yanheng WangHow Fast Can You Estimate the Volume of a Union?E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Friday16 - Friday
2025-05-1611:00Simon SpiesShaking Up the Foundations of Modern Separation LogicE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 15 - Thursday15 - Thursday
2025-05-1513:00Dani DorfmanFaster all-pairs optimal electric car routingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 13 - Tuesday13 - Tuesday
2025-05-1313:00Evangelos Kipouridis and Rex LeiBrief Biennial ReviewsE1 4
024
AG1 Conference Report
Hide details for 8 - Thursday8 - Thursday
2025-05-0813:00Andreas KarrenbauerBrief Biennial ReviewsE1 4
024
AG1 Conference Report
Hide details for 7 - Wednesday7 - Wednesday
2025-05-0711:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 6 - Tuesday6 - Tuesday
2025-05-0613:00Xinkai ShuThe Long Arm of Nashian Allocation in Online p-Mean Welfare MaximizationE1 4
024
AG1 Mittagsseminar (own work)
Hide details for April 2025April 2025
Hide details for 29 - Tuesday29 - Tuesday
2025-04-2913:00Anita DürrFine-Grained Complexity of Ambiguity Problems on AutomataE1 4
024
AG1 Mittagsseminar (own work)
2025-04-2913:00Carolina Coimbra VieiraMigration and culture in algorithmically-mediated societiesE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 24 - Thursday24 - Thursday
2025-04-2411:30Tuan Phong NguyenLarge-Scale Acquisition of Refined Commonsense KnowledgeE1 5
0.29
Promotionskolloquium
2025-04-2416:00Fabian SuchanekOn Language Models and Knowledge BasesE1 4
024
Max Planck Distinguished Speaker Talk
Hide details for 17 - Thursday17 - Thursday
2025-04-1713:00Tomasz Kociumaka and Daniel NeunBrief Biennial ReviewsE1 4
024
AG1 Conference Report
Hide details for 16 - Wednesday16 - Wednesday
2025-04-1611:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 15 - Tuesday15 - Tuesday
2025-04-1513:00Kurt Mehlhorn and Danupon NanongkaiBrief Biennial ReviewsE1 4
024
AG1 Conference Report
Hide details for 11 - Friday11 - Friday
2025-04-1115:00Max LoschImproving Trustworthiness of Deep Learning via Inspectable and Robust RepresentationsE 1.4
024
Promotionskolloquium
Hide details for 10 - Thursday10 - Thursday
2025-04-1013:00Pachara SawettamalyaParallel Repetition in Communication (and Information)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Wednesday2 - Wednesday
2025-04-0211:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
2025-04-0212:15Johannes ZirngiblQUIC: A New Fundamental Network ProtocolE1 5
002
Joint Lecture Series
Hide details for March 2025March 2025
Hide details for 27 - Thursday27 - Thursday
2025-03-2713:00Dr. Pranjal DuttaA brief survey on De-bordering paradigms and its recent advancesE 1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Tuesday25 - Tuesday
2025-03-2510:00Junaid AliDesigning Fair Decision-Making SystemsE1 5
029
SWS Student Defense Talks - Thesis Defense
2025-03-2513:00Simon DöringTBAE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Friday21 - Friday
2025-03-2115:30Naveen GargFull Dynamic k-median with fast update time and small recourseE1 4
024
AG1 Mittagsseminar (own work)
2025-03-2116:30Kavitha TelikepalliPopular ArborescencesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Thursday20 - Thursday
2025-03-2023:30Rati DevidzeReward Design for Reinforcement Learning Agents.E1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 19 - Wednesday19 - Wednesday
2025-03-1911:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 18 - Tuesday18 - Tuesday
2025-03-1810:00Leonid LibkinProgramming in the Large with DataG26 [KL]
111
MPI Colloquium Series Distinguished Speaker
Hide details for 17 - Monday17 - Monday
2025-03-1716:15Omar AlonsoOn Data Quality in Knowledge GraphsE1 4
024
Colloquium Lecture
Hide details for 14 - Friday14 - Friday
2025-03-1410:00Wojciech Matusik (MIT) (Humboldt Research Award)Can Computers Beat Humans at Design?E1 5
002
INF Distinguished Lecture Series
Hide details for 13 - Thursday13 - Thursday
2025-03-1311:00Edith ElkindStreamlining equal sharesE1 4
024
AG1 Mittagsseminar (own work)
2025-03-1315:00Hannaneh AkramiPhD DefenseE1 4
024
AG1 Mittagsseminar (own work)
2025-03-1317:00Vaastav AnandAbstractions for Managing Complexity in the Design, Implementation, and Optimization of Cloud SystemsE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 12 - Wednesday12 - Wednesday
2025-03-1210:00Chulin XieImproving Trustworthiness in Foundation Models: Assessing, Mitigating, and Analyzing ML RisksVirtual talk
MB1SMMW106
CIS@MPG Colloquium
Hide details for 11 - Tuesday11 - Tuesday
2025-03-1110:00Miri ZilkaFrom Predictions to Impact: Building Trustworthy Human-AI Systems for High-Stakes Decision MakingG26 [KL]
111
CIS@MPG Tenure-Track Faculty
Hide details for 10 - Monday10 - Monday
2025-03-1010:00Tamalika MukherjeeEfficient and Responsible Data PrivacyMPI-SP
MB1SMMW106
CIS@MPG Colloquium
Hide details for 6 - Thursday6 - Thursday
2025-03-0613:00Masoud SeddighinFair Allocation of Indivisible Items: Advances in Maximin Share Guarantees for Subadditive Valuations.E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Wednesday5 - Wednesday
2025-03-0511:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
2025-03-0512:15Yiting XiaCracking System Challenges in Optical Data Center NetworksE1 5
002
Joint Lecture Series
Hide details for 4 - Tuesday4 - Tuesday
2025-03-0410:00Abhilasha RavichanderIlluminating Generative AI: Mapping Knowledge in Large Language ModelsG26
111
CIS@MPG Tenure-Track Faculty
2025-03-0413:00Tuukka KorhonenLinear-Time Algorithms for k-Edge-Connected Components, k-Lean Tree Decompositions, and MoreE1 4
024
AG1 Mittagsseminar (own work)
Hide details for February 2025February 2025
Hide details for 25 - Tuesday25 - Tuesday
2025-02-2513:00Benjamin BerendsohnTBAE1 4
024
AG1 Advanced Mini-Course
Hide details for 24 - Monday24 - Monday
2025-02-2415:00Till SpeicherOn Fairness, Invariance and Memorization in Machine Decision and Deep Learning AlgorithmsE1 5
029
SWS Student Defense Talks - Thesis Defense
2025-02-2422:00Chenhui YuanBuilding the Tools to Program a Quantum ComputerMPI-SP
MB1SMMW106
CIS@MPG Colloquium
Hide details for 20 - Thursday20 - Thursday
2025-02-2010:00Erin GrantFrom mechanisms to cognition in neural networksE1 5
029
CIS@MPG Colloquium
2025-02-2013:00Golnoosh ShahkaramiLearning-Augmented Mechanism DesignE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Wednesday19 - Wednesday
2025-02-1911:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 18 - Tuesday18 - Tuesday
2025-02-1810:00Yue JiangComputational Representations for User InterfacesE1 5
029
CIS@MPG Colloquium
2025-02-1813:00Ian MertzCatalytic Computing: A PrimerE1 4
024
AG1 Advanced Mini-Course
Hide details for 13 - Thursday13 - Thursday
2025-02-1310:00Marcel BinzFoundation models of human cognitionMPI-SP
MB1SMMW106
CIS@MPG Colloquium
Hide details for 12 - Wednesday12 - Wednesday
2025-02-1210:00Lioba HeimbachMeasuring and Improving Fairness and Resilience Across the Blockchain EcosystemG26 [KL]
111
CIS@MPG Colloquium
Hide details for 11 - Tuesday11 - Tuesday
2025-02-1110:00Maksym AndriushchenkoHow Do We Evaluate and Mitigate AI Risks?MPI-SP
MB1SMMW106
CIS@MPG Colloquium
Hide details for 10 - Monday10 - Monday
2025-02-1010:00Lukas SchmidSpatio-Temporal AI for Long-term Human-centric Robot AutonomyE1 5
029
CIS@MPG Colloquium
Hide details for 6 - Thursday6 - Thursday
2025-02-0610:00Miranda WeiLeveraging Sociotechnical Security and Privacy to Address Online AbuseG26 [KL]
111
CIS@MPG Colloquium
2025-02-0613:00Xinkai ShuBreaking the Sorting Barrier for Directed Single-Source Shortest PathsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Wednesday5 - Wednesday
2025-02-0511:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
2025-02-0513:00Kinan Dak AlbabPractical Privacy via New Systems and AbstractionsVirtual talk
MB1SMMW106
CIS@MPG Colloquium
Hide details for 4 - Tuesday4 - Tuesday
2025-02-0409:30Kasra KhoshjooDistributionally Robust Losses for Latent Covariate MixturesVirtual talk
zoom
PhD Application Talk
2025-02-0410:00Fiza HusainQuantitative Approaches to Assessing Privacy Risks in Machine LearningVirtual talk
zoom
PhD Application Talk
2025-02-0410:30Harleen BaggaTime Series Foundational Models in Anomaly Detection and PredictionVirtual talk
zoom
PhD Application Talk
2025-02-0411:00Prince MirekuTowards Reliable Medical AI Systems: Addressing the Limitations of Clinical Translational ResearchVirtual talk
zoom
PhD Application Talk
2025-02-0411:30Hosna OyarhoseiniRobustness Against Spurious FeaturesVirtual talk
zoom
PhD Application Talk
2025-02-0412:30Shayan SalehiContext-Aware Fine-Tuning of Large Language ModelsVirtual talk
zoom
PhD Application Talk
2025-02-0413:00Amir Mohammad BabaeiCLBSR: A Deep Curriculum Learning-based Blind Image Super Resolution Network using Geometrical PriorVirtual talk
zoom
PhD Application Talk
2025-02-0413:30Bahar Dibaei NiaScanning Trojaned Models Using Out-of-Distribution SamplesVirtual talk
zoom
PhD Application Talk
2025-02-0414:00Katayoon KobraeiADEP: An AI Model for Accurate Prediction of Adverse Effects in PolypharmacyVirtual talk
zoom
PhD Application Talk
2025-02-0414:30Mojtaba NafezAdversarially Robust Anomaly Detection through Spurious Negative Pair MitigationVirtual talk
zoom
PhD Application Talk
2025-02-0415:00Azhar HussianGesture Detection in Artwork Images using Contextual QueriesVirtual talk
zoom
PhD Application Talk
2025-02-0417:00Chuyan ZhangContribution-Guided Level-of-Detail Rendering for Ray Tracing GeometryVirtual talk
zoom
PhD Application Talk
Hide details for 3 - Monday3 - Monday
2025-02-0310:00Christina GiannoulaPushing the Boundaries of Modern Application-Aware Computing StacksE1 5
029
CIS@MPG Colloquium
Hide details for January 2025January 2025
Hide details for 30 - Thursday30 - Thursday
2025-01-3010:00Viktor KewenigMaking Meaning: Predictive Processing of Narratives in Humans and MachinesE1 5
029
Talk
Hide details for 29 - Wednesday29 - Wednesday
2025-01-2909:00Zichen XiHierarchical Sparse Representations for Accurate Surface and Dynamic Scene ReconstructionVirtual talk
zoom
PhD Application Talk
2025-01-2909:30Chen Hou3D Generation from 2D PriorsVirtual talk
zoom
PhD Application Talk
2025-01-2910:00Zidu Wang3D Head ReconstructionVirtual talk
zoom
PhD Application Talk
2025-01-2910:30Nicolas PeltierInductive Reasoning in Separation LogicE1 4
024
Talk
2025-01-2910:30Tung Lam TranEnhancing Domain Adaptation through Prompt Gradient AlignmentVirtual talk
zoom
PhD Application Talk
2025-01-2911:00Yiheng XiongPT43D: A Probabilistic Transformer for Generating 3D Shapes from Single Highly-Ambiguous RGB ImagesVirtual talk
zoom
PhD Application Talk
2025-01-2911:30Shi ChenTowards Online Dynamic Scene Reconstruction from Monocular InputVirtual talk
zoom
PhD Application Talk
2025-01-2912:00Mikko TripakisExtending Logits-Based Watermarking Schemes to Mitigate Stealing AttacksVirtual talk
zoom
PhD Application Talk
2025-01-2912:30Arda Baris BasaranLeveraging Vision-Language Models for Efficient Task-Specific Knowledge DistillationVirtual talk
zoom
PhD Application Talk
2025-01-2913:30Yunfan WangDeterministic Edge Connectivity and Max Flow using Subquadratic Cut QueriesVirtual talk
zoom
PhD Application Talk
2025-01-2914:00Ali Moradi Shahmirifield: Algorithms, Theory, LogicVirtual talk
zoom
PhD Application Talk
2025-01-2914:00Martin DesharnaisFormal Verification of Logical Calculi and Simulations in Isabelle/HOLE1 4
024
Promotionskolloquium
2025-01-2914:30Nikolai ChukhinToward Better Depth Lower Bounds: Composition of Boolean Functions and the KRW ConjectureVirtual talk
zoom
PhD Application Talk
2025-01-2915:00Andreas KalavasBetter-than-2 Approximation for Constrained Correlation ClusteringVirtual talk
zoom
PhD Application Talk
2025-01-2915:30Arnar Ágúst KristjánssonExpressive Power of Homomorphism Query AlgorithmsVirtual talk
zoom
PhD Application Talk
Hide details for 28 - Tuesday28 - Tuesday
2025-01-2809:00Sabasadat MolaeiSliding Squares in ParallelVirtual talk
zoom
PhD Application Talk
2025-01-2809:30Alipasha MontaseriModel-Agnostic Approximation of Constrained Forest ProblemsVirtual talk
zoom
PhD Application Talk
2025-01-2810:00Mahyar AfshinmehrEFX Allocations and Orientations on Bipartite Multi-graphs: A Complete PictureVirtual talk
zoom
PhD Application Talk
2025-01-2810:30Negar BabashahDistortion of Multi-Winner Elections on the Line Metric: The Polar Comparison RuleVirtual talk
zoom
PhD Application Talk
2025-01-2811:00Amirhossein JanfazaMaximum Weighted Matching in Random Order StreamVirtual talk
zoom
PhD Application Talk
2025-01-2811:30Mehrafarin Kazemifield: Algorithms, Theory, LogicVirtual talk
zoom
PhD Application Talk
2025-01-2812:30Hirbod BehnamInternet Censorship in IranVirtual talk
zoom
PhD Application Talk
2025-01-2813:00Attreyee MukherjeeDemocratizing LLM Access: Techniques for Cost-Effective and Efficient UsageVirtual talk
zoom
PhD Application Talk
2025-01-2813:30Sepehr AzardarOblivious Vector DatabasesVirtual talk
zoom
PhD Application Talk
2025-01-2814:00Pushpdeep SinghRethinking Machine Translation: Emphasising Skopos and Target CultureVirtual talk
zoom
PhD Application Talk
Hide details for 27 - Monday27 - Monday
2025-01-2709:00Zhenyun YinWithin or Beyond the Code? The True Context for Understanding Theorem ProvingVirtual talk
zoom
PhD Application Talk
2025-01-2709:30Amirhossein RahmatiImproving Automatic Reproduction of Maven ArtifactsVirtual talk
zoom
PhD Application Talk
2025-01-2710:00Kiana MousazadehA model checker for verifying concurrent and distributed Java programsVirtual talk
zoom
PhD Application Talk
2025-01-2710:30Lu ZhangUnderstanding Illicit Promotional Content on Short Video Platforms: Challenges and SolutionsVirtual talk
zoom
PhD Application Talk
2025-01-2711:00Cai YangStudying Behavioral Addiction by Combining Surveys and Digital Traces: A Case Study of TikTokVirtual talk
zoom
PhD Application Talk
2025-01-2711:30Mohammadshayan ShabaniBayesian Deep Matrix Factorization for Uncertainty-aware Recommender SystemsVirtual talk
zoom
PhD Application Talk
2025-01-2712:00Masoomali FatehkiaMapping socioeconomic indicators using social media advertising dataVirtual talk
zoom
PhD Application Talk
2025-01-2713:00Oleksandr MarmaliukA configurable SQL Query Generator that Learns from Existing Workloads: project reviewVirtual talk
zoom
PhD Application Talk
2025-01-2713:30Zeinab Pourgheisari NajafabadiExploration of the Intel FPGA Bitstream FormatVirtual talk
zoom
PhD Application Talk
2025-01-2714:00Donya Roshan ZamirTask Scheduling and Resource Management for Multi-DAG SystemsVirtual talk
zoom
PhD Application Talk
2025-01-2714:30Zhengyuan SuStructured Synthesis for Neural OperatorsVirtual talk
zoom
PhD Application Talk
2025-01-2715:00Yuke MaFISim: A Modular, Scalable and Flexible Simulator for Clean-Slate Future Internet ArchitecturesVirtual talk
zoom
PhD Application Talk
Hide details for 21 - Tuesday21 - Tuesday
2025-01-2116:15Bhaskar Ray ChaudhuryOn the Theoretical Foundations of Data Exchange EconomiesVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 15 - Wednesday15 - Wednesday
2025-01-1511:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
2025-01-1515:00Christoph EngelLegal Research in the Era of Large Language ModelsG26 [KL]
111
SWS Colloquium
Hide details for 14 - Tuesday14 - Tuesday
2025-01-1411:00TBACISPA-MPI seminar seriesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for December 2024December 2024
Hide details for 20 - Friday20 - Friday
2024-12-2013:00Martin HeroldClustering to Minimize Cluster-Aware Norm ObjectivesE1 4
Rotunda, D1
AG1 Mittagsseminar (own work)
Hide details for 11 - Wednesday11 - Wednesday
2024-12-1114:00Lucie GuillouSafety Analysis of Parameterized Networks with Non-Blocking Rendez-Vous and BroadcastsG26 [KL]
113
SWS Colloquium
Hide details for 5 - Thursday5 - Thursday
2024-12-0513:00Nicola CotumaccioSorting Automata and Regular LanguagesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Tuesday3 - Tuesday
2024-12-0313:00Jonas KlausenOnline Sorting and Online TSPE1 4
024
AG1 Advanced Mini-Course
Hide details for November 2024November 2024
Hide details for 28 - Thursday28 - Thursday
2024-11-2813:00Yonggang JiangNew Tools and Faster Algorithms for Vertex Min-cutE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Monday25 - Monday
2024-11-2515:30David KaltenpothDon't Confound Yourself: Causality from Biased DataE1 4
024
Promotionskolloquium
Hide details for 21 - Thursday21 - Thursday
2024-11-2113:00Maksim MoorBachelor's Thesis defense talkE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Wednesday20 - Wednesday
2024-11-2011:30AG 1D1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 19 - Tuesday19 - Tuesday
2024-11-1914:15Antonios AntoniadisDifferent Benchmarks for Online Metric Algorithms with PredictionsVirtual talk
Virtual talk
AG2 Seminar
Hide details for 14 - Thursday14 - Thursday
2024-11-1413:00Maximilian StahlbergDeterministic Impartial Selection with WeightsE1 4
024
AG1 Mittagsseminar (own work)
2024-11-1414:00Thatchaphol SaranurakBasics of Length-Constrained Expander and the existence of Low-Step Flow ShortcutsE1 5
029
AG1 Mittagsseminar (own work)
Hide details for 12 - Tuesday12 - Tuesday
2024-11-1213:00Lea HerrmannOptimal Interval Partitionings for Range Minimum Queries (Bachelor thesis)E1 4
024
AG1 Mittagsseminar (own work)
2024-11-1214:15Vasilis GkatzelisLearning-Augmented Mechanism DesignVirtual talk
Virtual talk
AG2 Seminar
Hide details for 7 - Thursday7 - Thursday
2024-11-0713:00Zihang WuSublinear Data Structure for Nearest Neighbor in Ultra High DimensionsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Wednesday6 - Wednesday
2024-11-0611:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
2024-11-0612:15Jonas FischerMechanistic interpretability of neural networksE1 5
002
Joint Lecture Series
Hide details for 5 - Tuesday5 - Tuesday
2024-11-0514:15Nicole MegowNon-Clairvoyant Scheduling with PredictionsVirtual talk
Virtual talk
AG2 Seminar
Hide details for October 2024October 2024
Hide details for 29 - Tuesday29 - Tuesday
2024-10-2913:00Rex LeiReplicable Learning AlgorithmsE1 4
024
AG1 Mittagsseminar (own work)
2024-10-2917:00Jan MenzSemantics of declassification in higher-order languagesE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 17 - Thursday17 - Thursday
2024-10-1713:00Javier CembranoNew Combinatorial Insights for Monotone ApportionmentE1 4
024
AG1 Mittagsseminar (own work)
2024-10-1716:00Mohamad Hoseini“Analyzing Information Propagation in Online Messaging Platforms“E1 4
024
Promotionskolloquium
Hide details for 10 - Thursday10 - Thursday
2024-10-1011:00Armin WeißMembership in finite inverse semigroupsG26 [KL]
111
Talk
2024-10-1013:00Sarah MorellThe submodular Santa Claus problemE1 4
024
AG1 Mittagsseminar (own work)
2024-10-1017:00Stratis TsirtsisStrategic and counterfactual reasoning in AI-assisted decision makingVirtual talk [KL]
zoom
SWS Student Defense Talks - Thesis Proposal
Hide details for 8 - Tuesday8 - Tuesday
2024-10-0813:00Max SpringerTBAE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Wednesday2 - Wednesday
2024-10-0212:15Daniel NeuenComputing Graph Isomorphisms and SimilaritiesE1 5
002
Joint Lecture Series
Hide details for September 2024September 2024
Hide details for 30 - Monday30 - Monday
2024-09-3010:00Shrestha GhoshCount Information: Retrieving and Estimating Cardinality of Entity Sets from the WebE1 4
019
Promotionskolloquium
Hide details for 26 - Thursday26 - Thursday
2024-09-2610:00Lucy LiLarge-Scale Language Patterns across Social GroupsE1 5
029
Talk
2024-09-2613:00Sander BorstStronger adversaries grow cheaper forests: Online Node-Weighted Steiner ProblemsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Wednesday25 - Wednesday
2024-09-2509:00Hasan EniserSpecifying and Fuzzing Machine-Learning ModelsG26 [KL]
111
SWS Student Defense Talks - Thesis Proposal
Hide details for 19 - Thursday19 - Thursday
2024-09-1910:00Travis HanceLeaf: Modularity for Temporary Sharing in Separation LogicE1 5
029
Talk
2024-09-1913:00Philipp SchepperHitting Meets Packing: How Hard Can It Be?E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Tuesday17 - Tuesday
2024-09-1718:00Alejandro CassisPhD DefenseE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 13 - Friday13 - Friday
2024-09-1315:00Rajarshi RoyLearning Temporal Properties for Explainability and VerificationG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 12 - Thursday12 - Thursday
2024-09-1213:00Anouk DuysterLogarithmic-Time Internal Pattern Matching Queries in Compressed and Dynamic TextsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Tuesday10 - Tuesday
2024-09-1010:00Stephanie MilaniReal-World Challenges of Human-AI Interaction: Transparency, Alignment, and EffectivenessE1 4
024
Talk
2024-09-1013:00Joakim Oscar BlikstadMaximum Flow by Augmenting Paths in n^(2+o(1)) TimeE1 4
024
AG1 Mittagsseminar (own work)
2024-09-1015:00Hoang-Hai DangScaling Up Relaxed Memory Verification with Separation LogicsE1 5
005
SWS Student Defense Talks - Thesis Defense
Hide details for 9 - Monday9 - Monday
2024-09-0910:30Johanna PolzinSpecifying and Verifying Page Tables in a Concurrent Operating SystemE1 5
029
Talk
2024-09-0915:00Simon SpiesReaching New Shores with Modern Separation LogicE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 4 - Wednesday4 - Wednesday
2024-09-0411:30D1 Group MembersD1 Group MeetingE1 4
024
AG1 Group Meeting
2024-09-0412:15Krishna GummadiTowards Better Foundations for Foundational Models: A Cognitivist Approach to Studying Large Language Models (LLMs)E1 5
002
Joint Lecture Series
Hide details for 3 - Tuesday3 - Tuesday
2024-09-0313:00Pooja KulkarniSublinear Approximation Algorithm for Maximizing Nash Social Welfare with fractionally subadditive (XOS) agentsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for August 2024August 2024
Hide details for 22 - Thursday22 - Thursday
2024-08-2213:00Anita DuerrEven Faster Knapsack via Rectangular Monotone Min-Plus Convolution and BalancingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 13 - Tuesday13 - Tuesday
2024-08-1313:00Sayan BhattacharyaNibbling at Long Cycles: Dynamic (and Static) Edge Coloring in Optimal TimeE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Thursday8 - Thursday
2024-08-0813:00Jacob FockeFundamental Problems on Bounded-Treewidth Graphs: The Real Source of HardnessE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
2024-08-0711:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 6 - Tuesday6 - Tuesday
2024-08-0613:00Andreas KalavasA Data-Driven Approach to the Approximate Nearest Neighbor Problem.E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Friday2 - Friday
2024-08-0215:00Ahmed AbbasEfficient and differentiable combinatorial optimization for visual computingE 1.4
024
Promotionskolloquium
Hide details for 1 - Thursday1 - Thursday
2024-08-0114:00Anna KuklevaAdvancing Image and Video Recognition with Less SupervisionE 1.4
024
Promotionskolloquium
Hide details for July 2024July 2024
Hide details for 29 - Monday29 - Monday
2024-07-2913:00Binhang YuanOn the opportunities of the design for the next generation of collective communication libraries for AI-centric workflowsE1 4
024
Talk
Hide details for 25 - Thursday25 - Thursday
2024-07-2513:00Karolina DrabikFinding Diverse Solutions Parameterized by CliquewidthE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Tuesday23 - Tuesday
2024-07-2310:30Samuel GrütterLive Verification of C Programs in CoqE1 5
029
Talk
Hide details for 22 - Monday22 - Monday
2024-07-2210:00Satnam SinghRunning Large Language Models at Scale on Groq's LPU Machine Learning ChipsE1 5
029
Talk
Hide details for 19 - Friday19 - Friday
2024-07-1910:00Nanyun PengControllable and Creativity Natural Language GenerationE 1.4
024
INF Distinguished Lecture Series
Hide details for 18 - Thursday18 - Thursday
2024-07-1813:00Sanyam AgarwalTBAE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Wednesday17 - Wednesday
2024-07-1711:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 16 - Tuesday16 - Tuesday
2024-07-1613:00Ce JinApproximately Counting Knapsack Solutions in Subquadratic TimeE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Thursday11 - Thursday
2024-07-1113:00D1 group membersOpen Problems SessionE1 4
024
AG1 Group Meeting
Hide details for 4 - Thursday4 - Thursday
2024-07-0413:00Paolo Luigi RinaldiImproving Order with QueuesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Wednesday3 - Wednesday
2024-07-0311:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
2024-07-0312:15Deepak GargFoundational Verification of Low-Level Code: RefinedC and BeyondE1 5
002
Joint Lecture Series
Hide details for 2 - Tuesday2 - Tuesday
2024-07-0213:00Danupon NanongkaiICALP practice talk on "Cross-Paradigm Graph Algorithms"E1 4
024
AG1 Mittagsseminar (own work)
Hide details for June 2024June 2024
Hide details for 27 - Thursday27 - Thursday
2024-06-2713:00Frank NeumannEvolutionary Diversity Optimisation: Introduction and Recent ResultsE1 4
024
AG1 Advanced Mini-Course
Hide details for 25 - Tuesday25 - Tuesday
2024-06-2512:00Ellie PavlickUnderstanding LLMs Under the HoodE1 5
002
Joint Lecture Series
Hide details for 20 - Thursday20 - Thursday
2024-06-2014:00Mahmoud SalamatiFormal Controller Synthesis for Dynamical Systems: Decidability and ScalabilityG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 19 - Wednesday19 - Wednesday
2024-06-1911:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 17 - Monday17 - Monday
2024-06-1713:00Arindam KhanRecent Trends in Rectangle PackingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Friday14 - Friday
2024-06-1413:00Karl BringmannKnapsack with Small Items in Near-Quadratic TimeE1 4
024
AG1 Advanced Mini-Course
Hide details for 13 - Thursday13 - Thursday
2024-06-1313:00Gopinath MishraOptimal (degree+1)-Coloring in Congested CliqueE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Tuesday11 - Tuesday
2024-06-1113:00Hannaneh AkramiEpistemic EFX Allocations Exist for Monotone ValuationsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Wednesday5 - Wednesday
2024-06-0511:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
2024-06-0512:15Alexey GurevichHunting new antibiotics with computer scienceE1 5
002
Joint Lecture Series
Hide details for 3 - Monday3 - Monday
2024-06-0316:00Daniel Wagner“Improving Reactive Capabilities of Internet Peering Infrastructure in Stressful Situations“E1 4
024
Promotionskolloquium
Hide details for May 2024May 2024
Hide details for 22 - Wednesday22 - Wednesday
2024-05-2211:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 8 - Wednesday8 - Wednesday
2024-05-0811:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
2024-05-0812:15Karol WęgrzyckiThe Frontiers of PackingE1 5
002
Joint Lecture Series
2024-05-0815:00Saurabh AgarwalReducing Data Movement to Accelerate Machine LearningE1 5
002
Talk
2024-05-0816:15Xin Luna DongNext-generation Intelligent Assistants for Wearable DevicesE1 4
024
Talk
Hide details for 3 - Friday3 - Friday
2024-05-0310:00Iryna GurevychTowards Real-World Fact-Checking with Large Language ModelsG26 [KL]
111
SWS Distinguished Lecture Series
2024-05-0313:00Patrick PérezAI for the real world - Some challengesE1 5
002
Lecture
2024-05-0314:00Moritz BöhleTowards Designing Inherently Interpretable Deep Neural Networks for Image ClassificationE 1.4
024
Promotionskolloquium
Hide details for April 2024April 2024
Hide details for 25 - Thursday25 - Thursday
2024-04-2513:00Johnnatan MessiasOn Fairness Concerns in the Blockchain EcosystemE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 19 - Friday19 - Friday
2024-04-1910:00Haibo ChenFormal Methods for Systems Software: The Good, The Bad, The UglyE1 5
002
Talk
Hide details for 17 - Wednesday17 - Wednesday
2024-04-1710:00Andrew IlyasMaking machine learning predictably reliableG26 [KL]
111
CIS@MPG Colloquium
2024-04-1711:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 9 - Tuesday9 - Tuesday
2024-04-0913:00Ariel KulikAlgorithms and Hardness for the Budgeted Matroid Independent Set problemE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Wednesday3 - Wednesday
2024-04-0311:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
2024-04-0312:15Evangelos KipouridisHierarchical clustering beyond heuristics: Quality guarantees without speed sacrificesE1 5
002
Joint Lecture Series
Hide details for March 2024March 2024
Hide details for 27 - Wednesday27 - Wednesday
2024-03-2714:45Debasmita LoharExpanding the Horizons of Finite-Precision AnalysisE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 26 - Tuesday26 - Tuesday
2024-03-2612:00Till SpeicherOn Fairness, Invariance and Memorization in Machine Decision and DeepLearning AlgorithmsE1 5
005
SWS Student Defense Talks - Thesis Proposal
Hide details for 25 - Monday25 - Monday
2024-03-2516:00Rati DevidzeReward Design for Reinforcement Learning AgentsE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 20 - Wednesday20 - Wednesday
2024-03-2011:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 14 - Thursday14 - Thursday
2024-03-1410:00Andrea LattuadaPractical, automation-assisted verification of efficient systems softwareE1 5
029
Talk
Hide details for 11 - Monday11 - Monday
2024-03-1110:00Emily TsengDigital Safety and Security for Survivors of Technology-Mediated HarmsE1 5
002
CIS@MPG Colloquium
Hide details for 8 - Friday8 - Friday
2024-03-0813:00Guy EvenAn Improved Approximation Algorithm for Dynamic Minimum Linear ArrangementVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2024-03-0814:00Mohamed AlzayatEfficient Request Isolation in Function-as-a-ServiceE1 5
002
SWS Student Defense Talks - Thesis Defense
Hide details for 7 - Thursday7 - Thursday
2024-03-0710:00Ge Tiffany WangDesigning for Autonomy in Data-Driven AI SystemsE1 5
002
CIS@MPG Colloquium
2024-03-0713:00Paweł GawrychowskiSorting Signed Permutations by Reversals in Nearly-Linear TimeE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Wednesday6 - Wednesday
2024-03-0611:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
2024-03-0612:15Paul StrohmeierShaping Experience and Expression by Designing Sensorimotor ContingenciesE1 5
002
Joint Lecture Series
Hide details for 5 - Tuesday5 - Tuesday
2024-03-0510:00Srishti PalaniBeyond the Search Bar in Human-AI Interactions: Augmenting Discovery, Synthesis, and Creativity With User-Generated ContextG26 [KL]
111
CIS@MPG Colloquium
2024-03-0513:00Karol WęgrzyckiA polynomial-time $\text{OPT}^\eps$-approximation algorithm for maximum independent set of connected subgraphs in a planar graphE1 4
024
AG1 Mittagsseminar (own work)
2024-03-0514:00Marcus PirronHardware and Software CodesignG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 1 - Friday1 - Friday
2024-03-0110:00Amrita Roy ChowdhuryData Privacy in the Decentralized EraE1 5
002
CIS@MPG Colloquium
2024-03-0114:00Emmanouil-Vasileios (Manolis) Vlatakis GkaragkounisBridging the Gap between Theory and Practice: Solving Intractable Problems in a Multi-Agent Machine Learning WorldE1 4
024
AG1 Mittagsseminar (own work)
Hide details for February 2024February 2024
Hide details for 28 - Wednesday28 - Wednesday
2024-02-2815:00Christoph SiebenbrunnerMethods for Financial Stability AnalysisE1 5
002
SWS Colloquium
Hide details for 27 - Tuesday27 - Tuesday
2024-02-2713:00Daniel NeuenGraph Isomorphism Testing and BeyondE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Monday26 - Monday
2024-02-2610:00Maria AntoniakComputational Approaches to Narrative AnalysisG26 [KL]
111
CIS@MPG Colloquium
Hide details for 23 - Friday23 - Friday
2024-02-2310:00Ramakrishnan Sundara RamanGlobal Investigation of Network Connection TamperingMPI-SP
-
CIS@MPG Colloquium
Hide details for 22 - Thursday22 - Thursday
2024-02-2213:00Christoph HertrichUnderstanding Neural Network Complexity from a Discrete AngleTBDE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Wednesday21 - Wednesday
2024-02-2110:00Lily XuHigh-stakes decisions from low-quality data: AI decision-making for planetary healthG26 [KL]
111
CIS@MPG Colloquium
2024-02-2111:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 20 - Tuesday20 - Tuesday
2024-02-2013:00Benjamin BerendsohnOptimization with pattern-avoiding inputE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Monday19 - Monday
2024-02-1910:00Sarah CenPaths to AI AccountabilityG26 [KL]
111
CIS@MPG Colloquium
Hide details for 15 - Thursday15 - Thursday
2024-02-1510:00Yinxi LiuProgramming Theory in Security Analysis: A Tripartite Framework for Vulnerability SpecificationE1 5
002
CIS@MPG Colloquium
Hide details for 14 - Wednesday14 - Wednesday
2024-02-1410:00Jana HofmannFormal Reasoning about Relational Properties in Large-Scale SystemsMPI-SP
-
CIS@MPG Colloquium
2024-02-1411:30Javier CembranoComputational aspects of incentives and fairness in competitive environmentsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Thursday8 - Thursday
2024-02-0810:00A. Feder CooperReliable Measurement for Machine Learning at ScaleMPI-SP
-
CIS@MPG Colloquium
2024-02-0816:00Toghrul KarimovAlgorithmic Verification of Linear Dynamical SystemsE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 7 - Wednesday7 - Wednesday
2024-02-0711:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
2024-02-0712:15Tomasz KociumakaNew Tools for Text Indexing and Beyond: Substring Complexity and String Synchronizing SetsE1 5
002
Joint Lecture Series
Hide details for 6 - Tuesday6 - Tuesday
2024-02-0610:00Zhijing JinCausal Inference for Robust, Reliable, and Responsible NLPE1 5
002
CIS@MPG Colloquium
Hide details for 5 - Monday5 - Monday
2024-02-0510:00Tanusree SharmaTowards Ethical and Democratic Design of AIMPI-SP
-
CIS@MPG Colloquium
Hide details for 1 - Thursday1 - Thursday
2024-02-0110:00Doreen RiepelTheoretically Sound Cryptography for Key Exchange and Advanced ApplicationsMPI-SP
-
CIS@MPG Colloquium
Hide details for January 2024January 2024
Hide details for 30 - Tuesday30 - Tuesday
2024-01-3010:00Teodora BalutaNew Algorithmic Tools for Rigorous Machine Learning Security AnalysisMPI-SP
-
CIS@MPG Colloquium
Hide details for 25 - Thursday25 - Thursday
2024-01-2510:00Sajin SasyOblivious Algorithms for Privacy-Preserving ComputationsMPI-SP
-
CIS@MPG Colloquium
2024-01-2513:00Jiaheng WangApproximate counting: New problems and approachesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Wednesday24 - Wednesday
2024-01-2411:30D1 Group MembersD1 Group MeetingE1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 23 - Tuesday23 - Tuesday
2024-01-2313:00Evangelos KipouridisDynamic Dynamic Time WarpingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Wednesday17 - Wednesday
2024-01-1711:30D1 Group MembersD1 Group MeetingE1 4
R 024
AG1 Group Meeting
2024-01-1711:30D1 Group MembersD1 Group Meeting (postponed due to black ice)E1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 16 - Tuesday16 - Tuesday
2024-01-1613:00Egor GorbachevA classification of subquadratic patterns for minimum-weight, enumeration, and listing subgraph isomorphism problemsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Sunday14 - Sunday
2024-01-1413:00Shreyas SrinivasanTBAE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Wednesday10 - Wednesday
2024-01-1012:15Ha DaoA comprehensive analysis of PII leakage-based web trackingE1 5
002
Joint Lecture Series
Hide details for 3 - Wednesday3 - Wednesday
2024-01-0311:30D1 Group MembersD1 Group MeetingE1 4
R 024
AG1 Group Meeting
Hide details for December 2023December 2023
Hide details for 21 - Thursday21 - Thursday
2023-12-2113:00Barış Can EsmerOptimally Repurposing Existing Algorithms to Obtain Exponential-Time ApproximationsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Tuesday19 - Tuesday
2023-12-1915:00Mohammed FoughaliCompositional Verification of Embedded Real-Time SystemsG26
111
Talk
Hide details for 15 - Friday15 - Friday
2023-12-1509:00Brigitte PientkaCocon: A Type-Theoretic Framework for Certified Meta-programmingE1 5
029
SWS Colloquium
2023-12-1513:00Jan Philipp WächterDecision Problems for Automaton Groups and Monoids of BoundedActivityE1 4
024
AG1 Advanced Mini-Course
2023-12-1515:30Felix StutzImplementability of Asynchronous Communication Protocols - The Power of ChoiceG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 14 - Thursday14 - Thursday
2023-12-1413:00Jan-Philipp WächterDecision Problems for Automaton Groups and Monoids of Bounded ActivityTBAE1 4
024
AG1 Advanced Mini-Course
2023-12-1414:00Aniss Maghsoudlou“Towards Uncovering Hidden Internet Traffic Characteristics" - PhD Defense by Aniss MaghsoudlouE1 5
002
Promotionskolloquium
2023-12-1416:00Michalis KokologiannakisAutomated Reasoning under Weak Memory ConsistencyG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 7 - Thursday7 - Thursday
2023-12-0713:00Simon DöringCounting Small Induced Subgraphs with Edge-monotone PropertiesE1 4
024
AG1 Advanced Mini-Course
Hide details for 6 - Wednesday6 - Wednesday
2023-12-0611:30D1 Group MembersD1 Group Meeting (physical-only)E1 4
D1 Rotunda
AG1 Group Meeting
2023-12-0612:15Manuel Gomez RodriguezImproving Decision Making with Machine Learning, ProvablyE1 5
002
Joint Lecture Series
Hide details for 4 - Monday4 - Monday
2023-12-0410:00Caroline CronjägerThe Never-Ending Trace: An Under-Approximate Approach to Divergence BugsE1 5
029
SWS Colloquium
2023-12-0417:00Michael SammlerAutomated and Foundational Verification of Low-Level ProgramsE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for November 2023November 2023
Hide details for 29 - Wednesday29 - Wednesday
2023-11-2913:00Erik Jan van LeeuwenComplexity Framework For Forbidden Subgraphs and BeyondE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Wednesday22 - Wednesday
2023-11-2211:30D1 Group MembersD1 Group Meeting (physical-only)E1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 21 - Tuesday21 - Tuesday
2023-11-2114:00Sergey BozhkoRigorous and General Response-Time Analysis for Uniprocessor Real-TimeE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 16 - Thursday16 - Thursday
2023-11-1614:00Sebastian DalleigerCharacteristics and Commonalities – Differentially Describing Datasets with Insight-ful PatternsE1 4
024
Promotionskolloquium
Hide details for 14 - Tuesday14 - Tuesday
2023-11-1411:00Dmitry ChistikovThe complexity of Presburger arithmetic with power or powersG26 [KL]
111
SWS Colloquium
Hide details for 8 - Wednesday8 - Wednesday
2023-11-0811:30D1 Group MembersD1 Group Meeting (physical-only)E1 4
D1 Rotunda
AG1 Group Meeting
2023-11-0812:15Mohamed ElgharibDigitizing the Human FaceE1 5
002
Joint Lecture Series
Hide details for 7 - Tuesday7 - Tuesday
2023-11-0713:00Nicolas RegelExploring shorter certificates for the Fréchet Distance (Bachelor Thesis)E1 4
024
AG1 Advanced Mini-Course
Hide details for 2 - Thursday2 - Thursday
2023-11-0213:00Alejandro CassisNegative-Weight Single-Source Shortest Paths in Near-Linear Time: Now Faster!E1 4
024
AG1 Advanced Mini-Course
Hide details for October 2023October 2023
Hide details for 31 - Tuesday31 - Tuesday
2023-10-3113:00Tomasz KociumakaApproximating Edit Distance in the Fully Dynamic ModelE1 4
024
AG1 Advanced Mini-Course
Hide details for 27 - Friday27 - Friday
2023-10-2709:00Hiba ArnaoutEnriching Open-world Knowledge Graphs with Expressive Negative StatementsE1 4
024
Promotionskolloquium
2023-10-2714:15Ralf SchenkelQuality-aware Argument RetrievalE1 4
024
Colloquium Lecture
Hide details for 26 - Thursday26 - Thursday
2023-10-2610:30Umang MathurExposing Concurrency Bugs from their Hiding PlacesG26 [KL]
111
SWS Colloquium
2023-10-2613:00Klaus JensenNew Algorithmic Results for Scheduling via ILPsE1 4
024
AG1 Advanced Mini-Course
Hide details for 24 - Tuesday24 - Tuesday
2023-10-2413:00Sorrachai YingchareonthawornchaiFaster Deterministic Vertex Connectivity AlgorithmsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Monday23 - Monday
2023-10-2309:00Corinna CoupetteBeyond Flatland: Exploring Graphs in Many DimensionsVirtual talk
Virtual talk
Promotionskolloquium
Hide details for 19 - Thursday19 - Thursday
2023-10-1913:00Rajendra KumarTBAE1 4
024
AG1 Advanced Mini-Course
Hide details for 18 - Wednesday18 - Wednesday
2023-10-1810:00Prem DevanbuNaturalness & Bimodality of CodeE1 5
002
SWS Distinguished Lecture Series
2023-10-1811:30D1 Group MembersD1 Group Meeting (physical-only)E1 4
D1 Rotunda
AG1 Group Meeting
Hide details for 17 - Tuesday17 - Tuesday
2023-10-1710:00Smitha MilliAlgorithms for PluralityE1 5
029
SWS Colloquium
2023-10-1713:00Nidhi RathiTBAE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Wednesday11 - Wednesday
2023-10-1112:15Isabel ValeraCausethical ML: Promises & ChallengesE1 5
002
Joint Lecture Series
Hide details for 10 - Tuesday10 - Tuesday
2023-10-1013:00Cornelius BrandAlgebraic Matroid IntersectionE1 5
029
AG1 Mittagsseminar (own work)
Hide details for 5 - Thursday5 - Thursday
2023-10-0513:00Panagiotis CharalampopoulosAlmost Optimal Edit Distance OraclesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Wednesday4 - Wednesday
2023-10-0411:30D1 Group MembersD1 Group Meeting (physical-only)E1 4
D1 Rotunda
AG1 Group Meeting
Hide details for September 2023September 2023
Hide details for 28 - Thursday28 - Thursday
2023-09-2810:30Miryung KimSoftware Engineering for Data Intensive Scalable Computing and Heterogeneous ComputingG26 [KL]
111
SWS Distinguished Lecture Series
2023-09-2813:00Prajakta NimbhorkarMatchings with Fairness ConstraintsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 27 - Wednesday27 - Wednesday
2023-09-2710:00Kate DonahueAI as a resource: strategy, uncertainty, and societal welfareG26 [KL]
111
SWS Colloquium
2023-09-2714:00Aaron RothRobust and Equitable Uncertainty EstimationVirtual talk [KL]
zoom
SWS Distinguished Lecture Series
Hide details for 22 - Friday22 - Friday
2023-09-2209:00WeikumD5 Alumni WorkshopE1 5
002
AG5 Seminar
Hide details for 21 - Thursday21 - Thursday
2023-09-2112:30WeikumD5 Alumni WorkshopE1 5
002
AG5 Seminar
Hide details for 20 - Wednesday20 - Wednesday
2023-09-2011:30D1 Group MembersD1 Group MeetingE1 4
R 024
AG1 Group Meeting
Hide details for 18 - Monday18 - Monday
2023-09-1810:00Fatemehsadat MireshghallahPrivacy Auditing and Protection in Large Language ModelsE1 5
029
SWS Colloquium
Hide details for 14 - Thursday14 - Thursday
2023-09-1413:00Alexandra LassotaSmall lecture on integer programmingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Wednesday6 - Wednesday
2023-09-0611:30D1 Group MembersD1 Group MeetingE1 4
R 024
AG1 Group Meeting
Hide details for 4 - Monday4 - Monday
2023-09-0410:00Manya GhobadiNext-Generation Optical Networks for Machine Learning JobsG26 [KL]
111
SWS Distinguished Lecture Series
Hide details for August 2023August 2023
Hide details for 29 - Tuesday29 - Tuesday
2023-08-2913:00Yanheng WangProbabilistic Analyses of PPZE1 4
024
AG1 Mittagsseminar (own work)
2023-08-2915:00Nick FischerPhD Defense Nick FischerE14
024
Promotionskolloquium
Hide details for 25 - Friday25 - Friday
2023-08-2514:30Tomasz KociumakaThe Seaweed Method for Computing Edit DistanceE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Wednesday16 - Wednesday
2023-08-1611:30D1 Group MembersD1 Group MeetingE1 4
R 024
AG1 Group Meeting
Hide details for 10 - Thursday10 - Thursday
2023-08-1016:00Euiwoong LeeParameterized Approximability of F-Deletion ProblemsVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 2 - Wednesday2 - Wednesday
2023-08-0211:30D1 Group MembersD1 Group MeetingE1 4
R 024
AG1 Group Meeting
Hide details for July 2023July 2023
Hide details for 25 - Tuesday25 - Tuesday
2023-07-2513:00Celine SwennenhuisA Subexponential Time Algorithm for Makespan Scheduling of Unit Jobs with Precedence ConstraintsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Thursday20 - Thursday
2023-07-2013:00Gunjan KumarApproximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Wednesday19 - Wednesday
2023-07-1911:30D1 Group MembersD1 Group MeetingE1 4
R 021
AG1 Group Meeting
2023-07-1913:00Spyros AngelopoulosSearching with predictionsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 18 - Tuesday18 - Tuesday
2023-07-1813:00Michal KouckyLocally consistent decomposition of strings with applications to edit distance sketchingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 13 - Thursday13 - Thursday
2023-07-1310:30Immanuel TrummerTuning Tools that "Read" the Manual: New Use Cases for Large Language Models in Data ManagementE1 4
024
Colloquium Lecture
Hide details for 11 - Tuesday11 - Tuesday
2023-07-1113:00Nithin VarmaImproved sublinear algorithms for testing permutation freenessE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Monday10 - Monday
2023-07-1014:00Debmalya PanigrahiThe Isolating Cuts Lemma and its ApplicationsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Thursday6 - Thursday
2023-07-0613:00Lars PrehnRoutegazing: Analysing the Evolving Internet Routing EcosystemE1 5
002
Promotionskolloquium
Hide details for 5 - Wednesday5 - Wednesday
2023-07-0511:30D1 Group MembersD1 Group MeetingE1 4
R 021
AG1 Group Meeting
2023-07-0512:15Jan Eric LenssenInferring the 3D World from Incomplete Observations: Representations and Data PriorsE1 5
002
Joint Lecture Series
Hide details for 4 - Tuesday4 - Tuesday
2023-07-0413:00Hannaneh AkramiEFX: A Simpler Approach and an (Almost) Optimal Guarantee via Rainbow Cycle NumberE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Monday3 - Monday
2023-07-0314:00Guy EvenDynamic Filters and Retrieval with a Single Memory AccessE1 4
024
AG1 Mittagsseminar (own work)
Hide details for June 2023June 2023
Hide details for 22 - Thursday22 - Thursday
2023-06-2211:15Prof. Sebastian TrimpeMachine learning for machines: Challenges and recent results in learning-based controlE1 4
019
MPI-Seminar
2023-06-2213:00Christopher CohnenDistributed consensus in asynchronous systems (Proseminar: Theory on consensus)E1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 21 - Wednesday21 - Wednesday
2023-06-2111:30D1 Group MembersD1 Group MeetingE1 4
R 021
AG1 Group Meeting
Hide details for 20 - Tuesday20 - Tuesday
2023-06-2015:00Supratik ChakrabortyOn Synthesizability of Skolem Functions in First-Order TheoriesG26 [KL]
207
SWS Colloquium
Hide details for 9 - Friday9 - Friday
2023-06-0912:30Ruiwen DongDecision problems in sub-semigroups of metabelian groups.E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
2023-06-0711:30D1 Group MembersD1 Group MeetingE1 4
R 021
AG1 Group Meeting
2023-06-0712:15Mariya TonevaWhy do large language models align with human brains: insights, opportunities, and challengesE1 5
002
Joint Lecture Series
Hide details for 6 - Tuesday6 - Tuesday
2023-06-0613:00Arturo MerinoTraversing combinatorial polytopes via optimization.E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Friday2 - Friday
2023-06-0213:00Rahul Mudambi VenkateshFault-tolerant pulse synchronization with stable output frequencies (Master thesis)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Thursday1 - Thursday
2023-06-0113:00Caterina De BaccoModelling multi-commodity optimal transport problems with constraintsVirtual talk
Virtual talk
Colloquium Lecture
Hide details for May 2023May 2023
Hide details for 30 - Tuesday30 - Tuesday
2023-05-3013:00Ariel KulikFaster Exponential-Time Approximation Algorithms Using Approximate Monotone Local SearchE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Thursday25 - Thursday
2023-05-2513:00Tomasz KociumakaBounded Weighted Edit DistanceE1 4
024
AG1 Mittagsseminar (own work)
2023-05-2516:00Bo ZhaoScalable and Sustainable Data-Intensive SystemsE1 5
002
SWS Colloquium
Hide details for 23 - Tuesday23 - Tuesday
2023-05-2313:00Christine RizkallahLanguage Based Approaches for Facilitating Software VerificationMPI building
024
Colloquium Lecture
Hide details for 17 - Wednesday17 - Wednesday
2023-05-1711:30D1 Group MembersD1 Group MeetingE1 4
R 021
AG1 Group Meeting
Hide details for 16 - Tuesday16 - Tuesday
2023-05-1613:00Seth PettieSorting Pattern-avoiding Permutations via Forbidden 0-1 MatricesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Friday12 - Friday
2023-05-1213:30Léo ExibardA Generic Solution to Register-bounded Synthesis for Systems over Data wordsG26 [KL]
111
SWS Colloquium
Hide details for 4 - Thursday4 - Thursday
2023-05-0415:00Beta ZilianiMaking monkeys and ducks behave with Crystal LangE1 5
002
SWS Colloquium
Hide details for 3 - Wednesday3 - Wednesday
2023-05-0311:30D1 Group MembersD1 Group MeetingE1 4
R 021
AG1 Group Meeting
2023-05-0312:15Marc HabermannDigital Humans: From Sensor Measurements to Deeper Understanding and SynthesisE1 5
002
Joint Lecture Series
Hide details for 2 - Tuesday2 - Tuesday
2023-05-0213:00George OsipovParameterized Complexity of MinCSP for Equality Constraint LanguagesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for April 2023April 2023
Hide details for 27 - Thursday27 - Thursday
2023-04-2713:00Jan van den BrandFaster High Accuracy Multi-Commodity Flow from Single-Commodity TechniquesE1 4
024
AG1 Mittagsseminar (own work)
2023-04-2716:00Alexander J. Summers2vyper: Contracts for Smart ContractsE1 5
002
SWS Colloquium
Hide details for 24 - Monday24 - Monday
2023-04-2410:00Yuval YaromAutomating cryptographic code generationE1 5
029
SWS Colloquium
Hide details for 20 - Thursday20 - Thursday
2023-04-2013:00Standa ZivnyPromise Constraint Satisfaction ProblemsVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 19 - Wednesday19 - Wednesday
2023-04-1911:30D1 Group MembersD1 Group MeetingE1 4
R 021
AG1 Group Meeting
Hide details for 18 - Tuesday18 - Tuesday
2023-04-1809:30Edgar SchönfeldImproving Quality and Controllability in GAN-based Image SynthesisE 1.4
024
Promotionskolloquium
2023-04-1813:00Ran GellesDistributed Computations in Fully-Defective NetworksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Wednesday5 - Wednesday
2023-04-0511:30D1 Group MembersD1 Group MeetingE1 4
R 024
AG1 Group Meeting
2023-04-0512:15Philip WellnitzFaster Approximate String Matching: Now with up to 500 ErrorsE1 5
002
Joint Lecture Series
Hide details for 4 - Tuesday4 - Tuesday
2023-04-0413:00Corinna CoupetteReducing Exposure to Harmful Content via Graph RewiringVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for March 2023March 2023
Hide details for 30 - Thursday30 - Thursday
2023-03-3011:30Meike ZehlikeLearning Lunch: The Gender Data Gap - And its Implications for Data-Driven Decision MakingE1 4
024
Talk
2023-03-3013:00Simon DöringThe Birkhoff-Polytope and the hardness of removing verticesE1 4
024
AG1 Mittagsseminar (own work)
2023-03-3015:30Numair MansurAutomatically Detecting and Mitigating Issues in Program AnalyzersG26
111
SWS Student Defense Talks - Thesis Defense
Hide details for 23 - Thursday23 - Thursday
2023-03-2313:00Duri JanettTight Runtime Bounds for Static Unary Unbiased Evolutionary Algorithms on Linear FunctionsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Tuesday21 - Tuesday
2023-03-2113:00Hannaneh AkramiBreaking the 3/4 Barrier for Approximate Maximin ShareE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Thursday16 - Thursday
2023-03-1613:00Niko HastrichFaster Nearest Neighbors Queries on Geographic DataE1 4
024
AG1 Mittagsseminar (own work)
2023-03-1618:00Bharat Lal BhatnagarModelling 3D Humans: Pose, Shape, Clothing and InteractionsE 1.4
024
Promotionskolloquium
Hide details for 15 - Wednesday15 - Wednesday
2023-03-1511:30D1 Group MembersD1 Group MeetingE1 4
R 024
AG1 Group Meeting
Hide details for 9 - Thursday9 - Thursday
2023-03-0909:30Paul GölzFair, Representative, and Transparent Algorithms for Citizens’ AssembliesE1 5
002
CIS@MPG Tenure-Track Faculty
2023-03-0910:00Stephan SchulzE 3.0 - Even Faster, Much Higher, Still StrongerE1 4
024
Talk
2023-03-0914:00Fajar HaifaniOn a Notion of Abduction and Relevance for First-Order Logic Clause SetsE1 4
024
Promotionskolloquium
Hide details for 7 - Tuesday7 - Tuesday
2023-03-0713:00Rahul Mudambi VenkateshFault-tolerant pulse synchronization with stable output frequencie (Master thesis)E1 4
024
AG1 Mittagsseminar (own work)
2023-03-0714:00Anita DürrRecent developments in monotone min-plus convolution/product algorithmsE1 4
024
Talk
Hide details for 3 - Friday3 - Friday
2023-03-0309:30Bhaskar Ray ChaudhuryFrom Resource Allocation to Machine Learning: Fairness Through Computation and Fairness in ComputationE1 5
002
CIS@MPG Tenure-Track Faculty
2023-03-0312:30Mark MrsicReal-Time Collaborative Optimization PlatformVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 2 - Thursday2 - Thursday
2023-03-0209:30Maryam AliakbarpourStatistical inference with privacy and computational constraintsG26 [KL]
111
SWS Colloquium
2023-03-0213:00Seth PettieOptimal Vertex Connectivity OraclesVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2023-03-0215:00Mirko PalmerPhD Defense: Towards Enabling Cross-layer Information Sharing to Improve Today's Content Delivery SystemsE1 4
024
Promotionskolloquium
2023-03-0217:00Adam BoulandQuantum PseudoentanglementVirtual talk
Virtual talk
INF Distinguished Lecture Series
Hide details for 1 - Wednesday1 - Wednesday
2023-03-0111:30D1 Group MembersD1 Group MeetingE1 4
R 024
AG1 Group Meeting
2023-03-0112:15Ingmar WeberSocietal ComputingE1 5
002
Joint Lecture Series
Hide details for February 2023February 2023
Hide details for 28 - Tuesday28 - Tuesday
2023-02-2809:30Dr. Anne-Kathrin SchmuckThe Power of Feedback in a Cyber-Physical WorldG26 [KL]
111
SWS Colloquium
2023-02-2813:00Johannes BundHazard-Free Clock Synchronization (PhD defense)Virtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 24 - Friday24 - Friday
2023-02-2415:00Said Jawad SaidiCharacterizing the IoT Ecosystem at ScaleE1 4
024
Promotionskolloquium
Hide details for 23 - Thursday23 - Thursday
2023-02-2309:30Priyanka GoliaFusing AI and Formal Methods for Automated SynthesisG26 [KL]
111
SWS Colloquium
2023-02-2313:00Karol WęgrzyckiParameterized Approximation for Maximum Weight Independent Set of Rectangles and SegmentsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Wednesday22 - Wednesday
2023-02-2216:00Stephan GünnemannGraph Neural Networks for Molecular SystemsE1 5
002
Max Planck Distinguished Speaker Talk
Hide details for 21 - Tuesday21 - Tuesday
2023-02-2116:00Ryan WilliamsThe Mystery of the Missing StringVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 15 - Wednesday15 - Wednesday
2023-02-1511:30D1 Group MembersD1 Group Meeting (Photographer)E1 5
R 105
AG1 Group Meeting
Hide details for 14 - Tuesday14 - Tuesday
2023-02-1413:00Peter Kiss(1+\eps)-Approximate Dynamic Matching in Truly Sublinear TimeE1 4
024
AG1 Mittagsseminar (own work)
2023-02-1414:00Leqi LiuLearning for Decision Making: A Tale of Complex Human PreferencesVirtual talk
zoom
SWS Colloquium
Hide details for 10 - Friday10 - Friday
2023-02-1013:30Naveen GargOutliers: How to Handle ThemE1.4
024
MPI-Kolloquium
Hide details for 9 - Thursday9 - Thursday
2023-02-0913:00Golnoosh ShahkaramiA Novel Prediction Setup for Online Speed-ScalingE1 4
024
AG1 Mittagsseminar (own work)
2023-02-0913:30Aman MathurProgrammatic Interfaces for Design and SimulationG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 2 - Thursday2 - Thursday
2023-02-0213:00Suomela JukkaLocality in online, dynamic, sequential, and distributed graph algorithmsVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 1 - Wednesday1 - Wednesday
2023-02-0111:30D1 Group MembersD1 Group MeetingE1 4
R 024
AG1 Group Meeting
2023-02-0112:15Sven RahmannTerabyte-Scale Genome Analysis for Underfunded LabsE1 5
002
Joint Lecture Series
2023-02-0115:00Manling LiToward Deep Semantic Understanding: Event-Centric Multimodal Knowledge AcquisitionE1 5
002
SWS Colloquium
Hide details for January 2023January 2023
Hide details for 31 - Tuesday31 - Tuesday
2023-01-3113:00Adam PolakDynamic algorithms with predictionsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 27 - Friday27 - Friday
2023-01-2708:30Ruonan 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
zoom
PhD Application Talk
2023-01-2709:00Pushpdeep SinghGender Bias in Neural Machine Translation(NMT): Evaluation and MitigationVirtual talk
zoom
PhD Application Talk
2023-01-2709:30Mohammad Mahdi AsmaeNeural Enhanced Dynamic Message PassingVirtual talk
zoom
PhD Application Talk
2023-01-2710:00Sara KhosraviArea: AI, Machine Learning, Robotics, VisionVirtual talk
zoom
PhD Application Talk
2023-01-2710:30Shrisudhan GovindarajanSynthesizing Light Field Video from SmartphonesVirtual talk
zoom
PhD Application Talk
2023-01-2711:00Yuezhi YangDiscovering Design Concept for CAD SketchesVirtual talk
zoom
PhD Application Talk
2023-01-2712:30Hassan HamidihesarsorkhColoring as a Pretext Task for Semantic Segmentation in Point CloudVirtual talk
zoom
PhD Application Talk
2023-01-2713:00Daoan ZhangUnconditional and Conditional Representation ManipulationVirtual talk
zoom
PhD Application Talk
2023-01-2713:30Tsung-Han WuTowards Cost-Effective and Trustworthy Visual Autonomous SystemsVirtual talk
zoom
PhD Application Talk
2023-01-2714:00Mohammad AsadiConcept-Based Interpretation for Raw Time Series Models in EducationVirtual talk
zoom
PhD Application Talk
2023-01-2714:30Nhi PhamA Twitter corpus of linguistically and geographically diverse varieties of EnglishVirtual talk
zoom
PhD Application Talk
2023-01-2716:30Yaoyao LiuLearning from Imperfect Data: Incremental Learning and Few-shot LearningE 1.4
024
Promotionskolloquium
Hide details for 26 - Thursday26 - Thursday
2023-01-2613:00Ameet GadekarClustering with fairness constraintsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Tuesday24 - Tuesday
2023-01-2409:00Ajaykrishnan Edamana Illam SatheeshkumarKnot-Free Vertex Deletion Exact and Enumeration AlgorithmsVirtual talk
zoom
PhD Application Talk
2023-01-2409:30Aryan AgarwalaParallel Algorithms for Bipartite Graph MatchingVirtual talk
zoom
PhD Application Talk
2023-01-2412:00Sagnik DuttaImproved lower bound and proof barrier for constant depth algebraic circuitsVirtual talk
zoom
PhD Application Talk
2023-01-2413:00Ali HatamshoarOnline Coloring of Intervals with a Limited Recourse BudgetVirtual talk
zoom
PhD Application Talk
2023-01-2413:30Anita DürrImproved bounds for rectangular monotone Min-Plus ProductVirtual talk
zoom
PhD Application Talk
2023-01-2414:00Duri Andrea JanettTwo Dimensional Drift Analysis: Optimizing Two Functions Simultaneously Can Be HardVirtual talk
zoom
PhD Application Talk
Hide details for 23 - Monday23 - Monday
2023-01-2309:00Carolina Coimbra VieiraThe Interplay between Culture and MigrationVirtual talk
zoom
PhD Application Talk
2023-01-2309:30Mahsa GhaderanFact Extraction and Verification for a low resource languageVirtual talk
zoom
PhD Application Talk
2023-01-2310:00Soham DeStudying Strategic Information Operations in India through Social MediaVirtual talk
zoom
PhD Application Talk
2023-01-2310:30Otuekong EkpoTechnique for enhancing the resistance of critical rail infrastructure to cyber-threatVirtual talk
zoom
PhD Application Talk
2023-01-2312:30Alexander MayorovVariable independence in quantifier-free fragments of first-order logicVirtual talk
zoom
PhD Application Talk
2023-01-2313:00Yun-Rong LuoProofs and Dependency Schemes for Stochastic Quantified SatisfiabilityVirtual talk
zoom
PhD Application Talk
2023-01-2313:30MohammadHossein KhoshechinJorshariActor-based Timing Analysis in Automotive SystemsVirtual talk
zoom
PhD Application Talk
2023-01-2314:00Si SuoDenotational semantics of commutative combinations of effectsVirtual talk
zoom
PhD Application Talk
Hide details for 19 - Thursday19 - Thursday
2023-01-1913:00Yuval EfronCut Query Algorithms Using Star-ContractionE1 4
024
AG1 Mittagsseminar (own work)
2023-01-1916:00Robert KoenigAdaptive constant-depth circuits for manipulating non-abelian anyonsVirtual talk
Virtual talk
INF Distinguished Lecture Series
Hide details for 18 - Wednesday18 - Wednesday
2023-01-1811:30D1 Group MembersD1 Group Meeting (in presence)E 1, 4
R 024
AG1 Group Meeting
Hide details for 17 - Tuesday17 - Tuesday
2023-01-1713:00Zhongtian HeCactus Representations in Polylogarithmic Max-flow via Maximal Isolating MincutsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Thursday12 - Thursday
2023-01-1213:00Philipp SchepperTight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Wednesday4 - Wednesday
2023-01-0411:30D1 Group MembersD1 Group Meeting (in presence)E1, 4
D1 Rotunda
AG1 Group Meeting
Hide details for December 2022December 2022
Hide details for 28 - Wednesday28 - Wednesday
2022-12-2811:30D1 Group MembersD1 Group Meeting (in presence)E 1, 4
Rotunda D1
AG1 Group Meeting
Hide details for 20 - Tuesday20 - Tuesday
2022-12-2016:00Yury MakarychevApproximation algorithms for the socially fair clustering problemVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 14 - Wednesday14 - Wednesday
2022-12-1411:30D1 Group MembersD1 Group MeetingE 1, 4
R 024
AG1 Group Meeting
2022-12-1414:00Mahmoud SalamatiFormal Controller Synthesis for Dynamical Systems: Decidability and ScalabilityG26 [KL]
113
SWS Student Defense Talks - Thesis Proposal
Hide details for 13 - Tuesday13 - Tuesday
2022-12-1313:00Eva RotenbergSparsity-adaptive dynamic graph algorithmsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Monday12 - Monday
2022-12-1216:00Aleksander B. G. ChristiansenThe Power of Multi-Step Vizing ChainsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Thursday8 - Thursday
2022-12-0810:30Janis KalofoliasSubgroup Discovery for Structured Target ConceptsC9 3
Konferenzraum
Promotionskolloquium
2022-12-0813:00Adam PolakBellman-Ford is optimal for shortest hop-bounded pathsE1 4
024
AG1 Mittagsseminar (own work)
2022-12-0816:00Harry BuhrmannQuantum fine-grained complexity and the quantum advantageVirtual talk
Virtual talk
AG1 Advanced Mini-Course
Hide details for 7 - Wednesday7 - Wednesday
2022-12-0712:15Anne SchmuckLet's play! - Solving controller synthesis games for cyber-physical system designE1 5
002
Joint Lecture Series
Hide details for 6 - Tuesday6 - Tuesday
2022-12-0613:00Nikhil KumarAn Approximate Generalization of the Okamura-Seymour TheoremE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Thursday1 - Thursday
2022-12-0113:00Peter KissDynamic Matching with Better-than-2 Approximation in Polylogarithmic Update TimeE1 4
024
AG1 Mittagsseminar (own work)
Hide details for November 2022November 2022
Hide details for 30 - Wednesday30 - Wednesday
2022-11-3011:30D1 Group MembersD1 Group MeetingE 1, 4
R 024
AG1 Group Meeting
Hide details for 29 - Tuesday29 - Tuesday
2022-11-2913:00Zahra ParsaeianApproximate Near-Neighbor Problem for Curves using Discrete Fréchet Distance under Translation and Rotation (Master thesis)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Thursday24 - Thursday
2022-11-2410:00Aïna Linn GeorgesEnforcing Stack Safety on a Capability MachineE1 5
005
SWS Colloquium
2022-11-2413:00Pascal SchweitzerThe Graph Isomorphism Problem: a journey through theory-practice synergiesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Wednesday23 - Wednesday
2022-11-2309:00Philipp SchröppelRobust Multi-view Depth EstimationE1 7
001
Talk
2022-11-2313:00Vasilis LivanosCombinatorial Optimization under Uncertainty and Prophet InequalitiesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Tuesday22 - Tuesday
2022-11-2213:00Sanjeev KhannaSublinear Algorithms for Hierarchical ClusteringVirtual talk
Virtual talk
AG1 Mittagsseminar (others' work)
Hide details for 21 - Monday21 - Monday
2022-11-2113:00Arijit KhanData Management for Emerging Problems in Large NetworksE1 4
024
Talk
Hide details for 17 - Thursday17 - Thursday
2022-11-1716:00Barbara TerhalQuantum Error Correction Beyond QubitsVirtual talk
Virtual talk
Max Planck Distinguished Speaker Talk
Hide details for 16 - Wednesday16 - Wednesday
2022-11-1610:00Thorsten JoachimsDesigning AI Systems with Steerable Long-Term DynamicsG26 [KL]
111
SWS Distinguished Lecture Series
2022-11-1611:30D1 Group MembersD1 Group MeetingE 1, 4
R 024
AG1 Group Meeting
Hide details for 12 - Saturday12 - Saturday
2022-11-1216:00Aleksander B. G. ChristiansenTBAE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Thursday10 - Thursday
2022-11-1013:00Kurt MehlhornFair Allocation of Indivisible Goods, A SurveyMPI-INF
024
AG1 Mittagsseminar (basic education)
Hide details for 7 - Monday7 - Monday
2022-11-0710:30Sumit GulwaniAI-assisted Programming: Applications, User experiences, and Neuro-symbolic techniquesE1 5
002
SWS Distinguished Lecture Series
Hide details for 2 - Wednesday2 - Wednesday
2022-11-0211:30D1 Group MembersD1 Group MeetingE 1, 4
R 024
AG1 Group Meeting
2022-11-0212:15Martin BrombergerWhy not use a hammer when a problem looks almost like a nail?E1 5
002
Joint Lecture Series
Hide details for October 2022October 2022
Hide details for 28 - Friday28 - Friday
2022-10-2810:30Vinh Thinh HoEntities with Quantities: Extraction, Search, and RankingE1 4
R024
Promotionskolloquium
Hide details for 27 - Thursday27 - Thursday
2022-10-2713:00Tomasz KociumakaGap Edit Distance via Non-Adaptive Queries: Simple and OptimalE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Tuesday25 - Tuesday
2022-10-2513:00Vera TraubBetter-Than-2 Approximations for Weighted Tree Augmentation and Forest AugmentationVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 20 - Thursday20 - Thursday
2022-10-2013:00Joseph CheriyanApproximation Algorithms for Flexible Network DesignMPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Wednesday19 - Wednesday
2022-10-1911:30D1 Group MembersD1 Group Meeting (in presence)E 1, 4
310
AG1 Group Meeting
Hide details for 18 - Tuesday18 - Tuesday
2022-10-1813:00Karl BringmannFine-Grained Complexity of Distance OraclesE1 4
007
AG1 Mittagsseminar (own work)
Hide details for 13 - Thursday13 - Thursday
2022-10-1316:00Umesh VaziraniTheoretical Reflections on Quantum SupremacyVirtual talk
Virtual talk
INF Distinguished Lecture Series
Hide details for 12 - Wednesday12 - Wednesday
2022-10-1210:00Attila Kinali-DoganPhD Defense: On Time, Time Synchronization and Noise in Time Measurement SystemsE1 4
024
Promotionskolloquium
Hide details for 11 - Tuesday11 - Tuesday
2022-10-1113:00Hörsch FlorianOrientations and Arc-connectivityE1 4
007
AG1 Mittagsseminar (own work)
Hide details for 5 - Wednesday5 - Wednesday
2022-10-0511:30D1 Group MembersD1 Group Meeting (in presence)E 1, 4
310
AG1 Group Meeting
2022-10-0512:15Martina MaggioControl Systems in the presence of Computational ProblemsE1 5
002
Joint Lecture Series
Hide details for 4 - Tuesday4 - Tuesday
2022-10-0413:00Evangelos KipouridisReconstructing the Tree of Life (Fitting Distances by Tree Metrics)E1 5
002
AG1 Mittagsseminar (own work)
Hide details for September 2022September 2022
Hide details for 28 - Wednesday28 - Wednesday
2022-09-2815:30Lassota Alexandra AnnaInteger Linear Programs and How To Use Them EfficientlyE1 4
007
AG1 Mittagsseminar (own work)
Hide details for 27 - Tuesday27 - Tuesday
2022-09-2713:00Pranjal DuttaPower and limitation of border depth-3 algebraic circuitsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Thursday22 - Thursday
2022-09-2216:00Ariel ProcacciaDemocracy and the Pursuit of RandomnessVirtual talk
Virtual talk
Joint Lecture Series
Hide details for 21 - Wednesday21 - Wednesday
2022-09-2111:30D1 Group MembersD1 Group Meeting (in presence)E 1, 4
Rotunda D1
AG1 Group Meeting
Hide details for 20 - Tuesday20 - Tuesday
2022-09-2013:00Merav ParterA Graph Theoretic Approach for Resilient Distributed AlgorithmsVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 15 - Thursday15 - Thursday
2022-09-1513:00Joakim BlikstadNearly Optimal Communication and Query Complexity of Bipartite MatchingE1 4
024
AG1 Mittagsseminar (own work)
2022-09-1516:00Peter ShorQuantum MoneyVirtual talk
Virtual talk
INF Distinguished Lecture Series
Hide details for 8 - Thursday8 - Thursday
2022-09-0813:00Danupon NanongkaiNegative-Weight Single-Source Shortest Paths in Near-linear TimeE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
2022-09-0711:30D1 Group MembersD1 Group Meeting (in presence)E 1, 4
R 024
AG1 Group Meeting
Hide details for 6 - Tuesday6 - Tuesday
2022-09-0618:00Michael SammlerAutomated and Foundational Verification of Low-Level ProgramsVirtual talk
Virtual talk
SWS Student Defense Talks - Thesis Proposal
Hide details for 1 - Thursday1 - Thursday
2022-09-0113:00Philipp SchepperComputing Generalized Convolutions Faster Than Brute ForceE1 4
024
AG1 Mittagsseminar (own work)
Hide details for August 2022August 2022
Hide details for 31 - Wednesday31 - Wednesday
2022-08-3116:00Mohamed AlzayatEfficient Request Isolation in Function-as-a-Service -- Reconciling Confidentiality and CorrectnessVirtual talk
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 30 - Tuesday30 - Tuesday
2022-08-3013:00Philipp SchepperAnti-Factor is FPT Parameterized by Treewidth and List Size (but Counting is Hard)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Wednesday24 - Wednesday
2022-08-2411:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 18 - Thursday18 - Thursday
2022-08-1816:00Mohsen GhaffariLocal Computation of Maximal Independent SetVirtual
Virtual
AG1 Mittagsseminar (own work)
Hide details for 17 - Wednesday17 - Wednesday
2022-08-1711:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 10 - Wednesday10 - Wednesday
2022-08-1011:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 3 - Wednesday3 - Wednesday
2022-08-0311:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for July 2022July 2022
Hide details for 28 - Thursday28 - Thursday
2022-07-2813:00Jonas FischerMore than the sum of its parts – pattern mining, neural networks and how they complement each otherE1 4
024
Promotionskolloquium
2022-07-2816:00Tony CubittHamiltonian simulation theory: from near-term quantum computing to quantum gravityE1 4
024
INF Distinguished Lecture Series
Hide details for 27 - Wednesday27 - Wednesday
2022-07-2711:30D1 Group MembersD1 Group MeetingVirtual talk
Virtual talk
AG1 Group Meeting
Hide details for 25 - Monday25 - Monday
2022-07-2513:00Numair MansurAutomatically Detecting and Mitigating Issues in Program AnalyzersVirtual talk
Remote
SWS Student Defense Talks - Thesis Proposal
Hide details for 22 - Friday22 - Friday
2022-07-2213:00Sahar SheikholeslamiA Recursive Early-Stopping Phase King ProtocolVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2022-07-2214:00David StutzUnderstanding and Improving Robustness and Uncertainty Estimation in Deep LearningE 1.4
024
Promotionskolloquium
Hide details for 20 - Wednesday20 - Wednesday
2022-07-2011:30D1 Group MembersD1 Group MeetingVirtual talk
Virtual talk
AG1 Group Meeting
Hide details for 19 - Tuesday19 - Tuesday
2022-07-1914:00Indranil GuptaDistinguished Speaker Colloquium: Indranil Gupta (UIUC): Hammer vs. Gavel - How I Learned to Stop Learning and Love the Old-Fashioned AlgorithmE1 4
virtual
MPI Colloquium Series Distinguished Speaker
Hide details for 13 - Wednesday13 - Wednesday
2022-07-1311:30D1 Group MembersD1 Group MeetingVirtual talk
Virtual talk
AG1 Group Meeting
Hide details for 11 - Monday11 - Monday
2022-07-1111:00Zahra MontazeriRealistic Modeling and Rendering of FabricsE1 4
024
AG4 Talk
2022-07-1114:00Jean-Marie De KoninckConsecutive integers divisible by a power of their largest prime factorE1 5
002
SWS Colloquium
Hide details for 6 - Wednesday6 - Wednesday
2022-07-0611:30D1 Group MembersD1 Group MeetingVirtual talk
Virtual talk
AG1 Group Meeting
2022-07-0612:15Tobias FiebigInformation System Security: Beyond the Sum of its Parts Analyze, Measure, Explain, ImproveVirtual talk
Virtual
Joint Lecture Series
Hide details for June 2022June 2022
Hide details for 30 - Thursday30 - Thursday
2022-06-3013:00Ian JonesThe World’s 3rd Fastest FIFOMPII
024
AG1 Mittagsseminar (own work)
Hide details for 29 - Wednesday29 - Wednesday
2022-06-2911:30D1 Group MembersD1 Group MeetingVirtual talk
Virtual talk
AG1 Group Meeting
2022-06-2914:00Andrea HornakovaLifted Edges as Connectivity Priors for Multicut and Disjoint PathsE 1.5
029
Promotionskolloquium
Hide details for 28 - Tuesday28 - Tuesday
2022-06-2813:00Aleksander ŁukasiewiczTight Vector Bin Packing with Few Small Items via Fast Exact Matching in MultigraphsVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2022-06-2813:30Areil KulikAnalysis of Two-variable Recurrence Relations with Application to Parameterized ApproximationsMPII (E1 4)
024
AG1 Mittagsseminar (own work)
Hide details for 27 - Monday27 - Monday
2022-06-2711:00Debasmita LoharExpanding the Horizons of Finite-Precision AnalysisE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 24 - Friday24 - Friday
2022-06-2410:30Ivan GavranPlanning and Specification Problems for Multi-Robot Systems, Powered by Formal MethodsE1 5 [KL]
113
SWS Student Defense Talks - Thesis Defense
2022-06-2414:00Kaushik MallikPushing the Barriers in Controller Synthesis for Cyber-Physical SystemsG26 [KL]
113
SWS Student Defense Talks - Thesis Defense
Hide details for 23 - Thursday23 - Thursday
2022-06-2313:00Baris Can EsmerFaster Exponential-Time Approximation Algorithms Using Approximate Monotone Local SearchVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 22 - Wednesday22 - Wednesday
2022-06-2211:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 21 - Tuesday21 - Tuesday
2022-06-2113:00Sam Jonas NiroOptimization under PrivacyVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 17 - Friday17 - Friday
2022-06-1713:00Golnoosh Shahkarami[Cancelled] A Novel Prediction Setup for Online Speed-ScalingE1 4 (MPII)
024
AG1 Mittagsseminar (own work)
2022-06-1713:45Dzmitry V. DudkoDecidability in Dynamics via GeometrizationE1 4 (MPII)
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Wednesday15 - Wednesday
2022-06-1511:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 14 - Tuesday14 - Tuesday
2022-06-1410:00Ben WiederhakePhD Defense Ben WiederhakeE1 4
024
Promotionskolloquium
2022-06-1413:00Alejandro CassisFaster Knapsack Algorithms via Bounded Monotone Min-Plus-ConvolutionMPII
024
AG1 Mittagsseminar (own work)
2022-06-1413:30Philipp SchepperParameterized Complexity of Weighted Multicut in TreesMPII (E1 4)
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Friday10 - Friday
2022-06-1013:00Anna Christina de Carvalho GuimaraesData Science Methods for the Analysis of Controversial SocialMedia DiscussionsVirtual talk
Virtual talk
Promotionskolloquium
Hide details for 9 - Thursday9 - Thursday
2022-06-0913:00Alejandro CassisAlmost-Optimal Sublinear-Time Edit Distance in the Low Distance RegimeMPII
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Wednesday8 - Wednesday
2022-06-0811:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 7 - Tuesday7 - Tuesday
2022-06-0713:00Aleksander ŁukasiewiczAll-Pairs LCA in DAGs: Breaking through the O(n^2.5) barrierMPII
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Wednesday1 - Wednesday
2022-06-0111:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
2022-06-0112:15Elissa RedmilesLearning from the People: Responsibly Encouraging Adoption of Contact Tracing AppsVirtual talk
Virtual talk
Joint Lecture Series
Hide details for May 2022May 2022
Hide details for 27 - Friday27 - Friday
2022-05-2714:00Joël OuaknineThe Skolem LandscapeE1 5
002
SWS Colloquium
Hide details for 25 - Wednesday25 - Wednesday
2022-05-2511:30D1 Group MeetingD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 24 - Tuesday24 - Tuesday
2022-05-2409:30Lorenzo AlvisiOrderrr! A tale of money, intrigue, and specificationsE1 5
002
SWS Distinguished Lecture Series
2022-05-2413:00Zahra ParsaeianTowards Sub-Quadratic Diameter Computation in Geometric Intersection GraphsMPII
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Friday20 - Friday
2022-05-2016:15Preethi LahotiOperationalizing Fairness for Responsible Machine LearningVirtual talk
Virtual Talk
Promotionskolloquium
Hide details for 19 - Thursday19 - Thursday
2022-05-1913:00Kurt MehlhornReview and Letters of RecommendationsMPI
018
AG1 Mittagsseminar (basic education)
2022-05-1916:00Andris AmbainisQuantum algorithms for search and optimizationVirtual talk
Zoom
INF Distinguished Lecture Series
Hide details for 18 - Wednesday18 - Wednesday
2022-05-1811:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 13 - Friday13 - Friday
2022-05-1316:00André NusserPhD Defense André NusserVirtual talk
Virtual talk
Promotionskolloquium
Hide details for 12 - Thursday12 - Thursday
2022-05-1213:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 5 - Thursday5 - Thursday
2022-05-0513:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 4 - Wednesday4 - Wednesday
2022-05-0412:15Thorsten HolzTowards Resilient and Sustainable Software SecurityVirtual talk
Virtual
Joint Lecture Series
Hide details for 3 - Tuesday3 - Tuesday
2022-05-0313:00Prafullkumar TalePractice lecture on String ProcessingVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for April 2022April 2022
Hide details for 28 - Thursday28 - Thursday
2022-04-2813:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 25 - Monday25 - Monday
2022-04-2510:00Cuong Xuan ChuKnowledge Extraction from Fictional TextsVirtual talk
Virtual talk
Promotionskolloquium
2022-04-2514:15Iryna GurevychComment – Link – Revise: Towards a General Framework for Modelling Interconnected TextsVirtual talk
virtual talk
MPI Colloquium Series Distinguished Speaker
Hide details for 21 - Thursday21 - Thursday
2022-04-2113:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 19 - Tuesday19 - Tuesday
2022-04-1913:00Prafullkumar Tale(CANCELLED) Practice lecture on String Processing.Virtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 14 - Thursday14 - Thursday
2022-04-1413:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 7 - Thursday7 - Thursday
2022-04-0711:00Long Tran-ThanhSaving Stochastic Bandits from Poisoning Attacks via Limited Data VerificationVirtual talk
Virtual talk
SWS Colloquium
2022-04-0713:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 6 - Wednesday6 - Wednesday
2022-04-0612:15Adam KortylewskiRobust Deep Neural Networks for Computer VisionVirtual talk
Virtual
Joint Lecture Series
Hide details for March 2022March 2022
Hide details for 31 - Thursday31 - Thursday
2022-03-3113:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 29 - Tuesday29 - Tuesday
2022-03-2913:00Prafullkumar TaleParameterized Complexity of Edge Contraction ProblemsVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2022-03-2915:00Maria Florina BalcanMachine learning for algorithm designVirtual talk [KL]
zoom
SWS Distinguished Lecture Series
Hide details for 24 - Thursday24 - Thursday
2022-03-2413:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 23 - Wednesday23 - Wednesday
2022-03-2318:00Magdalena BalazinskaVideo Data ManagementVirtual talk
Virtual talk
MPI Colloquium Series Distinguished Speaker
Hide details for 17 - Thursday17 - Thursday
2022-03-1713:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 15 - Tuesday15 - Tuesday
2022-03-1513:00Karol WęgrzyckiIsolation schemes for problems on decomposable graphsVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 14 - Monday14 - Monday
2022-03-1410:00Roberto NavigliRecent Developments in Multilingual Natural Language UnderstandingVirtual talk
Virtual talk
MPI Colloquium Series Distinguished Speaker
Hide details for 10 - Thursday10 - Thursday
2022-03-1013:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 9 - Wednesday9 - Wednesday
2022-03-0912:00Gael VaroquauxEmbeddings of databases for analytics robust to alignment errorsE1 4
024
AG5 Talk
Hide details for 4 - Friday4 - Friday
2022-03-0414:00Adam DziedzicConfidential and Private Collaborative Machine LearningVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 3 - Thursday3 - Thursday
2022-03-0310:00Anwar HithnawiSystems Designs for End-to-End PrivacyVirtual talk
Virtual talk
CIS@MPG Colloquium
2022-03-0313:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 2 - Wednesday2 - Wednesday
2022-03-0217:00Pardis Emami-NaeiniEmpowering People to Have Secure and Private Interactions with Digital TechnologiesVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 1 - Tuesday1 - Tuesday
2022-03-0115:00Yixin ZouImproving People’s Adoption of Security and Privacy BehaviorsVirtual talk
Virtual talk
CIS@MPG Colloquium
2022-03-0118:00Yejin ChoiKnowledge is Power: Symbolic Knowledge Distillation, Commonsense Morality, and Multimodal Script KnowledgeVirtual talk
Virtual talk
INF Distinguished Lecture Series
Hide details for February 2022February 2022
Hide details for 28 - Monday28 - Monday
2022-02-2815:00Suguman BansalSpecification-Guided Policy-SynthesisVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 24 - Thursday24 - Thursday
2022-02-2413:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 23 - Wednesday23 - Wednesday
2022-02-2316:00Rowan ZellersGrounding Language by Seeing, Hearing, and InteractingVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 22 - Tuesday22 - Tuesday
2022-02-2215:00Aaron ScheinMeasurement and Experimentation in Complex Sociopolitical ProcessesVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 21 - Monday21 - Monday
2022-02-2115:00Ningning XieLanguage theory into practice, a play in three actsVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 18 - Friday18 - Friday
2022-02-1811:00Anna TigunovaExtracting personal information from conversationsVirtual talk
virtual talk
Promotionskolloquium
2022-02-1816:00Yao QinImproving Robustness in Machine Learning ModelsVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 17 - Thursday17 - Thursday
2022-02-1713:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
2022-02-1716:00Stephanie WehnerQuantum Networks: From a Physics Experiment to a Quantum Network SystemE1 4
325
INF Distinguished Lecture Series
Hide details for 15 - Tuesday15 - Tuesday
2022-02-1510:00Yiqing HuaCharacterizing and Mitigating Threats to Trust and Safety OnlineVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 11 - Friday11 - Friday
2022-02-1109:30Krikamol MuandetToward Reliable Machine Learning with KernelsVirtual talk
Virtual talk
CIS@MPG Colloquium
2022-02-1112:00Hadi DaneshmandHow do neurons learn?Virtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 10 - Thursday10 - Thursday
2022-02-1013:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
2022-02-1014:00Wenbo GuoStrengthening and Enriching Machine Learning for CybersecurityVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 3 - Thursday3 - Thursday
2022-02-0313:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 2 - Wednesday2 - Wednesday
2022-02-0212:15Goran RadanovicRobust and Accountable Multi-Agent Sequential Decision MakingVirtual talk
Virtual
Joint Lecture Series
Hide details for January 2022January 2022
Hide details for 27 - Thursday27 - Thursday
2022-01-2713:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 20 - Thursday20 - Thursday
2022-01-2010:00Willy ZwaenepoelSoftware for Fast Storage HardwareVirtual talk
Virtual Talk
SWS Distinguished Lecture Series
2022-01-2013:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 18 - Tuesday18 - Tuesday
2022-01-1813:00Benedikt GeilenkeuserFPT-Algorithms for the Treewidth-3 Modulator Problem (Master Thesis)Virtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2022-01-1815:00Nina Grgić-HlačaHuman Factors in Machine-Assisted Decision-MakingE1 4
029
SWS Student Defense Talks - Thesis Proposal
Show details for 17 - Monday17 - Monday

Previous Page | Next Page | Expand All | Collapse All