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 July 2024July 2024
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 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 10 - Wednesday10 - Wednesday
2024-01-1012:15Ha DaoA comprehensive analysis of PII leakage-based web trackingE1 5
002
Joint Lecture Series
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
Hide details for 17 - Monday17 - Monday
2022-01-1713:00Zhongtian HeTBAE1 4
024
AG1 Mittagsseminar (own work)
2022-01-1713:00Zhongtian HeTBAE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 13 - Thursday13 - Thursday
2022-01-1313:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 6 - Thursday6 - Thursday
2022-01-0613:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 4 - Tuesday4 - Tuesday
2022-01-0413:00Karl BringmannTight Fine-Grained Bounds for Direct Access on Join Queries, or: Fine-Grained Complexity meets DatabasesVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for December 2021December 2021
Hide details for 16 - Thursday16 - Thursday
2021-12-1612:00Yanlei DiaoUDAO: A Next-Generation Cloud Data Analytics Optimizer via Large-Scale Machine LearningVirtual talk
Virtual talk
INF Distinguished Lecture Series
2021-12-1613:00D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 15 - Wednesday15 - Wednesday
2021-12-1512:00Mohamed OmranFrom Pixels to People: Recovering Location, Shape, and Pose of Humans in ImagesVirtual talk
Virtual talk
Promotionskolloquium
Hide details for 14 - Tuesday14 - Tuesday
2021-12-1413:00Daniel NeuenParameterized Subexponential Algorithms for Generalized Cycle Hitting Problems on Planar GraphsVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 9 - Thursday9 - Thursday
2021-12-0911:00Azin GhazimatinEnhancing Explainability and Scrutability of Recommender SystemsVirtual talk
Virtual talk
Promotionskolloquium
Hide details for 8 - Wednesday8 - Wednesday
2021-12-0811:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 7 - Tuesday7 - Tuesday
2021-12-0714:00Marko DokoProgram Logic for Weak Memory ConcurrencyUni Kaiserlautern [KL]
48
SWS Student Defense Talks - Thesis Defense
Hide details for 2 - Thursday2 - Thursday
2021-12-0213:00Hossein VahidiApproximate Minimum Directed Spanning Tree in Congest and Congested Clique Models (Master's Thesis)Virtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2021-12-0215:00Philip WellnitzCounting Patterns in Strings and GraphsVirtual talk
Virtual talk
Promotionskolloquium
Hide details for 1 - Wednesday1 - Wednesday
2021-12-0110:00Utkarsh UpadhyayModels and Methods for Dissemination of Information and Knowledge OnlineG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
2021-12-0111:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
2021-12-0112:15Deepak KapurSemantic Congruence Closure AlgorithmsVirtual talk
Virtual
Joint Lecture Series
Hide details for November 2021November 2021
Hide details for 30 - Tuesday30 - Tuesday
2021-11-3010:00Thomas NeumannAdaptive Join Order Optimization using Search Space LinearizationVirtual talk
Virtual talk
MPI Colloquium Series Distinguished Speaker
Hide details for 25 - Thursday25 - Thursday
2021-11-2515:00Victoria TsoukalaCANCELLED:Talk on European research framework (Horizon Europe)Virtual talk
Virtual talk
Presentation
Hide details for 24 - Wednesday24 - Wednesday
2021-11-2411:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 23 - Tuesday23 - Tuesday
2021-11-2314:00Sandra ZillesOptimal Machine Teaching Without CollusionVirtual talk
Virtual talk
SWS Colloquium
2021-11-2315:00Tim KraskaTowards instance-optimized data systemsVirtual talk
Virtual talk
MPI Colloquium Series Distinguished Speaker
Hide details for 19 - Friday19 - Friday
2021-11-1910:00Federico AromoloEvent-Driven Delay-Induced Tasks: Model, Analysis, and ApplicationsVirtual talk [KL]
Virtual talk
SWS Colloquium
Hide details for 18 - Thursday18 - Thursday
2021-11-1812:00Yanlei DiaoUDAO: A Next-Generation Cloud Data Analytics Optimizer via Large-Scale Machine LearningVirtual talk
Virtual talk
MPI Colloquium Series Distinguished Speaker
2021-11-1814:00Ashley MontanaroObserving ground-state properties of the Fermi-Hubbard model using a scalable algorithm on a quantum computerVirtual talk
Virtual talk
MPI Colloquium Series Distinguished Speaker
Hide details for 17 - Wednesday17 - Wednesday
2021-11-1711:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 16 - Tuesday16 - Tuesday
2021-11-1613:00Ariel KulikRound&Round: An Improved Algorithm for 2-Dimensional Vector Bin PackingVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 15 - Monday15 - Monday
2021-11-1516:00Johannes GehrkeDatabase Systems 2.0Virtual talk
Zoom
SWS Distinguished Lecture Series
Hide details for 10 - Wednesday10 - Wednesday
2021-11-1011:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 3 - Wednesday3 - Wednesday
2021-11-0310:00Timothy RoscoeEnzian: a cache-coherent heterogeneous research computerVirtual talk
Virtual
SWS Distinguished Lecture Series
2021-11-0311:30D1 Group MembersD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
2021-11-0312:15Paul FrancisMost data anonymity attack papers are inconclusive or misleadingVirtual talk
Virtual
Joint Lecture Series
Hide details for October 2021October 2021
Hide details for 28 - Thursday28 - Thursday
2021-10-2814:00Renato RennerOptimal universal programming of unitary gatesVirtual talk
Virtual talk
MPI Colloquium Series Distinguished Speaker
2021-10-2815:00Alexandra SilvaConcurrent NetKAT: Modeling and analyzing stateful, concurrent networksVirtual talk [KL]
zoom
SWS Distinguished Lecture Series
Hide details for 27 - Wednesday27 - Wednesday
2021-10-2711:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 25 - Monday25 - Monday
2021-10-2510:00Gabriel KaptchukAbuse Resistant Law Enforcement Access SystemsVirtual talk
Zoom
Talk
Hide details for 20 - Wednesday20 - Wednesday
2021-10-2011:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 13 - Wednesday13 - Wednesday
2021-10-1311:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 6 - Wednesday6 - Wednesday
2021-10-0611:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
2021-10-0612:15Dengxin DaiAll-Season Semantic Scene Understanding for Autonomous DrivingVirtual talk
Virtual
Joint Lecture Series
Hide details for September 2021September 2021
Hide details for 29 - Wednesday29 - Wednesday
2021-09-2911:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 28 - Tuesday28 - Tuesday
2021-09-2813:00Rishabh SharmaBuilding a user study system for the MPI Optimized ModelerVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 24 - Friday24 - Friday
2021-09-2416:00Apratim BhattacharyyaLong-term Future Prediction under Uncertainty and Multi-modalityVirtual talk
Virtual talk
Promotionskolloquium
Hide details for 23 - Thursday23 - Thursday
2021-09-2313:00Alejandro CassisFine-Grained Completeness for Optimization in PVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 22 - Wednesday22 - Wednesday
2021-09-2210:00Laura KovacsAlgebra-based Analysis of Polynomial Probabilistic ProgramsVirtual talk
Zoom
SWS Distinguished Lecture Series
2021-09-2211:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 21 - Tuesday21 - Tuesday
2021-09-2113:00Sami ShalayelReflector detection in ultrasound measurements via column generationVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 16 - Thursday16 - Thursday
2021-09-1616:00Matthias ChristandlFault-tolerant Coding for Quantum InformationVirtual talk
Virtual talk
MPI Colloquium Series Distinguished Speaker
Hide details for 15 - Wednesday15 - Wednesday
2021-09-1510:30Frank PiessensValidating models for microarchitectural securityVirtual talk
Zoom
SWS Distinguished Lecture Series
2021-09-1511:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 8 - Wednesday8 - Wednesday
2021-09-0811:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 1 - Wednesday1 - Wednesday
2021-09-0111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
2021-09-0112:15Vladislav Golyanik3D Computer Vision: From a Classical to a Quantum PerspectiveVirtual talk
Virtual
Joint Lecture Series
Hide details for August 2021August 2021
Hide details for 26 - Thursday26 - Thursday
2021-08-2613:00Jeff GilibertiImproved Online Algorithm for Fractional Knapsack in the Random Order ModelVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2021-08-2615:00Chuchu FanFast, optimal, and guaranteed safe controller synthesisVirtual talk [KL]
zoom
SWS Colloquium
Hide details for 25 - Wednesday25 - Wednesday
2021-08-2511:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 11 - Wednesday11 - Wednesday
2021-08-1115:00Debmalya MandalDecision Making with Heterogeneous AgentsVirtual talk
Virtual talk
Talk
Hide details for 4 - Wednesday4 - Wednesday
2021-08-0411:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
2021-08-0412:15Thomas LeimkühlerExploring the Continuum of Image Synthesis AlgorithmsVirtual talk
Virtual
Joint Lecture Series
Hide details for July 2021July 2021
Hide details for 29 - Thursday29 - Thursday
2021-07-2913:00Hamidreza KamkariSemi-definite programming using Physarum inspired dynamicsVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 28 - Wednesday28 - Wednesday
2021-07-2811:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 27 - Tuesday27 - Tuesday
2021-07-2714:30Rakshith ShettyAdversarial Content Manipulation for Analyzing and Improving Model RobustnessVirtual talk
Virtual talk
Promotionskolloquium
Hide details for 22 - Thursday22 - Thursday
2021-07-2213:00Shahrzad KananizadehAlgorithm for Target-Matching Wire Routing in the MEMS PeripheryVirtual talk
Virtual talk
AG1 Advanced Mini-Course
2021-07-2216:00Andrew ChildsEfficient quantum algorithm for dissipative nonlinear differential equationsVirtual talk
Virtual talk
INF Distinguished Lecture Series
Hide details for 21 - Wednesday21 - Wednesday
2021-07-2111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 20 - Tuesday20 - Tuesday
2021-07-2013:00Parinya Chalermsookto be announcedVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 15 - Thursday15 - Thursday
2021-07-1513:00multipleD1 Virtual Poster SessionVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 14 - Wednesday14 - Wednesday
2021-07-1410:00Peter PietzuchMaking Distributed Deep Learning AdaptiveVirtual talk
Zoom
SWS Distinguished Lecture Series
2021-07-1411:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 8 - Thursday8 - Thursday
2021-07-0813:00Karol WegrzyckiKnapsack and Subset Sum with Small ItemsVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
2021-07-0711:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
2021-07-0712:15Christian TheobaltNeural Methods for Reconstruction and Rendering of Real World ScenesVirtual talk
Virtual
Joint Lecture Series
Hide details for 5 - Monday5 - Monday
2021-07-0518:00Bhaskar Ray ChaudhuryFinding Fair and Efficient AllocationsVirtual talk
Virtual talk
Promotionskolloquium
Hide details for June 2021June 2021
Hide details for 30 - Wednesday30 - Wednesday
2021-06-3011:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
2021-06-3016:00Herbert BosAttacks on Hardware: Why You Should Not Do ItVirtual talk
Zoom
SWS Distinguished Lecture Series
Hide details for 29 - Tuesday29 - Tuesday
2021-06-2913:00Baris Can EsmerOn (1+eps)-approximate Block Sparse Recovery (Master Seminar)Virtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2021-06-2914:00Alexander MarxInformation-theoretic causal discoveryVirtual talk
Virtual
Promotionskolloquium
Hide details for 28 - Monday28 - Monday
2021-06-2810:00Sreyasi Nag ChowdhuryText-Image Synergy for Multimodal Retrieval and AnnotationVirtual talk
Virtual
Promotionskolloquium
2021-06-2816:15Octavio Arizmendi EchegarayEnergy of graphs and verticesVirtual talk
Virtual talk
Talk
Hide details for 24 - Thursday24 - Thursday
2021-06-2413:00Nick FischerSparse Nonnegative Convolution Is Equivalent to Dense Nonnegative ConvolutionVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 23 - Wednesday23 - Wednesday
2021-06-2311:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
Hide details for 18 - Friday18 - Friday
2021-06-1813:00Hossein VahidiApproximate Minimum Directed Spanning Trees under CongestionVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 17 - Thursday17 - Thursday
2021-06-1713:00Govind SankarTight Complexity Results for General Factor Problems Parameterized by Treewidth and CutwidthVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 16 - Wednesday16 - Wednesday
2021-06-1610:30Tulika MitraDomain-Agnostic Accelerators: Efficiency with ProgrammabilityVirtual talk [KL]
Zoom
SWS Distinguished Lecture Series
2021-06-1611:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
Hide details for 14 - Monday14 - Monday
2021-06-1409:00Mahmoudreza BabaeiInformation Consumption on Social Media: Efficiency, Divisiveness, and TrustE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 10 - Thursday10 - Thursday
2021-06-1011:30Bruno LevyPartial Optimal Transport for a Constant-Volume Lagrangian Mesh with Free BoundariesVirtual talk
Virtual talk
Talk
2021-06-1013:00D1 ResearchersD1 Virtual "Poster" SessionVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 9 - Wednesday9 - Wednesday
2021-06-0911:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
Hide details for 8 - Tuesday8 - Tuesday
2021-06-0813:00Sam Jonas EgervariOptimization under Privacy (Bachelor Seminar)Virtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 7 - Monday7 - Monday
2021-06-0716:00Mohamed Gad-ElrabExplainable Methods for Knowledge Graph Refinement and Exploration via Symbolic ReasoningVirtual talk
Virtual talk
Promotionskolloquium
Hide details for 2 - Wednesday2 - Wednesday
2021-06-0209:00Heiko BeckerVerified Compilation and Optimization of Finite-Precision KernelsE1 5
029
SWS Student Defense Talks - Thesis Proposal
2021-06-0211:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
2021-06-0212:15Joël OuaknineDynamics and Computation: The GALoiS InitiativeVirtual talk
Virtual
Joint Lecture Series
2021-06-0215:00Jon KleinbergMonoculture and Simplicity in an Ecosystem of Algorithmic Decision-MakingVirtual talk [KL]
Zoom
SWS Distinguished Lecture Series
Hide details for 1 - Tuesday1 - Tuesday
2021-06-0113:00Anna TwelsiekProduction Planning of Mixed-Model Assembly Lines at the Ford Saarlouis Plant (Master thesis)Virtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for May 2021May 2021
Hide details for 27 - Thursday27 - Thursday
2021-05-2713:00André NusserTranslating Hausdorff is Hard: Fine-Grained Lower Bounds for Hausdorff Distance Under TranslationVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 26 - Wednesday26 - Wednesday
2021-05-2610:00Mooly SagivModularity for Decidability: Formal Reasoning about Decentralized Financial ApplicationsVirtual talk
Zoom
SWS Distinguished Lecture Series
2021-05-2611:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
Hide details for 19 - Wednesday19 - Wednesday
2021-05-1911:30Kurt Mehlhorn*No* D1 Group Meeting (due to SAB review)
AG1 Group Meeting
2021-05-1916:30Margo SeltzerCaching: It's not just about DataVirtual talk
Virtual
SWS Distinguished Lecture Series
Hide details for 12 - Wednesday12 - Wednesday
2021-05-1210:10Orna KupfermanFrom Correctness to High QualityVirtual talk [KL]
Zoom
SWS Distinguished Lecture Series
2021-05-1211:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
Hide details for 5 - Wednesday5 - Wednesday
2021-05-0511:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
2021-05-0512:15Savvas ZannettouData-Driven Approaches to Understanding Hateful Content and Moderation Interventions on the WebVirtual talk
Virtual
Joint Lecture Series
2021-05-0515:00Prakash PanangadenDistributional analysis of sampling-based RL algorithmsVirtual talk [KL]
Zoom
SWS Distinguished Lecture Series
Hide details for April 2021April 2021
Hide details for 28 - Wednesday28 - Wednesday
2021-04-2811:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
2021-04-2816:00Phokion G. KolaitisComputational Social Choice and Incomplete InformationVirtual talk [KL]
Zoom
SWS Distinguished Lecture Series
Hide details for 21 - Wednesday21 - Wednesday
2021-04-2110:00Joost-Pieter KatoenOn Probabilistic Program TerminationVirtual talk [KL]
zoom
SWS Distinguished Lecture Series
2021-04-2111:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
Hide details for 14 - Wednesday14 - Wednesday
2021-04-1411:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
2021-04-1415:00André PlatzerLogical Foundations of Cyber-Physical SystemsVirtual talk [KL]
zoom
SWS Distinguished Lecture Series
Hide details for 8 - Thursday8 - Thursday
2021-04-0810:00Guyue (Grace) LiuWatching the Watchmen: Trustworthy Network Tasks OutsourcingVirtual talk
Virtual
Talk
2021-04-0813:00Ben WiederhakeDistributed Distance-r Dominating Set on Bounded Expansion High-Girth GraphsVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
2021-04-0711:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
2021-04-0712:15Marvin KünnemannA Structural Complexity Theory for Big Data: Fine-grained Complexity and Algorithm DesignVirtual talk
Virtual
Joint Lecture Series
Hide details for March 2021March 2021
Hide details for 31 - Wednesday31 - Wednesday
2021-03-3110:00Katerina ArgyrakiInternet TransparencyVirtual talk
Zoom
SWS Distinguished Lecture Series
2021-03-3111:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
Hide details for 29 - Monday29 - Monday
2021-03-2910:00Kuldeep MeelFunctional Synthesis: An Ideal Meeting Ground for Formal Methods and Machine LearningVirtual talk [KL]
Virtual talk
SWS Colloquium
Hide details for 24 - Wednesday24 - Wednesday
2021-03-2411:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
Hide details for 17 - Wednesday17 - Wednesday
2021-03-1711:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
Hide details for 11 - Thursday11 - Thursday
2021-03-1110:00Yasemin AcarHuman Factors in Secure Software Development: How we can help developers write secure codeVirtual talk
Virtual talk
CIS@MPG Colloquium
2021-03-1113:00Deni BegajA multi-user platform for managing and solving Mixed Integer Linear Optimization problems (Master's Thesis defense)Virtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 10 - Wednesday10 - Wednesday
2021-03-1011:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
Hide details for 9 - Tuesday9 - Tuesday
2021-03-0910:00Marcel BöhmeAutomatic Vulnerability Discovery at ScaleVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 8 - Monday8 - Monday
2021-03-0815:00Fraser BrownExterminating bugs in real systemsVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 5 - Friday5 - Friday
2021-03-0509:30Hengshuang ZhaoAdvancing Visual Intelligence via Neural System DesignVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 4 - Thursday4 - Thursday
2021-03-0410:30Antoine KaufmannPost-Moore Systems — Challenges and OpportunitiesVirtual talk
Virtual talk
CIS@MPG Colloquium
2021-03-0411:00Panagiotis MandrosDiscovering Robust Dependencies from DataVirtual talk
Virtual talk
Promotionskolloquium
2021-03-0413:00Christoph LenzenThe Many Faces of Clock SynchronizationVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 3 - Wednesday3 - Wednesday
2021-03-0309:30Hongyang ZhangNew Advances in (Adversarially) Robust and Secure Machine LearningVirtual talk
Virtual talk
CIS@MPG Colloquium
2021-03-0311:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
2021-03-0312:15Viktor VafeiadisModel Checking Under Weak Memory ConcurrencyVirtual talk
Virtual talk
Joint Lecture Series
Hide details for 2 - Tuesday2 - Tuesday
2021-03-0217:00Anqi LiuTowards Trustworthy AI: Provably Robust Extrapolation for Decision MakingVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 1 - Monday1 - Monday
2021-03-0114:00Hu WeiOpening the Black Box: Towards Theoretical Understanding of Deep LearningVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for February 2021February 2021
Hide details for 25 - Thursday25 - Thursday
2021-02-2513:00Liana KhazaliyaGraph coalition partitions that are optimal under social welfareVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2021-02-2517:00Florian TramerMeasuring and Enhancing the Security of Machine LearningVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 24 - Wednesday24 - Wednesday
2021-02-2411:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
2021-02-2413:00Slobodan MitrovicNew Techniques for Designing Fast Parallel AlgorithmsE1 1
412
Talk
2021-02-2414:00Andrew QuinnData-Centric Debugging or: How I Learned to Stop Worrying and Use 'Big Data' Techniques to Diagnose Software BugsVirtual talk
Virtual talk
CIS@MPG Colloquium
2021-02-2414:00Saskia MetzlerStructural Building Blocks in Graph Data: Characterised by Hyperbolic Communities and Uncovered by Boolean Tensor ClusteringVirtual talk
Virtual talk
Promotionskolloquium
2021-02-2417:00Antonio VergariFrom Simple Inference to Complex Probabilistic ReasoningE1 1
412
Talk
Hide details for 23 - Tuesday23 - Tuesday
2021-02-2313:00D1 ResearchersD1 Open Problem SessionVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2021-02-2315:00Justine ZhangTowards an Actionable Understanding of ConversationsVirtual talk [KL]
Virtual talk
CIS@MPG Colloquium
Hide details for 22 - Monday22 - Monday
2021-02-2210:30Sandra KieferAlgorithmic Approaches in Finite-ModelTheory With Interdisciplinary ApplicationsVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 18 - Thursday18 - Thursday
2021-02-1813:00Sebastian HomrighausenOn Asymmetric Fair DivisionVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2021-02-1816:00Eddy IlgWhat Models do we Need in Computer Vision? From Optical Flow to Scene RepresentationsVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 17 - Wednesday17 - Wednesday
2021-02-1711:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
2021-02-1715:00Riad WahbyBreaking the chains of implicit trustVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 16 - Tuesday16 - Tuesday
2021-02-1613:00Bhaskar Ray CaudhuryDiscrete Fair DivisionVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2021-02-1615:00Juba ZianiUsing Data More ResponsiblyVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 15 - Monday15 - Monday
2021-02-1514:00Ahmed SaeedBuilding Scalable Network Stacks for Modern ApplicationsVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 11 - Thursday11 - Thursday
2021-02-1115:00Mariya TonevaData-Driven Transfer of Insight between Brains and AI SystemsVirtual talk
Virtual talk
CIS@MPG Colloquium
Hide details for 10 - Wednesday10 - Wednesday
2021-02-1010:00Wenguan WangDeep Visual Perception in a Structured WorldE1 3
412
Talk
2021-02-1011:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
2021-02-1015:00Florian WillomitzerThe Role of Fundamental Limits in Computational 3D Imaging SystemsE1 3
412
Talk
2021-02-1017:30Abhinav VermaNeurosymbolic Reinforcement Learning for Trustworthy AIE1 3
412
Talk
Hide details for 3 - Wednesday3 - Wednesday
2021-02-0311:00Benjamin KaminskiTBAE1 3
412
Talk
2021-02-0311:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
2021-02-0312:15Yiting XiaA Social Network under Social Distancing - Experience and Insights during COVID-19 on Risk-Driven Backbone ManagementVirtual talk
Virtual talk
Joint Lecture Series
2021-02-0314:00Jan van den BrandDynamic Linear AlgebraE1 3
412
Talk
2021-02-0316:00Rebekka BurkholzCascade processes in machine learningE1 3
412
Talk

Previous Page | Next Page | Expand All | Collapse All