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 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
Hide details for 22 - Thursday22 - Thursday
2018-11-2213:00Yiannis GiannakopoulosOptimality and Approximation in Revenue-Maximizing AuctionsE1 4
024
AG1 Advanced Mini-Course
2018-11-2214:30Georg von der BrueggenMore Realistic Scheduling Models and Analyses for Advanced Real-Time Embedded SystemsG26 [KL]
111
SWS Colloquium
2018-11-2216:00Wojciech CzerwińskiThe Reachability Problem for Vector Addition Systems is Not ElementaryG26 [KL]
111
SWS Colloquium
Hide details for 21 - Wednesday21 - Wednesday
2018-11-2111:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2018-11-2116:15André NusserCustomizable Route Planning in Road NetworksE1 4
024
MPI-Seminar
Hide details for 19 - Monday19 - Monday
2018-11-1910:30Peter MüllerVerified Secure RoutingG26 [KL]
111
SWS Distinguished Lecture Series
Hide details for 14 - Wednesday14 - Wednesday
2018-11-1410:30Dr. Martina MaggioFeedback Control for Predictable Cloud ComputingG26
111
SWS Colloquium
2018-11-1416:15Daniel VazEuclidean spanners: Short, Thin and LankyE1 4
024
MPI-Seminar
Hide details for 13 - Tuesday13 - Tuesday
2018-11-1310:30Elissa RedmilesLearning from the People: From Normative to Descriptive Solutions to Problems in Security, Privacy & Machine LearningE1 5
029
SWS Colloquium
Hide details for 12 - Monday12 - Monday
2018-11-1210:30Daniel MarxThe Optimality Program in Parameterized AlgorithmsE1 4
024
INF Distinguished Lecture Series
2018-11-1210:30Hoda HeidariFairness for Sequential Decision Making AlgorithmsE1 5
029
SWS Colloquium
Hide details for 7 - Wednesday7 - Wednesday
2018-11-0710:00VerschiedeneSymposium for Women in IT and related subjectsE1 5
ground floor
Talk
2018-11-0711:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2018-11-0712:15Andreas ZellerGenerating Software TestsE1 5
002
Joint Lecture Series
2018-11-0716:15Tim OosterwijkPotential Function Minimizers of Combinatorial Congestion Games: Efficiency and ComputationE1 4
024
MPI-Seminar
Hide details for 6 - Tuesday6 - Tuesday
2018-11-0613:00Tobias NipkowVerified Analysis of Algorithms: A Biased SurveyE1 4
024
AG1 Mittagsseminar (own work)
2018-11-0616:00Vaibhav BajpaiA Longitudinal View of YouTube Content DeliveryE1 4
Rotunda 5th floor
Talk
Hide details for October 2018October 2018
Hide details for 30 - Tuesday30 - Tuesday
2018-10-3010:00Vijay SaraswatChallenges in deep text understanding in professional domainsE1 4
024
MPI Colloquium Series Distinguished Speaker
2018-10-3013:00Matthias LeinenEfficient Generation of 1/f^alpha Noise in Matlab SimulinkE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Wednesday24 - Wednesday
2018-10-2416:15Kurt MehlhornA New Path from Splay to Dynamic OptimalityE1 4
024
MPI-Seminar
Hide details for 22 - Monday22 - Monday
2018-10-2210:30Sara AchourCompiling Dynamical Systems for Efficient Simulation on Reconfigurable Analog ComputersG26 [KL]
111
SWS Colloquium
Hide details for 19 - Friday19 - Friday
2018-10-1910:30Edith ElkindJustified representation in multiwinner voting: axioms and algorithmsG26 [KL]
111
SWS Distinguished Lecture Series
2018-10-1913:00Yue ZhangInteractive Multi-style Pen-and-Ink Drawings from ImagesE1 4
019
Talk
Hide details for 18 - Thursday18 - Thursday
2018-10-1813:00Suryajith ChillaraA Quadratic Size-Hierarchy Theorem for Small-Depth Multilinear FormulasE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Tuesday16 - Tuesday
2018-10-1613:00Reuven HodgesA non-iterative rule for straightening fillings of Young diagramsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Monday15 - Monday
2018-10-1510:30Dana Drachsler CohenAI2: Safety and Robustness Certification of Neural Networks with Abstract InterpretationG26 [KL]
111
SWS Colloquium
Hide details for 10 - Wednesday10 - Wednesday
2018-10-1011:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2018-10-1012:15Rishiraj Saha RoyComplexity in Question AnsweringE1 5
002
Joint Lecture Series
Hide details for 8 - Monday8 - Monday
2018-10-0811:00Debabrata MahapatraDNNs for Sparse Coding and Dictionary LearningE1 5
R029
PhD Application Talk
2018-10-0811:00Upendra KapshikarCould code based cryptosystems be more compact?E1 5
R029
PhD Application Talk
Hide details for 4 - Thursday4 - Thursday
2018-10-0413:00Andrés CristiA Near Optimal Mechanism for Energy Aware SchedulingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Tuesday2 - Tuesday
2018-10-0213:00Karl BringmannSETH-Based Lower Bounds for Subset Sum and Bicriteria PathE1 4
024
AG1 Mittagsseminar (own work)
Hide details for September 2018September 2018
Hide details for 28 - Friday28 - Friday
2018-09-2813:00Sourav ChakrabortyOn the power of Conditional SamplingE1 4
023
AG1 Mittagsseminar (own work)
Hide details for 27 - Thursday27 - Thursday
2018-09-2713:00Alkmini SgouritsaDesigning Cost-Sharing Networks with Good Equilibria Under UncertaintyE1 4
019
AG1 Mittagsseminar (own work)
Hide details for 26 - Wednesday26 - Wednesday
2018-09-2611:00Xucong ZhangGaze Estimation and Interaction in Real-World EnvironmentsE1 4
019
Promotionskolloquium
Hide details for 21 - Friday21 - Friday
2018-09-2110:30Vlad NituImproving the energy efficiency of virtualized datacentersG26 [KL]
111
SWS Colloquium
Hide details for 20 - Thursday20 - Thursday
2018-09-2014:00Randy BushCritical Infrastructure vs Computer Science vs Software Engineering - We are DoomedE1 4
019
Talk
Hide details for 19 - Wednesday19 - Wednesday
2018-09-1911:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 18 - Tuesday18 - Tuesday
2018-09-1810:00Hamish CarrTopological Analysis of Scientific DataE1 4
019
Talk
2018-09-1814:00Fouzhan HosseiniSkeletons for Distributed Topological ComputationE1 4
019
Talk
Hide details for 13 - Thursday13 - Thursday
2018-09-1313:00Tim OosterwijkAbout the Price of Anarchy for Flows over TimeE1 4
024
AG1 Mittagsseminar (own work)
2018-09-1314:30David BromanGradually Typed Symbolic Expressions: an Approach for Developing Embedded Domain-Specific Modeling LanguagesG26 [KL]
113
SWS Colloquium
Hide details for 12 - Wednesday12 - Wednesday
2018-09-1215:30Saranya NatarajanTimed C: An Extension to the C Programming Language for Real-Time SystemsG26 [KL]
113
SWS Colloquium
Hide details for 10 - Monday10 - Monday
2018-09-1016:00Felipe Augusto Queiroz de CerqueiraPROSA: A Foundation for Verified Schedulability AnalysisG26 [KL]
111
SWS Student Defense Talks - Thesis Proposal
Hide details for 5 - Wednesday5 - Wednesday
2018-09-0511:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for August 2018August 2018
Hide details for 28 - Tuesday28 - Tuesday
2018-08-2813:00Gautam Shroff (Chief ScientistFrom Conversational Interfaces to Knowledge Synthesis & Semantic SystemsE1 4
024
MPI Colloquium Series Distinguished Speaker
Hide details for 24 - Friday24 - Friday
2018-08-2410:30Venkat PadmanabhanHAMS: Harnessing AutoMobiles for SafetyE1 5
029
SWS Distinguished Lecture Series
Hide details for 23 - Thursday23 - Thursday
2018-08-2313:00Bhaskar Ray ChaudhuryCurve Simplification has cubic complexityE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Tuesday21 - Tuesday
2018-08-2114:00Andreas WeberFrom Tarski to Tropical Geometry: Towards Symbolic Analysis of Biological NetworksE1 4
024
Talk
2018-08-2114:00Phillip Stanley-MarbellNot Your Typical Objects: Made from Raw Materials Augmented with Sensing and ComputationG26 [KL]
111
SWS Colloquium
Hide details for 20 - Monday20 - Monday
2018-08-2011:00Vijay V. VaziraniPlanar Graph Perfect Matching is in NCE1 4
024
INF Distinguished Lecture Series
Hide details for 9 - Thursday9 - Thursday
2018-08-0913:00Karsten KleinImmersive Analytics - Concepts and ChallengesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Tuesday7 - Tuesday
2018-08-0713:00Gorav JindalOn the Complexity of Symmetric PolynomialsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Monday6 - Monday
2018-08-0610:30Florian TramèrA tour of ML securityE9 1
0.05
Talk
2018-08-0614:00Vitaly ShmatikovThe Machine Learning Revolution in Data PrivacyE1 4
024
Talk
2018-08-0616:00Seong Joon OhImage Manipulation against Learned Models: Privacy and Security ImplicationsE1 4
024
Promotionskolloquium
Hide details for 1 - Wednesday1 - Wednesday
2018-08-0111:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
2018-08-0112:15Emanuele NataleComputing with Simple Dynamics and Biological ApplicationsE1 5
002
Joint Lecture Series
Hide details for July 2018July 2018
Hide details for 23 - Monday23 - Monday
2018-07-2311:00Bojana KodricIncentives in Dynamic MarketsE1.7 (MMCI)
001
Promotionskolloquium
2018-07-2314:00Ruben BeckerOn Flows, Paths, Roots, and ZerosE1.7 (MMCI)
001
Promotionskolloquium
Hide details for 20 - Friday20 - Friday
2018-07-2013:00Themistoklis GouleakisImproved Massively Parallel Computation Algorithms for MIS, Matching, and Vertex CoverE1 5 (SWS)
105
AG1 Mittagsseminar (others' work)
Hide details for 17 - Tuesday17 - Tuesday
2018-07-1713:00Debarati DasApproximating Edit Distance Within Constant Factor in Truly Sub-Quadratic TimeE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Monday16 - Monday
2018-07-1612:00Max Maria LoschInspectable Deep Learning with Bayesian StatisticsE1 4
024
IMPRS Research Seminar
Hide details for 12 - Thursday12 - Thursday
2018-07-1213:00Cornelius BrandExtensor-CodingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Tuesday10 - Tuesday
2018-07-1013:00Gorav JindalA deterministic PTAS for the transcendence degree of constant degree polynomialsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Thursday5 - Thursday
2018-07-0513:00Daniel VazBeyond Metric Embedding: Approximating Group Steiner Trees on Bounded Treewidth GraphsE1 4
024
AG1 Mittagsseminar (own work)
2018-07-0516:00Nikhil BalajiWaring rank of monomialE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Wednesday4 - Wednesday
2018-07-0412:15Maria ChristakisPractical Program AnalysisE1 5
002
Joint Lecture Series
2018-07-0413:00various3rd Networking-Meet-Up for Women in Computer ScienceE1 5
0.29
Presentation
Hide details for 3 - Tuesday3 - Tuesday
2018-07-0313:00Saeed AmiriCongestion Free Rerouting of Flows (practice talk for ICALP)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for June 2018June 2018
Hide details for 29 - Friday29 - Friday
2018-06-2910:30Nils AsmussenDesigning a System for Heterogeneous Compute UnitsG26 [KL]
111
SWS Colloquium
2018-06-2911:30Joël OuaknineProgram InvariantsG26
111
SWS Colloquium
2018-06-2914:00Sam LindleyOn the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited continuationsG26
111
SWS Colloquium
Hide details for 28 - Thursday28 - Thursday
2018-06-2811:00Davis IssacSpanning Tree Congestion and Computation of Generalized Gyori-Lovasz PartitionE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Tuesday26 - Tuesday
2018-06-2610:30Michael MozerBoosting human capabilities on perceptual categorization tasksG26 [KL]
111
SWS Distinguished Lecture Series
2018-06-2613:00Joël OuakninePolynomial Invariants for Affine ProgramsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Monday25 - Monday
2018-06-2510:00Bruce M. MaggsThe Web PKI in Theory and MalpracticeE1 5
029
Talk
Hide details for 21 - Thursday21 - Thursday
2018-06-2115:301. Eakta Jain / 2. Krzysztof Krejtz1. The role of gaze and pupil diameter in understanding audience engagement / 2. The Role of Attention and Perception During Multimedia Learning. A Dynamical PerspectiveE1 4
019
Talk
Hide details for 19 - Tuesday19 - Tuesday
2018-06-1913:00Yaroslav ShitovHow hard is the tensor rank?E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Friday15 - Friday
2018-06-1512:00Niels LandwehrMachine Learning for Spatially and Temporally Varying DataE1 5
029
Talk
Hide details for 14 - Thursday14 - Thursday
2018-06-1410:00Jörg LückeAccelerated Learning of Probabilistic Data Models for Large-Scale ApplicationsE1 5
029
Talk
2018-06-1413:00Kurt MehlhornOn Fair Division of Indisible Goods (Practice Talk for an Invited Lecture at Sirocco 18)E1 4
024
AG1 Mittagsseminar (own work)
2018-06-1414:00Nihat AyInformation Geometry of Learning SystemsE1 5
029
Talk
2018-06-1417:00Johannes KloosHeap-based reasoning about asynchronous programsG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 13 - Wednesday13 - Wednesday
2018-06-1310:00Christoph LampertPrincipled Transfer LearningE1 5
029
Talk
2018-06-1312:00Daniel NeiderMachine Learning Meets Formal MethodsE1 5
029
Talk
Hide details for 12 - Tuesday12 - Tuesday
2018-06-1210:00Gerhard NeumannInformation-Geometric Policy Search for Learning Versatile, Reusable SkillsE1 5
029
Talk
2018-06-1212:00Marius KloftExtreme Classification: Algorithms and TheoryE1 5
029
Talk
Hide details for 11 - Monday11 - Monday
2018-06-1108:00Achim RettingerKnowledge-guided Representation LearningE1 5
029
Talk
2018-06-1110:30Andreas GerstlauerLearning-Based Hardware/Software Power and Performance PredictionE1 5
105
SWS Colloquium
2018-06-1114:00Milica GasicSpoken dialogue systems that learn onlineE1 5
029
Talk
Hide details for 7 - Thursday7 - Thursday
2018-06-0714:00Georg NeisCompositional Compiler Correctness Via Parametric SimulationsE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 6 - Wednesday6 - Wednesday
2018-06-0612:15Anja FeldmannThe Internet: A Complex System at its LimitsE1 5
002
Joint Lecture Series
2018-06-0616:15Ben WiederhakeReading Group: A Distributed Algorithm for Minimum-Weight Spanning TreesE1 4
022
MPI-Seminar
Hide details for May 2018May 2018
Hide details for 30 - Wednesday30 - Wednesday
2018-05-3011:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
2018-05-3016:15Eunjin OhReading Group: Dynamic Time Warping and Geometric Edit Distance: Breaking the Quadratic BarrierE1 4
022
MPI-Seminar
Hide details for 29 - Tuesday29 - Tuesday
2018-05-2913:00Kurt MehlhornThe Physarum Dynamics Solves Positive Undirected Linear Programs (Practice Talk for Invited Talk at Computer Science Russia)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Friday25 - Friday
2018-05-2510:15Karon MacLean (University of British Columbia) & Christian Holz (Microsoft Research)Taking Haptic Design from Research to Practice & Rich Haptic Shape Output Controllers for Virtual RealityE1 4
019
Talk
2018-05-2513:30Gene MyersTowards Perfect DNA Sequencing and AssemblyE2 2
Günter-Hotz-Hörsaal
Festkolloquium
2018-05-2514:00Nico PfeiferMachine Learning in Infection Research: Including host information to understand viral adaptationE2 2
Günter-Hotz-Hörsaal
Festkolloquium
2018-05-2514:30Yves MoreauBayesian matrix factorization with side information and application to drug-target activity predictionE2 2
Günter-Hotz-Hörsaal
Festkolloquium
2018-05-2515:00Kasia BozekCan you see all the bees? Image analysis for biologyE2 2
Günter-Hotz-Hörsaal
Festkolloquium
2018-05-2516:30Robert TarjanMy work with ThomasE2 2
Günter-Hotz-Hörsaal
Festkolloquium
2018-05-2517:00Jörg RahnenführerModel-based optimization - in high-dimensional survival analysis and in real lifeE2 2
Günter-Hotz-Hörsaal
Festkolloquium
2018-05-2517:30Bastian BeggelMap-Based processing of geospatial data for driver assistance functionsE2 2
Günter-Hotz-Hörsaal
Festkolloquium
2018-05-2518:00Anja FeldmannDistributed Data Collection and Processing at ScaleE2 2
Günter-Hotz-Hörsaal
Festkolloquium
Hide details for 24 - Thursday24 - Thursday
2018-05-2413:00Emanuele NatalePooling or Sampling: Collective Dynamics for Electrical Flow EstimationE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Wednesday23 - Wednesday
2018-05-2316:15André NusserReading Group: A faster algorithm for the discrete Fréchet distance under translationE1 4
022
MPI-Seminar
Hide details for 22 - Tuesday22 - Tuesday
2018-05-2213:00Pranjal DuttaDiscovering the roots: Uniform closure results for algebraic classes under factoringE1 4
024
AG1 Mittagsseminar (own work)
2018-05-2214:00Werner SeilerFrom Singularities of Algebraic Differential Equations to Real Algebraic GeometricE1 5
630
Talk
Hide details for 16 - Wednesday16 - Wednesday
2018-05-1611:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
2018-05-1616:15Andreas SchmidtReading Group: Sparse Kneser graphs are HamiltonianE1 4
022
MPI-Seminar
Hide details for 15 - Tuesday15 - Tuesday
2018-05-1510:00Thomas RothvossModern algorithms for Bin packingE1 4
024
INF Distinguished Lecture Series
Hide details for 9 - Wednesday9 - Wednesday
2018-05-0916:15Nitin SaurabhArithmetic Circuits : A chasm at depth fourE1 4
022
MPI-Seminar
Hide details for 8 - Tuesday8 - Tuesday
2018-05-0813:00Matthias FüggerFast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop ToleranceE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Monday7 - Monday
2018-05-0709:30Aniket RoyMultimedia Security through Digital Image ForensicsE1 4
0.24
PhD Application Talk
2018-05-0709:30Sagar VermaEgocentric Video UnderstandingE1 4
0.24
PhD Application Talk
2018-05-0709:30Stavros PetsalakisFine Grained Complexity: Exploring Reductions and their PropertiesE1 4
0.24
PhD Application Talk
2018-05-0710:30Joshua KrollAccountability in the Governance of Machine LearningE1 5
029
SWS Colloquium
2018-05-0711:00Alberto FioriOn consistency of the Minimalist FoundationE1 4
0.24
PhD Application Talk
2018-05-0711:00Burcu SayinAn Analysis of Information Spreading and Privacy Issues on Social NetworksE1 4
0.24
PhD Application Talk
2018-05-0711:00Ehsam EtesamiModeling and Evaluation of Cloud Services Considering Live Virtual Machine MigrationE1 4
0.24
PhD Application Talk
2018-05-0711:00Safia KalwarSecurity and Privacy in the era of Big dataE1 4
0.24
PhD Application Talk
Hide details for 3 - Thursday3 - Thursday
2018-05-0310:00Nicole ImmorlicaMaximizing the Social Good: Markets without MoneyE1 4
024
INF Distinguished Lecture Series
2018-05-0311:15Marian-Andrei Rizoiu#DebateNight :The Role and Influence of Socialbots on Twitter During the 1st U.S. Presidential DebateG26 [KL]
111
SWS Colloquium
Hide details for 2 - Wednesday2 - Wednesday
2018-05-0210:30Alexandra SilvaProbabilistic Program Equivalence for NetKATE1 5
029
SWS Colloquium
2018-05-0211:30Kurt MehlhornGroup MeetingE1 3
333
AG1 Group Meeting
2018-05-0212:15Gerard Pons-MollCapturing and Learning Digital HumansE1 5
002
Joint Lecture Series
2018-05-0216:15Davis IssacReading Group: Deciding k-colorability of P5-free graphs in polynomial timeE1 4
022
MPI-Seminar
Hide details for April 2018April 2018
Hide details for 30 - Monday30 - Monday
2018-04-3012:00Michael SchenckComplex Procedural Terrain GenerationE1 4
024
IMPRS Research Seminar
Hide details for 27 - Friday27 - Friday
2018-04-2711:00David DunnPerceptually-based Near Eye DisplaysE1 4
019
Talk
Hide details for 26 - Thursday26 - Thursday
2018-04-2613:00Stefan FunkeHow to Decide Whether a Path is OptimalE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Wednesday25 - Wednesday
2018-04-2516:00Wenbin LiFrom Perception over Anticipation to ManipulationE1 4
019
Promotionskolloquium
Hide details for 24 - Tuesday24 - Tuesday
2018-04-2413:00Karol WęgrzyckiSubquadratic Approximation Scheme for PartitionE1 4
024
AG1 Mittagsseminar (own work)
2018-04-2418:00Kurt MehlhornAlgorithms and Programs -- My Fascination for Computer ScienceE1 5
002
MPI Colloquium Series Distinguished Speaker
Hide details for 20 - Friday20 - Friday
2018-04-2010:30Tudor DumitrasMeasurements, predictions, and the puzzle of machine learning: what data from 10 million hosts can teach us about securityE1 5
029
SWS Colloquium
Hide details for 18 - Wednesday18 - Wednesday
2018-04-1816:15Daniel VazReading Group: Minimum Weight 2-Edge-Connected Spanning Subgraphs in Planar GraphsE1 4
022
MPI-Seminar
Hide details for 11 - Wednesday11 - Wednesday
2018-04-1111:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
2018-04-1112:15Holger HermannsPower to the People. Verified.E1 5
002
Joint Lecture Series
Hide details for 10 - Tuesday10 - Tuesday
2018-04-1013:00Davis IssacAlgorithms and Bounds for Very Strong Rainbow Coloring of GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Thursday5 - Thursday
2018-04-0513:00Paul ManderscheidSAR Phase Unwrapping by Undirected Shortest TransshipmentE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Wednesday4 - Wednesday
2018-04-0410:30Prof. Martin GroheLovasz meets Weisfeiler-LemanG26 [KL]
111
SWS Colloquium
2018-04-0411:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
2018-04-0416:00Cathy McGeochPerformance Evaluation for Annealing Based Quantum ComputersE1 4
024
Colloquium Lecture
Hide details for March 2018March 2018
Hide details for 28 - Wednesday28 - Wednesday
2018-03-2816:00Arpan GujaratiFailures-In-Time (FIT) Analysis for Fault-Tolerant Distributed Real-Time SystemsG26 [KL]
111
SWS Student Defense Talks - Thesis Proposal
Hide details for 27 - Tuesday27 - Tuesday
2018-03-2713:00Eunjin OhPoint Location in Dynamic Planar SubdivisionsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Monday26 - Monday
2018-03-2610:30Tim AlthoffData Science for Human Well-beingG26
111
SWS Colloquium
2018-03-2615:00Manohar VangaHigh-Throughput and Predictable VM Scheduling for High-Density WorkloadsG26 [KL]
111
SWS Student Defense Talks - Thesis Proposal
Hide details for 22 - Thursday22 - Thursday
2018-03-2210:30Nicolas PapernotCharacterizing the Space of Adversarial Examples in Machine LearningE1 5
029
SWS Colloquium
2018-03-2213:00Kurt MehlhornFair DivisionE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 21 - Wednesday21 - Wednesday
2018-03-2111:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
Hide details for 19 - Monday19 - Monday
2018-03-1910:30Mihir NanavatiCatch-22: Isolation and Efficiency in DatacentersG26 [KL]
111
SWS Colloquium
2018-03-1911:00Nitish Padmanaban & Vincent SitzmannVarifocal Lenses for Focus-Supporting Near-Eye Displays & Learning domain-specific cameras: End-to-end optimization of optical sensing pipelinesE1 4
019
Talk
Hide details for 16 - Friday16 - Friday
2018-03-1613:00Meena MahajanShort proofs with simple arithmetic?E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Thursday15 - Thursday
2018-03-1510:30Dr. Caterina UrbanStatic Program Analysis for a Software-Driven SocietyG26 [KL]
111
SWS Colloquium
2018-03-1513:00Karl BringmannMore Consequences of Falsifying SETH and the Orthogonal Vectors ConjectureE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Wednesday14 - Wednesday
2018-03-1418:00Nima AnariTCS+ talk: Planar Graph Perfect Matching is in NCE1 4
D1 Rotunda
Talk
Hide details for 12 - Monday12 - Monday
2018-03-1210:00Arunav MishraLeveraging Semantic Annotations for Event-focused Search & SummarizationE1 4
0.24
Promotionskolloquium
2018-03-1210:30Heather MillerLanguage Support for Distributed Systems in ScalaE1 5
029
SWS Colloquium
Hide details for 8 - Thursday8 - Thursday
2018-03-0813:00Antonios AntoniadisA PTAS for TSP with Hyperplane NeighborhoodsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
2018-03-0711:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
2018-03-0712:15Andrew YatesIncorporating Positional and Contextual Information into a Neural IR ModelE1 5
002
Joint Lecture Series
Hide details for 6 - Tuesday6 - Tuesday
2018-03-0610:00Patrick ErnstBiomedical Knowledge Base Construction from Text and its Applications in Knowledge-based SystemsE1 4
024
Promotionskolloquium
2018-03-0613:00Grigorios KoumoutsosWeighted k-Server Bounds via Combinatorial DichotomiesE1 4
024
AG1 Mittagsseminar (own work)
2018-03-0614:00Hoon HongImproved Root Separation Bound: Bigger and GeometricE1 4
024
Talk
Hide details for 5 - Monday5 - Monday
2018-03-0510:30Jonathan MaceObserving and Controlling Distributed Systems with Cross-Cutting ToolsG26 [KL]
111
SWS Colloquium
Hide details for 1 - Thursday1 - Thursday
2018-03-0110:30Georg ZetzscheStorage mechanisms and finite-state abstractions for software verificationG26 [KL]
111
SWS Colloquium
Hide details for February 2018February 2018
Hide details for 26 - Monday26 - Monday
2018-02-2610:30Kevin BorgolteFighting Large-scale Internet AbuseE1 5
029
SWS Colloquium
Hide details for 22 - Thursday22 - Thursday
2018-02-2213:00Julian DörflerAn efficient data structure for finding Pareto-optimal points (Bachelor thesis)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Wednesday21 - Wednesday
2018-02-2111:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
Hide details for 20 - Tuesday20 - Tuesday
2018-02-2013:00Bundit LaekhanukitOn the Parameterized Complexity of Approximating Dominating SetE1 4
024
Talk
Hide details for 19 - Monday19 - Monday
2018-02-1910:30Antoine KaufmannHigh Performance Data Center TCP Packet ProcessingG26 [KL]
111
SWS Colloquium
Hide details for 15 - Thursday15 - Thursday
2018-02-1510:30Keon JangTowards Latency Guarantees in DatacentersE1 5
029
SWS Colloquium
2018-02-1513:00Bernhard HaeuplerSynchronization Strings and Coding for Insertions and DeletionsE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 14 - Wednesday14 - Wednesday
2018-02-1419:00Dor MinzerTCS+ talk: 2-to-2 Games via expansion on the Grassmann GraphE1 4
D1 Rotunda
Talk
Hide details for 13 - Tuesday13 - Tuesday
2018-02-1313:00Saeed AmiriDistributed Dominating Set in Bounded Genus GraphsE1 4
024
AG1 Mittagsseminar (own work)
2018-02-1315:15Bernhard HäuplerFast Distributed Optimization Algorithms via Low-Congestion ShortcutsE1 4
024
INF Distinguished Lecture Series
Hide details for 12 - Monday12 - Monday
2018-02-1210:30Niki VazouLiquid Haskell: Usable Language-Based Program VerificationE1 5
029
SWS Colloquium
Hide details for 9 - Friday9 - Friday
2018-02-0916:00Viktor ErdélyiScalable positioning of commodity mobile devices using audio signalsE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 8 - Thursday8 - Thursday
2018-02-0810:30Zsolt IstvanCaribou -- Intelligent Distributed Storage for the DatacenterE1 5
029
SWS Colloquium
Hide details for 7 - Wednesday7 - Wednesday
2018-02-0711:30Kurt MehlhornGroup Meeting, D1E1 4
Rotunda
AG1 Group Meeting
Hide details for 1 - Thursday1 - Thursday
2018-02-0113:00Nitin SaurabhOptimal Quasi-Gray Codes: Does the Alphabet matter?E1 4
024
AG1 Mittagsseminar (own work)
Hide details for January 2018January 2018
Hide details for 31 - Wednesday31 - Wednesday
2018-01-3119:00Avi WigdersonTCS+ talk: Optimization, Complexity and Math (through the lens of one problem and one algorithm)E1 4
D1 Rotunda
Talk
Hide details for 30 - Tuesday30 - Tuesday
2018-01-3011:00Dr. Herbert JägerAn Introduction to Reservoir Computing, and BeyondE1 5
029
AG3 Talk
Hide details for 22 - Monday22 - Monday
2018-01-2216:00Ezgi ÇiçekRelational Cost AnalysisE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 17 - Wednesday17 - Wednesday
2018-01-1711:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
Hide details for 16 - Tuesday16 - Tuesday
2018-01-1613:00Christian IkenmeyerOn algebraic branching programs of small widthE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Thursday11 - Thursday
2018-01-1113:00Saeed AmiriDisjoint Paths ProblemE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Tuesday9 - Tuesday
2018-01-0913:00Saeed AmiriErdos Posa Property in DigraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for December 2017December 2017
Hide details for 20 - Wednesday20 - Wednesday
2017-12-2017:00Anna KhorevaLearning to Segment in Images and Videos with Different Forms of SupervisionE1 4
024
Promotionskolloquium
Hide details for 19 - Tuesday19 - Tuesday
2017-12-1914:00Seongkook HeoLet it move—Creating force and movement feedback on the surface and in the air.E1 7
0.01
Talk
Hide details for 18 - Monday18 - Monday
2017-12-1812:00Prof. Gerhard WeikumTalk on Good Scientific PracticeE1 4
R024
IMPRS Research Seminar
2017-12-1814:00Georgios SmaragdakisUnderstanding and Improving the Resilience of the Internet using the Measurement LensE1 4
024
MPI Colloquium Series Distinguished Speaker
Hide details for 14 - Thursday14 - Thursday
2017-12-1413:00Tetiana LavynskaOn Biclique Cover and Partition of Bipartite GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Monday11 - Monday
2017-12-1111:00Aruni ChoudharyApproximation Algorithms for Vietoris-Rips and Cech FiltrationsE1 4
019
Promotionskolloquium
Hide details for 8 - Friday8 - Friday
2017-12-0812:00David SwaseyFormal and Compositional Reasoning about Object CapabilitiesE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 7 - Thursday7 - Thursday
2017-12-0713:00Laszlo KozmaSelection from heaps, row-sorted matrices and X + Y using soft heapsE1 4
024
AG1 Mittagsseminar (own work)
2017-12-0714:15Nisheeth VishnoiAlgorithms, Complexity, and BiasE1 4
024
MPI Colloquium Series Distinguished Speaker
Hide details for 6 - Wednesday6 - Wednesday
2017-12-0612:15Joël OuaknineFundamental Algorithmic Problems and Challenges in Dynamical and Cyber-Physical SystemsE1 5
002
Joint Lecture Series
Hide details for 4 - Monday4 - Monday
2017-12-0416:15Kai HuiAutomatic Methods for Low-Cost Evaluation and Position-Aware Models for Neural Information RetrievalE1 5
029
Promotionskolloquium
Hide details for 1 - Friday1 - Friday
2017-12-0114:00Dat Ba NguyenJoint Models for Information and Knowledge ExtractionE1 4
024
Promotionskolloquium
Hide details for November 2017November 2017
Hide details for 30 - Thursday30 - Thursday
2017-11-3013:00Emilio CrucianiSome new results for opinion dynamics on social networksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 29 - Wednesday29 - Wednesday
2017-11-2916:00Alexander WiederBlocking Analysis of Spin Locks under Partitioned Fixed-Priority SchedulingE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 23 - Thursday23 - Thursday
2017-11-2313:00Günter SchmidtCompetitive Analysis of Bi-directional Non-preemptive ConversionE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Wednesday22 - Wednesday
2017-11-2210:30Hugo FéréeFormal Proof of Polynomial-Time Complexity with Quasi-InterpretationsE1 5
029
SWS Colloquium
Hide details for 20 - Monday20 - Monday
2017-11-2016:00Mainack MondalUnderstanding & Controlling User Privacy in Social Media via ExposureE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 17 - Friday17 - Friday
2017-11-1715:00Marko DokoProgram Logic for Weak Memory ConcurrencyG26 [KL]
111
SWS Student Defense Talks - Thesis Proposal
Hide details for 16 - Thursday16 - Thursday
2017-11-1614:00Soham ChakrabortyCorrect Compilation of Relaxed Memory ConcurrencyG26 [KL]
111
SWS Student Defense Talks - Thesis Proposal
Hide details for 15 - Wednesday15 - Wednesday
2017-11-1511:30Kurt MehlhornGroup MeetingE1 4
Rotunda
AG1 Group Meeting
Hide details for 14 - Tuesday14 - Tuesday
2017-11-1413:00L. Sunil Chandran and Davis IssacSpanning Tree Congestion and the Generalized Győri-Lovász Theorem (Part 2)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 13 - Monday13 - Monday
2017-11-1310:00Rakesh AgrawalToward Data-Driven EducationE1 5
002
SWS Distinguished Lecture Series
Hide details for 10 - Friday10 - Friday
2017-11-1013:00Oliver NalbachSmarter Screen Space ShadingE1 4
019
Promotionskolloquium
2017-11-1015:00Nina Grgić-HlačaBeyond Distributive Fairness in Algorithmic Decision Making: Feature Selection for Procedurally Fair LearningE1 5
029
SWS Student Defense Talks - Qualifying Exam
Hide details for 9 - Thursday9 - Thursday
2017-11-0911:00Wolfgang AhrendtStaRVOOrS: Combined Static and Runtime Verification of Object-Oriented SoftwareE1 5
029
SWS Colloquium
2017-11-0913:00L. Sunil Chandran and Davis IssacSpanning Tree Congestion and the Generalized Győri-Lovász Theorem (Part 1)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Wednesday8 - Wednesday
2017-11-0812:15Karl BringmannFine-Grained Complexity: Hardness for a Big Data WorldE1 5
002
Joint Lecture Series
2017-11-0816:00Juhi KulshresthaQuantifying & Characterizing Information Diets of Social Media UsersE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 6 - Monday6 - Monday
2017-11-0611:00Pietro FerraraJulia: An abstract interpretation-based static analyzer of industrial OO softwareG26 [KL]
113
MPI-Kolloquium
Hide details for 2 - Thursday2 - Thursday
2017-11-0214:00Dr. Steffen RochelDeep Learning in Apache MxNet GluonE1 3
HS002
Talk
Hide details for October 2017October 2017
Hide details for 30 - Monday30 - Monday
2017-10-3012:00Khansa RekikResults of planning for sentence generationE1 4
022
IMPRS Research Seminar
Hide details for 27 - Friday27 - Friday
2017-10-2710:00Prof. Dr.-Ing. Stefan SeeleckeActuation and New MaterialsE1 7
0.01
Talk
2017-10-2710:00Prof. Dr.-Ing. Stefan SeeleckeActuation and New MaterialsE1 7
0.01
Talk
2017-10-2713:00Kurt MehlhornPhysarum solves Positive Undirected LPsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Tuesday24 - Tuesday
2017-10-2412:57Dr.-Ing. Stefan SeeleckeActuation and New MaterialE1 7
0.01
Talk
2017-10-2409:30YuDelegation HANCOM Group, KoreaE1 5
R 0.29
Presentation
2017-10-2415:00Annette DiehlSexualisierte Diskriminierung und GewaltE1 5
002
Talk
Hide details for 23 - Monday23 - Monday
2017-10-2312:00Vinh Thinh HoApproaches for Word RepresentationsE1 4
022
IMPRS Research Seminar
Hide details for 19 - Thursday19 - Thursday
2017-10-1913:00Kevin SchewiorA Tight Lower Bound for Online Convex Optimization with Switching CostsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Tuesday17 - Tuesday
2017-10-1713:00Bhaskar Ray ChaudhuryProof of the Weighted Dynamic Finger Theorem by Iacono and Langerman.E1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 16 - Monday16 - Monday
2017-10-1615:00Natalia BoldyrevAlignment of Multi-Cultural Knowledge RepositoriesE1 4
024
Promotionskolloquium
Hide details for 12 - Thursday12 - Thursday
2017-10-1213:00Ruben BeckerNear-Optimal Approximate Shortest Paths and Transshipment in Distributed and Streaming ModelsE1 4
024
AG1 Mittagsseminar (own work)
2017-10-1214:00Dr. Donald DansereauComputational Imaging for Robotic VisionE1 4
019
Talk
Hide details for 11 - Wednesday11 - Wednesday
2017-10-1111:00Cosmina CroitoruGraph Models for Rational Social Interaction - PhD VerteidigungE1 4
019
Promotionskolloquium
2017-10-1116:15Leila AmgoudEvaluation Methods of ArgumentsE1 4
024
Talk
Hide details for 10 - Tuesday10 - Tuesday
2017-10-1009:30David KaltenpothDistinguishing Confounding from CausalityE1 4
024
PhD Application Talk
2017-10-1009:30Hiba ArnaoutEffective Searching of RDF Knowledge GraphsE1 4
024
PhD Application Talk
2017-10-1009:30Xiaoyu ShenLatent Variable Models in Dialogue GenerationE1 4
R024
PhD Application Talk
2017-10-1011:00Hufsah AshrafComputational Modeling and Analysis of the Impacts of Sleep Deprivation on Glucose Stimulated Insulin Secretion via Circadian Clock MisalignmentE1 4
024
PhD Application Talk
2017-10-1011:00Jana EblerHaplotype-Aware Genotyping from Long Sequencing ReadsE1 4
024
PhD Application Talk
2017-10-1011:00Jonas FischerFast methylation calling on mammalian bisulfite sequencing dataE1 4
024
PhD Application Talk
2017-10-1013:00Janne H. KorhonenLCL problems on gridsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Monday9 - Monday
2017-10-0916:00Muhammad Bilal ZafarDiscrimination in Algorithmic Decision Making: From Principles to Measures and MechanismsE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 5 - Thursday5 - Thursday
2017-10-0513:00Kurt MehlhornWeighted Dynamic Finger in Binary Search Trees by Iacono and Langerman (SODA '16)E1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 4 - Wednesday4 - Wednesday
2017-10-0412:15Simon RazniewskiWhat knowledge bases know (and what they don't)E1 5
002
Joint Lecture Series
Hide details for September 2017September 2017
Hide details for 29 - Friday29 - Friday
2017-09-2915:00Siyu TangPeople Detection and Tracking in Crowded ScenesE1 4
024
Promotionskolloquium
Hide details for 20 - Wednesday20 - Wednesday
2017-09-2011:30Christoph LenzenGroup MeetingE1 4
Rotunde
AG1 Group Meeting
Hide details for 14 - Thursday14 - Thursday
2017-09-1413:00Mathew FrancisInduced Colourful Paths in Triangle-free GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Tuesday12 - Tuesday
2017-09-1213:00Giacomo ScornavaccaRational Fair Consensus in the GOSSIP ModelE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Monday11 - Monday
2017-09-1115:30Stephan FriedrichsMetastability-Containing Circuits, Parallel Distance Problems, and Terrain GuardingE1 4
024
Promotionskolloquium
Hide details for 6 - Wednesday6 - Wednesday
2017-09-0612:15Christian IkenmeyerGeometric Complexity Theory: An ambitious approach towards P versus NPE1 5
002
Joint Lecture Series
Hide details for 4 - Monday4 - Monday
2017-09-0416:00Amy SiuKnowledge-driven Entity Recognition and Disambiguation in Biomedical TextE1 4
024
Promotionskolloquium
Hide details for August 2017August 2017
Hide details for 29 - Tuesday29 - Tuesday
2017-08-2913:00Aruni ChoudharyImproved Approximate Rips Filtrations with Shifted Integer LatticesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 18 - Friday18 - Friday
2017-08-1811:00Martin OchoaSecuring Cyber-Physical Systems: Challenges and the road aheadE9 1
Lecture Hall
CISPA Distinguished Lecture Series
Hide details for 17 - Thursday17 - Thursday
2017-08-1713:00Nitin SaurabhUpper bounds on Fourier EntropyE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Wednesday16 - Wednesday
2017-08-1614:00Andreas HerzigDynamic logic and propositional assignmentsE1 4
024
Talk
Hide details for 14 - Monday14 - Monday
2017-08-1415:00Filip NikšićCombinatorial Constructions for Effective TestingG26 [KL]
113
SWS Student Defense Talks - Thesis Proposal
Hide details for 10 - Thursday10 - Thursday
2017-08-1013:00Krzysztof FleszarMaximum Disjoint Paths: New Algorithms based on Tree-LikenessE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Tuesday8 - Tuesday
2017-08-0813:00Andreas SchmidComputing Tutte PathsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Monday7 - Monday
2017-08-0717:00Anjo Vahldiek-OberwagnerTechniques to enforce security policies on untrusted applicationsE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 4 - Friday4 - Friday
2017-08-0413:30Reinhard MunzTowards Use-Ability in Private Data AnalyticsG26 [KL]
111
SWS Student Defense Talks - Thesis Proposal
Hide details for July 2017July 2017
Hide details for 27 - Thursday27 - Thursday
2017-07-2713:00Seri KhouryNew Lower Bounds for the CONGEST modelE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Tuesday25 - Tuesday
2017-07-2510:30Alexandra ChouldechovaFairer and more accurate, but for whom?E1 5
005
SWS Colloquium
2017-07-2511:00Nils Ole TippenhauerPhysical-Layer Security Aspects of ICS and IoTE9 1
Lecture Hall
CISPA Distinguished Lecture Series
2017-07-2513:00Karl BringmannImproved Algorithms for Computing the Cycle of Minimum Cost-to-Time Ratio in Directed GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Monday24 - Monday
2017-07-2415:00Pierre-Louis GiscardThe Theory of WalksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Thursday20 - Thursday
2017-07-2015:00Prof. Gilles Barthe:Advances in computer-aided cryptographyE9 1
Lecture Hall
CISPA Distinguished Lecture Series
Hide details for 19 - Wednesday19 - Wednesday
2017-07-1911:30Kurt MehlhornGroup MeetingE1 4
Rotunda
AG1 Group Meeting
Hide details for 18 - Tuesday18 - Tuesday
2017-07-1811:00Stavros TripakisSecurity as a System Design ProblemE9 1
lecture hall
CISPA Distinguished Lecture Series
Hide details for 13 - Thursday13 - Thursday
2017-07-1313:00Juho LauriNP-completeness results for partitioning a graph into total dominating setsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Wednesday12 - Wednesday
2017-07-1214:00Dr James HookMax-plus linear regression and low rank matrix approximationE1 5
029
Colloquium Lecture
2017-07-1216:00Dr. Matthias BergIT-Sicherheit mitgestalten beim BSIE9 1
Lecture Hall
Talk
Hide details for 11 - Tuesday11 - Tuesday
2017-07-1111:00Demetris ZeinalipourIndoor Data Management in AnyplaceE1 4
024
Colloquium Lecture
2017-07-1113:00Erik Jan Van LeeuwenParameterized Complexity of Vertex-Partitioning ProblemsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Monday10 - Monday
2017-07-1011:00David EvansAdversarial Machine Learning: Are We Playing the Wrong Game?E9 1
Lecture Hall
CISPA Distinguished Lecture Series
Hide details for 7 - Friday7 - Friday
2017-07-0710:00Kathy StrandburgDecision Making and The Value of ExplanationE1 5
005
SWS Colloquium
Hide details for 6 - Thursday6 - Thursday
2017-07-0611:00Stephan GünnemannRobust and Scalable Learning with GraphsE1 5
029
Colloquium Lecture
2017-07-0613:00Attila KinaliThe Use of Fault-tolerant Clock Synchronization Algorithms for Time ScalesE1 4
024
AG1 Mittagsseminar (own work)
2017-07-0616:00Subhabrata MukherjeeProbabilistic Graphical Models for Credibility Analysis in Evolving Online CommunitiesE1 5
029
Promotionskolloquium
Hide details for 5 - Wednesday5 - Wednesday
2017-07-0512:15Qianru SunYour photos expose your social life - Social relation recognition in 5 social domainsE1 5
002
Joint Lecture Series
Hide details for June 2017June 2017
Hide details for 30 - Friday30 - Friday
2017-06-3014:00Attila KinaliDamped Sine Based Time Interval Counter - Measuring Time with Pico-Second PrecisionE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 29 - Thursday29 - Thursday
2017-06-2911:15Peter WonkaInteger Programming for Layout ProblemsE1 4
019
Talk
2017-06-2913:00Ruben HoeksmaPosted price mechanisms for a random stream of customersE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 28 - Wednesday28 - Wednesday
2017-06-2815:00Adam GrycnerConstructing Lexicons of Relational PhrasesE1 5
029
Promotionskolloquium
Hide details for 27 - Tuesday27 - Tuesday
2017-06-2711:00Manolis KoubarakisData Models and Query Languages for Linked Spatiotemporal DataE1 4
024
Colloquium Lecture
Hide details for 26 - Monday26 - Monday
2017-06-2610:30Giovanni Luca CiampagliaFinding Fake NewsE1 5
029
SWS Colloquium
Hide details for 21 - Wednesday21 - Wednesday
2017-06-2111:30Andreas KarrenbauerGroup MeetingE1 4
333
AG1 Group Meeting
Hide details for 20 - Tuesday20 - Tuesday
2017-06-2017:00Mateusz MalinowskiTowards Holistic Machines: From Visual Recognition To Question Answering About Real-World ImagesE1 4
024
Promotionskolloquium
Hide details for 19 - Monday19 - Monday
2017-06-1910:00Arpit MerchantEfficiently Estimationg Primitive Graph PropertiesE1 4
0.24
PhD Application Talk
2017-06-1910:00Deeksha AdilMatching Under PreferencesE1 4
0.24
PhD Application Talk
2017-06-1910:00Mohammad Bashir KazimiCoverage Model for Character-based Neural Machine TranslationE1 4
0.24
PhD Application Talk
2017-06-1910:00Saharnaz E. DilmaghaniPrivacy Preserving Personal Health Record against Brute-Force AttackE1 4
0.24
PhD Application Talk
2017-06-1913:00Christoph LenzenPractice Talk: The many Faces of Clock SynchronizationE1 4
3rd floor rotunda
Talk
Hide details for 14 - Wednesday14 - Wednesday
2017-06-1413:00Eslam ElniketyComprehensive and Practical Policy Compliance in Data Retrieval SystemsE1 5
029
SWS Student Defense Talks - Thesis Proposal
2017-06-1415:00Till SpeicherDiscrimination in Online AdvertisingE1 5
029
SWS Student Defense Talks - Qualifying Exam
Hide details for 13 - Tuesday13 - Tuesday
2017-06-1311:00Jeff Z. PanThe Rise of Approximate Reasoning: New Roadmap EmergingE1 4
024
Colloquium Lecture
Hide details for 7 - Wednesday7 - Wednesday
2017-06-0711:30AllGroup MeetingE1 4
Rotunde D1
AG1 Group Meeting
2017-06-0712:15Eva DarulovaTowards an Approximating Compiler for Numerical ComputationsE1 5
002
Joint Lecture Series
Hide details for 6 - Tuesday6 - Tuesday
2017-06-0613:00Kevin SchewiorTight Bounds for Online TSP on the LineE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Friday2 - Friday
2017-06-0214:00Ligang Liu3D Printing Oriented Geometric Design and OptimizationE1 4
019
AG4 Talk
Hide details for 1 - Thursday1 - Thursday
2017-06-0113:00Joseph LandsbergCan we multiply matrices faster by exploiting symmetry?E1 4
024
AG1 Mittagsseminar (own work)
Hide details for May 2017May 2017
Hide details for 30 - Tuesday30 - Tuesday
2017-05-3013:00D. SchneiderRigid and Deformable Motion and Disassembly PlanningE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 29 - Monday29 - Monday
2017-05-2914:00NNCybersicherhheit im BND: SSCD-Frühwarnsystem auf Basis technischer AufklärungE9 1
Lecture Hall
Miscellaneous
Hide details for 22 - Monday22 - Monday
2017-05-2214:00Maksim LapinImage Classification with Limited Training Data and Class AmbiguityE1 4
024
Promotionskolloquium
Hide details for 15 - Monday15 - Monday
2017-05-1516:00Anna RohrbachGenerating and Grounding of Natural Language Descriptions for Visual DataE1 4
024
Promotionskolloquium
Hide details for 11 - Thursday11 - Thursday
2017-05-1113:00Kavitha TelikepalliPopularity, Mixed Matchings, and Self-dualityE1 5 -MPI for Softwaresystems
R 029
AG1 Mittagsseminar (own work)
Hide details for 10 - Wednesday10 - Wednesday
2017-05-1009:45Kiran GarimellaQuantifying and Reducing Polarization on Social mediaE1 5
005
SWS Colloquium
2017-05-1011:00Prof. Bernhard HaeuplerSynchronization Strings: Optimal Coding for Insertions and DeletionsE1 5
002
INF Distinguished Lecture Series
Hide details for 9 - Tuesday9 - Tuesday
2017-05-0913:00D1D1 internal poster sessionE1 4
024
AG1 Group Meeting
Hide details for 8 - Monday8 - Monday
2017-05-0810:30Pierre-Marie PédrotAn Effectful Way to Eliminate Addiction to DependenceE1 5
029
SWS Colloquium
Hide details for 5 - Friday5 - Friday
2017-05-0512:30Mike RobertsHarnessing the Creative Power of DronesE1 4
024
AG2 Working Group Seminar
Hide details for 4 - Thursday4 - Thursday
2017-05-0411:00Sebastian TrimpeIntelligent Control SystemsG26 [KL]
113
SWS Colloquium
2017-05-0413:00Philip WellnitzClique-Based Lower Bounds for Parsing Tree-Adjoining Grammars (Bachelorseminar)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Wednesday3 - Wednesday
2017-05-0312:15Daria StepanovaDigital Knowledge: From Facts to Rules and BackE1 5
002
Joint Lecture Series
Hide details for 2 - Tuesday2 - Tuesday
2017-05-0210:30James WorrellOn Rationality of Nonnegative Matrix FactorizationE1 5
002
SWS Distinguished Lecture Series
Hide details for April 2017April 2017
Hide details for 27 - Thursday27 - Thursday
2017-04-2714:00Michael HaaseAgile Softwareentwicklung in der PraxisE1 3
HS 002
Talk
2017-04-2719:00Paul CheungDigital Journalism in the Age of Mobile Devices and Social MediaE1 5
Lecture Hall
Talk
Hide details for 26 - Wednesday26 - Wednesday
2017-04-2616:00Andrew BaumannSecuring enclaves with formal verificationE1 5
029
SWS Colloquium
Hide details for 25 - Tuesday25 - Tuesday
2017-04-2513:00David P. WoodruffParameterized Complexity of Matrix Factorization ProblemsE1 4
024
Talk
Hide details for 24 - Monday24 - Monday
2017-04-2414:00Vijay GaneshThe Unreasonable Effectiveness of Boolean SAT SolversE1 5
002
Talk
Hide details for 10 - Monday10 - Monday
2017-04-1010:30Oriana RivaComprehensive deep linking for mobile appsG26 [KL]
112
SWS Colloquium
Hide details for 5 - Wednesday5 - Wednesday
2017-04-0512:15Björn AndresGraph Decomposition Problems in Image AnalysisE1 5
002
Joint Lecture Series
Hide details for 4 - Tuesday4 - Tuesday
2017-04-0413:00Matthias FueggerFast Asymptotic and Approximate Consensus in Highly Dynamic NetworksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Monday3 - Monday
2017-04-0310:00Azalea RaadLocal Reasoning for Concurrency, Distribution and Web ProgrammingG26 [KL]
111
SWS Colloquium
Hide details for March 2017March 2017
Hide details for 31 - Friday31 - Friday
2017-03-3110:30Professor Richard MurrayCombining Computing, Communications and Controls in Safety Critical SystemsG26 [KL]
111
SWS Distinguished Lecture Series
2017-03-3116:00Mainack MondalUnderstanding & Controlling User Privacy in Social Media via ExposureE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 29 - Wednesday29 - Wednesday
2017-03-2911:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
Hide details for 22 - Wednesday22 - Wednesday
2017-03-2210:30Tianyin XuHardening cloud and datacenter systems against configuration errorsG26 [KL]
111
SWS Colloquium
Hide details for 17 - Friday17 - Friday
2017-03-1710:00Aurojit PandaA New Approach to Network FunctionsG26 [KL]
111
SWS Colloquium
Hide details for 16 - Thursday16 - Thursday
2017-03-1615:00Akram El-KorashyA formal model for capability machines: Towards secure compilation to CHERIE1 5
029
SWS Student Defense Talks - Qualifying Exam
Hide details for 15 - Wednesday15 - Wednesday
2017-03-1515:00Ezgi CicekRelational Cost AnalysisE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 14 - Tuesday14 - Tuesday
2017-03-1414:09Ryota KobayashiEvent time series analysis and its applications to social media analysisE1 5
029
SWS Colloquium
2017-03-1413:00Dror RawitzOnline Budgeted Maximum CoverageE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
2017-03-1414:00Bjoern GollaMesh adaption based on Mesh deformation through flow mapsE1 4 - MPI-INF
024
AG4 Talk
Hide details for 13 - Monday13 - Monday
2017-03-1310:30Raymond ChengPrivacy as a ServiceE1 5
029
SWS Colloquium
Hide details for 9 - Thursday9 - Thursday
2017-03-0916:00Sourav DuttaEfficient knowledge management for named entities from textE1 4
024
Promotionskolloquium
Hide details for 8 - Wednesday8 - Wednesday
2017-03-0810:00Justin HsuRandomized Algorithms Meets Formal VerificationE1 5
029
SWS Colloquium
Hide details for 7 - Tuesday7 - Tuesday
2017-03-0710:00Kuldeep MeelConstrained Counting and Sampling: Bridging the Gap between Theory and PracticeE1 5
029
SWS Colloquium
Hide details for 3 - Friday3 - Friday
2017-03-0310:00Mijung ParkVariational Bayes In Private SettingsG26 [KL]
111
SWS Colloquium
Hide details for 2 - Thursday2 - Thursday
2017-03-0213:00Adi RosénSemi-Streaming Set CoverE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Wednesday1 - Wednesday
2017-03-0112:15Paul FrancisThe Diffix Framework: Noise Revisited, AgainE1 5
002
Joint Lecture Series
Hide details for February 2017February 2017
Hide details for 28 - Tuesday28 - Tuesday
2017-02-2810:00Adish SinglaLearning With and From PeopleG26 [KL]
111
SWS Colloquium
2017-02-2811:00Maarten de RijkeThe Birth of Collective Memories: Analyzing Emerging Entities in Text StreamsE1 4
024
Colloquium Lecture
2017-02-2815:00Erdal KuzeyPopulating knowledge bases with temporal informationE1 4
024
Promotionskolloquium
Hide details for 22 - Wednesday22 - Wednesday
2017-02-2210:30Magnus MyreenA New Verified Compiler Backend for CakeMLE1 5
029
SWS Colloquium
Hide details for 21 - Tuesday21 - Tuesday
2017-02-2110:30Renato MancusoSafe, Real-Time Software Reference Architectures for Cyber-Physical SystemsG26 [KL]
111
SWS Colloquium
2017-02-2110:30Timothy H. EdgarCybersecurity and civil liberties - how the new U.S. government will approach cyber threatsE9 1
007
CISPA Distinguished Lecture Series
2017-02-2111:30Timothy H. EdgarState of the net: Weaponized information, manipulated elections – How can IT security safeguard civil liberties & political independence?E9 1
007
Panel Discussion
Hide details for 20 - Monday20 - Monday
2017-02-2010:00Simina BranzeiComputational fair division and mechanism designE1 5
029
SWS Colloquium
Hide details for 17 - Friday17 - Friday
2017-02-1710:30Ali MashtizadehAdventures in Systems Reliability: Replication and ReplayE1 5
029
SWS Colloquium
Hide details for 16 - Thursday16 - Thursday
2017-02-1613:00Luca BecchettiFriend or foe? Population Protocols for Community Sensitive LabelingE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Wednesday15 - Wednesday
2017-02-1510:00Nadia PolikarpovaType-Driven Program SynthesisG26 [KL]
111
SWS Colloquium
Hide details for 14 - Tuesday14 - Tuesday
2017-02-1413:00Vincenzo BonifaciOn the Convergence Time of a Natural Dynamics for Linear ProgrammingE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Wednesday8 - Wednesday
2017-02-0810:00Arthur GervaisOn the Security and Scalability of Proof of Work BlockchainsE1 5
029
SWS Colloquium
Hide details for 7 - Tuesday7 - Tuesday
2017-02-0713:00Thorsten TheobaldSome developments in spectrahedral computationE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Monday6 - Monday
2017-02-0610:00Dr. Maria ChristakisGuiding program analyzers toward unsafe executionsG26 [KL]
111
SWS Colloquium
2017-02-0615:00Sairam GurajadaDistributed Querying of Large Labeled GraphsE1 5
0.29
Promotionskolloquium
Hide details for 1 - Wednesday1 - Wednesday
2017-02-0112:15Shida BeigpourInverse RenderingE1 5
002
Joint Lecture Series
Hide details for January 2017January 2017
Hide details for 31 - Tuesday31 - Tuesday
2017-01-3113:00Jesper NederlofFaster Space Efficient Algorithms for Subset Sum and KnapsackE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Show details for 27 - Friday27 - Friday

Previous Page | Next Page | Expand All | Collapse All