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

TimeSpeakerEvent, Title, TopicBuilding, RoomEvent Type
Hide details for November 2019November 2019
Hide details for 20 - Wednesday20 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 19 - Tuesday19 - Tuesday
13:00Pieter KleerUniform sampling of graphs with a given degree sequenceE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Thursday14 - Thursday
10:00Mohsen GhaffariNetwork Decomposition and Derandomization for Distributed AlgorithmsE1 4
024
Talk
Hide details for 12 - Tuesday12 - Tuesday
13:00Karol WegrzyckiEqual-Subset-Sum Faster Than the Meet-in-the-MiddleE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Friday8 - Friday
12:00Julian SteilMobile Eye Tracking for EveryoneE1 4
024
Promotionskolloquium
Hide details for 6 - Wednesday6 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
12: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
10:30Jessica HoffmannDealing with Epidemics under UncertaintyG26
111
SWS Colloquium
Hide details for October 2019October 2019
Hide details for 31 - Thursday31 - Thursday
13:00Ian W. JonesVisualization in Circuit DesignE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 24 - Thursday24 - Thursday
13:00Philip WellnitzCounting Induced Subgraphs: An Algebraic Approach to #W[1]-HardnessE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Tuesday22 - Tuesday
13:00Lazar MilenkovicApproximation Algorithms for the Bottleneck Asymmetric Traveling Salesman ProblemE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Thursday17 - Thursday
16:00Utkarsh UpadhyayKnowledge and Information Dissemination: Models and MethodsG26 [KL]
111
SWS Student Defense Talks - Thesis Proposal
Hide details for 16 - Wednesday16 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 15 - Tuesday15 - Tuesday
15:00Scott KilpatrickNon-Reformist Reform for Haskell ModularityE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 8 - Tuesday8 - Tuesday
15:00Yusra IbrahimUnderstanding Quantities in Web Tables and TextE1 4
024
Promotionskolloquium
Hide details for 7 - Monday7 - Monday
10:30Stefan SaroiuAre We Susceptible to Rowhammer? An End-to-End Methodology for Cloud ProvidersE1 5
002
SWS Colloquium
Hide details for 2 - Wednesday2 - Wednesday
10:30Claude CastellucciaToward Cognitive SecurityE1 5
029
SWS Colloquium
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
12: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
10:30Maria RauschenbergerHuman-Centered Design and Data Science for GoodE1 5
029
SWS Colloquium
Hide details for 24 - Tuesday24 - Tuesday
10:30YoungGyoun MoonAccelerating Network Applications with Stateful TCP OffloadingE1 5
029
SWS Colloquium
Hide details for 18 - Wednesday18 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 16 - Monday16 - Monday
10:30Cesare TinelliSynthesis from within: implementing automated synthesis inside an SMT solverG26 [KL]
111
SWS Colloquium
Hide details for 12 - Thursday12 - Thursday
10:30Sandor Kisfaludi-BakETH-tight algorithms for geometric network problemsE1 4
024
AG1 Advanced Mini-Course
Hide details for 10 - Tuesday10 - Tuesday
13:00Stephan-Alexander AriesanuCircuit Delay Minimization Using Convex OptimizationE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Monday9 - Monday
11:00Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 6 - Friday6 - Friday
13:00Shahrzad HaddadanRandom walks and their application in exploring networks and ranking objectsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Wednesday4 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
12:15Vahid BabaeiComputational Fabrication: 3D Printing and BeyondE1 5
002
Joint Lecture Series
Hide details for August 2019August 2019
Hide details for 28 - Wednesday28 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 27 - Tuesday27 - Tuesday
14:00Vineet RajaniA type theory for amortized resource analysisE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 21 - Wednesday21 - Wednesday
10:30Tanja KäserModeling and Individualizing Learning in Computer-Based EnvironmentsE1 5
029
SWS Colloquium
Hide details for 20 - Tuesday20 - Tuesday
16:00Marcel HarkAiming Low is Harder: Inductive Lower Bounds in Probabilistic Program VerificationE1 5
630
Talk
Hide details for 13 - Tuesday13 - Tuesday
13:00Bhaskar Ray ChaudhuryA Little Charity Guarantees Almost Envy-FreenessE1 4
022
AG1 Mittagsseminar (own work)
13:45Kurt MehlhornTrustworthy Graph AlgorithmsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Thursday8 - Thursday
13:00Andrea HornakovaHigher Order Disjoint Paths for Multiple Object TrackingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for July 2019July 2019
Hide details for 31 - Wednesday31 - Wednesday
09:00Erich GrädelProvenance Analysis for Logic and GamesE1 4
024
Talk
11:00Alexander LeitschAlgorithmic Analysis of Proofs via CERESE1 4
024
Talk
14: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
13:00Kurt MehlhornNew Convergence Results for the Physarum DynamicsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Friday19 - Friday
10:30Martin ZieglerComputer Science for NumericsE1 5
029
SWS Colloquium
Hide details for 18 - Thursday18 - Thursday
13:00Magnus DanielsonSynchronization routing in telecom networksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Wednesday17 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 16 - Tuesday16 - Tuesday
13:00Soham ChakrabortyCorrect Compilation of Relaxed Memory ConcurrencyG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 15 - Monday15 - Monday
10:30Mary BakerDesign Problems: Trustworthy Smart Devices and 3D Printed LaceE1 5
029
SWS Distinguished Lecture Series
Hide details for 11 - Thursday11 - Thursday
13: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
10:30Sanjar KaraevMatrix Factorization over Dioids and its Applications in Data MiningE1 5
029
Promotionskolloquium
15:15Matthijs van LeeuwenMine, Interact, Learn, RepeatE1 5
029
Colloquium Lecture
Hide details for 9 - Tuesday9 - Tuesday
13:00Guy KortsarzBetween the metric and non metric facility location problemsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Monday8 - Monday
10:30Abhik RoychoudhuryAutomated Program RepairG26 [KL]
111
SWS Distinguished Lecture Series
15:15Srikanta BedathurIndex-free Approximation of Reachability Queries on GraphsE1 4
024
Colloquium Lecture
Hide details for 4 - Thursday4 - Thursday
13: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
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
12: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
11:15André PlatzerSafe AI for CPSE1 5
029
Talk
13: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
10:30Gordon WetzsteinComputational Single-photon ImagingE1 4
019
Talk
Hide details for 27 - Thursday27 - Thursday
13:00Guy Evento be announcedE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Tuesday25 - Tuesday
13: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
13:00MirkoTBAE1 4
024
AG1 Mittagsseminar (own work)
13:00Mirko RossiSome Approximability Results on Delivering Messages with Mobile AgentsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Friday21 - Friday
10:00Khaled ElbassioniSome Black-box Reductions for Cost-robust Discrete Optimization ProblemsE1 4
024
AG1 Mittagsseminar (own work)
15:00Themis GouleakisCommunication and Memory Efficient Testing of Discrete DistributionsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Wednesday19 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 18 - Tuesday18 - Tuesday
13:00Sandip SinhaLocal Decodability of the Burrows-Wheeler TransformE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Monday17 - Monday
13:00Stefano LeucciTracking Routes in Communication NetworksE1 4
024
AG1 Mittagsseminar (own work)
15:00Naveen GargA constant approximation algorithm for weighted flow timeE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 13 - Thursday13 - Thursday
13:00Sami ShalayelAn optimzation problem from non-destructive testing using ultrasoundE1 5
029
AG1 Mittagsseminar (own work)
Hide details for 11 - Tuesday11 - Tuesday
13:00Bhaskar Ray ChaudhuryPolyline Simplification has Cubic ComplexityE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Monday10 - Monday
10: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
13: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
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
12:15Rhaleb ZayerBridging the Performance Gap in Digital Geometry ProcessingE1 5
002
Joint Lecture Series
Hide details for 4 - Tuesday4 - Tuesday
10: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
10:30Tom AndersonHigh Performance Operating Systems in the Data CenterE1 5
029
SWS Colloquium
Hide details for 27 - Monday27 - Monday
13:00George ChristodoulouThe price of stability of (weighted) congestion games with polynomial latenciesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Thursday23 - Thursday
10:30Theopilus BensonSystematic Approach to Managing Software Defined NetworksE1 5
029
SWS Colloquium
Hide details for 21 - Tuesday21 - Tuesday
13:00André NusserIpe TutorialE1 4
024
AG1 Mittagsseminar (basic education)
Hide details for 20 - Monday20 - Monday
10:30Dr Giovani GracioliOn the Predictability of Heterogeneous SoC Multicore PlatformsG26
111
SWS Colloquium
Hide details for 17 - Friday17 - Friday
10:30Jinyang LiTransparent Scaling of Deep Learning Systems through Dataflow Graph AnalysisE1 5
002
SWS Distinguished Lecture Series
Hide details for 16 - Thursday16 - Thursday
14:00Goran RadanovicHumans and Machines: From Data Elicitation to Helper-AIE1 5
029
SWS Colloquium
Hide details for 15 - Wednesday15 - Wednesday
10:30Nikolaj VolgushevConclave: Secure Multi-Party Computation on Big DataE1 5
029
SWS Colloquium
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
12:15Damien ZuffereyProgramming Abstractions for Verifiable SoftwareE1 5
002
Joint Lecture Series
Hide details for 14 - Tuesday14 - Tuesday
13:00Johannes BundOptimal Metastability-Containing Sorting NetworksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Thursday9 - Thursday
10:30Étienne MiqueyA constructive proof of dependent choice in classical arithmetic via memoizationE1 5
029
SWS Colloquium
Hide details for 7 - Tuesday7 - Tuesday
13:00Sören Bund-BeckerCreating a Markup Language for Mixed Integer Linear ProgramsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Friday3 - Friday
15:30Filip NikšicCombinatorial Constructions for Effective TestingG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 2 - Thursday2 - Thursday
10:00Sandhya DwarkadasSharing-Aware Resource Management for Performance and ProtectionE1 5
002
SWS Distinguished Lecture Series
11: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
13:00Suman BanerjeeEdge Computing in the Extreme and its ApplicationsE1 5
105
SWS Colloquium
Hide details for 29 - Monday29 - Monday
14:30Moses GanardiQuerying Regular Languages over Sliding WindowsG26 [KL]
111
SWS Colloquium
Hide details for 17 - Wednesday17 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 16 - Tuesday16 - Tuesday
13:00Karl BringmannApproximating APSP without ScalingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Friday12 - Friday
11:00Abdalghani AbujabalQuestion Answering over Knowledge Bases with Continuous LearningE1 4
024
Promotionskolloquium
15:00Jimmy LinRigor in Deep Learning for NLP and IRE1 4
024
Colloquium Lecture
Hide details for 8 - Monday8 - Monday
11:30Evgeny LevinkovGeneralizations of the Multicut Problem for Computer VisionE1 4
024
Promotionskolloquium
Hide details for 5 - Friday5 - Friday
14:00Sylvain SchmitzThe complexity of reachability in vector addition systemsG26
111
SWS Colloquium
Hide details for 4 - Thursday4 - Thursday
14:00Marvin DamschenWorst-Case Execution Time Guarantees for Runtime-Reconfigurable ArchitecturesG26 [KL]
111
SWS Colloquium
Hide details for 3 - Wednesday3 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
12:15Balakrishnan ChandrasekaranThe Server-to-Server Landscape: Insights, Opportunities, and ChallengesE1 5
002
Joint Lecture Series
Hide details for 1 - Monday1 - Monday
11:00Carlos CastilloDetecting Algorithmic BiasE1 4
024
INF Distinguished Lecture Series
15:15Joanna BiegaEnhancing Privacy and Fairness in Search SystemsE1 4
024
Promotionskolloquium
Hide details for March 2019March 2019
Hide details for 21 - Thursday21 - Thursday
13:00Pavel VeselyA ϕ-Competitive Algorithm for Scheduling Packets with DeadlinesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Wednesday20 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 14 - Thursday14 - Thursday
13:00Jukka SuomelaThe landscape of distributed time complexityE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 13 - Wednesday13 - Wednesday
10:30Martina MaggioFeedback-Control for Self-Adaptive Predictable ComputingE1 5
029
SWS Colloquium
12:15Gurprit SinghAnalyzing Sample Correlations for Monte Carlo RenderingE1 5
002
Joint Lecture Series
Hide details for 12 - Tuesday12 - Tuesday
13:00Boaz Patt-ShamirOn the Probe Complexity of Local Computation AlgorithmsE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 11 - Monday11 - Monday
10:30Sangeetha Abdu JyothiAutomated Resource Management in Large-Scale Networked SystemsE1 5
029
SWS Colloquium
Hide details for 8 - Friday8 - Friday
10:30Matthias BeckerPredictable Execution of Real-Time Applications on Many-Core PlatformsG26 [KL]
111
SWS Colloquium
Hide details for 7 - Thursday7 - Thursday
10:30Oana GogaPrivacy, Transparency and Trust in the User-Centric InternetE1 5
029
SWS Colloquium
13:00Ioana BerceaPower of two choices filter for approximate membership queriesE1 4
024
AG1 Advanced Mini-Course
16:30Aastha MehtaMitigating data leaks in real world systemsE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 6 - Wednesday6 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 5 - Tuesday5 - Tuesday
10:30Mrinmaya SachanTowards Literate Artificial IntelligenceE1 5
029
SWS Colloquium
13:00Enrico FaccaNature-Inspired OptimizationE1 4
024
AG1 Mittagsseminar (own work)
Hide details for February 2019February 2019
Hide details for 28 - Thursday28 - Thursday
10:30Natacha CrooksA Client-centric Approach to Transactional DatastoresE1 5
029
SWS Colloquium
Hide details for 26 - Tuesday26 - Tuesday
13:00Joel RybickiApproximate Agreement on GraphsE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 20 - Wednesday20 - Wednesday
10:30Theodoros Gkountouvas: Improving Data Analysis by Exploiting Temporal InformationE1 5
029
Talk
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 18 - Monday18 - Monday
10:30Malte SchwarzkopfNew Abstractions for High-Performance Datacenter ApplicationsE1 5
029
SWS Colloquium
Hide details for 14 - Thursday14 - Thursday
09:00Viktor ErdélyiScalable positioning of commodity mobile devices using audio signalsE1 5
029
SWS Student Defense Talks - Thesis Defense
13:00Jukka SuomelaLower bounds for maximal matchings and maximal independent setsE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 12 - Tuesday12 - Tuesday
13:00Michael KenzelSoftware Graphics Pipelines for the GPUDFKI D3 4
VisCenter, -1.63
Talk
13:00Pranabendu MisraParameterized Complexity of Connectivity Augmentation problemsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Thursday7 - Thursday
10:30Cristian CadarDynamic Symbolic Execution for Software AnalysisG26 [KL]
111
SWS Distinguished Lecture Series
Hide details for 6 - Wednesday6 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
12:15Adish SinglaMachine TeachingE1 5
002
Joint Lecture Series
16:15Saeed AmiriReading Group: Important Cuts and their ApplicationsE1 4
024
MPI-Seminar
Hide details for 5 - Tuesday5 - Tuesday
17: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
18: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
10: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
16:15Eunjin OhReading Group: Clustering Problems on Sliding WindowsE1 4
024
MPI-Seminar
Hide details for 25 - Friday25 - Friday
10:00Jürgen GieslAutomated Complexity Analysis for Java Programs with AProVEE1 5
002
Talk
Hide details for 24 - Thursday24 - Thursday
13:00Vasileios NakosNearly Optimal Sparse Polynomial MultiplicationE1 4
024
AG1 Mittagsseminar (own work)
16:00Florian FrohnComplexity Analysis for Term Rewriting by Integer Transition SystemsE1 5
002
Talk
Hide details for 23 - Wednesday23 - Wednesday
16: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
10:00Florian FrohnAutomated Complexity Analysis of Rewrite SystemsG26 [KL]
111
SWS Colloquium
13:00Stefano LeucciOptimal Sorting with Persistent Comparison ErrorsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Wednesday16 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
16:15Daniel RadkeRefined Vertex Sparsifiers of Planar GraphsE1 4
024
MPI-Seminar
Hide details for 15 - Tuesday15 - Tuesday
13: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
16:00Juhi KulshresthaQuantifying & Characterizing Information Diets of Social Media UsersE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 19 - Wednesday19 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 13 - Thursday13 - Thursday
10:30Animesh MukherjeeLanguage dynamics in social mediaG26 [KL]
113
SWS Colloquium
13: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
16:15Antonios AntoniadisA Nearly-linear Bound for Chasing Nested Convex BodiesE1 4
024
MPI-Seminar
Hide details for 11 - Tuesday11 - Tuesday
13: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
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
12:15Nico DöttlingPost-quantum Challenges in Secure ComputationE1 5
002
Joint Lecture Series
16:15Alkmini SgouritsaBarriers to Near-Optimal EquilibriaE1 4
024
MPI-Seminar
Hide details for 3 - Monday3 - Monday
16: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
13:00Bhaskar Ray ChaudhurySketching, Streaming and Fine Grained Complexity of (Weighted) LCSE 1 4
024
AG1 Mittagsseminar (own work)
Hide details for 27 - Tuesday27 - Tuesday
10:30Paul ResnickSurvey Equivalence: An Information-theoretic Measure of Classifier Accuracy When the Ground Truth is SubjectiveE1 5
002
SWS Distinguished Lecture Series
13:00Attila KinaliNoise in Sine-to-Square ConvertersE1 4
024
AG1 Mittagsseminar (own work)
16:15Pavel KolevAlgorithmic Results for Clustering and Refined Physarum AnalysisE1 5
029
Promotionskolloquium
Hide details for 22 - Thursday22 - Thursday
13:00Yiannis GiannakopoulosOptimality and Approximation in Revenue-Maximizing AuctionsE1 4
024
AG1 Advanced Mini-Course
14:30Georg von der BrueggenMore Realistic Scheduling Models and Analyses for Advanced Real-Time Embedded SystemsG26 [KL]
111
SWS Colloquium
16:00Wojciech CzerwińskiThe Reachability Problem for Vector Addition Systems is Not ElementaryG26 [KL]
111
SWS Colloquium
Hide details for 21 - Wednesday21 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
16:15André NusserCustomizable Route Planning in Road NetworksE1 4
024
MPI-Seminar
Hide details for 19 - Monday19 - Monday
10:30Peter MüllerVerified Secure RoutingG26 [KL]
111
SWS Distinguished Lecture Series
Hide details for 14 - Wednesday14 - Wednesday
10:30Dr. Martina MaggioFeedback Control for Predictable Cloud ComputingG26
111
SWS Colloquium
16:15Daniel VazEuclidean spanners: Short, Thin and LankyE1 4
024
MPI-Seminar
Hide details for 13 - Tuesday13 - Tuesday
10: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
10:30Daniel MarxThe Optimality Program in Parameterized AlgorithmsE1 4
024
INF Distinguished Lecture Series
10:30Hoda HeidariFairness for Sequential Decision Making AlgorithmsE1 5
029
SWS Colloquium
Hide details for 7 - Wednesday7 - Wednesday
10:00VerschiedeneSymposium for Women in IT and related subjectsE1 5
ground floor
Talk
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
12:15Andreas ZellerGenerating Software TestsE1 5
002
Joint Lecture Series
16:15Tim OosterwijkPotential Function Minimizers of Combinatorial Congestion Games: Efficiency and ComputationE1 4
024
MPI-Seminar
Hide details for 6 - Tuesday6 - Tuesday
13:00Tobias NipkowVerified Analysis of Algorithms: A Biased SurveyE1 4
024
AG1 Mittagsseminar (own work)
16: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
10:00Vijay SaraswatChallenges in deep text understanding in professional domainsE1 4
024
MPI Colloquium Series Distinguished Speaker
13:00Matthias LeinenEfficient Generation of 1/f^alpha Noise in Matlab SimulinkE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Wednesday24 - Wednesday
16:15Kurt MehlhornA New Path from Splay to Dynamic OptimalityE1 4
024
MPI-Seminar
Hide details for 22 - Monday22 - Monday
10:30Sara AchourCompiling Dynamical Systems for Efficient Simulation on Reconfigurable Analog ComputersG26 [KL]
111
SWS Colloquium
Hide details for 19 - Friday19 - Friday
10:30Edith ElkindJustified representation in multiwinner voting: axioms and algorithmsG26 [KL]
111
SWS Distinguished Lecture Series
13:00Yue ZhangInteractive Multi-style Pen-and-Ink Drawings from ImagesE1 4
019
Talk
Hide details for 18 - Thursday18 - Thursday
13:00Suryajith ChillaraA Quadratic Size-Hierarchy Theorem for Small-Depth Multilinear FormulasE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Tuesday16 - Tuesday
13:00Reuven HodgesA non-iterative rule for straightening fillings of Young diagramsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Monday15 - Monday
10:30Dana Drachsler CohenAI2: Safety and Robustness Certification of Neural Networks with Abstract InterpretationG26 [KL]
111
SWS Colloquium
Hide details for 10 - Wednesday10 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
12:15Rishiraj Saha RoyComplexity in Question AnsweringE1 5
002
Joint Lecture Series
Hide details for 8 - Monday8 - Monday
11:00Debabrata MahapatraDNNs for Sparse Coding and Dictionary LearningE1 5
R029
PhD Application Talk
11:00Upendra KapshikarCould code based cryptosystems be more compact?E1 5
R029
PhD Application Talk
Hide details for 4 - Thursday4 - Thursday
13:00Andrés CristiA Near Optimal Mechanism for Energy Aware SchedulingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Tuesday2 - Tuesday
13: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
13:00Sourav ChakrabortyOn the power of Conditional SamplingE1 4
023
AG1 Mittagsseminar (own work)
Hide details for 27 - Thursday27 - Thursday
13:00Alkmini SgouritsaDesigning Cost-Sharing Networks with Good Equilibria Under UncertaintyE1 4
019
AG1 Mittagsseminar (own work)
Hide details for 26 - Wednesday26 - Wednesday
11:00Xucong ZhangGaze Estimation and Interaction in Real-World EnvironmentsE1 4
019
Promotionskolloquium
Hide details for 21 - Friday21 - Friday
10:30Vlad NituImproving the energy efficiency of virtualized datacentersG26 [KL]
111
SWS Colloquium
Hide details for 20 - Thursday20 - Thursday
14:00Randy BushCritical Infrastructure vs Computer Science vs Software Engineering - We are DoomedE1 4
019
Talk
Hide details for 19 - Wednesday19 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for 18 - Tuesday18 - Tuesday
10:00Hamish CarrTopological Analysis of Scientific DataE1 4
019
Talk
14:00Fouzhan HosseiniSkeletons for Distributed Topological ComputationE1 4
019
Talk
Hide details for 13 - Thursday13 - Thursday
13:00Tim OosterwijkAbout the Price of Anarchy for Flows over TimeE1 4
024
AG1 Mittagsseminar (own work)
14:30David BromanGradually Typed Symbolic Expressions: an Approach for Developing Embedded Domain-Specific Modeling LanguagesG26 [KL]
113
SWS Colloquium
Hide details for 12 - Wednesday12 - Wednesday
15:30Saranya NatarajanTimed C: An Extension to the C Programming Language for Real-Time SystemsG26 [KL]
113
SWS Colloquium
Hide details for 10 - Monday10 - Monday
16: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
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
Hide details for August 2018August 2018
Hide details for 28 - Tuesday28 - Tuesday
13:00Gautam Shroff (Chief ScientistFrom Conversational Interfaces to Knowledge Synthesis & Semantic SystemsE1 4
024
MPI Colloquium Series Distinguished Speaker
Hide details for 24 - Friday24 - Friday
10:30Venkat PadmanabhanHAMS: Harnessing AutoMobiles for SafetyE1 5
029
SWS Distinguished Lecture Series
Hide details for 23 - Thursday23 - Thursday
13:00Bhaskar Ray ChaudhuryCurve Simplification has cubic complexityE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Tuesday21 - Tuesday
14:00Andreas WeberFrom Tarski to Tropical Geometry: Towards Symbolic Analysis of Biological NetworksE1 4
024
Talk
14: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
11:00Vijay V. VaziraniPlanar Graph Perfect Matching is in NCE1 4
024
INF Distinguished Lecture Series
Hide details for 9 - Thursday9 - Thursday
13:00Karsten KleinImmersive Analytics - Concepts and ChallengesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Tuesday7 - Tuesday
13:00Gorav JindalOn the Complexity of Symmetric PolynomialsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Monday6 - Monday
10:30Florian TramèrA tour of ML securityE9 1
0.05
Talk
14:00Vitaly ShmatikovThe Machine Learning Revolution in Data PrivacyE1 4
024
Talk
16:00Seong Joon OhImage Manipulation against Learned Models: Privacy and Security ImplicationsE1 4
024
Promotionskolloquium
Hide details for 1 - Wednesday1 - Wednesday
11:30Kurt MehlhornD1 Group MeetingE1 4
333
AG1 Group Meeting
12: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
11:00Bojana KodricIncentives in Dynamic MarketsE1.7 (MMCI)
001
Promotionskolloquium
14:00Ruben BeckerOn Flows, Paths, Roots, and ZerosE1.7 (MMCI)
001
Promotionskolloquium
Hide details for 20 - Friday20 - Friday
13: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
13:00Debarati DasApproximating Edit Distance Within Constant Factor in Truly Sub-Quadratic TimeE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Monday16 - Monday
12:00Max Maria LoschInspectable Deep Learning with Bayesian StatisticsE1 4
024
IMPRS Research Seminar
Hide details for 12 - Thursday12 - Thursday
13:00Cornelius BrandExtensor-CodingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Tuesday10 - Tuesday
13:00Gorav JindalA deterministic PTAS for the transcendence degree of constant degree polynomialsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Thursday5 - Thursday
13:00Daniel VazBeyond Metric Embedding: Approximating Group Steiner Trees on Bounded Treewidth GraphsE1 4
024
AG1 Mittagsseminar (own work)
16:00Nikhil BalajiWaring rank of monomialE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Wednesday4 - Wednesday
12:15Maria ChristakisPractical Program AnalysisE1 5
002
Joint Lecture Series
13:00various3rd Networking-Meet-Up for Women in Computer ScienceE1 5
0.29
Presentation
Hide details for 3 - Tuesday3 - Tuesday
13: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
10:30Nils AsmussenDesigning a System for Heterogeneous Compute UnitsG26 [KL]
111
SWS Colloquium
11:30Joël OuaknineProgram InvariantsG26
111
SWS Colloquium
14:00Sam LindleyOn the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited continuationsG26
111
SWS Colloquium
Hide details for 28 - Thursday28 - Thursday
11:00Davis IssacSpanning Tree Congestion and Computation of Generalized Gyori-Lovasz PartitionE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Tuesday26 - Tuesday
10:30Michael MozerBoosting human capabilities on perceptual categorization tasksG26 [KL]
111
SWS Distinguished Lecture Series
13:00Joël OuakninePolynomial Invariants for Affine ProgramsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Monday25 - Monday
10:00Bruce M. MaggsThe Web PKI in Theory and MalpracticeE1 5
029
Talk
Hide details for 21 - Thursday21 - Thursday
15: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
13:00Yaroslav ShitovHow hard is the tensor rank?E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Friday15 - Friday
12:00Niels LandwehrMachine Learning for Spatially and Temporally Varying DataE1 5
029
Talk
Hide details for 14 - Thursday14 - Thursday
10:00Jörg LückeAccelerated Learning of Probabilistic Data Models for Large-Scale ApplicationsE1 5
029
Talk
13:00Kurt MehlhornOn Fair Division of Indisible Goods (Practice Talk for an Invited Lecture at Sirocco 18)E1 4
024
AG1 Mittagsseminar (own work)
14:00Nihat AyInformation Geometry of Learning SystemsE1 5
029
Talk
17:00Johannes KloosHeap-based reasoning about asynchronous programsG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 13 - Wednesday13 - Wednesday
10:00Christoph LampertPrincipled Transfer LearningE1 5
029
Talk
12:00Daniel NeiderMachine Learning Meets Formal MethodsE1 5
029
Talk
Hide details for 12 - Tuesday12 - Tuesday
10:00Gerhard NeumannInformation-Geometric Policy Search for Learning Versatile, Reusable SkillsE1 5
029
Talk
12:00Marius KloftExtreme Classification: Algorithms and TheoryE1 5
029
Talk
Hide details for 11 - Monday11 - Monday
08:00Achim RettingerKnowledge-guided Representation LearningE1 5
029
Talk
10:30Andreas GerstlauerLearning-Based Hardware/Software Power and Performance PredictionE1 5
105
SWS Colloquium
14:00Milica GasicSpoken dialogue systems that learn onlineE1 5
029
Talk
Hide details for 7 - Thursday7 - Thursday
14:00Georg NeisCompositional Compiler Correctness Via Parametric SimulationsE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 6 - Wednesday6 - Wednesday
12:15Anja FeldmannThe Internet: A Complex System at its LimitsE1 5
002
Joint Lecture Series
16: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
11:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
16:15Eunjin OhReading Group: Dynamic Time Warping and Geometric Edit Distance: Breaking the Quadratic BarrierE1 4
022
MPI-Seminar
Hide details for 29 - Tuesday29 - Tuesday
13: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
10: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
13:30Gene MyersTowards Perfect DNA Sequencing and AssemblyE2 2
Günter-Hotz-Hörsaal
Festkolloquium
14:00Nico PfeiferMachine Learning in Infection Research: Including host information to understand viral adaptationE2 2
Günter-Hotz-Hörsaal
Festkolloquium
14:30Yves MoreauBayesian matrix factorization with side information and application to drug-target activity predictionE2 2
Günter-Hotz-Hörsaal
Festkolloquium
15:00Kasia BozekCan you see all the bees? Image analysis for biologyE2 2
Günter-Hotz-Hörsaal
Festkolloquium
16:30Robert TarjanMy work with ThomasE2 2
Günter-Hotz-Hörsaal
Festkolloquium
17:00Jörg RahnenführerModel-based optimization - in high-dimensional survival analysis and in real lifeE2 2
Günter-Hotz-Hörsaal
Festkolloquium
17:30Bastian BeggelMap-Based processing of geospatial data for driver assistance functionsE2 2
Günter-Hotz-Hörsaal
Festkolloquium
18:00Anja FeldmannDistributed Data Collection and Processing at ScaleE2 2
Günter-Hotz-Hörsaal
Festkolloquium
Hide details for 24 - Thursday24 - Thursday
13:00Emanuele NatalePooling or Sampling: Collective Dynamics for Electrical Flow EstimationE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Wednesday23 - Wednesday
16:15André NusserReading Group: A faster algorithm for the discrete Fréchet distance under translationE1 4
022
MPI-Seminar
Hide details for 22 - Tuesday22 - Tuesday
13:00Pranjal DuttaDiscovering the roots: Uniform closure results for algebraic classes under factoringE1 4
024
AG1 Mittagsseminar (own work)
14:00Werner SeilerFrom Singularities of Algebraic Differential Equations to Real Algebraic GeometricE1 5
630
Talk
Hide details for 16 - Wednesday16 - Wednesday
11:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
16:15Andreas SchmidtReading Group: Sparse Kneser graphs are HamiltonianE1 4
022
MPI-Seminar
Hide details for 15 - Tuesday15 - Tuesday
10:00Thomas RothvossModern algorithms for Bin packingE1 4
024
INF Distinguished Lecture Series
Hide details for 9 - Wednesday9 - Wednesday
16:15Nitin SaurabhArithmetic Circuits : A chasm at depth fourE1 4
022
MPI-Seminar
Hide details for 8 - Tuesday8 - Tuesday
13: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
09:30Aniket RoyMultimedia Security through Digital Image ForensicsE1 4
0.24
PhD Application Talk
09:30Sagar VermaEgocentric Video UnderstandingE1 4
0.24
PhD Application Talk
09:30Stavros PetsalakisFine Grained Complexity: Exploring Reductions and their PropertiesE1 4
0.24
PhD Application Talk
10:30Joshua KrollAccountability in the Governance of Machine LearningE1 5
029
SWS Colloquium
11:00Alberto FioriOn consistency of the Minimalist FoundationE1 4
0.24
PhD Application Talk
11:00Burcu SayinAn Analysis of Information Spreading and Privacy Issues on Social NetworksE1 4
0.24
PhD Application Talk
11:00Ehsam EtesamiModeling and Evaluation of Cloud Services Considering Live Virtual Machine MigrationE1 4
0.24
PhD Application Talk
11:00Safia KalwarSecurity and Privacy in the era of Big dataE1 4
0.24
PhD Application Talk
Hide details for 3 - Thursday3 - Thursday
10:00Nicole ImmorlicaMaximizing the Social Good: Markets without MoneyE1 4
024
INF Distinguished Lecture Series
11: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
10:30Alexandra SilvaProbabilistic Program Equivalence for NetKATE1 5
029
SWS Colloquium
11:30Kurt MehlhornGroup MeetingE1 3
333
AG1 Group Meeting
12:15Gerard Pons-MollCapturing and Learning Digital HumansE1 5
002
Joint Lecture Series
16: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
12:00Michael SchenckComplex Procedural Terrain GenerationE1 4
024
IMPRS Research Seminar
Hide details for 27 - Friday27 - Friday
11:00David DunnPerceptually-based Near Eye DisplaysE1 4
019
Talk
Hide details for 26 - Thursday26 - Thursday
13:00Stefan FunkeHow to Decide Whether a Path is OptimalE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Wednesday25 - Wednesday
16:00Wenbin LiFrom Perception over Anticipation to ManipulationE1 4
019
Promotionskolloquium
Hide details for 24 - Tuesday24 - Tuesday
13:00Karol WęgrzyckiSubquadratic Approximation Scheme for PartitionE1 4
024
AG1 Mittagsseminar (own work)
18:00Kurt MehlhornAlgorithms and Programs -- My Fascination for Computer ScienceE1 5
002
MPI Colloquium Series Distinguished Speaker
Hide details for 20 - Friday20 - Friday
10: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
16:15Daniel VazReading Group: Minimum Weight 2-Edge-Connected Spanning Subgraphs in Planar GraphsE1 4
022
MPI-Seminar
Hide details for 11 - Wednesday11 - Wednesday
11:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
12:15Holger HermannsPower to the People. Verified.E1 5
002
Joint Lecture Series
Hide details for 10 - Tuesday10 - Tuesday
13:00Davis IssacAlgorithms and Bounds for Very Strong Rainbow Coloring of GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Thursday5 - Thursday
13:00Paul ManderscheidSAR Phase Unwrapping by Undirected Shortest TransshipmentE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Wednesday4 - Wednesday
10:30Prof. Martin GroheLovasz meets Weisfeiler-LemanG26 [KL]
111
SWS Colloquium
11:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
16:00Cathy McGeochPerformance Evaluation for Annealing Based Quantum ComputersE1 4
024
Colloquium Lecture
Hide details for March 2018March 2018
Hide details for 28 - Wednesday28 - Wednesday
16: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
13:00Eunjin OhPoint Location in Dynamic Planar SubdivisionsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Monday26 - Monday
10:30Tim AlthoffData Science for Human Well-beingG26
111
SWS Colloquium
15: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
10:30Nicolas PapernotCharacterizing the Space of Adversarial Examples in Machine LearningE1 5
029
SWS Colloquium
13:00Kurt MehlhornFair DivisionE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 21 - Wednesday21 - Wednesday
11:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
Hide details for 19 - Monday19 - Monday
10:30Mihir NanavatiCatch-22: Isolation and Efficiency in DatacentersG26 [KL]
111
SWS Colloquium
11: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
13:00Meena MahajanShort proofs with simple arithmetic?E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Thursday15 - Thursday
10:30Dr. Caterina UrbanStatic Program Analysis for a Software-Driven SocietyG26 [KL]
111
SWS Colloquium
13:00Karl BringmannMore Consequences of Falsifying SETH and the Orthogonal Vectors ConjectureE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Wednesday14 - Wednesday
18:00Nima AnariTCS+ talk: Planar Graph Perfect Matching is in NCE1 4
D1 Rotunda
Talk
Hide details for 12 - Monday12 - Monday
10:00Arunav MishraLeveraging Semantic Annotations for Event-focused Search & SummarizationE1 4
0.24
Promotionskolloquium
10:30Heather MillerLanguage Support for Distributed Systems in ScalaE1 5
029
SWS Colloquium
Hide details for 8 - Thursday8 - Thursday
13:00Antonios AntoniadisA PTAS for TSP with Hyperplane NeighborhoodsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
11:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
12:15Andrew YatesIncorporating Positional and Contextual Information into a Neural IR ModelE1 5
002
Joint Lecture Series
Hide details for 6 - Tuesday6 - Tuesday
10:00Patrick ErnstBiomedical Knowledge Base Construction from Text and its Applications in Knowledge-based SystemsE1 4
024
Promotionskolloquium
13:00Grigorios KoumoutsosWeighted k-Server Bounds via Combinatorial DichotomiesE1 4
024
AG1 Mittagsseminar (own work)
14:00Hoon HongImproved Root Separation Bound: Bigger and GeometricE1 4
024
Talk
Hide details for 5 - Monday5 - Monday
10:30Jonathan MaceObserving and Controlling Distributed Systems with Cross-Cutting ToolsG26 [KL]
111
SWS Colloquium
Hide details for 1 - Thursday1 - Thursday
10: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
10:30Kevin BorgolteFighting Large-scale Internet AbuseE1 5
029
SWS Colloquium
Hide details for 22 - Thursday22 - Thursday
13: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
11:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
Hide details for 20 - Tuesday20 - Tuesday
13:00Bundit LaekhanukitOn the Parameterized Complexity of Approximating Dominating SetE1 4
024
Talk
Hide details for 19 - Monday19 - Monday
10:30Antoine KaufmannHigh Performance Data Center TCP Packet ProcessingG26 [KL]
111
SWS Colloquium
Hide details for 15 - Thursday15 - Thursday
10:30Keon JangTowards Latency Guarantees in DatacentersE1 5
029
SWS Colloquium
13:00Bernhard HaeuplerSynchronization Strings and Coding for Insertions and DeletionsE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 14 - Wednesday14 - Wednesday
19:00Dor MinzerTCS+ talk: 2-to-2 Games via expansion on the Grassmann GraphE1 4
D1 Rotunda
Talk
Hide details for 13 - Tuesday13 - Tuesday
13:00Saeed AmiriDistributed Dominating Set in Bounded Genus GraphsE1 4
024
AG1 Mittagsseminar (own work)
15:15Bernhard HäuplerFast Distributed Optimization Algorithms via Low-Congestion ShortcutsE1 4
024
INF Distinguished Lecture Series
Hide details for 12 - Monday12 - Monday
10:30Niki VazouLiquid Haskell: Usable Language-Based Program VerificationE1 5
029
SWS Colloquium
Hide details for 9 - Friday9 - Friday
16: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
10:30Zsolt IstvanCaribou -- Intelligent Distributed Storage for the DatacenterE1 5
029
SWS Colloquium
Hide details for 7 - Wednesday7 - Wednesday
11:30Kurt MehlhornGroup Meeting, D1E1 4
Rotunda
AG1 Group Meeting
Hide details for 1 - Thursday1 - Thursday
13: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
19: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
11:00Dr. Herbert JägerAn Introduction to Reservoir Computing, and BeyondE1 5
029
AG3 Talk
Hide details for 22 - Monday22 - Monday
16:00Ezgi ÇiçekRelational Cost AnalysisE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 17 - Wednesday17 - Wednesday
11:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
Hide details for 16 - Tuesday16 - Tuesday
13:00Christian IkenmeyerOn algebraic branching programs of small widthE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Thursday11 - Thursday
13:00Saeed AmiriDisjoint Paths ProblemE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Tuesday9 - Tuesday
13:00Saeed AmiriErdos Posa Property in DigraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for December 2017December 2017
Hide details for 20 - Wednesday20 - Wednesday
17:00Anna KhorevaLearning to Segment in Images and Videos with Different Forms of SupervisionE1 4
024
Promotionskolloquium
Hide details for 19 - Tuesday19 - Tuesday
14: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
12:00Prof. Gerhard WeikumTalk on Good Scientific PracticeE1 4
R024
IMPRS Research Seminar
14: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
13:00Tetiana LavynskaOn Biclique Cover and Partition of Bipartite GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Monday11 - Monday
11:00Aruni ChoudharyApproximation Algorithms for Vietoris-Rips and Cech FiltrationsE1 4
019
Promotionskolloquium
Hide details for 8 - Friday8 - Friday
12:00David SwaseyFormal and Compositional Reasoning about Object CapabilitiesE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 7 - Thursday7 - Thursday
13:00Laszlo KozmaSelection from heaps, row-sorted matrices and X + Y using soft heapsE1 4
024
AG1 Mittagsseminar (own work)
14:15Nisheeth VishnoiAlgorithms, Complexity, and BiasE1 4
024
MPI Colloquium Series Distinguished Speaker
Hide details for 6 - Wednesday6 - Wednesday
12:15Joël OuaknineFundamental Algorithmic Problems and Challenges in Dynamical and Cyber-Physical SystemsE1 5
002
Joint Lecture Series
Hide details for 4 - Monday4 - Monday
16:15Kai HuiAutomatic Methods for Low-Cost Evaluation and Position-Aware Models for Neural Information RetrievalE1 5
029
Promotionskolloquium
Hide details for 1 - Friday1 - Friday
14:00Dat Ba NguyenJoint Models for Information and Knowledge ExtractionE1 4
024
Promotionskolloquium
Hide details for November 2017November 2017
Hide details for 30 - Thursday30 - Thursday
13:00Emilio CrucianiSome new results for opinion dynamics on social networksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 29 - Wednesday29 - Wednesday
16: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
13:00Günter SchmidtCompetitive Analysis of Bi-directional Non-preemptive ConversionE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Wednesday22 - Wednesday
10:30Hugo FéréeFormal Proof of Polynomial-Time Complexity with Quasi-InterpretationsE1 5
029
SWS Colloquium
Hide details for 20 - Monday20 - Monday
16:00Mainack MondalUnderstanding & Controlling User Privacy in Social Media via ExposureE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 17 - Friday17 - Friday
15:00Marko DokoProgram Logic for Weak Memory ConcurrencyG26 [KL]
111
SWS Student Defense Talks - Thesis Proposal
Hide details for 16 - Thursday16 - Thursday
14:00Soham ChakrabortyCorrect Compilation of Relaxed Memory ConcurrencyG26 [KL]
111
SWS Student Defense Talks - Thesis Proposal
Hide details for 15 - Wednesday15 - Wednesday
11:30Kurt MehlhornGroup MeetingE1 4
Rotunda
AG1 Group Meeting
Hide details for 14 - Tuesday14 - Tuesday
13: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
10:00Rakesh AgrawalToward Data-Driven EducationE1 5
002
SWS Distinguished Lecture Series
Hide details for 10 - Friday10 - Friday
13:00Oliver NalbachSmarter Screen Space ShadingE1 4
019
Promotionskolloquium
15: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
11:00Wolfgang AhrendtStaRVOOrS: Combined Static and Runtime Verification of Object-Oriented SoftwareE1 5
029
SWS Colloquium
13: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
12:15Karl BringmannFine-Grained Complexity: Hardness for a Big Data WorldE1 5
002
Joint Lecture Series
16:00Juhi KulshresthaQuantifying & Characterizing Information Diets of Social Media UsersE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 6 - Monday6 - Monday
11:00Pietro FerraraJulia: An abstract interpretation-based static analyzer of industrial OO softwareG26 [KL]
113
MPI-Kolloquium
Hide details for 2 - Thursday2 - Thursday
14:00Dr. Steffen RochelDeep Learning in Apache MxNet GluonE1 3
HS002
Talk
Hide details for October 2017October 2017
Hide details for 30 - Monday30 - Monday
12:00Khansa RekikResults of planning for sentence generationE1 4
022
IMPRS Research Seminar
Hide details for 27 - Friday27 - Friday
10:00Prof. Dr.-Ing. Stefan SeeleckeActuation and New MaterialsE1 7
0.01
Talk
10:00Prof. Dr.-Ing. Stefan SeeleckeActuation and New MaterialsE1 7
0.01
Talk
13:00Kurt MehlhornPhysarum solves Positive Undirected LPsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Tuesday24 - Tuesday
12:57Dr.-Ing. Stefan SeeleckeActuation and New MaterialE1 7
0.01
Talk
09:30YuDelegation HANCOM Group, KoreaE1 5
R 0.29
Presentation
15:00Annette DiehlSexualisierte Diskriminierung und GewaltE1 5
002
Talk
Hide details for 23 - Monday23 - Monday
12:00Vinh Thinh HoApproaches for Word RepresentationsE1 4
022
IMPRS Research Seminar
Hide details for 19 - Thursday19 - Thursday
13:00Kevin SchewiorA Tight Lower Bound for Online Convex Optimization with Switching CostsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Tuesday17 - Tuesday
13: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
15:00Natalia BoldyrevAlignment of Multi-Cultural Knowledge RepositoriesE1 4
024
Promotionskolloquium
Hide details for 12 - Thursday12 - Thursday
13:00Ruben BeckerNear-Optimal Approximate Shortest Paths and Transshipment in Distributed and Streaming ModelsE1 4
024
AG1 Mittagsseminar (own work)
14:00Dr. Donald DansereauComputational Imaging for Robotic VisionE1 4
019
Talk
Hide details for 11 - Wednesday11 - Wednesday
11:00Cosmina CroitoruGraph Models for Rational Social Interaction - PhD VerteidigungE1 4
019
Promotionskolloquium
16:15Leila AmgoudEvaluation Methods of ArgumentsE1 4
024
Talk
Hide details for 10 - Tuesday10 - Tuesday
09:30David KaltenpothDistinguishing Confounding from CausalityE1 4
024
PhD Application Talk
09:30Hiba ArnaoutEffective Searching of RDF Knowledge GraphsE1 4
024
PhD Application Talk
09:30Xiaoyu ShenLatent Variable Models in Dialogue GenerationE1 4
R024
PhD Application Talk
11: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
11:00Jana EblerHaplotype-Aware Genotyping from Long Sequencing ReadsE1 4
024
PhD Application Talk
11:00Jonas FischerFast methylation calling on mammalian bisulfite sequencing dataE1 4
024
PhD Application Talk
13:00Janne H. KorhonenLCL problems on gridsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Monday9 - Monday
16: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
13: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
12: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
15:00Siyu TangPeople Detection and Tracking in Crowded ScenesE1 4
024
Promotionskolloquium
Hide details for 20 - Wednesday20 - Wednesday
11:30Christoph LenzenGroup MeetingE1 4
Rotunde
AG1 Group Meeting
Hide details for 14 - Thursday14 - Thursday
13:00Mathew FrancisInduced Colourful Paths in Triangle-free GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Tuesday12 - Tuesday
13:00Giacomo ScornavaccaRational Fair Consensus in the GOSSIP ModelE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Monday11 - Monday
15:30Stephan FriedrichsMetastability-Containing Circuits, Parallel Distance Problems, and Terrain GuardingE1 4
024
Promotionskolloquium
Hide details for 6 - Wednesday6 - Wednesday
12:15Christian IkenmeyerGeometric Complexity Theory: An ambitious approach towards P versus NPE1 5
002
Joint Lecture Series
Hide details for 4 - Monday4 - Monday
16: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
13:00Aruni ChoudharyImproved Approximate Rips Filtrations with Shifted Integer LatticesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 18 - Friday18 - Friday
11:00Martin OchoaSecuring Cyber-Physical Systems: Challenges and the road aheadE9 1
Lecture Hall
CISPA Distinguished Lecture Series
Hide details for 17 - Thursday17 - Thursday
13:00Nitin SaurabhUpper bounds on Fourier EntropyE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Wednesday16 - Wednesday
14:00Andreas HerzigDynamic logic and propositional assignmentsE1 4
024
Talk
Hide details for 14 - Monday14 - Monday
15:00Filip NikšićCombinatorial Constructions for Effective TestingG26 [KL]
113
SWS Student Defense Talks - Thesis Proposal
Hide details for 10 - Thursday10 - Thursday
13:00Krzysztof FleszarMaximum Disjoint Paths: New Algorithms based on Tree-LikenessE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Tuesday8 - Tuesday
13:00Andreas SchmidComputing Tutte PathsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Monday7 - Monday
17:00Anjo Vahldiek-OberwagnerTechniques to enforce security policies on untrusted applicationsE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 4 - Friday4 - Friday
13: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
13:00Seri KhouryNew Lower Bounds for the CONGEST modelE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Tuesday25 - Tuesday
10:30Alexandra ChouldechovaFairer and more accurate, but for whom?E1 5
005
SWS Colloquium
11:00Nils Ole TippenhauerPhysical-Layer Security Aspects of ICS and IoTE9 1
Lecture Hall
CISPA Distinguished Lecture Series
13: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
15:00Pierre-Louis GiscardThe Theory of WalksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Thursday20 - Thursday
15:00Prof. Gilles Barthe:Advances in computer-aided cryptographyE9 1
Lecture Hall
CISPA Distinguished Lecture Series
Hide details for 19 - Wednesday19 - Wednesday
11:30Kurt MehlhornGroup MeetingE1 4
Rotunda
AG1 Group Meeting
Hide details for 18 - Tuesday18 - Tuesday
11:00Stavros TripakisSecurity as a System Design ProblemE9 1
lecture hall
CISPA Distinguished Lecture Series
Hide details for 13 - Thursday13 - Thursday
13:00Juho LauriNP-completeness results for partitioning a graph into total dominating setsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Wednesday12 - Wednesday
14:00Dr James HookMax-plus linear regression and low rank matrix approximationE1 5
029
Colloquium Lecture
16:00Dr. Matthias BergIT-Sicherheit mitgestalten beim BSIE9 1
Lecture Hall
Talk
Hide details for 11 - Tuesday11 - Tuesday
11:00Demetris ZeinalipourIndoor Data Management in AnyplaceE1 4
024
Colloquium Lecture
13:00Erik Jan Van LeeuwenParameterized Complexity of Vertex-Partitioning ProblemsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Monday10 - Monday
11:00David EvansAdversarial Machine Learning: Are We Playing the Wrong Game?E9 1
Lecture Hall
CISPA Distinguished Lecture Series
Hide details for 7 - Friday7 - Friday
10:00Kathy StrandburgDecision Making and The Value of ExplanationE1 5
005
SWS Colloquium
Hide details for 6 - Thursday6 - Thursday
11:00Stephan GünnemannRobust and Scalable Learning with GraphsE1 5
029
Colloquium Lecture
13:00Attila KinaliThe Use of Fault-tolerant Clock Synchronization Algorithms for Time ScalesE1 4
024
AG1 Mittagsseminar (own work)
16:00Subhabrata MukherjeeProbabilistic Graphical Models for Credibility Analysis in Evolving Online CommunitiesE1 5
029
Promotionskolloquium
Hide details for 5 - Wednesday5 - Wednesday
12: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
14: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
11:15Peter WonkaInteger Programming for Layout ProblemsE1 4
019
Talk
13:00Ruben HoeksmaPosted price mechanisms for a random stream of customersE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 28 - Wednesday28 - Wednesday
15:00Adam GrycnerConstructing Lexicons of Relational PhrasesE1 5
029
Promotionskolloquium
Hide details for 27 - Tuesday27 - Tuesday
11:00Manolis KoubarakisData Models and Query Languages for Linked Spatiotemporal DataE1 4
024
Colloquium Lecture
Hide details for 26 - Monday26 - Monday
10:30Giovanni Luca CiampagliaFinding Fake NewsE1 5
029
SWS Colloquium
Hide details for 21 - Wednesday21 - Wednesday
11:30Andreas KarrenbauerGroup MeetingE1 4
333
AG1 Group Meeting
Hide details for 20 - Tuesday20 - Tuesday
17:00Mateusz MalinowskiTowards Holistic Machines: From Visual Recognition To Question Answering About Real-World ImagesE1 4
024
Promotionskolloquium
Hide details for 19 - Monday19 - Monday
10:00Arpit MerchantEfficiently Estimationg Primitive Graph PropertiesE1 4
0.24
PhD Application Talk
10:00Deeksha AdilMatching Under PreferencesE1 4
0.24
PhD Application Talk
10:00Mohammad Bashir KazimiCoverage Model for Character-based Neural Machine TranslationE1 4
0.24
PhD Application Talk
10:00Saharnaz E. DilmaghaniPrivacy Preserving Personal Health Record against Brute-Force AttackE1 4
0.24
PhD Application Talk
13:00Christoph LenzenPractice Talk: The many Faces of Clock SynchronizationE1 4
3rd floor rotunda
Talk
Hide details for 14 - Wednesday14 - Wednesday
13:00Eslam ElniketyComprehensive and Practical Policy Compliance in Data Retrieval SystemsE1 5
029
SWS Student Defense Talks - Thesis Proposal
15:00Till SpeicherDiscrimination in Online AdvertisingE1 5
029
SWS Student Defense Talks - Qualifying Exam
Hide details for 13 - Tuesday13 - Tuesday
11:00Jeff Z. PanThe Rise of Approximate Reasoning: New Roadmap EmergingE1 4
024
Colloquium Lecture
Hide details for 7 - Wednesday7 - Wednesday
11:30AllGroup MeetingE1 4
Rotunde D1
AG1 Group Meeting
12:15Eva DarulovaTowards an Approximating Compiler for Numerical ComputationsE1 5
002
Joint Lecture Series
Hide details for 6 - Tuesday6 - Tuesday
13:00Kevin SchewiorTight Bounds for Online TSP on the LineE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Friday2 - Friday
14:00Ligang Liu3D Printing Oriented Geometric Design and OptimizationE1 4
019
AG4 Talk
Hide details for 1 - Thursday1 - Thursday
13: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
13:00D. SchneiderRigid and Deformable Motion and Disassembly PlanningE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 29 - Monday29 - Monday
14:00NNCybersicherhheit im BND: SSCD-Frühwarnsystem auf Basis technischer AufklärungE9 1
Lecture Hall
Miscellaneous
Hide details for 22 - Monday22 - Monday
14:00Maksim LapinImage Classification with Limited Training Data and Class AmbiguityE1 4
024
Promotionskolloquium
Hide details for 15 - Monday15 - Monday
16:00Anna RohrbachGenerating and Grounding of Natural Language Descriptions for Visual DataE1 4
024
Promotionskolloquium
Hide details for 11 - Thursday11 - Thursday
13:00Kavitha TelikepalliPopularity, Mixed Matchings, and Self-dualityE1 5 -MPI for Softwaresystems
R 029
AG1 Mittagsseminar (own work)
Hide details for 10 - Wednesday10 - Wednesday
09:45Kiran GarimellaQuantifying and Reducing Polarization on Social mediaE1 5
005
SWS Colloquium
11:00Prof. Bernhard HaeuplerSynchronization Strings: Optimal Coding for Insertions and DeletionsE1 5
002
INF Distinguished Lecture Series
Hide details for 9 - Tuesday9 - Tuesday
13:00D1D1 internal poster sessionE1 4
024
AG1 Group Meeting
Hide details for 8 - Monday8 - Monday
10:30Pierre-Marie PédrotAn Effectful Way to Eliminate Addiction to DependenceE1 5
029
SWS Colloquium
Hide details for 5 - Friday5 - Friday
12:30Mike RobertsHarnessing the Creative Power of DronesE1 4
024
AG2 Working Group Seminar
Hide details for 4 - Thursday4 - Thursday
11:00Sebastian TrimpeIntelligent Control SystemsG26 [KL]
113
SWS Colloquium
13:00Philip WellnitzClique-Based Lower Bounds for Parsing Tree-Adjoining Grammars (Bachelorseminar)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Wednesday3 - Wednesday
12:15Daria StepanovaDigital Knowledge: From Facts to Rules and BackE1 5
002
Joint Lecture Series
Hide details for 2 - Tuesday2 - Tuesday
10: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
14:00Michael HaaseAgile Softwareentwicklung in der PraxisE1 3
HS 002
Talk
19:00Paul CheungDigital Journalism in the Age of Mobile Devices and Social MediaE1 5
Lecture Hall
Talk
Hide details for 26 - Wednesday26 - Wednesday
16:00Andrew BaumannSecuring enclaves with formal verificationE1 5
029
SWS Colloquium
Hide details for 25 - Tuesday25 - Tuesday
13:00David P. WoodruffParameterized Complexity of Matrix Factorization ProblemsE1 4
024
Talk
Hide details for 24 - Monday24 - Monday
14:00Vijay GaneshThe Unreasonable Effectiveness of Boolean SAT SolversE1 5
002
Talk
Hide details for 10 - Monday10 - Monday
10:30Oriana RivaComprehensive deep linking for mobile appsG26 [KL]
112
SWS Colloquium
Hide details for 5 - Wednesday5 - Wednesday
12:15Björn AndresGraph Decomposition Problems in Image AnalysisE1 5
002
Joint Lecture Series
Hide details for 4 - Tuesday4 - Tuesday
13:00Matthias FueggerFast Asymptotic and Approximate Consensus in Highly Dynamic NetworksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Monday3 - Monday
10: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
10:30Professor Richard MurrayCombining Computing, Communications and Controls in Safety Critical SystemsG26 [KL]
111
SWS Distinguished Lecture Series
16:00Mainack MondalUnderstanding & Controlling User Privacy in Social Media via ExposureE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 29 - Wednesday29 - Wednesday
11:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
Hide details for 22 - Wednesday22 - Wednesday
10:30Tianyin XuHardening cloud and datacenter systems against configuration errorsG26 [KL]
111
SWS Colloquium
Hide details for 17 - Friday17 - Friday
10:00Aurojit PandaA New Approach to Network FunctionsG26 [KL]
111
SWS Colloquium
Hide details for 16 - Thursday16 - Thursday
15: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
15:00Ezgi CicekRelational Cost AnalysisE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 14 - Tuesday14 - Tuesday
14:09Ryota KobayashiEvent time series analysis and its applications to social media analysisE1 5
029
SWS Colloquium
13:00Dror RawitzOnline Budgeted Maximum CoverageE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Bjoern GollaMesh adaption based on Mesh deformation through flow mapsE1 4 - MPI-INF
024
AG4 Talk
Hide details for 13 - Monday13 - Monday
10:30Raymond ChengPrivacy as a ServiceE1 5
029
SWS Colloquium
Hide details for 9 - Thursday9 - Thursday
16:00Sourav DuttaEfficient knowledge management for named entities from textE1 4
024
Promotionskolloquium
Hide details for 8 - Wednesday8 - Wednesday
10:00Justin HsuRandomized Algorithms Meets Formal VerificationE1 5
029
SWS Colloquium
Hide details for 7 - Tuesday7 - Tuesday
10:00Kuldeep MeelConstrained Counting and Sampling: Bridging the Gap between Theory and PracticeE1 5
029
SWS Colloquium
Hide details for 3 - Friday3 - Friday
10:00Mijung ParkVariational Bayes In Private SettingsG26 [KL]
111
SWS Colloquium
Hide details for 2 - Thursday2 - Thursday
13:00Adi RosénSemi-Streaming Set CoverE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Wednesday1 - Wednesday
12:15Paul FrancisThe Diffix Framework: Noise Revisited, AgainE1 5
002
Joint Lecture Series
Hide details for February 2017February 2017
Hide details for 28 - Tuesday28 - Tuesday
10:00Adish SinglaLearning With and From PeopleG26 [KL]
111
SWS Colloquium
11:00Maarten de RijkeThe Birth of Collective Memories: Analyzing Emerging Entities in Text StreamsE1 4
024
Colloquium Lecture
15:00Erdal KuzeyPopulating knowledge bases with temporal informationE1 4
024
Promotionskolloquium
Hide details for 22 - Wednesday22 - Wednesday
10:30Magnus MyreenA New Verified Compiler Backend for CakeMLE1 5
029
SWS Colloquium
Hide details for 21 - Tuesday21 - Tuesday
10:30Renato MancusoSafe, Real-Time Software Reference Architectures for Cyber-Physical SystemsG26 [KL]
111
SWS Colloquium
10:30Timothy H. EdgarCybersecurity and civil liberties - how the new U.S. government will approach cyber threatsE9 1
007
CISPA Distinguished Lecture Series
11: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
10:00Simina BranzeiComputational fair division and mechanism designE1 5
029
SWS Colloquium
Hide details for 17 - Friday17 - Friday
10:30Ali MashtizadehAdventures in Systems Reliability: Replication and ReplayE1 5
029
SWS Colloquium
Hide details for 16 - Thursday16 - Thursday
13:00Luca BecchettiFriend or foe? Population Protocols for Community Sensitive LabelingE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Wednesday15 - Wednesday
10:00Nadia PolikarpovaType-Driven Program SynthesisG26 [KL]
111
SWS Colloquium
Hide details for 14 - Tuesday14 - Tuesday
13: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
10:00Arthur GervaisOn the Security and Scalability of Proof of Work BlockchainsE1 5
029
SWS Colloquium
Hide details for 7 - Tuesday7 - Tuesday
13:00Thorsten TheobaldSome developments in spectrahedral computationE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Monday6 - Monday
10:00Dr. Maria ChristakisGuiding program analyzers toward unsafe executionsG26 [KL]
111
SWS Colloquium
15:00Sairam GurajadaDistributed Querying of Large Labeled GraphsE1 5
0.29
Promotionskolloquium
Hide details for 1 - Wednesday1 - Wednesday
12:15Shida BeigpourInverse RenderingE1 5
002
Joint Lecture Series
Hide details for January 2017January 2017
Hide details for 31 - Tuesday31 - Tuesday
13:00Jesper NederlofFaster Space Efficient Algorithms for Subset Sum and KnapsackE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 27 - Friday27 - Friday
11:00David P. WoodruffSketching as a Tool for Linear AlgebraE1 4 - MPI-INF
019
Talk
Hide details for 26 - Thursday26 - Thursday
13:00Lucas BoczkowskiMinimizing Message Size in Stochastic Communication Patterns: Fast Self-Stabilizing Protocols with 3 bitsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Tuesday24 - Tuesday
14:15Amos KormanCrazy ants are not so crazyE2 6
E.04
Talk
Hide details for 23 - Monday23 - Monday
11:00James DavenportThe ‘doubly-exponential’ problem in equation/inequality solvingE1 5
002
Talk
Hide details for 20 - Friday20 - Friday
10:00Xiaokun WuStructure-aware content creation – Detection, retargeting and deformationE1 4
019
Promotionskolloquium
Hide details for 11 - Wednesday11 - Wednesday
12:15Jannik StrötgenTime for Text Mining and Information RetrievalE1 5
002
Joint Lecture Series
Hide details for 9 - Monday9 - Monday
14:00Sophie TourretPrime Implicates Generation in Equational LogicE1 5
029
Talk
Hide details for 5 - Thursday5 - Thursday
13:00Daniel VazBeyond Metric Embedding: Approximating Group Steiner Trees on Bounded Treewidth GraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for December 2016December 2016
Hide details for 20 - Tuesday20 - Tuesday
11:30Ravi MadhavanProving Performance Properties of Higher-order Functions with MemoizationG26 [KL]
112
SWS Colloquium
11:30Ravi MadhavanProving Performance Properties of Higher-order Functions with MemoizationG26 [KL]
112
SWS Colloquium
13:00Prof. Torben HagerupOn-the-fly array initializationE1 4
24
AG1 Mittagsseminar (own work)
Hide details for 16 - Friday16 - Friday
16:00Srinath SridharTracking Hands in Action for Gesture-based Computer InputE1 4
019
Promotionskolloquium
Hide details for 15 - Thursday15 - Thursday
13:00Sebastian KrinningerFully dynamic all-pairs shortest paths with worst-case update-time revisitedE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
18:00Helge RhodinFrom motion capture to interactive virtual worldsE1 4
019
Promotionskolloquium
Hide details for 13 - Tuesday13 - Tuesday
13:00Sandy HeydrichFaster approximation schemes for the two-dimensional knapsack problemE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Thursday8 - Thursday
13:00Bojana KodricCombinatorial Secretary Problems with Ordinal InformationE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
12:15Hang ZhouNetwork Inference: Graph Reconstruction and VerificationE1 5
002
Joint Lecture Series
Hide details for 6 - Tuesday6 - Tuesday
13:00Prof. Torben HagerupSuccinct choice dictionariesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Friday2 - Friday
17:00Bernhard ReinertInteractive, Example-driven Synthesis and Manipulation of Visual MediaE1 4
019
Promotionskolloquium
Hide details for November 2016November 2016
Hide details for 24 - Thursday24 - Thursday
13:00Gorav JindalOn Rank of Matrix SpacesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Wednesday23 - Wednesday
13:00Johannes BundMetastability-Containing Sorting NetworksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Tuesday22 - Tuesday
13:00D1D1 Group MeetingE1 4
024
AG1 Group Meeting
Hide details for 16 - Wednesday16 - Wednesday
13:30Cornelia Quennet-ThielenPodiumsdiskussion: Neue Datenräume kreativ nutzen - Open Data für Wissenschaft, Wirtschaft und Gesellschaft ...E1 5
002
Meeting
Hide details for 15 - Tuesday15 - Tuesday
14:00Ravi RamamoorthiSampling and Reconstruction of High-Dimensional Visual AppearanceE1 4
019
Talk
Hide details for 14 - Monday14 - Monday
13:00Yi-Jun ChangEnergy-efficient Leader Election in Wireless NetworksE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 10 - Thursday10 - Thursday
13:00Emanuele NataleFind Your Place: Simple Distributed Algorithms for Community DetectionE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Friday4 - Friday
11:00Albrecht SchmidtAmplifying the Mind with Digital Tools: Technologies to Enhance Human Perception and CognitionE1 7 - MMCI
0.01
Talk
12:00Myroslav BachynskyiBiomechanical Models for Human-Computer InteractionE1 4
019
Promotionskolloquium
15:00Petr KELLNHOFERPerceptual modelling for stereoscopic 3DE1 4
019
Promotionskolloquium
Hide details for 3 - Thursday3 - Thursday
10:30Marco AielloSustaining the Energy Transition: A Role for Computer Science and Complex NetworksG26 [KL]
111
SWS Colloquium
13:00Simone MontangeroExtreme simulations for quantum technologiesE1 4
024
MPI-Kolloquium
Hide details for 2 - Wednesday2 - Wednesday
12:15Viktor VafeiadisA Promising Semantics for Relaxed-Memory ConcurrencyE1 5
002
Joint Lecture Series
Hide details for October 2016October 2016
Hide details for 27 - Thursday27 - Thursday
18:00Johannes KloosHeap-based reasoning about asynchronous concurrencyG26 [KL]
111
SWS Student Defense Talks - Thesis Proposal
Hide details for 20 - Thursday20 - Thursday
14:00Prof. Dr. Riccardo FocardiA Declarative Language for Network SecurityE9 1 - CISPA
005, lecture hall
CISPA Distinguished Lecture Series
Hide details for 19 - Wednesday19 - Wednesday
14:00Dr. Roi PoranneScalable Locally Injective MappingsE1 4
019
AG4 Seminar
Hide details for 18 - Tuesday18 - Tuesday
13:00Jeroen ZuiddamOn the tensor rank of graph tensorsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Friday7 - Friday
11:00Leonid SigalSemantic Embedding Models for Categorization and DetectionE1 4
019
AG2 Seminar
Hide details for 5 - Wednesday5 - Wednesday
12:15Markus BläserPolynomial Identity TestingE1 5
002
Joint Lecture Series
Hide details for September 2016September 2016
Hide details for 29 - Thursday29 - Thursday
14:00Martin BrainThe Difficulty of Achieving (Abstract) SatisfactionE1 4
024
Talk
Hide details for 28 - Wednesday28 - Wednesday
11:00Kasper HornbaekOn being wrong, solving problems, and sharpening concepts in Human-Computer InteractionE1 7 - MMCI
001
Talk
Hide details for 23 - Friday23 - Friday
11:00Beverly LiMulti-Authority ABE: Constructions and ApplicationsE1 5
029
SWS Colloquium
Show details for 21 - Wednesday21 - Wednesday

Previous Page | Next Page | Expand All | Collapse All