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 2022May 2022
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 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:00Frederico 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
Hide details for January 2021January 2021
Hide details for 27 - Wednesday27 - Wednesday
2021-01-2711:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
Hide details for 20 - Wednesday20 - Wednesday
2021-01-2011:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
Hide details for 18 - Monday18 - Monday
2021-01-1813:00Benedikt GeilenkeuserFPT-Algorithms for the Treewidth-3 Modulator Problem (Master Thesis)Virtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 14 - Thursday14 - Thursday
2021-01-1413:00Raul LopesAdapting the Directed Grid Theorem into an FPT algorithmVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 13 - Wednesday13 - Wednesday
2021-01-1311:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
2021-01-1312:15Sven ApelThe Programmer, The Unknown Being: Program Comprehension Research in the NeuroageVirtual talk
Virtual talk
Joint Lecture Series
2021-01-1315:00Steve ZdancewicVellvm: Verifying LLVM IR CodeVirtual talk
Virtual talk
SWS Distinguished Lecture Series
Hide details for 12 - Tuesday12 - Tuesday
2021-01-1213:00Karol WegrzyckiImproving Schroeppel and Shamir's Algorithm for Subset Sum via Orthogonal VectorsVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 7 - Thursday7 - Thursday
2021-01-0713:00Karl BringmannA Fine-Grained Perspective on Approximating Subset Sum and PartitionVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for December 2020December 2020
Hide details for 18 - Friday18 - Friday
2020-12-1813:00Jannik KudlaApproximation Schemes for Subset Sum Ratio (Bachelor Thesis)Virtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2020-12-1816:00Tribhuvanesh OrekondyUnderstanding and Controlling Leakage in Machine LearningVirtual talk
Virtual talk
Promotionskolloquium
Hide details for 17 - Thursday17 - Thursday
2020-12-1713:00Hussein HoudrougeSubquadratic High-Dimensional Hierarchical ClusteringVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 16 - Wednesday16 - Wednesday
2020-12-1611:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
2020-12-1616:00Eldar InsafutdinovTowards Accurate Multi-Person Pose Estimation in the WildVirtual talk
Virtual talk
Promotionskolloquium
Hide details for 15 - Tuesday15 - Tuesday
2020-12-1510:00Jialong LiBuilding Low-Latency and Energy-Efficient Optical Metro-Access Converged NetworksVirtual talk
Virtual talk
Talk
2020-12-1513:00Jannis Christopher KöhlBranch & Converge: A Generic Technique for Boundable Problems (Bachelor's Thesis defense)Virtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 10 - Thursday10 - Thursday
2020-12-1013:00Sándor Kisfaludi-BakGap-ETH-tight approximation scheme for Euclidean TSPVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 9 - Wednesday9 - Wednesday
2020-12-0911:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 8 - Tuesday8 - Tuesday
2020-12-0814:00Daniel VazApproximation Algorithms for Network Design and Cut Problems in Bounded-TreewidthVirtual talk
Virtual talk
Promotionskolloquium
Hide details for 4 - Friday4 - Friday
2020-12-0410:00Anca MuschollDistributed synthesis and negotiationsVirtual talk
Virtual talk
SWS Distinguished Lecture Series
Hide details for 3 - Thursday3 - Thursday
2020-12-0313:00Prafullkumar TaleOn the Parameterized Complexity of Maximum Degree Contraction ProblemVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 2 - Wednesday2 - Wednesday
2020-12-0211:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
2020-12-0212:15Oliver GasserInternet Measurements: From IPv6 Scanning to the COVID-19 PandemicVirtual talk
Virtual talk
Joint Lecture Series
2020-12-0216:00Nuria OliverTowards Human Behavior Modeling from (Big) Data: From smart rooms, cars and phones to COVID-19Virtual talk
Virtual talk
SWS Distinguished Lecture Series
Hide details for November 2020November 2020
Hide details for 26 - Thursday26 - Thursday
2020-11-2613:00Jacob FockeOn the Complexity of Approximately Counting RetractionsVirtual
Virtual
AG1 Advanced Mini-Course
2020-11-2615:30Manohar VangaHigh-Throughput and Predictable VM Scheduling for High-Density WorkloadsG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 25 - Wednesday25 - Wednesday
2020-11-2511:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 24 - Tuesday24 - Tuesday
2020-11-2416:00Franziska RoesnerCan You Believe It? Security and Privacy Case Studies in Online Advertising, Misinformation, and Augmented RealityVirtual
Virtual
SWS Distinguished Lecture Series
Hide details for 18 - Wednesday18 - Wednesday
2020-11-1811:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
2020-11-1815:00Jenn Wortman VaughanIntelligibility Throughout the Machine Learning Life CycleVirtual talk
Virtual talk
SWS Distinguished Lecture Series
Hide details for 17 - Tuesday17 - Tuesday
2020-11-1717:00Ben WiederhakeTRIX: Low-Skew Pulse Propagation for Fault-Tolerant HardwareVirtual
Virtual
AG1 Mittagsseminar (own work)
Hide details for 13 - Friday13 - Friday
2020-11-1314:00Philipp MüllerSensing, Interpreting, and Anticipating Human Social Behaviour in the Real WorldVirtual
Virtual
Promotionskolloquium
Hide details for 11 - Wednesday11 - Wednesday
2020-11-1111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
2020-11-1115:00Iyad RahwanExperiments in Machine Behavior: Cooperating with and through machinesVirtual
Zoom
SWS Distinguished Lecture Series
Hide details for 5 - Thursday5 - Thursday
2020-11-0513:00Joel OuaknineHolonomic Techniques, Periods, and Decision ProblemsVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
Hide details for 4 - Wednesday4 - Wednesday
2020-11-0411:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
2020-11-0416:00Evimaria TerziSimple models for optimizing driver earnings in ride-sharing platformsVirtual talk
Virtual talk
SWS Distinguished Lecture Series
Hide details for 3 - Tuesday3 - Tuesday
2020-11-0313:00Ioannis AnagnostidesOptimistic Gradient Descent/Ascent in Zero-Sum GamesVirtual talk
Virtual talk
AG1 Mittagsseminar (own work)
2020-11-0314:30Aastha MehtaEnsuring Compliance with Data Privacy and Usage Policies in Online ServicesE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 2 - Monday2 - Monday
2020-11-0209:00Katrina LigettDiagnosing the data ecosystemVirtual talk
Virtual talk
SWS Colloquium
Hide details for October 2020October 2020
Hide details for 28 - Wednesday28 - Wednesday
2020-10-2811:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 27 - Tuesday27 - Tuesday
2020-10-2716:00Boaz BarakGeneralization bounds for rational self-supervised learning algorithmsE1 4
024
INF Distinguished Lecture Series
Hide details for 22 - Thursday22 - Thursday
2020-10-2213:00Marko MrsicAn interface to model and solve Mixed-Integer Linear Programs (Bachelor Defense)000
000
AG1 Mittagsseminar (own work)
2020-10-2215:30Arpan GujaratiTowards Ultra-Reliable CPS: Reliability Analysis of Distributed Real-Time SystemsE1 5 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 21 - Wednesday21 - Wednesday
2020-10-2111:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 20 - Tuesday20 - Tuesday
2020-10-2014:00Matthias ChristandlTensors: rank, entropy and entanglementE1 4
024
MPI Colloquium Series Distinguished Speaker
Hide details for 16 - Friday16 - Friday
2020-10-1613:00Philip WellnitzFaster Approximate Pattern Matching: A Unified Approachn/a
n/a
AG1 Mittagsseminar (own work)
Hide details for 15 - Thursday15 - Thursday
2020-10-1510:30Tanja PahlFlu Vaccination (requires sign-up)E1 5
Foyer
Miscellaneous
2020-10-1513:00D1 membersSharing our experience with digital teaching000
000
AG1 Group Meeting
Hide details for 14 - Wednesday14 - Wednesday
2020-10-1411:30Kurt MehlhornD1 Group Meeting (virtual)Virtual talk
Virtual talk
AG1 Group Meeting
Hide details for 13 - Tuesday13 - Tuesday
2020-10-1313:00Roohani SharmaFault Tolerant Directed Subgraphs with Applications in Kernelization000
000
AG1 Mittagsseminar (own work)
Hide details for 8 - Thursday8 - Thursday
2020-10-0813:00Kurt MehlhornNetwork Design and PhysarumE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
2020-10-0711:30Kurt MehlhornD1 Group Meeting (virtual)
AG1 Group Meeting
Hide details for September 2020September 2020
Hide details for 30 - Wednesday30 - Wednesday
2020-09-3011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 23 - Wednesday23 - Wednesday
2020-09-2311:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 22 - Tuesday22 - Tuesday
2020-09-2213:00Esther GalbyApproximating Independent Set and Dominating Set on VPG graphs000
000
AG1 Mittagsseminar (own work)
Hide details for 16 - Wednesday16 - Wednesday
2020-09-1611:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 15 - Tuesday15 - Tuesday
2020-09-1513:00André NusserWhen Lipschitz Walks Your Dog: Algorithm Engineering of the Discrete Fréchet Distance under Translation--
--
AG1 Mittagsseminar (own work)
Hide details for 10 - Thursday10 - Thursday
2020-09-1013:00Marc RothCounting Small Induced Subgraphs Satisfying Monotone Properties-
-
AG1 Mittagsseminar (own work)
Hide details for 9 - Wednesday9 - Wednesday
2020-09-0911:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 2 - Wednesday2 - Wednesday
2020-09-0211:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for August 2020August 2020
Hide details for 27 - Thursday27 - Thursday
2020-08-2713:00Jannis KöhlBranch & Converge: A Generic Technique for Boundable Problems (Bachelor Seminar)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Wednesday26 - Wednesday
2020-08-2611:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 21 - Friday21 - Friday
2020-08-2111:00Ralf JungUnderstanding and Evolving the Rust Programming LanguageE1 5
021
SWS Student Defense Talks - Thesis Defense
Hide details for 19 - Wednesday19 - Wednesday
2020-08-1911:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 18 - Tuesday18 - Tuesday
2020-08-1813:00Siddharth BarmanFair Cake Division Under Monotone Likelihood RatiosE1 4
024
AG1 Advanced Mini-Course
Hide details for 12 - Wednesday12 - Wednesday
2020-08-1211:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 11 - Tuesday11 - Tuesday
2020-08-1113:00Ian W. JonesMetastability Masking Flip-flops000
000
AG1 Mittagsseminar (own work)
Hide details for 10 - Monday10 - Monday
2020-08-1013:00Golnoosh ShahkaramiComplexity of Computing the Anti-Ramsey Numbers for Paths000
000
AG1 Mittagsseminar (own work)
Hide details for 5 - Wednesday5 - Wednesday
2020-08-0511:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for July 2020July 2020
Hide details for 29 - Wednesday29 - Wednesday
2020-07-2911:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 28 - Tuesday28 - Tuesday
2020-07-2813:00Guy EvenOptimized Scheduling of COVID-19 TestingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Thursday23 - Thursday
2020-07-2313:00Pranabendu MisraAn optimal approximation algorithm for Feedback Vertex Set in Tournaments000
000
AG1 Mittagsseminar (own work)
Hide details for 22 - Wednesday22 - Wednesday
2020-07-2211:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 21 - Tuesday21 - Tuesday
2020-07-2113:00Stefan SchmidSelf-Adjusting Networks: From Metrics to Algorithmsvirtual
virtual
AG1 Mittagsseminar (others' work)
2020-07-2116:00Johannes BundPALS: Plesiochronous and Locally Synchronous Systemsvirtual
virtual
AG1 Mittagsseminar (own work)
Hide details for 15 - Wednesday15 - Wednesday
2020-07-1511:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 9 - Thursday9 - Thursday
2020-07-0913:00Deni BegajBuilding a platform for modeling and solving Optimization problems (Master seminar)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Wednesday8 - Wednesday
2020-07-0811:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
024
AG1 Group Meeting
Hide details for 7 - Tuesday7 - Tuesday
2020-07-0713:00Marvin KünnemannFinding Small Satisfying Assignments Faster Than Brute Force: A Fine-grained Perspective into Boolean Constraint Satisfactionvirtual
virtual
AG1 Mittagsseminar (own work)
2020-07-0716:00Yongqin XianLearning from Limited Labeled Data - Zero-Shot and Few-Shot LearningE1 4
Zoom
Promotionskolloquium
Hide details for 6 - Monday6 - Monday
2020-07-0614:00Kailash BudhathokiCausal Inference on Discrete DataE1 4
Zoom
Promotionskolloquium
Hide details for 2 - Thursday2 - Thursday
2020-07-0213:00Leonie KrullAlgorithms for MILPs000
000
AG1 Mittagsseminar (own work)
2020-07-0215:00Indranil GuptaThe Future of Technology Will Not Be TechnologicalE1 4
Zoom Meeting
Colloquium Lecture
Hide details for 1 - Wednesday1 - Wednesday
2020-07-0111:00Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for June 2020June 2020
Hide details for 30 - Tuesday30 - Tuesday
2020-06-3013:00Themis GouleakisDistribution-Independent PAC Learning of Halfspaces with Massart Noise000
000
AG1 Mittagsseminar (own work)
Hide details for 26 - Friday26 - Friday
2020-06-2614:00Marko MrsicTowards an Optimization Platform (Bachelor seminar)000
000
AG1 Mittagsseminar (own work)
Hide details for 25 - Thursday25 - Thursday
2020-06-2513:00Bhaskar Ray ChaudhuryEFX Exists for Three Agents000
000
AG1 Mittagsseminar (own work)
Hide details for 24 - Wednesday24 - Wednesday
2020-06-2410:00Eskam ElniketyComprehensive and Practical Policy Compliance in Data Retrieval SystemsE1 5
029
SWS Student Defense Talks - Thesis Defense
2020-06-2411:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
024
AG1 Group Meeting
Hide details for 23 - Tuesday23 - Tuesday
2020-06-2313:00Jasper SlusallekAlgorithms and Lower Bounds for Finding Exact-Weight Subgraphs of Bounded Treewidth (Bachelor thesis)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 18 - Thursday18 - Thursday
2020-06-1813:00Sándor Kisfaludi-BakA quasi-polynomial algorithm for well-spaced hyperbolic TSP000
000
AG1 Mittagsseminar (own work)
Hide details for 17 - Wednesday17 - Wednesday
2020-06-1711:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 16 - Tuesday16 - Tuesday
2020-06-1613:00Vasileios Nakos(Nearly) Sample-Optimal Sparse Fourier Transform in Any Dimension000
000
AG1 Mittagsseminar (own work)
Hide details for 15 - Monday15 - Monday
2020-06-1516:00Roxana GeambasuSecurity and Privacy Guarantees in Machine Learning with Differential PrivacyE1 4
Zoom
SWS Distinguished Lecture Series
2020-06-1516:30Elizaveta KovalevskayaThe Complexity of Reading Articles in an Online Setting (Master's defence)000
000
AG1 Mittagsseminar (own work)
Hide details for 10 - Wednesday10 - Wednesday
2020-06-1011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
024
AG1 Group Meeting
Hide details for 9 - Tuesday9 - Tuesday
2020-06-0913:00Prafullkumar TaleOn the Parameterized Complexity of Grid Contraction000
000
AG1 Mittagsseminar (own work)
Hide details for 3 - Wednesday3 - Wednesday
2020-06-0311:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
2020-06-0312:15Cas CremersCANCELLED The (In)Security of Modern Communication: From Guesses to GuaranteesE1 5
002
Joint Lecture Series
Hide details for May 2020May 2020
Hide details for 27 - Wednesday27 - Wednesday
2020-05-2710:30Jan-Oliver KaiserMtac2: Strongly-Typed Tactic- and Meta-Programming for CoqE1 5
Online
SWS Student Defense Talks - Thesis Proposal
2020-05-2711:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 25 - Monday25 - Monday
2020-05-2516:00Hadas Kress-GazitFormal Synthesis for RobotsG26 [KL]
online
SWS Distinguished Lecture Series
Hide details for 24 - Sunday24 - Sunday
2020-05-2411:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
024
AG1 Group Meeting
Hide details for 20 - Wednesday20 - Wednesday
2020-05-2010:00Emanuele D'OsualdoIn Search of Compositional Verification for Concurrent ProgramsE1 5
Remote
Colloquium Lecture
2020-05-2011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 13 - Wednesday13 - Wednesday
2020-05-1311:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 10 - Sunday10 - Sunday
2020-05-1011:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
024
AG1 Group Meeting
Hide details for 7 - Thursday7 - Thursday
2020-05-0713:00Hossein VahidiDistributed Minimum Directed Spanning Tree000
Video only
AG1 Mittagsseminar (others' work)
Hide details for 6 - Wednesday6 - Wednesday
2020-05-0611:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for April 2020April 2020
Hide details for 29 - Wednesday29 - Wednesday
2020-04-2911:30Kurt MehlhornD1 Group Meeting (virtual)E1 4
333
AG1 Group Meeting
Hide details for 23 - Thursday23 - Thursday
2020-04-2313:00Daniel NeuenQuasipolynomial Time Isomorphism Tests for Parameterized Graph Classes000
Video only
AG1 Mittagsseminar (own work)
Hide details for 22 - Wednesday22 - Wednesday
2020-04-2211:30Kurt MehlhornD1 Group Meeting (ID 1095)E1 4
333
AG1 Group Meeting
Hide details for 21 - Tuesday21 - Tuesday
2020-04-2113:00Prafullkumar TaleAbout Graph Contraction Problems000
Video only
AG1 Mittagsseminar (own work)
Hide details for 15 - Wednesday15 - Wednesday
2020-04-1511:30Kurt MehlhornD1 Group Meeting (ID 1095)E1 4
333
AG1 Group Meeting
Hide details for 14 - Tuesday14 - Tuesday
2020-04-1415:00Gayane VardoyanTalk: On the Analysis of Entanglement Distribution in a Quantum Network-
-
Talk
Hide details for 9 - Thursday9 - Thursday
2020-04-0913:00Mathieu MariFixed-parameter algorithms for Unsplittable Flow CoverVideo only
000
AG1 Mittagsseminar (own work)
Hide details for 8 - Wednesday8 - Wednesday
2020-04-0811:30Kurt MehlhornD1 Group Meeting (ID 1095)E1 4
333
AG1 Group Meeting
Hide details for 7 - Tuesday7 - Tuesday
2020-04-0713:00Pieter KleerLearning-Augmented Online Selection AlgorithmsVideo only
000
AG1 Mittagsseminar (own work)
Hide details for 6 - Monday6 - Monday
2020-04-0610:00Danupon NanonkaiNew Perspectives on Old Graph Questions (Video Talk)E1 4
024
INF Distinguished Lecture Series
Hide details for 1 - Wednesday1 - Wednesday
2020-04-0111:30Kurt MehlhornD1 Group Meeting (ID 1095)E1 4
333
AG1 Group Meeting
2020-04-0112:15Julian BaldusCANCELLED: Computer Science Competitions @ SICE2 2
Günther-Hotz-HS
Joint Lecture Series
Hide details for March 2020March 2020
Hide details for 31 - Tuesday31 - Tuesday
2020-03-3111:00Martin GroheSymmetry and Similarity (Video Lecture)E1 4
Video Lecture
Colloquium Lecture
2020-03-3111:00Martin GroheTo be announcedE1 4
024
Colloquium Lecture
Hide details for 26 - Thursday26 - Thursday
2020-03-2610:00Yiting Xia*Remote Talk* Improve Operations of Data Center Networks with Physical-Layer ProgrammabilityE1 5
029
SWS Colloquium
2020-03-2614:00David SteurerQuest for a unified theory of efficient optimization and estimation (Video Lecture)E1 4
Video
INF Distinguished Lecture Series
Hide details for 25 - Wednesday25 - Wednesday
2020-03-2511:30Kurt MehlhornD1 Group Meeting (ID 1095)E1 4
333
AG1 Group Meeting
Hide details for 18 - Wednesday18 - Wednesday
2020-03-1810:00Yannis Kalantidis*Remote Talk* Learning efficient representations for image and video understandingE1 5
029
SWS Colloquium
2020-03-1811:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 16 - Monday16 - Monday
2020-03-1610:00Niki Kilbertus*Remote Talk* Fairness in machine learningE1 5
029
SWS Colloquium
Hide details for 12 - Thursday12 - Thursday
2020-03-1213:00Radha Venkatagiri*Remote Talk* Democratizing Error-Efficient ComputingE1 5
029
SWS Colloquium
2020-03-1213:00Surender BaswanaFault Tolerant DFS in Undirected Graphs - Simple yet EfficientE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Wednesday11 - Wednesday
2020-03-1110:00Hamid RahkooyAutomated Reasoning in the Sciences: Biological Models and Chemical Reaction NetworksE1 5
630
Talk
Hide details for 10 - Tuesday10 - Tuesday
2020-03-1010:00Shin Hwei TanSearch-based automated program repair and testingG26 [KL]
111
SWS Colloquium
2020-03-1013:00Surender BaswanaMincut Sensitivity Data Structures for Insertion of an Edge.E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Thursday5 - Thursday
2020-03-0513:00Antonios AntoniadisParallel Machine Scheduling to Minimize Energy ConsumptionE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Wednesday4 - Wednesday
2020-03-0411:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2020-03-0412:15Viktor VafeiadisCANCELLED: Model checking under weak memory concurrencyE1 5
002
Joint Lecture Series
Hide details for February 2020February 2020
Hide details for 27 - Thursday27 - Thursday
2020-02-2713:00Ian W. JonesDetecting Glitch Paths in Chip DesignsE1 4
024
AG1 Mittagsseminar (own work)
2020-02-2714:00Qingyun WuLearning by exploration in an unknown and changing environmentE1 5
SB 029
SWS Colloquium
Hide details for 25 - Tuesday25 - Tuesday
2020-02-2510:00Giulio MalavoltaCompactness in CryptographyE1 5
029
SWS Colloquium
2020-02-2513:00Alejandro CassisFine-Grained Complexity of Exists^k-Forall-Quantified First-Order Graph Properties: Optimization and Approximability (Master Thesis)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Friday21 - Friday
2020-02-2113:00Naveen GargHalf-integral Duals, Connectivity Augmentation and Multiflows in Planar GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Wednesday19 - Wednesday
2020-02-1911:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 13 - Thursday13 - Thursday
2020-02-1313:00Nofar CarmeliEnumeration Complexity of Unions of Conjunctive QueriesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Wednesday12 - Wednesday
2020-02-1210:15Klaus-Tycho FoersterTowards Reconfigurable Optical Networks: Opportunities and ChallengesE1 5
029
Informatik-Kolloquium
Hide details for 11 - Tuesday11 - Tuesday
2020-02-1113:00Corinna CoupetteCultivating Cluster TreesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Monday10 - Monday
2020-02-1010:00Marcel BöhmeSoftware Testing as Species DiscoveryE1 5
029
SWS Colloquium
Hide details for 7 - Friday7 - Friday
2020-02-0710:00Asia J. BiegaDesigning responsible information systemsE1 5
029
SWS Colloquium
2020-02-0715:00Debayan RoyHybrid optimization techniques for multi-domain coupling in cyber-physical systems designG26 [KL]
111
SWS Colloquium
Hide details for 6 - Thursday6 - Thursday
2020-02-0613:00Sami ShalayelColumn Generation for the Reconstruction of Ultrasound Full Matrix Capture Data (BSc Defense)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Wednesday5 - Wednesday
2020-02-0511:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2020-02-0512:15Jan ReinekeSpectector: Principled Detection of Speculative Information FlowsE1 5
002
Joint Lecture Series
Hide details for 4 - Tuesday4 - Tuesday
2020-02-0413:00Kurt MehlhornA Solution to Excercise 8.13 (The Maximum-Level Vertex in an Arrangement of Lines)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Monday3 - Monday
2020-02-0313:00Ian W. JonesChip Design Goes “Boink”E1 4
024
AG1 Mittagsseminar (own work)
2020-02-0313:45Abhimitra MekaLive Inverse RenderingE1 4
019
Promotionskolloquium
Hide details for January 2020January 2020
Hide details for 30 - Thursday30 - Thursday
2020-01-3013:00Sandeep R. B.Incompressibility of H-free edge modification problems: Towards a dichotomyE1 4
024
AG1 Mittagsseminar (own work)
2020-01-3015:00Goran ZuzicTowards Universal Optimality in Distributed OptimizationE1 5
105
Talk
Hide details for 28 - Tuesday28 - Tuesday
2020-01-2810:00Mathias FleuryFormalization of Logical Calculi in Isabelle/HOLE1 4
024
Promotionskolloquium
2020-01-2813:00Elizaveta KovalevskayaReading Articles Online (Master thesis)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Friday17 - Friday
2020-01-1710:00Mahmoudreza BabaeiInformation Consumption on Social Media: Efficiency, Divisiveness, and TrustE1 5
029
SWS Student Defense Talks - Thesis Proposal
2020-01-1710:30Jon Howellveribetrfs: Verification as a Practical Engineering ToolE1 5
029
SWS Distinguished Lecture Series
Hide details for 16 - Thursday16 - Thursday
2020-01-1613:00Philipp SchepperTight Bounds for Regular Expression Pattern Matching and Membership (Master thesis)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Wednesday15 - Wednesday
2020-01-1511:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2020-01-1516:30Maximilian JohnOf Keyboards and Beyond - Optimization in Human-Computer InteractionE1 4
024
Promotionskolloquium
Hide details for 14 - Tuesday14 - Tuesday
2020-01-1413:00Karl BringmannTop-k-Convolution and the Quest for Near-Linear Output-Sensitive Subset SumE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Wednesday8 - Wednesday
2020-01-0812:15Dániel MarxTowards a Tight Understanding of the Complexity of Algorithmic ProblemsE1 5
002
Joint Lecture Series
Hide details for December 2019December 2019
Hide details for 18 - Wednesday18 - Wednesday
2019-12-1811:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 17 - Tuesday17 - Tuesday
2019-12-1713:00Nico GründelImproving Computational Upper and Conditional Lower Bounds of Fréchet Distance on Practical Input Curves (Bachelor thesis)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Monday16 - Monday
2019-12-1610:30Işıl DilligComputer-Aided Programming Across Software StackG26 [KL]
111
SWS Distinguished Lecture Series
Hide details for 12 - Thursday12 - Thursday
2019-12-1210:30Conrad WattWebAssembly: Mechanisation, Security, and ConcurrencyE1 5
029
SWS Colloquium
2019-12-1214:00Dhruv GuptaSearch and Analytics Using Semantic AnnotationsE1 4
0.24
Promotionskolloquium
2019-12-1218:00Prof. Anthony ElliottCEUS Talk The Politics of Digital transformation: Challenges and opportunities for the EU and AustraliaC7 1
C7 4, 1.17
Talk
Hide details for 10 - Tuesday10 - Tuesday
2019-12-1009:00Alberto GriggioSMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric OperatorsE1 5
002
Talk
2019-12-1010:00Ralf JungUnderstanding and Evolving the Rust Programming LanguageE1 5
029
SWS Student Defense Talks - Thesis Proposal
2019-12-1011:00Pascal FontaineQuantifiers and SMTE1 5
002
Talk
2019-12-1014:00Martin BrombergerDecision Procedures for Linear ArithmeticE1 5
002
Promotionskolloquium
Hide details for 6 - Friday6 - Friday
2019-12-0614:00Reinhard MunzTowards Usability in Private Data AnalyticsG26 [KL]
607
SWS Student Defense Talks - Thesis Defense
Hide details for 4 - Wednesday4 - Wednesday
2019-12-0411:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2019-12-0412:15Sophie TourretStronger Higher-order AutomationE1 5
002
Joint Lecture Series
Hide details for 3 - Tuesday3 - Tuesday
2019-12-0310:30Alex SummersPrusti – Deductive Verification for RustG26 [KL]
111
SWS Colloquium
2019-12-0315:00Yang HeImproved Methods and Analysis for Semantic Image SegmentationE1 4
024
Promotionskolloquium
Hide details for November 2019November 2019
Hide details for 28 - Thursday28 - Thursday
2019-11-2813:00Julian BaldusA fast implementation of near neighbors queries for Frechet distance (Bachelor thesis)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Tuesday26 - Tuesday
2019-11-2613:00Sandor Kisfaludi-BakOne-round discrete Voronoi GamesE1 4
024
AG1 Mittagsseminar (own work)
2019-11-2614:15Felix NaumannExploring Change – A New Dimension of Data AnalyticsE1 4
024
Colloquium Lecture
2019-11-2616:00Kashyap PopatCredibility Analysis of Textual Claims with Explainable EvidenceE1 5
029
Promotionskolloquium
Hide details for 20 - Wednesday20 - Wednesday
2019-11-2011:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 19 - Tuesday19 - Tuesday
2019-11-1913:00Pieter KleerUniform sampling of graphs with a given degree sequenceE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Thursday14 - Thursday
2019-11-1410:00Mohsen GhaffariNetwork Decomposition and Derandomization for Distributed AlgorithmsE1 4
024
Talk
Hide details for 12 - Tuesday12 - Tuesday
2019-11-1213:00Karol WegrzyckiEqual-Subset-Sum Faster Than the Meet-in-the-MiddleE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Friday8 - Friday
2019-11-0812:00Julian SteilMobile Eye Tracking for EveryoneE1 4
024
Promotionskolloquium
Hide details for 6 - Wednesday6 - Wednesday
2019-11-0611:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2019-11-0612:15Paramita MirzaPersonal Knowledge Extraction: What Can Be Inferred From What You Say and DoE1 5
002
Joint Lecture Series
Hide details for 4 - Monday4 - Monday
2019-11-0410:30Jessica HoffmannDealing with Epidemics under UncertaintyG26
111
SWS Colloquium
Hide details for October 2019October 2019
Hide details for 31 - Thursday31 - Thursday
2019-10-3113:00Ian W. JonesVisualization in Circuit DesignE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 24 - Thursday24 - Thursday
2019-10-2413:00Philip WellnitzCounting Induced Subgraphs: An Algebraic Approach to #W[1]-HardnessE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Tuesday22 - Tuesday
2019-10-2213:00Lazar MilenkovicApproximation Algorithms for the Bottleneck Asymmetric Traveling Salesman ProblemE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Thursday17 - Thursday
2019-10-1716:00Utkarsh UpadhyayKnowledge and Information Dissemination: Models and MethodsG26 [KL]
111
SWS Student Defense Talks - Thesis Proposal
Hide details for 16 - Wednesday16 - Wednesday
2019-10-1611:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 15 - Tuesday15 - Tuesday
2019-10-1515:00Scott KilpatrickNon-Reformist Reform for Haskell ModularityE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 8 - Tuesday8 - Tuesday
2019-10-0815:00Yusra IbrahimUnderstanding Quantities in Web Tables and TextE1 4
024
Promotionskolloquium
Hide details for 7 - Monday7 - Monday
2019-10-0710:30Stefan SaroiuAre We Susceptible to Rowhammer? An End-to-End Methodology for Cloud ProvidersE1 5
002
SWS Colloquium
Hide details for 2 - Wednesday2 - Wednesday
2019-10-0210:30Claude CastellucciaToward Cognitive SecurityE1 5
029
SWS Colloquium
2019-10-0211:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2019-10-0212:15Paul SwobodaEfficient Optimization for Very Large Combinatorial Problems in Computer Vision and Machine LearningE1 5
002
Joint Lecture Series
Hide details for September 2019September 2019
Hide details for 30 - Monday30 - Monday
2019-09-3010:30Maria RauschenbergerHuman-Centered Design and Data Science for GoodE1 5
029
SWS Colloquium
Hide details for 24 - Tuesday24 - Tuesday
2019-09-2410:30YoungGyoun MoonAccelerating Network Applications with Stateful TCP OffloadingE1 5
029
SWS Colloquium
Hide details for 18 - Wednesday18 - Wednesday
2019-09-1811:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 16 - Monday16 - Monday
2019-09-1610:30Cesare TinelliSynthesis from within: implementing automated synthesis inside an SMT solverG26 [KL]
111
SWS Colloquium
Hide details for 12 - Thursday12 - Thursday
2019-09-1210:30Sandor Kisfaludi-BakETH-tight algorithms for geometric network problemsE1 4
024
AG1 Advanced Mini-Course
Hide details for 10 - Tuesday10 - Tuesday
2019-09-1013:00Stephan-Alexander AriesanuCircuit Delay Minimization Using Convex OptimizationE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Monday9 - Monday
2019-09-0911:00Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 6 - Friday6 - Friday
2019-09-0613:00Shahrzad HaddadanRandom walks and their application in exploring networks and ranking objectsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Wednesday4 - Wednesday
2019-09-0411:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2019-09-0412:15Vahid BabaeiComputational Fabrication: 3D Printing and BeyondE1 5
002
Joint Lecture Series
Hide details for August 2019August 2019
Hide details for 28 - Wednesday28 - Wednesday
2019-08-2811:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 27 - Tuesday27 - Tuesday
2019-08-2714:00Vineet RajaniA type theory for amortized resource analysisE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 21 - Wednesday21 - Wednesday
2019-08-2110:30Tanja KäserModeling and Individualizing Learning in Computer-Based EnvironmentsE1 5
029
SWS Colloquium
Hide details for 20 - Tuesday20 - Tuesday
2019-08-2016:00Marcel HarkAiming Low is Harder: Inductive Lower Bounds in Probabilistic Program VerificationE1 5
630
Talk
Hide details for 13 - Tuesday13 - Tuesday
2019-08-1313:00Bhaskar Ray ChaudhuryA Little Charity Guarantees Almost Envy-FreenessE1 4
022
AG1 Mittagsseminar (own work)
2019-08-1313:45Kurt MehlhornTrustworthy Graph AlgorithmsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Thursday8 - Thursday
2019-08-0813:00Andrea HornakovaHigher Order Disjoint Paths for Multiple Object TrackingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
2019-08-0711:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for July 2019July 2019
Hide details for 31 - Wednesday31 - Wednesday
2019-07-3109:00Erich GrädelProvenance Analysis for Logic and GamesE1 4
024
Talk
2019-07-3111:00Alexander LeitschAlgorithmic Analysis of Proofs via CERESE1 4
024
Talk
2019-07-3114:00Marco VoigtDecidable Fragments of First-Order Logic and of First-Order Linear Arithmetic with Uninterpreted PredicatesE1 4
024
Promotionskolloquium
Hide details for 23 - Tuesday23 - Tuesday
2019-07-2313:00Kurt MehlhornNew Convergence Results for the Physarum DynamicsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Friday19 - Friday
2019-07-1910:30Martin ZieglerComputer Science for NumericsE1 5
029
SWS Colloquium
Hide details for 18 - Thursday18 - Thursday
2019-07-1813:00Magnus DanielsonSynchronization routing in telecom networksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Wednesday17 - Wednesday
2019-07-1711:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 16 - Tuesday16 - Tuesday
2019-07-1613:00Soham ChakrabortyCorrect Compilation of Relaxed Memory ConcurrencyG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 15 - Monday15 - Monday
2019-07-1510:30Mary BakerDesign Problems: Trustworthy Smart Devices and 3D Printed LaceE1 5
029
SWS Distinguished Lecture Series
Hide details for 11 - Thursday11 - Thursday
2019-07-1113:00Nick FischerA Fine-Grained Analogue of Schaefer's Theorem in P: Dichotomy of Exists^k Forall-Quantified First-Order Graph PropertiesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Wednesday10 - Wednesday
2019-07-1010:30Sanjar KaraevMatrix Factorization over Dioids and its Applications in Data MiningE1 5
029
Promotionskolloquium
2019-07-1015:15Matthijs van LeeuwenMine, Interact, Learn, RepeatE1 5
029
Colloquium Lecture
Hide details for 9 - Tuesday9 - Tuesday
2019-07-0913:00Guy KortsarzBetween the metric and non metric facility location problemsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Monday8 - Monday
2019-07-0810:30Abhik RoychoudhuryAutomated Program RepairG26 [KL]
111
SWS Distinguished Lecture Series
2019-07-0815:15Srikanta BedathurIndex-free Approximation of Reachability Queries on GraphsE1 4
024
Colloquium Lecture
Hide details for 4 - Thursday4 - Thursday
2019-07-0413:00Bundit LaekhanukitAn O(log^2{k}/log log {k})-Approximation Algorithm for Directed Steiner Tree: A Tight Quasi-Polynomial-Time AlgorithmE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Wednesday3 - Wednesday
2019-07-0311:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2019-07-0312:15Mario FritzThe Bright and Dark Sides of Computer Vision: Challenges and Opportunities for Privacy and SecurityE1 5
002
Joint Lecture Series
Hide details for 2 - Tuesday2 - Tuesday
2019-07-0211:15André PlatzerSafe AI for CPSE1 5
029
Talk
2019-07-0213:00Maximilian JohnDynamic Sparsification for Quadratic Assignment ProblemsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for June 2019June 2019
Hide details for 28 - Friday28 - Friday
2019-06-2810:30Gordon WetzsteinComputational Single-photon ImagingE1 4
019
Talk
Hide details for 27 - Thursday27 - Thursday
2019-06-2713:00Guy Evento be announcedE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Tuesday25 - Tuesday
2019-06-2513:00Pieter KleerThe switch Markov chain for the uniform sampling of graphs with given degreesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Monday24 - Monday
2019-06-2413:00MirkoTBAE1 4
024
AG1 Mittagsseminar (own work)
2019-06-2413:00Mirko RossiSome Approximability Results on Delivering Messages with Mobile AgentsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Friday21 - Friday
2019-06-2110:00Khaled ElbassioniSome Black-box Reductions for Cost-robust Discrete Optimization ProblemsE1 4
024
AG1 Mittagsseminar (own work)
2019-06-2115:00Themis GouleakisCommunication and Memory Efficient Testing of Discrete DistributionsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Wednesday19 - Wednesday
2019-06-1911:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 18 - Tuesday18 - Tuesday
2019-06-1813:00Sandip SinhaLocal Decodability of the Burrows-Wheeler TransformE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Monday17 - Monday
2019-06-1713:00Stefano LeucciTracking Routes in Communication NetworksE1 4
024
AG1 Mittagsseminar (own work)
2019-06-1715:00Naveen GargA constant approximation algorithm for weighted flow timeE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 13 - Thursday13 - Thursday
2019-06-1313:00Sami ShalayelAn optimzation problem from non-destructive testing using ultrasoundE1 5
029
AG1 Mittagsseminar (own work)
Hide details for 11 - Tuesday11 - Tuesday
2019-06-1113:00Bhaskar Ray ChaudhuryPolyline Simplification has Cubic ComplexityE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Monday10 - Monday
2019-06-1010:30Ceren BudakFake News During the 2016 U.S. Presidential Elections: Prevalence, Agenda, and Stickiness.E1 5
005
SWS Colloquium
Hide details for 6 - Thursday6 - Thursday
2019-06-0613:00André NusserWalking the Dog Fast in Practice: Algorithm Engineering of the Fréchet DistanceE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Wednesday5 - Wednesday
2019-06-0511:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2019-06-0512:15Rhaleb ZayerBridging the Performance Gap in Digital Geometry ProcessingE1 5
002
Joint Lecture Series
Hide details for 4 - Tuesday4 - Tuesday
2019-06-0410:30Koushik SenAutomated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and BeyondG26 [KL]
111
SWS Distinguished Lecture Series
Hide details for May 2019May 2019
Hide details for 31 - Friday31 - Friday
2019-05-3110:30Tom AndersonHigh Performance Operating Systems in the Data CenterE1 5
029
SWS Colloquium
Hide details for 27 - Monday27 - Monday
2019-05-2713:00George ChristodoulouThe price of stability of (weighted) congestion games with polynomial latenciesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Thursday23 - Thursday
2019-05-2310:30Theopilus BensonSystematic Approach to Managing Software Defined NetworksE1 5
029
SWS Colloquium
Hide details for 21 - Tuesday21 - Tuesday
2019-05-2113:00André NusserIpe TutorialE1 4
024
AG1 Mittagsseminar (basic education)
Hide details for 20 - Monday20 - Monday
2019-05-2010:30Dr Giovani GracioliOn the Predictability of Heterogeneous SoC Multicore PlatformsG26
111
SWS Colloquium
Hide details for 17 - Friday17 - Friday
2019-05-1710:30Jinyang LiTransparent Scaling of Deep Learning Systems through Dataflow Graph AnalysisE1 5
002
SWS Distinguished Lecture Series
Hide details for 16 - Thursday16 - Thursday
2019-05-1614:00Goran RadanovicHumans and Machines: From Data Elicitation to Helper-AIE1 5
029
SWS Colloquium
Hide details for 15 - Wednesday15 - Wednesday
2019-05-1510:30Nikolaj VolgushevConclave: Secure Multi-Party Computation on Big DataE1 5
029
SWS Colloquium
2019-05-1511:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2019-05-1512:15Damien ZuffereyProgramming Abstractions for Verifiable SoftwareE1 5
002
Joint Lecture Series
Hide details for 14 - Tuesday14 - Tuesday
2019-05-1413:00Johannes BundOptimal Metastability-Containing Sorting NetworksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Thursday9 - Thursday
2019-05-0910:30Étienne MiqueyA constructive proof of dependent choice in classical arithmetic via memoizationE1 5
029
SWS Colloquium
Hide details for 7 - Tuesday7 - Tuesday
2019-05-0713:00Sören Bund-BeckerCreating a Markup Language for Mixed Integer Linear ProgramsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Friday3 - Friday
2019-05-0315:30Filip NikšicCombinatorial Constructions for Effective TestingG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 2 - Thursday2 - Thursday
2019-05-0210:00Sandhya DwarkadasSharing-Aware Resource Management for Performance and ProtectionE1 5
002
SWS Distinguished Lecture Series
2019-05-0211:30Emilio ZagheniCombining Facebook data with traditional sources to study migration processesE1 4
024
Colloquium Lecture
Hide details for April 2019April 2019
Hide details for 30 - Tuesday30 - Tuesday
2019-04-3013:00Suman BanerjeeEdge Computing in the Extreme and its ApplicationsE1 5
105
SWS Colloquium
Hide details for 29 - Monday29 - Monday
2019-04-2914:30Moses GanardiQuerying Regular Languages over Sliding WindowsG26 [KL]
111
SWS Colloquium
Hide details for 17 - Wednesday17 - Wednesday
2019-04-1711:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 16 - Tuesday16 - Tuesday
2019-04-1613:00Karl BringmannApproximating APSP without ScalingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Friday12 - Friday
2019-04-1211:00Abdalghani AbujabalQuestion Answering over Knowledge Bases with Continuous LearningE1 4
024
Promotionskolloquium
2019-04-1215:00Jimmy LinRigor in Deep Learning for NLP and IRE1 4
024
Colloquium Lecture
Hide details for 8 - Monday8 - Monday
2019-04-0811:30Evgeny LevinkovGeneralizations of the Multicut Problem for Computer VisionE1 4
024
Promotionskolloquium
Hide details for 5 - Friday5 - Friday
2019-04-0514:00Sylvain SchmitzThe complexity of reachability in vector addition systemsG26
111
SWS Colloquium
Hide details for 4 - Thursday4 - Thursday
2019-04-0414:00Marvin DamschenWorst-Case Execution Time Guarantees for Runtime-Reconfigurable ArchitecturesG26 [KL]
111
SWS Colloquium
Hide details for 3 - Wednesday3 - Wednesday
2019-04-0311:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2019-04-0312:15Balakrishnan ChandrasekaranThe Server-to-Server Landscape: Insights, Opportunities, and ChallengesE1 5
002
Joint Lecture Series
Hide details for 1 - Monday1 - Monday
2019-04-0111:00Carlos CastilloDetecting Algorithmic BiasE1 4
024
INF Distinguished Lecture Series
2019-04-0115:15Joanna BiegaEnhancing Privacy and Fairness in Search SystemsE1 4
024
Promotionskolloquium
Hide details for March 2019March 2019
Hide details for 21 - Thursday21 - Thursday
2019-03-2113:00Pavel VeselyA ϕ-Competitive Algorithm for Scheduling Packets with DeadlinesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Wednesday20 - Wednesday
2019-03-2011:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 14 - Thursday14 - Thursday
2019-03-1413:00Jukka SuomelaThe landscape of distributed time complexityE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 13 - Wednesday13 - Wednesday
2019-03-1310:30Martina MaggioFeedback-Control for Self-Adaptive Predictable ComputingE1 5
029
SWS Colloquium
2019-03-1312:15Gurprit SinghAnalyzing Sample Correlations for Monte Carlo RenderingE1 5
002
Joint Lecture Series
Hide details for 12 - Tuesday12 - Tuesday
2019-03-1213:00Boaz Patt-ShamirOn the Probe Complexity of Local Computation AlgorithmsE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 11 - Monday11 - Monday
2019-03-1110:30Sangeetha Abdu JyothiAutomated Resource Management in Large-Scale Networked SystemsE1 5
029
SWS Colloquium
Hide details for 8 - Friday8 - Friday
2019-03-0810:30Matthias BeckerPredictable Execution of Real-Time Applications on Many-Core PlatformsG26 [KL]
111
SWS Colloquium
Hide details for 7 - Thursday7 - Thursday
2019-03-0710:30Oana GogaPrivacy, Transparency and Trust in the User-Centric InternetE1 5
029
SWS Colloquium
2019-03-0713:00Ioana BerceaPower of two choices filter for approximate membership queriesE1 4
024
AG1 Advanced Mini-Course
2019-03-0716:30Aastha MehtaMitigating data leaks in real world systemsE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 6 - Wednesday6 - Wednesday
2019-03-0611:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 5 - Tuesday5 - Tuesday
2019-03-0510:30Mrinmaya SachanTowards Literate Artificial IntelligenceE1 5
029
SWS Colloquium
2019-03-0513:00Enrico FaccaNature-Inspired OptimizationE1 4
024
AG1 Mittagsseminar (own work)
Hide details for February 2019February 2019
Hide details for 28 - Thursday28 - Thursday
2019-02-2810:30Natacha CrooksA Client-centric Approach to Transactional DatastoresE1 5
029
SWS Colloquium
Hide details for 26 - Tuesday26 - Tuesday
2019-02-2613:00Joel RybickiApproximate Agreement on GraphsE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 20 - Wednesday20 - Wednesday
2019-02-2010:30Theodoros Gkountouvas: Improving Data Analysis by Exploiting Temporal InformationE1 5
029
Talk
2019-02-2011:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 18 - Monday18 - Monday
2019-02-1810:30Malte SchwarzkopfNew Abstractions for High-Performance Datacenter ApplicationsE1 5
029
SWS Colloquium
Hide details for 14 - Thursday14 - Thursday
2019-02-1409:00Viktor ErdélyiScalable positioning of commodity mobile devices using audio signalsE1 5
029
SWS Student Defense Talks - Thesis Defense
2019-02-1413:00Jukka SuomelaLower bounds for maximal matchings and maximal independent setsE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 12 - Tuesday12 - Tuesday
2019-02-1213:00Michael KenzelSoftware Graphics Pipelines for the GPUDFKI D3 4
VisCenter, -1.63
Talk
2019-02-1213:00Pranabendu MisraParameterized Complexity of Connectivity Augmentation problemsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Thursday7 - Thursday
2019-02-0710:30Cristian CadarDynamic Symbolic Execution for Software AnalysisG26 [KL]
111
SWS Distinguished Lecture Series
Hide details for 6 - Wednesday6 - Wednesday
2019-02-0611:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2019-02-0612:15Adish SinglaMachine TeachingE1 5
002
Joint Lecture Series
2019-02-0616:15Saeed AmiriReading Group: Important Cuts and their ApplicationsE1 4
024
MPI-Seminar
Hide details for 5 - Tuesday5 - Tuesday
2019-02-0517:30Anjo Vahldiek-OberwagnerTechniques to Protect Confidentiality and Integrity of Persistant and In-Memory DataE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 4 - Monday4 - Monday
2019-02-0418:00Bilal ZafarDiscrimination in Algorithmic Decision Making: From Principles to Measures and MechanismsE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 1 - Friday1 - Friday
2019-02-0110:30Helmut SeidlHow to Win a First-Order Safety GameG26 [KL]
111
SWS Distinguished Lecture Series
Hide details for January 2019January 2019
Hide details for 30 - Wednesday30 - Wednesday
2019-01-3016:15Eunjin OhReading Group: Clustering Problems on Sliding WindowsE1 4
024
MPI-Seminar
Hide details for 25 - Friday25 - Friday
2019-01-2510:00Jürgen GieslAutomated Complexity Analysis for Java Programs with AProVEE1 5
002
Talk
Hide details for 24 - Thursday24 - Thursday
2019-01-2413:00Vasileios NakosNearly Optimal Sparse Polynomial MultiplicationE1 4
024
AG1 Mittagsseminar (own work)
2019-01-2416:00Florian FrohnComplexity Analysis for Term Rewriting by Integer Transition SystemsE1 5
002
Talk
Hide details for 23 - Wednesday23 - Wednesday
2019-01-2316:15Nico GründelReading Group: On the Difference Between Closest, Furthest, and Orthogonal Pairs: Nearly-Linear vs Barely-Subquadratic Complexity in Computational GeometryE1 4
024
MPI-Seminar
Hide details for 22 - Tuesday22 - Tuesday
2019-01-2210:00Florian FrohnAutomated Complexity Analysis of Rewrite SystemsG26 [KL]
111
SWS Colloquium
2019-01-2213:00Stefano LeucciOptimal Sorting with Persistent Comparison ErrorsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Wednesday16 - Wednesday
2019-01-1611:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2019-01-1616:15Daniel RadkeRefined Vertex Sparsifiers of Planar GraphsE1 4
024
MPI-Seminar
Hide details for 15 - Tuesday15 - Tuesday
2019-01-1513:00Haibo ChenVirtualization Security: The Good, The Bad and The UglyE1 5
029
Colloquium Lecture
Hide details for December 2018December 2018
Hide details for 20 - Thursday20 - Thursday
2018-12-2016:00Juhi KulshresthaQuantifying & Characterizing Information Diets of Social Media UsersE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 19 - Wednesday19 - Wednesday
2018-12-1911:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 13 - Thursday13 - Thursday
2018-12-1310:30Animesh MukherjeeLanguage dynamics in social mediaG26 [KL]
113
SWS Colloquium
2018-12-1313:00Philip WellnitzFew Matches or Almost Periodicity: Faster Pattern Matching with Mismatches in Compressed TextsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Wednesday12 - Wednesday
2018-12-1216:15Antonios AntoniadisA Nearly-linear Bound for Chasing Nested Convex BodiesE1 4
024
MPI-Seminar
Hide details for 11 - Tuesday11 - Tuesday
2018-12-1113:00André NusserFréchet Distance Under Translation: Conditional Hardness and an Algorithm via Offline Dynamic Grid ReachabilityE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Wednesday5 - Wednesday
2018-12-0511:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2018-12-0512:15Nico DöttlingPost-quantum Challenges in Secure ComputationE1 5
002
Joint Lecture Series
2018-12-0516:15Alkmini SgouritsaBarriers to Near-Optimal EquilibriaE1 4
024
MPI-Seminar
Hide details for 3 - Monday3 - Monday
2018-12-0316:30Paarijaat AdityaPrivacy-Compliant Mobile ComputingE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for November 2018November 2018
Hide details for 29 - Thursday29 - Thursday
2018-11-2913:00Bhaskar Ray ChaudhurySketching, Streaming and Fine Grained Complexity of (Weighted) LCSE 1 4
024
AG1 Mittagsseminar (own work)
Hide details for 27 - Tuesday27 - Tuesday
2018-11-2710:30Paul ResnickSurvey Equivalence: An Information-theoretic Measure of Classifier Accuracy When the Ground Truth is SubjectiveE1 5
002
SWS Distinguished Lecture Series
2018-11-2713:00Attila KinaliNoise in Sine-to-Square ConvertersE1 4
024
AG1 Mittagsseminar (own work)
2018-11-2716:15Pavel KolevAlgorithmic Results for Clustering and Refined Physarum AnalysisE1 5
029
Promotionskolloquium
Show details for 22 - Thursday22 - Thursday

Previous Page | Next Page | Expand All | Collapse All