Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society


DateTimeSpeakerEvent, Title, TopicBuilding, RoomEvent Type
02/06/201912:15Adish SinglaMachine TeachingE1 5Joint Lecture Series
01/16/201911:30Kurt MehlhornD1 Group MeetingE1 4AG1 Group Meeting
12/19/201811:30Kurt MehlhornD1 Group MeetingE1 4AG1 Group Meeting
12/05/201812:15Nico DöttlingPost-quantum Challenges in Secure ComputationE1 5Joint Lecture Series
12/05/201811:30Kurt MehlhornD1 Group MeetingE1 4AG1 Group Meeting
11/27/201810:30Paul ResnickSurvey Equivalence: An Information-theoretic Measure of Classifier Accuracy When the Ground Truth is SubjectiveE1 5SWS Distinguished Lecture Series
11/22/201816:00Wojciech CzerwińskiThe Reachability Problem for Vector Addition Systems is Not ElementaryG26SWS Colloquium
11/21/201811:30Kurt MehlhornD1 Group MeetingE1 4AG1 Group Meeting
11/07/201812:15Andreas ZellerGenerating Software TestsE1 5Joint Lecture Series
11/07/201811:30Kurt MehlhornD1 Group MeetingE1 4AG1 Group Meeting
10/30/201813:00Matthias LeinenEfficient Generation of 1/f^alpha Noise in Matlab SimulinkE1 4AG1 Mittagsseminar (own work)
10/22/201810:30Sara AchourCompiling Dynamical Systems for Efficient Simulation on Reconfigurable Analog ComputersG26SWS Colloquium
10/19/201810:30Edith ElkindJustified representation in multiwinner voting: axioms and algorithmsG26SWS Distinguished Lecture Series
10/16/201813:00Reuven HodgesA non-iterative rule for straightening fillings of Young diagramsE1 4AG1 Mittagsseminar (own work)
10/15/201810:30Dana Drachsler CohenAI2: Safety and Robustness Certification of Neural Networks with Abstract InterpretationG26SWS Colloquium
10/10/201812:15Rishiraj Saha RoyComplexity in Question AnsweringE1 5Joint Lecture Series
10/10/201811:30Kurt MehlhornExclamation Point IconD1 Group MeetingE1 4AG1 Group Meeting
10/08/201811:00s.t.Debabrata MahapatraDNNs for Sparse Coding and Dictionary LearningE1 5PhD Application Talk
10/08/201811:00s.t.Upendra KapshikarCould code based cryptosystems be more compact?E1 5PhD Application Talk
10/04/201813:00Andrés CristiA Near Optimal Mechanism for Energy Aware SchedulingE1 4AG1 Mittagsseminar (own work)
10/02/201813:00Karl BringmannSETH-Based Lower Bounds for Subset Sum and Bicriteria PathE1 4AG1 Mittagsseminar (own work)
09/28/201813:00Sourav ChakrabortyOn the power of Conditional SamplingE1 4AG1 Mittagsseminar (own work)
09/27/201813:00Alkmini SgouritsaDesigning Cost-Sharing Networks with Good Equilibria Under UncertaintyE1 4AG1 Mittagsseminar (own work)
09/26/201811:00Xucong ZhangGaze Estimation and Interaction in Real-World EnvironmentsE1 4Promotionskolloquium
09/21/201810:30Vlad NituImproving the energy efficiency of virtualized datacentersG26SWS Colloquium
09/20/201814:00Randy BushCritical Infrastructure vs Computer Science vs Software Engineering - We are DoomedE1 4Talk
09/19/201811:30Kurt MehlhornD1 Group MeetingE1 4AG1 Group Meeting
09/18/201814:00Fouzhan HosseiniSkeletons for Distributed Topological ComputationE1 4Talk
09/18/201810:00Hamish CarrTopological Analysis of Scientific DataE1 4Talk
09/13/201814:30David BromanGradually Typed Symbolic Expressions: an Approach for Developing Embedded Domain-Specific Modeling LanguagesG26SWS Colloquium
09/13/201813:00Tim OosterwijkAbout the Price of Anarchy for Flows over TimeE1 4AG1 Mittagsseminar (own work)
09/12/201815:30Saranya NatarajanTimed C: An Extension to the C Programming Language for Real-Time SystemsG26SWS Colloquium
09/10/201816:00Felipe Augusto Queiroz de CerqueiraPROSA: A Foundation for Verified Schedulability AnalysisG26SWS Student Defense Talks - Thesis Proposal
09/05/201811:30Kurt MehlhornD1 Group MeetingE1 4AG1 Group Meeting
08/28/201813:00Gautam Shroff (Chief Scientist, Tata Consultancy Services)From Conversational Interfaces to Knowledge Synthesis & Semantic SystemsE1 4MPI Colloquium Series Distinguished Speaker
08/24/201810:30Venkat PadmanabhanHAMS: Harnessing AutoMobiles for SafetyE1 5SWS Distinguished Lecture Series
08/23/201813:00Bhaskar Ray ChaudhuryCurve Simplification has cubic complexityE1 4AG1 Mittagsseminar (own work)
08/21/201814:00Phillip Stanley-MarbellNot Your Typical Objects: Made from Raw Materials Augmented with Sensing and ComputationG26SWS Colloquium
08/21/201814:00c.t.Andreas WeberFrom Tarski to Tropical Geometry: Towards Symbolic Analysis of Biological NetworksE1 4Talk
08/20/201811:00Vijay V. VaziraniPlanar Graph Perfect Matching is in NCE1 4INF Distinguished Lecture Series
08/09/201813:00Karsten KleinImmersive Analytics - Concepts and ChallengesE1 4AG1 Mittagsseminar (own work)
08/07/201813:00Gorav JindalOn the Complexity of Symmetric PolynomialsE1 4AG1 Mittagsseminar (own work)
08/06/201816:00Seong Joon OhImage Manipulation against Learned Models: Privacy and Security ImplicationsE1 4Promotionskolloquium
08/06/201814:00Vitaly ShmatikovThe Machine Learning Revolution in Data PrivacyE1 4Talk
08/06/201810:30Florian TramèrExclamation Point IconA tour of ML securityE9 1Talk
08/01/201812:15Emanuele NataleComputing with Simple Dynamics and Biological ApplicationsE1 5Joint Lecture Series
08/01/201811:30Kurt MehlhornD1 Group MeetingE1 4AG1 Group Meeting
07/23/201814:00Ruben BeckerOn Flows, Paths, Roots, and ZerosE1.7 (MMCI)Promotionskolloquium
07/23/201811:00Bojana KodricExclamation Point IconIncentives in Dynamic MarketsE1.7 (MMCI)Promotionskolloquium
07/20/201813:00Themistoklis GouleakisImproved Massively Parallel Computation Algorithms for MIS, Matching, and Vertex CoverE1 5 (SWS)AG1 Mittagsseminar (others' work)
07/17/201813:00Debarati DasApproximating Edit Distance Within Constant Factor in Truly Sub-Quadratic TimeE1 4AG1 Mittagsseminar (own work)
07/16/201812:00s.t.Max Maria LoschInspectable Deep Learning with Bayesian StatisticsE1 4IMPRS Research Seminar
07/12/201813:00Cornelius BrandExtensor-CodingE1 4AG1 Mittagsseminar (own work)
07/10/201813:00Gorav JindalExclamation Point IconA deterministic PTAS for the transcendence degree of constant degree polynomialsE1 4AG1 Mittagsseminar (own work)
07/05/201816:00Nikhil BalajiWaring rank of monomialE1 4AG1 Mittagsseminar (own work)
07/05/201813:00s.t.Daniel VazBeyond Metric Embedding: Approximating Group Steiner Trees on Bounded Treewidth GraphsE1 4AG1 Mittagsseminar (own work)
07/04/201813:00various3rd Networking-Meet-Up for Women in Computer ScienceE1 5Presentation
07/04/201812:15Maria ChristakisPractical Program AnalysisE1 5Joint Lecture Series
07/03/201813:00Saeed AmiriCongestion Free Rerouting of Flows (practice talk for ICALP)E1 4AG1 Mittagsseminar (own work)
06/29/201814:00Sam LindleyOn the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited continuationsG26SWS Colloquium
06/29/201811:30Joël OuaknineProgram InvariantsG26SWS Colloquium
06/29/201810:30Nils AsmussenDesigning a System for Heterogeneous Compute UnitsG26SWS Colloquium
06/28/201811:00Davis IssacSpanning Tree Congestion and Computation of Generalized Gyori-Lovasz PartitionE1 4AG1 Mittagsseminar (own work)
06/26/201813:00Joël OuakninePolynomial Invariants for Affine ProgramsE1 4AG1 Mittagsseminar (own work)
06/26/201810:30Michael MozerBoosting human capabilities on perceptual categorization tasksG26SWS Distinguished Lecture Series
06/25/201810:00Bruce M. MaggsThe Web PKI in Theory and MalpracticeE1 5Talk
06/21/201815: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 4Talk
06/19/201813:00Yaroslav ShitovHow hard is the tensor rank?E1 4AG1 Mittagsseminar (own work)
06/15/201812:00Niels LandwehrMachine Learning for Spatially and Temporally Varying DataE1 5Talk
06/14/201817:00Johannes KloosHeap-based reasoning about asynchronous programsG26SWS Student Defense Talks - Thesis Defense
06/14/201814:00Nihat AyInformation Geometry of Learning SystemsE1 5Talk
06/14/201813:00Kurt MehlhornOn Fair Division of Indisible Goods (Practice Talk for an Invited Lecture at Sirocco 18)E1 4AG1 Mittagsseminar (own work)
06/14/201810:00Jörg LückeAccelerated Learning of Probabilistic Data Models for Large-Scale ApplicationsE1 5Talk
06/13/201812:00Daniel NeiderMachine Learning Meets Formal MethodsE1 5Talk
06/13/201810:00Christoph LampertPrincipled Transfer LearningE1 5Talk
06/12/201812:00Marius KloftExtreme Classification: Algorithms and TheoryE1 5Talk
06/12/201810:00Gerhard NeumannInformation-Geometric Policy Search for Learning Versatile, Reusable SkillsE1 5Talk
06/11/201814:00Milica GasicSpoken dialogue systems that learn onlineE1 5Talk
06/11/201810:30Andreas GerstlauerLearning-Based Hardware/Software Power and Performance PredictionE1 5SWS Colloquium
06/11/201808:00Achim RettingerKnowledge-guided Representation LearningE1 5Talk
06/07/201814:00Georg NeisCompositional Compiler Correctness Via Parametric SimulationsE1 5SWS Student Defense Talks - Thesis Defense
06/06/201816:15Ben WiederhakeReading Group: A Distributed Algorithm for Minimum-Weight Spanning TreesE1 4MPI-Seminar
06/06/201812:15Anja FeldmannThe Internet: A Complex System at its LimitsE1 5Joint Lecture Series
05/30/201816:15Eunjin OhReading Group: Dynamic Time Warping and Geometric Edit Distance: Breaking the Quadratic BarrierE1 4MPI-Seminar
05/30/201811:30Kurt MehlhornGroup MeetingE1 4AG1 Group Meeting
05/29/201813:00Kurt MehlhornThe Physarum Dynamics Solves Positive Undirected Linear Programs (Practice Talk for Invited Talk at Computer Science Russia)E1 4AG1 Mittagsseminar (own work)
05/25/201818:00s.t.Anja FeldmannDistributed Data Collection and Processing at ScaleE2 2Festkolloquium
05/25/201817:30s.t.Bastian BeggelMap-Based processing of geospatial data for driver assistance functionsE2 2Festkolloquium
05/25/201817:00s.t.Jörg RahnenführerModel-based optimization - in high-dimensional survival analysis and in real lifeE2 2Festkolloquium
05/25/201816:30s.t.Robert TarjanMy work with ThomasE2 2Festkolloquium
05/25/201815:00s.t.Kasia BozekCan you see all the bees? Image analysis for biologyE2 2Festkolloquium
05/25/201814:30s.t.Yves MoreauBayesian matrix factorization with side information and application to drug-target activity predictionE2 2Festkolloquium
05/25/201814:00s.t.Nico PfeiferMachine Learning in Infection Research: Including host information to understand viral adaptationE2 2Festkolloquium
05/25/201813:30s.t.Gene MyersTowards Perfect DNA Sequencing and AssemblyE2 2Festkolloquium
05/25/201810: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 4Talk
05/24/201813:00Emanuele NatalePooling or Sampling: Collective Dynamics for Electrical Flow EstimationE1 4AG1 Mittagsseminar (own work)
05/23/201816:15André NusserReading Group: A faster algorithm for the discrete Fréchet distance under translationE1 4MPI-Seminar
05/22/201814:00s.t.Werner SeilerFrom Singularities of Algebraic Differential Equations to Real Algebraic GeometricE1 5Talk
05/22/201813:00Pranjal DuttaDiscovering the roots: Uniform closure results for algebraic classes under factoringE1 4AG1 Mittagsseminar (own work)
05/16/201816:15Andreas SchmidtReading Group: Sparse Kneser graphs are HamiltonianE1 4MPI-Seminar
05/16/201811:30Kurt MehlhornGroup MeetingE1 4AG1 Group Meeting
05/15/201810:00c.t.Thomas RothvossModern algorithms for Bin packingE1 4INF Distinguished Lecture Series
05/09/201816:15Nitin SaurabhArithmetic Circuits : A chasm at depth fourE1 4MPI-Seminar
05/08/201813:00Matthias FüggerFast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop ToleranceE1 4AG1 Mittagsseminar (own work)
05/07/201811:00Alberto FioriOn consistency of the Minimalist FoundationE1 4PhD Application Talk
05/07/201811:00Burcu SayinAn Analysis of Information Spreading and Privacy Issues on Social NetworksE1 4PhD Application Talk
05/07/201811:00Ehsam EtesamiModeling and Evaluation of Cloud Services Considering Live Virtual Machine MigrationE1 4PhD Application Talk
05/07/201811:00Safia KalwarSecurity and Privacy in the era of Big dataE1 4PhD Application Talk
05/07/201810:30Joshua KrollAccountability in the Governance of Machine LearningE1 5SWS Colloquium
05/07/201809:30Aniket RoyMultimedia Security through Digital Image ForensicsE1 4PhD Application Talk
05/07/201809:30Sagar VermaEgocentric Video UnderstandingE1 4PhD Application Talk
05/07/201809:30Stavros PetsalakisFine Grained Complexity: Exploring Reductions and their PropertiesE1 4PhD Application Talk
05/03/201811:15Marian-Andrei Rizoiu#DebateNight :The Role and Influence of Socialbots on Twitter During the 1st U.S. Presidential DebateG26SWS Colloquium
05/03/201810:00Nicole ImmorlicaMaximizing the Social Good: Markets without MoneyE1 4INF Distinguished Lecture Series
05/02/201816:15Davis IssacReading Group: Deciding k-colorability of P5-free graphs in polynomial timeE1 4MPI-Seminar
05/02/201812:15Gerard Pons-MollCapturing and Learning Digital HumansE1 5Joint Lecture Series
05/02/201811:30s.t.Kurt MehlhornGroup MeetingE1 3AG1 Group Meeting
05/02/201810:30Alexandra SilvaProbabilistic Program Equivalence for NetKATE1 5SWS Colloquium
04/30/201812:00s.t.Michael SchenckComplex Procedural Terrain GenerationE1 4IMPRS Research Seminar
04/27/201811:00s.t.David DunnPerceptually-based Near Eye DisplaysE1 4Talk
04/26/201813:00Stefan FunkeHow to Decide Whether a Path is OptimalE1 4AG1 Mittagsseminar (own work)
04/25/201816:00Wenbin LiFrom Perception over Anticipation to ManipulationE1 4Promotionskolloquium
04/24/201818:00Kurt MehlhornAlgorithms and Programs -- My Fascination for Computer ScienceE1 5MPI Colloquium Series Distinguished Speaker
04/24/201813:00Karol WęgrzyckiSubquadratic Approximation Scheme for PartitionE1 4AG1 Mittagsseminar (own work)
04/20/201810:30Tudor DumitrasMeasurements, predictions, and the puzzle of machine learning: what data from 10 million hosts can teach us about securityE1 5SWS Colloquium
04/18/201816:15s.t.Daniel VazReading Group: Minimum Weight 2-Edge-Connected Spanning Subgraphs in Planar GraphsE1 4MPI-Seminar
04/11/201812:15Holger HermannsPower to the People. Verified.E1 5Joint Lecture Series
04/11/201811:30Kurt MehlhornGroup MeetingE1 4AG1 Group Meeting
04/10/201813:00Davis IssacAlgorithms and Bounds for Very Strong Rainbow Coloring of GraphsE1 4AG1 Mittagsseminar (own work)
04/05/201813:00Paul ManderscheidSAR Phase Unwrapping by Undirected Shortest TransshipmentE1 4AG1 Mittagsseminar (own work)
04/04/201816:00Cathy McGeochPerformance Evaluation for Annealing Based Quantum ComputersE1 4Colloquium Lecture
04/04/201811:30Kurt MehlhornGroup MeetingE1 4AG1 Group Meeting
04/04/201810:30Prof. Martin GroheLovasz meets Weisfeiler-LemanG26SWS Colloquium
03/28/201816:00Arpan GujaratiFailures-In-Time (FIT) Analysis for Fault-Tolerant Distributed Real-Time SystemsG26SWS Student Defense Talks - Thesis Proposal
03/27/201813:00Eunjin OhPoint Location in Dynamic Planar SubdivisionsE1 4AG1 Mittagsseminar (own work)
03/26/201815:00Manohar VangaHigh-Throughput and Predictable VM Scheduling for High-Density WorkloadsG26SWS Student Defense Talks - Thesis Proposal
03/26/201810:30Tim AlthoffData Science for Human Well-beingG26SWS Colloquium
03/22/201813:00Kurt MehlhornFair DivisionE1 4AG1 Mittagsseminar (others' work)
03/22/201810:30Nicolas PapernotCharacterizing the Space of Adversarial Examples in Machine LearningE1 5SWS Colloquium
03/21/201811:30Kurt MehlhornGroup MeetingE1 4AG1 Group Meeting
03/19/201811:00s.t.Nitish Padmanaban & Vincent SitzmannVarifocal Lenses for Focus-Supporting Near-Eye Displays & Learning domain-specific cameras: End-to-end optimization of optical sensing pipelinesE1 4Talk
03/19/201810:30Mihir NanavatiCatch-22: Isolation and Efficiency in DatacentersG26SWS Colloquium
03/16/201813:00Meena MahajanShort proofs with simple arithmetic?E1 4AG1 Mittagsseminar (own work)
03/15/201813:00Karl BringmannMore Consequences of Falsifying SETH and the Orthogonal Vectors ConjectureE1 4AG1 Mittagsseminar (own work)
03/15/201810:30Dr. Caterina UrbanStatic Program Analysis for a Software-Driven SocietyG26SWS Colloquium
03/14/201818:00Nima AnariTCS+ talk: Planar Graph Perfect Matching is in NCE1 4Talk
03/12/201810:30Heather MillerLanguage Support for Distributed Systems in ScalaE1 5SWS Colloquium
03/12/201810:00Arunav MishraLeveraging Semantic Annotations for Event-focused Search & SummarizationE1 4Promotionskolloquium
03/08/201813:00Antonios AntoniadisA PTAS for TSP with Hyperplane NeighborhoodsE1 4AG1 Mittagsseminar (own work)
03/07/201812:15Andrew YatesIncorporating Positional and Contextual Information into a Neural IR ModelE1 5Joint Lecture Series
03/07/201811:30s.t.Kurt MehlhornGroup MeetingE1 4AG1 Group Meeting
03/06/201814:00c.t.Hoon HongImproved Root Separation Bound: Bigger and GeometricE1 4Talk
03/06/201813:00Grigorios KoumoutsosWeighted k-Server Bounds via Combinatorial DichotomiesE1 4AG1 Mittagsseminar (own work)
03/06/201810:00Patrick ErnstBiomedical Knowledge Base Construction from Text and its Applications in Knowledge-based SystemsE1 4Promotionskolloquium
03/05/201810:30Jonathan MaceObserving and Controlling Distributed Systems with Cross-Cutting ToolsG26SWS Colloquium
03/01/201810:30Georg ZetzscheStorage mechanisms and finite-state abstractions for software verificationG26SWS Colloquium
02/26/201810:30Kevin BorgolteFighting Large-scale Internet AbuseE1 5SWS Colloquium
02/22/201813:00Julian DörflerExclamation Point IconAn efficient data structure for finding Pareto-optimal points (Bachelor thesis)E1 4AG1 Mittagsseminar (own work)
02/21/201811:30Kurt MehlhornGroup MeetingE1 4AG1 Group Meeting
02/20/201813:00Bundit LaekhanukitOn the Parameterized Complexity of Approximating Dominating SetE1 4Talk
02/19/201810:30Antoine KaufmannHigh Performance Data Center TCP Packet ProcessingG26SWS Colloquium
02/15/201813:00Bernhard HaeuplerSynchronization Strings and Coding for Insertions and DeletionsE1 4AG1 Mittagsseminar (others' work)
02/15/201810:30Keon JangTowards Latency Guarantees in DatacentersE1 5SWS Colloquium
02/14/201819:00Dor MinzerTCS+ talk: 2-to-2 Games via expansion on the Grassmann GraphE1 4Talk
02/13/201815:15Bernhard HäuplerFast Distributed Optimization Algorithms via Low-Congestion ShortcutsE1 4INF Distinguished Lecture Series
02/13/201813:00Saeed AmiriDistributed Dominating Set in Bounded Genus GraphsE1 4AG1 Mittagsseminar (own work)
02/12/201810:30Niki VazouLiquid Haskell: Usable Language-Based Program VerificationE1 5SWS Colloquium
02/09/201816:00Viktor ErdélyiScalable positioning of commodity mobile devices using audio signalsE1 5SWS Student Defense Talks - Thesis Proposal
02/08/201810:30Zsolt IstvanCaribou -- Intelligent Distributed Storage for the DatacenterE1 5SWS Colloquium
02/07/201811:30Kurt MehlhornGroup Meeting, D1E1 4AG1 Group Meeting
02/01/201813:00Nitin SaurabhOptimal Quasi-Gray Codes: Does the Alphabet matter?E1 4AG1 Mittagsseminar (own work)
01/31/201819:00Avi WigdersonTCS+ talk: Optimization, Complexity and Math (through the lens of one problem and one algorithm)E1 4Talk
01/30/201811:00Dr. Herbert JägerAn Introduction to Reservoir Computing, and BeyondE1 5AG3 Talk
01/22/201816:00Ezgi ÇiçekRelational Cost AnalysisE1 5SWS Student Defense Talks - Thesis Defense
01/17/201811:30Kurt MehlhornGroup MeetingE1 4AG1 Group Meeting
01/16/201813:00Christian IkenmeyerOn algebraic branching programs of small widthE1 4AG1 Mittagsseminar (own work)
01/11/201813:00Saeed AmiriDisjoint Paths ProblemE1 4AG1 Mittagsseminar (own work)
01/09/201813:00Saeed AmiriErdos Posa Property in DigraphsE1 4AG1 Mittagsseminar (own work)
12/20/201717:00Anna KhorevaLearning to Segment in Images and Videos with Different Forms of SupervisionE1 4Promotionskolloquium
12/19/201714:00Seongkook HeoLet it move—Creating force and movement feedback on the surface and in the air.E1 7Talk
12/18/201714:00Georgios SmaragdakisUnderstanding and Improving the Resilience of the Internet using the Measurement LensE1 4MPI Colloquium Series Distinguished Speaker
12/18/201712:00s.t.Prof. Gerhard WeikumTalk on Good Scientific PracticeE1 4IMPRS Research Seminar
12/14/201713:00Tetiana LavynskaOn Biclique Cover and Partition of Bipartite GraphsE1 4AG1 Mittagsseminar (own work)
12/11/201711:00Aruni ChoudharyApproximation Algorithms for Vietoris-Rips and Cech FiltrationsE1 4Promotionskolloquium
12/08/201712:00David SwaseyFormal and Compositional Reasoning about Object CapabilitiesE1 5SWS Student Defense Talks - Thesis Proposal
12/07/201714:15Nisheeth VishnoiAlgorithms, Complexity, and BiasE1 4MPI Colloquium Series Distinguished Speaker
12/07/201713:00Laszlo KozmaSelection from heaps, row-sorted matrices and X + Y using soft heapsE1 4AG1 Mittagsseminar (own work)
12/06/201712:15Joël OuaknineFundamental Algorithmic Problems and Challenges in Dynamical and Cyber-Physical SystemsE1 5Joint Lecture Series
12/04/201716:15Kai HuiAutomatic Methods for Low-Cost Evaluation and Position-Aware Models for Neural Information RetrievalE1 5Promotionskolloquium
12/01/201714:00Dat Ba NguyenJoint Models for Information and Knowledge ExtractionE1 4Promotionskolloquium
11/30/201713:00Emilio CrucianiSome new results for opinion dynamics on social networksE1 4AG1 Mittagsseminar (own work)
11/29/201716:00Alexander WiederBlocking Analysis of Spin Locks under Partitioned Fixed-Priority SchedulingE1 5SWS Student Defense Talks - Thesis Defense
11/23/201713:00Günter SchmidtCompetitive Analysis of Bi-directional Non-preemptive ConversionE1 4AG1 Mittagsseminar (own work)
11/22/201710:30Hugo FéréeFormal Proof of Polynomial-Time Complexity with Quasi-InterpretationsE1 5SWS Colloquium
11/20/201716:00Mainack MondalUnderstanding & Controlling User Privacy in Social Media via ExposureE1 5SWS Student Defense Talks - Thesis Defense
11/17/201715:00Marko DokoProgram Logic for Weak Memory ConcurrencyG26SWS Student Defense Talks - Thesis Proposal
11/16/201714:00Soham ChakrabortyCorrect Compilation of Relaxed Memory ConcurrencyG26SWS Student Defense Talks - Thesis Proposal
11/15/201711:30s.t.Kurt MehlhornGroup MeetingE1 4AG1 Group Meeting
11/14/201713:00L. Sunil Chandran and Davis IssacSpanning Tree Congestion and the Generalized Győri-Lovász Theorem (Part 2)E1 4AG1 Mittagsseminar (own work)
11/13/201710:00Rakesh AgrawalToward Data-Driven EducationE1 5SWS Distinguished Lecture Series
11/10/201715:00Nina Grgić-HlačaBeyond Distributive Fairness in Algorithmic Decision Making: Feature Selection for Procedurally Fair LearningE1 5SWS Student Defense Talks - Qualifying Exam
11/10/201713:00s.t.Oliver NalbachSmarter Screen Space ShadingE1 4Promotionskolloquium
11/09/201713:00L. Sunil Chandran and Davis IssacSpanning Tree Congestion and the Generalized Győri-Lovász Theorem (Part 1)E1 4AG1 Mittagsseminar (own work)
11/09/201711:00Wolfgang AhrendtStaRVOOrS: Combined Static and Runtime Verification of Object-Oriented SoftwareE1 5SWS Colloquium
11/08/201716:00Juhi KulshresthaQuantifying & Characterizing Information Diets of Social Media UsersE1 5SWS Student Defense Talks - Thesis Proposal
11/08/201712:15Karl BringmannFine-Grained Complexity: Hardness for a Big Data WorldE1 5Joint Lecture Series
11/06/201711:00Pietro FerraraJulia: An abstract interpretation-based static analyzer of industrial OO softwareG26MPI-Kolloquium
11/02/201714:00c.t.Dr. Steffen Rochel, AWS AIDeep Learning in Apache MxNet GluonE1 3Talk
10/30/201712:00s.t.Khansa RekikResults of planning for sentence generationE1 4IMPRS Research Seminar
10/27/201713:00Kurt MehlhornPhysarum solves Positive Undirected LPsE1 4AG1 Mittagsseminar (own work)
10/27/201710:00Prof. Dr.-Ing. Stefan SeeleckeActuation and New MaterialsE1 7Talk
10/27/201710:00Prof. Dr.-Ing. Stefan SeeleckeActuation and New MaterialsE1 7Talk
10/24/201715:00s.t.Annette DiehlSexualisierte Diskriminierung und GewaltE1 5Talk
10/24/201712:57Dr.-Ing. Stefan SeeleckeActuation and New MaterialE1 7Talk
10/24/201709:30s.t.Yu, Ho Kwan; Darulova, Eva; Somieski, BertramDelegation HANCOM Group, KoreaE1 5Presentation
10/23/201712:00s.t.Vinh Thinh HoApproaches for Word RepresentationsE1 4IMPRS Research Seminar
10/19/201713:00Kevin SchewiorA Tight Lower Bound for Online Convex Optimization with Switching CostsE1 4AG1 Mittagsseminar (own work)
10/17/201713:00Bhaskar Ray ChaudhuryProof of the Weighted Dynamic Finger Theorem by Iacono and Langerman.E1 4AG1 Mittagsseminar (others' work)
10/16/201715:00Natalia BoldyrevAlignment of Multi-Cultural Knowledge RepositoriesE1 4Promotionskolloquium
10/12/201714:00Dr. Donald DansereauComputational Imaging for Robotic VisionE1 4Talk
10/12/201713:00Ruben BeckerNear-Optimal Approximate Shortest Paths and Transshipment in Distributed and Streaming ModelsE1 4AG1 Mittagsseminar (own work)
10/11/201716:15Leila AmgoudEvaluation Methods of ArgumentsE1 4Talk
10/11/201711:00Cosmina CroitoruGraph Models for Rational Social Interaction - PhD VerteidigungE1 4Promotionskolloquium
10/10/201713:00Janne H. KorhonenLCL problems on gridsE1 4AG1 Mittagsseminar (own work)
10/10/201711:00s.t.Hufsah AshrafComputational Modeling and Analysis of the Impacts of Sleep Deprivation on Glucose Stimulated Insulin Secretion via Circadian Clock MisalignmentE1 4PhD Application Talk
10/10/201711:00s.t.Jana EblerHaplotype-Aware Genotyping from Long Sequencing ReadsE1 4PhD Application Talk
10/10/201711:00s.t.Jonas FischerFast methylation calling on mammalian bisulfite sequencing dataE1 4PhD Application Talk
10/10/201709:30s.t.Xiaoyu ShenLatent Variable Models in Dialogue GenerationE1 4PhD Application Talk
10/10/201709:30s.t.David KaltenpothDistinguishing Confounding from CausalityE1 4PhD Application Talk
10/10/201709:30s.t.Hiba ArnaoutEffective Searching of RDF Knowledge GraphsE1 4PhD Application Talk
10/09/201716:00Muhammad Bilal ZafarDiscrimination in Algorithmic Decision Making: From Principles to Measures and MechanismsE1 5SWS Student Defense Talks - Thesis Proposal
10/05/201713:00Kurt MehlhornWeighted Dynamic Finger in Binary Search Trees by Iacono and Langerman (SODA '16)E1 4AG1 Mittagsseminar (others' work)
10/04/201712:15Simon RazniewskiWhat knowledge bases know (and what they don't)E1 5Joint Lecture Series
09/29/201715:00Siyu TangPeople Detection and Tracking in Crowded ScenesE1 4Promotionskolloquium
09/20/201711:30s.t.Christoph LenzenGroup MeetingE1 4AG1 Group Meeting
09/14/201713:00Mathew FrancisInduced Colourful Paths in Triangle-free GraphsE1 4AG1 Mittagsseminar (own work)
09/12/201713:00Giacomo ScornavaccaRational Fair Consensus in the GOSSIP ModelE1 4AG1 Mittagsseminar (own work)
09/11/201715:30Stephan FriedrichsMetastability-Containing Circuits, Parallel Distance Problems, and Terrain GuardingE1 4Promotionskolloquium
09/06/201712:15Christian IkenmeyerGeometric Complexity Theory: An ambitious approach towards P versus NPE1 5Joint Lecture Series
09/04/201716:00Amy SiuKnowledge-driven Entity Recognition and Disambiguation in Biomedical TextE1 4Promotionskolloquium
08/29/201713:00Aruni ChoudharyImproved Approximate Rips Filtrations with Shifted Integer LatticesE1 4AG1 Mittagsseminar (own work)
08/18/201711:00s.t.Martin OchoaSecuring Cyber-Physical Systems: Challenges and the road aheadE9 1CISPA Distinguished Lecture Series
08/17/201713:00Nitin SaurabhUpper bounds on Fourier EntropyE1 4AG1 Mittagsseminar (own work)
08/16/201714:00s.t.Andreas HerzigDynamic logic and propositional assignmentsE1 4Talk
08/14/201715:00Filip NikšićCombinatorial Constructions for Effective TestingG26SWS Student Defense Talks - Thesis Proposal
08/10/201713:00Krzysztof FleszarMaximum Disjoint Paths: New Algorithms based on Tree-LikenessE1 4AG1 Mittagsseminar (own work)
08/08/201713:00Andreas SchmidComputing Tutte PathsE1 4AG1 Mittagsseminar (own work)
08/07/201717:00Anjo Vahldiek-OberwagnerTechniques to enforce security policies on untrusted applicationsE1 5SWS Student Defense Talks - Thesis Proposal
08/04/201713:30Reinhard MunzTowards Use-Ability in Private Data AnalyticsG26SWS Student Defense Talks - Thesis Proposal
07/27/201713:00Seri KhouryNew Lower Bounds for the CONGEST modelE1 4AG1 Mittagsseminar (own work)
07/25/201713:00Karl BringmannImproved Algorithms for Computing the Cycle of Minimum Cost-to-Time Ratio in Directed GraphsE1 4AG1 Mittagsseminar (own work)
07/25/201711:00s.t.Nils Ole TippenhauerPhysical-Layer Security Aspects of ICS and IoTE9 1CISPA Distinguished Lecture Series
07/25/201710:30Alexandra ChouldechovaFairer and more accurate, but for whom?E1 5SWS Colloquium
07/24/201715:00Pierre-Louis GiscardThe Theory of WalksE1 4AG1 Mittagsseminar (own work)
07/20/201715:00s.t.Prof. Gilles Barthe:Advances in computer-aided cryptographyE9 1CISPA Distinguished Lecture Series
07/19/201711:30Kurt MehlhornGroup MeetingE1 4AG1 Group Meeting
07/18/201711:00s.t.Stavros TripakisSecurity as a System Design ProblemE9 1CISPA Distinguished Lecture Series
07/13/201713:00Juho LauriNP-completeness results for partitioning a graph into total dominating setsE1 4AG1 Mittagsseminar (own work)
07/12/201716:00s.t.Dr. Matthias BergIT-Sicherheit mitgestalten beim BSIE9 1Talk
07/12/201714:00Dr James HookMax-plus linear regression and low rank matrix approximationE1 5Colloquium Lecture
07/11/201713:00Erik Jan Van LeeuwenParameterized Complexity of Vertex-Partitioning ProblemsE1 4AG1 Mittagsseminar (own work)
07/11/201711:00Demetris ZeinalipourIndoor Data Management in AnyplaceE1 4Colloquium Lecture
07/10/201711:00s.t.David EvansAdversarial Machine Learning: Are We Playing the Wrong Game?E9 1CISPA Distinguished Lecture Series
07/07/201710:00Kathy StrandburgDecision Making and The Value of ExplanationE1 5SWS Colloquium
07/06/201716:00Subhabrata MukherjeeExclamation Point IconProbabilistic Graphical Models for Credibility Analysis in Evolving Online CommunitiesE1 5Promotionskolloquium
07/06/201713:00Attila KinaliThe Use of Fault-tolerant Clock Synchronization Algorithms for Time ScalesE1 4AG1 Mittagsseminar (own work)
07/06/201711:00Stephan GünnemannExclamation Point IconRobust and Scalable Learning with GraphsE1 5Colloquium Lecture
07/05/201712:15Qianru SunYour photos expose your social life - Social relation recognition in 5 social domainsE1 5Joint Lecture Series
06/30/201714:00s.t.Attila KinaliDamped Sine Based Time Interval Counter - Measuring Time with Pico-Second PrecisionE1 4AG1 Mittagsseminar (own work)
06/29/201713:00Ruben HoeksmaPosted price mechanisms for a random stream of customersE1 4AG1 Mittagsseminar (own work)
06/29/201711:15Peter WonkaInteger Programming for Layout ProblemsE1 4Talk
06/28/201715:00Adam GrycnerConstructing Lexicons of Relational PhrasesE1 5Promotionskolloquium
06/27/201711:00Manolis KoubarakisData Models and Query Languages for Linked Spatiotemporal DataE1 4Colloquium Lecture
06/26/201710:30Giovanni Luca CiampagliaFinding Fake NewsE1 5SWS Colloquium
06/21/201711:30Andreas KarrenbauerGroup MeetingE1 4AG1 Group Meeting
06/20/201717:00Mateusz MalinowskiTowards Holistic Machines: From Visual Recognition To Question Answering About Real-World ImagesE1 4Promotionskolloquium
06/19/201713:00Christoph LenzenPractice Talk: The many Faces of Clock SynchronizationE1 4Talk
06/19/201710:00s.t.Arpit MerchantEfficiently Estimationg Primitive Graph PropertiesE1 4PhD Application Talk
06/19/201710:00s.t.Deeksha AdilMatching Under PreferencesE1 4PhD Application Talk
06/19/201710:00s.t.Mohammad Bashir KazimiCoverage Model for Character-based Neural Machine TranslationE1 4PhD Application Talk
06/19/201710:00s.t.Saharnaz E. DilmaghaniPrivacy Preserving Personal Health Record against Brute-Force AttackE1 4PhD Application Talk
06/14/201715:00Till SpeicherDiscrimination in Online AdvertisingE1 5SWS Student Defense Talks - Qualifying Exam
06/14/201713:00Eslam ElniketyComprehensive and Practical Policy Compliance in Data Retrieval SystemsE1 5SWS Student Defense Talks - Thesis Proposal
06/13/201711:00Jeff Z. PanThe Rise of Approximate Reasoning: New Roadmap EmergingE1 4Colloquium Lecture
06/07/201712:15Eva DarulovaTowards an Approximating Compiler for Numerical ComputationsE1 5Joint Lecture Series
06/07/201711:30s.t.AllGroup MeetingE1 4AG1 Group Meeting
06/06/201713:00Kevin SchewiorTight Bounds for Online TSP on the LineE1 4AG1 Mittagsseminar (own work)
06/02/201714:00Ligang Liu3D Printing Oriented Geometric Design and OptimizationE1 4AG4 Talk
06/01/201713:00Joseph LandsbergExclamation Point IconCan we multiply matrices faster by exploiting symmetry?E1 4AG1 Mittagsseminar (own work)
05/30/201713:00D. SchneiderRigid and Deformable Motion and Disassembly PlanningE1 4AG1 Mittagsseminar (own work)
05/29/201714:00s.t.NNCybersicherhheit im BND: SSCD-Frühwarnsystem auf Basis technischer AufklärungE9 1Miscellaneous
05/22/201714:00Maksim LapinImage Classification with Limited Training Data and Class AmbiguityE1 4Promotionskolloquium
05/15/201716:00Anna RohrbachGenerating and Grounding of Natural Language Descriptions for Visual DataE1 4Promotionskolloquium
05/11/201713:00Kavitha TelikepalliExclamation Point IconPopularity, Mixed Matchings, and Self-dualityE1 5 -MPI for SoftwaresystemsAG1 Mittagsseminar (own work)
05/10/201711:00s.t.Prof. Bernhard HaeuplerExclamation Point IconSynchronization Strings: Optimal Coding for Insertions and DeletionsE1 5INF Distinguished Lecture Series
05/10/201709:45Kiran GarimellaQuantifying and Reducing Polarization on Social mediaE1 5SWS Colloquium
05/09/201713:00D1Exclamation Point IconD1 internal poster sessionE1 4AG1 Group Meeting
05/08/201710:30Pierre-Marie PédrotAn Effectful Way to Eliminate Addiction to DependenceE1 5SWS Colloquium
05/05/201712:30Mike RobertsHarnessing the Creative Power of DronesE1 4AG2 Working Group Seminar
05/04/201713:00Philip WellnitzExclamation Point IconClique-Based Lower Bounds for Parsing Tree-Adjoining Grammars (Bachelorseminar)E1 4AG1 Mittagsseminar (own work)
05/04/201711:00Sebastian TrimpeIntelligent Control SystemsG26SWS Colloquium
05/03/201712:15Daria StepanovaDigital Knowledge: From Facts to Rules and BackE1 5Joint Lecture Series
05/02/201710:30James WorrellOn Rationality of Nonnegative Matrix FactorizationE1 5SWS Distinguished Lecture Series
04/27/201719:00Paul CheungDigital Journalism in the Age of Mobile Devices and Social MediaE1 5Talk
04/27/201714:00c.t.Michael HaaseAgile Softwareentwicklung in der PraxisE1 3Talk
04/26/201716:00Andrew BaumannSecuring enclaves with formal verificationE1 5SWS Colloquium
04/25/201713:00David P. WoodruffParameterized Complexity of Matrix Factorization ProblemsE1 4Talk
04/24/201714:00s.t.Vijay GaneshThe Unreasonable Effectiveness of Boolean SAT SolversE1 5Talk
04/10/201710:30Oriana RivaComprehensive deep linking for mobile appsG26SWS Colloquium
04/05/201712:15Björn AndresGraph Decomposition Problems in Image AnalysisE1 5Joint Lecture Series
04/04/201713:00Matthias FueggerFast Asymptotic and Approximate Consensus in Highly Dynamic NetworksE1 4AG1 Mittagsseminar (own work)
04/03/201710:00Azalea RaadLocal Reasoning for Concurrency, Distribution and Web ProgrammingG26SWS Colloquium
03/31/201716:00Mainack MondalUnderstanding & Controlling User Privacy in Social Media via ExposureE1 5SWS Student Defense Talks - Thesis Proposal
03/31/201710:30Professor Richard MurrayCombining Computing, Communications and Controls in Safety Critical SystemsG26SWS Distinguished Lecture Series
03/29/201711:30s.t.Kurt MehlhornGroup MeetingE1 4AG1 Group Meeting
03/22/201710:30Tianyin XuHardening cloud and datacenter systems against configuration errorsG26SWS Colloquium
03/17/201710:00Aurojit PandaA New Approach to Network FunctionsG26SWS Colloquium
03/16/201715:00Akram El-KorashyA formal model for capability machines: Towards secure compilation to CHERIE1 5SWS Student Defense Talks - Qualifying Exam
03/15/201715:00Ezgi CicekRelational Cost AnalysisE1 5SWS Student Defense Talks - Thesis Proposal
03/14/201714:09Ryota KobayashiEvent time series analysis and its applications to social media analysisE1 5SWS Colloquium
03/14/201714:00Bjoern GollaMesh adaption based on Mesh deformation through flow mapsE1 4 - MPI-INFAG4 Talk
03/14/201713:00Dror RawitzOnline Budgeted Maximum CoverageE1 4 - MPI-INFAG1 Mittagsseminar (own work)
03/13/201710:30Raymond ChengPrivacy as a ServiceE1 5SWS Colloquium
03/09/201716:00Sourav DuttaEfficient knowledge management for named entities from textE1 4Promotionskolloquium
03/08/201710:00Justin HsuRandomized Algorithms Meets Formal VerificationE1 5SWS Colloquium
03/07/201710:00Kuldeep MeelConstrained Counting and Sampling: Bridging the Gap between Theory and PracticeE1 5SWS Colloquium
03/03/201710:00Mijung ParkVariational Bayes In Private SettingsG26SWS Colloquium
03/02/201713:00Adi RosénSemi-Streaming Set CoverE1 4 - MPI-INFAG1 Mittagsseminar (own work)
03/01/201712:15Paul FrancisThe Diffix Framework: Noise Revisited, AgainE1 5Joint Lecture Series
02/28/201715:00Erdal KuzeyPopulating knowledge bases with temporal informationE1 4Promotionskolloquium
02/28/201711:00Maarten de RijkeThe Birth of Collective Memories: Analyzing Emerging Entities in Text StreamsE1 4Colloquium Lecture
02/28/201710:00Adish SinglaLearning With and From PeopleG26SWS Colloquium
02/22/201710:30Magnus MyreenA New Verified Compiler Backend for CakeMLE1 5SWS Colloquium
02/21/201711:30s.t.Timothy H. Edgar, Prof. Backes, Prof. Rossow, Mathias Gisch, Ninja MarnauState of the net: Weaponized information, manipulated elections – How can IT security safeguard civil liberties & political independence?E9 1Panel Discussion
02/21/201710:30Renato MancusoSafe, Real-Time Software Reference Architectures for Cyber-Physical SystemsG26SWS Colloquium
02/21/201710:30s.t.Timothy H. EdgarCybersecurity and civil liberties - how the new U.S. government will approach cyber threatsE9 1CISPA Distinguished Lecture Series
02/20/201710:00Simina BranzeiComputational fair division and mechanism designE1 5SWS Colloquium
02/17/201710:30Ali MashtizadehAdventures in Systems Reliability: Replication and ReplayE1 5SWS Colloquium
02/16/201713:00Luca BecchettiFriend or foe? Population Protocols for Community Sensitive LabelingE1 4 - MPI-INFAG1 Mittagsseminar (own work)
02/15/201710:00Nadia PolikarpovaType-Driven Program SynthesisG26SWS Colloquium
02/14/201713:00Vincenzo BonifaciOn the Convergence Time of a Natural Dynamics for Linear ProgrammingE1 4 - MPI-INFAG1 Mittagsseminar (own work)
02/08/201710:00Arthur GervaisOn the Security and Scalability of Proof of Work BlockchainsE1 5SWS Colloquium
02/07/201713:00s.t.Thorsten TheobaldSome developments in spectrahedral computationE1 4 - MPI-INFAG1 Mittagsseminar (own work)
02/06/201715:00Sairam GurajadaDistributed Querying of Large Labeled GraphsE1 5Promotionskolloquium
02/06/201710:00Dr. Maria ChristakisGuiding program analyzers toward unsafe executionsG26SWS Colloquium
02/01/201712:15Shida BeigpourInverse RenderingE1 5Joint Lecture Series
01/31/201713:00s.t.Jesper NederlofFaster Space Efficient Algorithms for Subset Sum and KnapsackE1 4 - MPI-INFAG1 Mittagsseminar (own work)
01/27/201711:00David P. WoodruffExclamation Point IconSketching as a Tool for Linear AlgebraE1 4 - MPI-INFTalk
01/26/201713:00Lucas BoczkowskiMinimizing Message Size in Stochastic Communication Patterns: Fast Self-Stabilizing Protocols with 3 bitsE1 4 - MPI-INFAG1 Mittagsseminar (own work)
01/24/201714:15Amos KormanCrazy ants are not so crazyE2 6Talk
01/23/201711:00s.t.James DavenportThe ‘doubly-exponential’ problem in equation/inequality solvingE1 5Talk
01/20/201710:00s.t.Xiaokun WuStructure-aware content creation – Detection, retargeting and deformationE1 4Promotionskolloquium
01/11/201712:15Jannik StrötgenTime for Text Mining and Information RetrievalE1 5Joint Lecture Series
01/09/201714:00Sophie TourretPrime Implicates Generation in Equational LogicE1 5Talk
01/05/201713:00s.t.Daniel VazBeyond Metric Embedding: Approximating Group Steiner Trees on Bounded Treewidth GraphsE1 4 - MPI-INFAG1 Mittagsseminar (own work)
12/20/201613:00Prof. Torben HagerupOn-the-fly array initializationE1 4AG1 Mittagsseminar (own work)
12/20/201611:30Ravi MadhavanProving Performance Properties of Higher-order Functions with MemoizationG26SWS Colloquium
12/20/201611:30Ravi MadhavanProving Performance Properties of Higher-order Functions with MemoizationG26SWS Colloquium
12/16/201616:00s.t.Srinath SridharTracking Hands in Action for Gesture-based Computer InputE1 4Promotionskolloquium
12/15/201618:00s.t.Helge RhodinFrom motion capture to interactive virtual worldsE1 4Promotionskolloquium
12/15/201613:00Sebastian KrinningerExclamation Point IconFully dynamic all-pairs shortest paths with worst-case update-time revisitedE1 4 - MPI-INFAG1 Mittagsseminar (own work)
12/13/201613:00Sandy HeydrichFaster approximation schemes for the two-dimensional knapsack problemE1 4AG1 Mittagsseminar (own work)
12/08/201613:00Bojana KodricCombinatorial Secretary Problems with Ordinal InformationE1 4AG1 Mittagsseminar (own work)
12/07/201612:15Hang ZhouNetwork Inference: Graph Reconstruction and VerificationE1 5Joint Lecture Series
12/06/201613:00Prof. Torben HagerupSuccinct choice dictionariesE1 4AG1 Mittagsseminar (own work)
12/02/201617:00s.t.Bernhard ReinertInteractive, Example-driven Synthesis and Manipulation of Visual MediaE1 4Promotionskolloquium
11/24/201613:00Gorav JindalOn Rank of Matrix SpacesE1 4AG1 Mittagsseminar (own work)
11/23/201613:00Johannes BundMetastability-Containing Sorting NetworksE1 4AG1 Mittagsseminar (own work)
11/22/201613:00D1D1 Group MeetingE1 4AG1 Group Meeting
11/16/201613:30s.t.Cornelia Quennet-Thielen, August-Wilhelm Scheer,Matthias Scheffler,Hans UszkoreitPodiumsdiskussion: Neue Datenräume kreativ nutzen - Open Data für Wissenschaft, Wirtschaft und Gesellschaft ...E1 5Meeting
11/15/201614:00s.t.Ravi RamamoorthiSampling and Reconstruction of High-Dimensional Visual AppearanceE1 4Talk
11/14/201613:00Yi-Jun ChangEnergy-efficient Leader Election in Wireless NetworksE1 4AG1 Mittagsseminar (others' work)
11/10/201613:00Emanuele NataleFind Your Place: Simple Distributed Algorithms for Community DetectionE1 4AG1 Mittagsseminar (own work)
11/04/201615:00s.t.Petr KELLNHOFERPerceptual modelling for stereoscopic 3DE1 4Promotionskolloquium
11/04/201612:00s.t.Myroslav BachynskyiBiomechanical Models for Human-Computer InteractionE1 4Promotionskolloquium
11/04/201611:00Albrecht SchmidtAmplifying the Mind with Digital Tools: Technologies to Enhance Human Perception and CognitionE1 7 - MMCITalk
11/03/201613:00Simone MontangeroExtreme simulations for quantum technologiesE1 4MPI-Kolloquium
11/03/201610:30Marco AielloSustaining the Energy Transition: A Role for Computer Science and Complex NetworksG26SWS Colloquium
11/02/201612:15Viktor VafeiadisA Promising Semantics for Relaxed-Memory ConcurrencyE1 5Joint Lecture Series
10/27/201618:00Johannes KloosHeap-based reasoning about asynchronous concurrencyG26SWS Student Defense Talks - Thesis Proposal
10/20/201614:00s.t.Prof. Dr. Riccardo FocardiA Declarative Language for Network SecurityE9 1 - CISPACISPA Distinguished Lecture Series
10/19/201614:00Dr. Roi PoranneScalable Locally Injective MappingsE1 4AG4 Seminar
10/18/201613:00s.t.Jeroen ZuiddamOn the tensor rank of graph tensorsE1 4AG1 Mittagsseminar (own work)
10/07/201611:00Leonid SigalSemantic Embedding Models for Categorization and DetectionE1 4AG2 Seminar
10/05/201612:15Markus BläserPolynomial Identity TestingE1 5Joint Lecture Series
09/29/201614:00c.t.Martin BrainExclamation Point IconThe Difficulty of Achieving (Abstract) SatisfactionE1 4Talk
09/28/201611:00Kasper HornbaekOn being wrong, solving problems, and sharpening concepts in Human-Computer InteractionE1 7 - MMCITalk
09/23/201611:00Beverly LiMulti-Authority ABE: Constructions and ApplicationsE1 5SWS Colloquium
09/21/201610:00c.t.Peter LammichThe Isabelle Refinement FrameworkE1 4Talk
09/20/201613:00XXNO Noon-Seminar this weekE1 4AG1 Mittagsseminar (own work)
09/19/201613:00John AugustineRobust and Efficient Computation in Dynamic Networks with Heavy ChurnE1 5AG1 Mittagsseminar (own work)
09/19/201609:00s.t.Kerstin Kathy Meyer-RossPresentation SkillsE1 4Talk
09/16/201615:03s.t.Kasper HornbaekOn being wrong, solving problems, and sharpening concepts in Human-Computer InteractionE1 7 - MMCITalk
09/16/201614:00s.t.Sebastian SchuonFrom Researcher to CTO to ExitE1 5Talk
09/16/201611:00s.t.Alexander SteenLeo-III - Paramodulation-Based Reasoning in HOLE1 5Talk
09/16/201611:00s.t.Prof. Robert E. TarjanConcurrent Disjoint Set UnionE1 3 - Hörsaal GebäudeTalk
09/15/201613:00XXNO Noon Seminar this weekE1 4AG1 Mittagsseminar (own work)
09/13/201610:30Ruediger EhlersUseful but ugly gamesG26SWS Colloquium
09/06/201617:30Paarijaat AdityaTowards Privacy-Compliant Mobile ComputingE1 5SWS Student Defense Talks - Thesis Proposal
09/02/201611:00Utkarsh UpadhyayDynamics of Crowdlearning and Value of KnowledgeG26SWS Student Defense Talks - Qualifying Exam
08/24/201614:00Fabian KosmaleMaster thesis proposal talk: graphs and parallel algorithmsE1 4AG1 Mittagsseminar (own work)
08/19/201616:00Niket TandonCommonsense Knowledge Acquisition and ApplicationsE1 4Promotionskolloquium
08/19/201611:00Prof. Henry LiebermanSitting on the Edge of the Closed World AssumptionE1 4Colloquium Lecture
08/18/201613:00Martin HoeferComputing Equilibria in Markets with Budget-Additive UtilitiesE1 4AG1 Mittagsseminar (own work)
08/16/201613:00Davis IssacOn the Parameterized Complexity of Biclique Cover and PartititonE1 4AG1 Mittagsseminar (own work)
08/15/201610:30Damien ZuffereyDomain Specific Languages for Verified SoftwareG26SWS Colloquium
08/12/201615:00Goetz GraefeNew algorithms for map-reduce as well as SQL join and group-byE1 4MPI-Kolloquium
08/11/201613:00s.t.Christian IkenmeyerNo occurrence obstructions in geometric complexity theoryE1 4AG1 Mittagsseminar (own work)
08/10/201610:30Geoffrey NelissenCache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive SystemsG26SWS Colloquium
08/05/201611:45Laci BabaiThe Graph Isomorphism Problem, CANCELLEDE1 4Lecture
08/05/201611:00Laci BabaiThe Graph Isomorphism Problem, CANCELLEDE1 4INF Distinguished Lecture Series
08/05/201610:30Chandu ThekkathAn overview of MSR-IE1 5SWS Distinguished Lecture Series
08/04/201613:00Karl BringmannImproved Pseudopolynomial Time Algorithms for Subset SumE1 4AG1 Mittagsseminar (own work)
08/03/201613:00Marvin KünnemannTight(er) Bounds for Similarity Measures, Smoothed Approximation and BroadcastingE1 4Promotionskolloquium
08/03/201611:00Benjamin DoerrThe discrepancy of jittered samplingE1 4Talk
08/02/201613:00s.t.Cornelius BrandFine-grained dichotomies for the Tutte plane and Boolean #CSPE1 4AG1 Mittagsseminar (own work)
08/02/201611:00Prof. Karin VerspoorFunction and Phenotype Prediction through Data and Knowledge FusionE1 4MPI-Kolloquium
08/01/201615:00Michael DorrSmooth pursuit eye movement classification for clinical diagnosis and everyday applicationsE1 4Talk
08/01/201613:45Prof. Tim BaldwinAdventures in Representation Learning Land for Natural Language ProcessingE1 4MPI-Kolloquium
07/28/201613:00s.t.Daniel VazNew Integrality Gap Results for the Firefighters Problem on TreesE1 4AG1 Mittagsseminar (own work)
07/27/201611:00s.t.Marijn J.H. HeuleExclamation Point IconEverything’s Bigger in Texas: The Largest Math Proof EverE1 4Talk
07/26/201613:00Zvi LotkerSocial Networks and PlaysE1 4AG1 Mittagsseminar (own work)
07/25/201610:30Daniel NeiderLearning-Based SynthesisG26SWS Colloquium
07/22/201614:00Suresh VenkatasubramanianAlgorithmic fairness: a mathematical perspectiveE1 5SWS Colloquium
07/22/201611:00Prof. Wim Deferme, Prof. Kris Luyten, Steven Nagels, and Raf RamakersNew Prospects for Ubiquitous Computing: Smart materials meet interactive computingE1 7 - MMCITalk
07/21/201613:30Damon McCoyFraming Dependencies Introduced by Underground CommoditizationE1 5SWS Colloquium
07/21/201613:00Davis IssacHadwiger's Conjecture and Squares of Chordal GraphsE1 4AG1 Mittagsseminar (own work)
07/19/201613:00Andreas WieseOn approximating strip packing with a better ratio than 3/2E1 4AG1 Mittagsseminar (own work)
07/19/201610:00Wolfgang GatterbauerApproximate lifted inference with probabilistic databasesE1 4Talk
07/14/201610:00Nikhil BansalAlgorithmic Methods in Combinatorial DiscrepancyE1 4INF Distinguished Lecture Series
07/13/201614:15Stefanie MuellerInteracting with Personal Fabrication MachinesE1 3 - Hörsaal GebäudeTalk
07/12/201614:00Emanuel LaudeSublabel Accurate Relaxation of Nonconvex Energies arising in Computer Vision ProblemsE1 4Talk
07/12/201613:00Giorgos ChristodoulouDesigning Networks with Good Equilibria under UncertaintyE1 4AG1 Mittagsseminar (own work)
07/11/201612:00s.t.Cuong Xuan ChuMining How-To Activity Commonsense Knowledge from the WebE1 4IMPRS Research Seminar
07/11/201611:00Omar AlonsoThe practice of acquiring good labelsE1 4Talk
07/07/201613:00Marvin KünnemannImproved Protocols and Hardness Results for the Two-Player Cryptogenography ProblemE1 4AG1 Mittagsseminar (own work)
07/06/201612:15Maria StaudteWhen Eye Talk to You: Exploiting Eye-gaze in Spoken CommunicationE1 5Joint Lecture Series
07/05/201613:00Michael SagraloffExclamation Point IconOn Recent Progress in Solving Polynomial Equations - Part IIE1 4AG1 Mittagsseminar (own work)
07/05/201611:00Prof. Mirek RiedewaldExclamation Point IconExploratory Analysis with Imprecise QueriesE1 4MPI-Kolloquium
07/04/201612:00s.t.Shreeraman PonpathirkoottamVisual Computing for Industry 4.0E1 4IMPRS Research Seminar
07/04/201609:30Sebastian OttAlgorithms for Classical and Modern Scheduling ProblemsE1 4Promotionskolloquium
06/30/201613:00Bundit LaekhanukitApproximating Survivable Network Design via Rounding-by-Tree-EmbeddingE1 4AG1 Mittagsseminar (own work)
06/28/201613:00s.t.John LapinskasGraphs on which evolution is more effectiveE1 4AG1 Mittagsseminar (own work)
06/27/201612:00s.t.Mahesh ChandraStochastic Optimization Methods for Deep LearningE1 4IMPRS Research Seminar
06/23/201611:00s.t.Dennis HofheinzCryptographic building blocksE9 1 - CISPACISPA Distinguished Lecture Series
06/21/201613:00Michael SagraloffOn Recent Progress in Solving Polynomial Equations - Part 1E1 4AG1 Mittagsseminar (own work)
06/20/201610:30Christoph HaaseAlgorithms for the Quantitative Analysis of Infinite-State SystemsG26SWS Colloquium
06/20/201610:00Raoman RädleCross-Device Interactions and Enabling TechnologyE1 7 - MMCITalk
06/16/201613:00Alantha NewmanThe Alternating Stock Size Problem and the Gasoline PuzzleE1 4AG1 Advanced Mini-Course
06/15/201619:00Prof. Dr. Gerhard WeikumWas Computer wissen, lesen und verstehenE2 2 - Günter-Hotz-HörsaalPublic Lecture
06/14/201614:00Alexander SchützWeighting of information across eye movementsE1 4Talk
06/14/201614:00s.t.Timo BolkartDynamic and Groupwise Statistical Analysis of 3D FacesE1 4Promotionskolloquium
06/14/201613:00Michał PilipczukLower Bounds for Approximation Schemes for Closest StringE1 4AG1 Mittagsseminar (own work)
06/10/201614:00c.t.Dr. Timo KötzingBlack-Box Optimization under UncertaintyE1 4AG1 Mittagsseminar (others' work)
06/10/201611:00Dieter SchmalstiegAuthoring and Visualization Technologies for Augmented Reality ExperiencesE1 4Talk
06/09/201610:30Dr. Ashish GoelDecision making at scale: Algorithms, Mechanisms, and PlatformsE1 5SWS Distinguished Lecture Series
06/07/201611:00Julia ChuzhoyApproximation Algorithms for Graph Routing ProblemsE1 4MPI Colloquium Series Distinguished Speaker
06/06/201611:15Themis PalpanasData Series Management: The Road to Big Sequence AnalyticsE1 4Talk
06/03/201613:00Daniel VazFractional Coloring and Maximum Independent SetE1 4Probevortrag
06/02/201613:00Thomas KesselheimSecretary Problems with Non-Uniform Arrival OrderE1 4AG1 Mittagsseminar (own work)
06/01/201612:15Markus SteinbergerDynamic Scheduling for High-Performance Procedural Generation on the GPUE1 5Joint Lecture Series
05/31/201616:00Leonid PishchulinArticulated People Detection and Pose Estimation in Challenging Real World EnvironmentsE1 4Promotionskolloquium
05/30/201616:00Cheng LiBuilding Fast and Consistent (Geo-)Replicated Systems: From Principles to PracticeE1 5SWS Student Defense Talks - Thesis Defense
05/30/201612:00n/aNO IMPRS Research Seminar on Monday, May 30thE1 4IMPRS Research Seminar
05/27/201610:30Cecilia MascoloTruly Continuous Mobile Sensing for Behaviour ModellingG26SWS Distinguished Lecture Series
05/23/201614:00Christoph LenzenERC prep talkE1 4Miscellaneous
05/19/201613:00Pascal LenznerSelfish Network Creation: Structure, Locality & RobustnessE1 4AG1 Mittagsseminar (own work)
05/04/201612:15Derek DreyerRustBelt: Logical Foundations for the Future of Safe Systems ProgrammingE1 5Joint Lecture Series
05/03/201610:00Torsten SattlerLarge-Scale Camera Pose Voting and the Geometric Burstiness ProblemE1 4Talk
04/28/201614:00s.t.Nikhil SwamyF*: A tool for programming and provingE9 1 - CISPACISPA Distinguished Lecture Series
04/28/201613:00Andreas WieseIndependent set of convex polygons: from n^eps to 1+eps via shrinkingE1 4AG1 Mittagsseminar (own work)
04/28/201609:00Bimal ViswanathTowards Trustworthy Social Computing SystemsE1 5SWS Student Defense Talks - Thesis Defense
04/26/201613:00Cosmina CroitoruBipartite Digraphs DebatesE1 4AG1 Mittagsseminar (own work)
04/21/201614:30Andreas KrauseFrom Proteins to Robots: Learning to Optimize with ConfidenceE1 4INF Distinguished Lecture Series
04/21/201613:00Martin HoeferEfficient Algorithms for Unknown MarketsE1 4AG1 Mittagsseminar (own work)
04/20/201613:00Ulfar ErlingssonExclamation Point IconData-driven Software security: Motivation and MethodsE1 5SWS Distinguished Lecture Series
04/15/201610:00Mohamed YahyaQuestion Answering and Query Processing for Extended Knowledge GraphsE1 4Promotionskolloquium
04/14/201616:00Christina TeflioudiAlgorithms for Shared-Memory Matrix Completion and Maximum Inner Product SearchE1 4Promotionskolloquium
04/14/201614:30Volker TrespLearning with Memory EmbeddingsE1 4Talk
04/14/201613:30Martin RolfsExclamation Point IconAttention in active visionE1 4Talk
04/14/201613:00Thatchaphol SaranurakA new proof of static optimality for splay treeE1 4AG1 Mittagsseminar (own work)
04/14/201610:30Dina PapagiannakiExclamation Point IconTelco Innovation at HomeE1 5SWS Distinguished Lecture Series
04/13/201614:00David SwaseyFormalizing object capabilitiesE1 5SWS Student Defense Talks - Qualifying Exam
04/12/201613:00Paresh NakheExploiting structure in multi-armed banditsE1 4AG1 Mittagsseminar (own work)
04/11/201610:30Manos KapritsosSustainable Reliability for Distributed SystemsG26SWS Colloquium
04/07/201613:00s.t.Daniel VazFast Algorithms for Approximating Group Steiner TreeE1 4AG1 Mittagsseminar (own work)
04/06/201612:15Renjie ChenLow Distortion Geometry ModellingE1 5Joint Lecture Series
04/05/201613:00Syamantak DasScheudling with Outliers to Minimize Load and Flow-timeE1 4AG1 Mittagsseminar (own work)
03/31/201613:00Maximilian JohnA New SDP Relaxation for the Quadratic Assignment ProblemE1 4AG1 Mittagsseminar (own work)
03/31/201611:00Maya RamanathTracking the Conductance of Rapidly Evolving Topic-SubgraphsE1 4AG5 Talk
03/31/201610:30Andreas HaeberlenAccountability for Distributed SystemsG26SWS Colloquium
03/30/201614:00Amir VaxmanDirectional Field Synthesis, Design, and ProcessingE1 4AG4 Talk
03/29/201613:00Pavel KolevA Note on Spectral ClusteringE1 4AG1 Mittagsseminar (own work)
03/29/201610:30Aaron SchulmanWhy applications are still draining our batteries, and how we can helpG26SWS Colloquium
03/24/201614:00Boris SchauerteAttention and Gaze Estimation for Intelligent SystemsE1 4Talk
03/23/201610:30Arunesh SinhaWhat's in a Game? An intelligent and adaptive approach to securityG26SWS Colloquium
03/22/201613:00Davis IssacBiclique Optimization ProblemsE1 4AG1 Mittagsseminar (own work)
03/22/201613:00Caigui JiangGeometry rationalization for freeform architectureE1 4AG4 Talk
03/21/201614:00Istemi Ekin AkkusTowards a Non-Tracking WebG26SWS Student Defense Talks - Thesis Defense
03/21/201610:30Arjun RadhakrishnaPerformance-aware Repair for Concurrent ProgramsG26SWS Colloquium
03/17/201610:30Chenhao TanOnline social interactions: a lens on humans and a world for humansG26SWS Colloquium
03/15/201613:00s.t.Alexander KobelComputing Real Roots of a Real Polynomial ... and now for RealE1 4AG1 Mittagsseminar (own work)
03/14/201610:30Dave LevinSecuring the Internet by Proving the ImpossibleG26SWS Colloquium
03/10/201615:30Zilong WangAlgorithms and Tools for Verification and Testing of Asynchronous ProgramsG26SWS Student Defense Talks - Thesis Defense
03/10/201614:00s.t.Steve KremerAutomated verification of equivalence properties forcryptographic protocolsE9 1 - CISPACISPA Distinguished Lecture Series
03/10/201611:00Prof. Jennifer NevilleLearning in networks: How to exploit relationships to improve predictionsE1 4MPI Colloquium Series Distinguished Speaker
03/10/201610:30Baris KasikciStamping Out Concurrency BugsG26SWS Colloquium
03/08/201613:00s.t.Michael DirnbergerNEFI: Network Extraction From ImagesE1 4AG1 Mittagsseminar (own work)
03/07/201610:30Robert WestHuman Behavior in NetworksE1 5SWS Colloquium
03/04/201613:00Guy EvenExclamation Point IconNetwork-on-Chips: offline and online methodologiesE1 4AG1 Mittagsseminar (others' work)
03/03/201613:00Aruni ChoudharyApproximating Rips using PermutohedraE1 4AG1 Mittagsseminar (own work)
03/02/201616:00Kurt MehlhornHollow Heaps (Hansen, Kaplan, Tarjan, Zwick)E1 4AG1 Mittagsseminar (others' work)
03/01/201613:00Andreas SchmidMatch-And-Merge: A New Greedy Framework for Maximum Planar SubgraphsE1 4AG1 Mittagsseminar (own work)
02/26/201609:00s.t.Krzysztof TemplinDepth, Shading, and Stylization in Stereoscopic CinematographyE1 4Promotionskolloquium
02/25/201616:15Marie-Francoise RoyEffectivity Issues and Results for Hilbert's 17th ProblemE1 4Talk
02/25/201613:00Marvin KünnemannThe (multivariate) fine-grained complexity of Longest Common SubsequenceE1 4AG1 Mittagsseminar (own work)
02/24/201615:00Samir KhullerCapacitated Covering, Scheduling to Minimize Energy and Min Edge CostFlows -a natural convergenceE1 4MPI-Kolloquium
02/23/201613:00Sam McCauleyCache-Adaptive AnalysisE1 4AG1 Mittagsseminar (own work)
02/22/201610:30Catalin HritcuEfficient Formally Secure Compilers to a Tagged ArchitectureG26SWS Colloquium
02/18/201613:00Attila KinaliFault-tolerant clock synchronization in hardwareE1 4AG1 Mittagsseminar (own work)
02/16/201613:00s.t.Pascal SchweitzerThe Graph Isomorphism problem: techniques from structural graph theory and canonical decompositionsE1 4AG1 Mittagsseminar (own work)
02/15/201610:30Linh Thi Xuan PhanTiming Guarantees for Cyber-Physical SystemsG26SWS Colloquium
02/12/201616:00s.t.Oliver KlehmUser-Guided Scene Stylization using Efficient Rendering TechniquesE1 4Promotionskolloquium
02/11/201613:00Stephan FriedrichsMetastability-Containing ArithmeticE1 4AG1 Mittagsseminar (own work)
02/09/201615:30Reinhard MunzANON: Practical Privacy Preserving Data AnalyticsG26SWS Student Defense Talks - Qualifying Exam
02/09/201613:00Sebastian KrinningerExclamation Point IconApproximate Shortest Paths via Hop Sets: Distributed and Dynamic AlgorithmsE1 4AG1 Mittagsseminar (own work)
02/04/201613:00Bojana KodricPrice of Anarchy for Mechanisms with AdmissionE1 4AG1 Mittagsseminar (own work)
02/03/201612:15Vera DembergComputational Modelling of Human Language ComprehensionE1 5Joint Lecture Series
02/02/201613:00Sandy HeydrichImprovements in online bin packingE1 4AG1 Mittagsseminar (own work)
02/02/201611:00s.t.Oskar ELEKEfficient Methods for Physically-based Rendering of Participating MediaE1 4Promotionskolloquium
02/01/201614:00s.t.Youngkyoon YangHand Gesture-based User Interface in Ubiquitous Virtual RealityE1 4Talk
02/01/201612:05Jón Arnar TomassonPDE based image compressionE1 4IMPRS Research Seminar
01/28/201613:00Omar DarwishMaster Seminar: Computing Balanced Flows via Parametric FlowsE1 4AG1 Advanced Mini-Course
01/26/201613:00D1Group Meeting D1E1 4AG1 Group Meeting
01/25/201612:05Maxat NukhayevArrakis: The Operating System In The Control PlaneE1 4IMPRS Research Seminar
01/22/201611:00Prof. Justin ZobelA Measure of MismeasuresE1 4MPI Colloquium Series Distinguished Speaker
01/16/201613:00Alantha NewmanThe Alternating Stock Size Problem and the Gasoline PuzzleE1 4AG1 Advanced Mini-Course
01/13/201612:15Erik Jan van LeeuwenParameterized Algorithms and the Structure of NetworksE1 5Joint Lecture Series
01/11/201616:15Luciano Del CorroMethods for Open Information Extraction and Sense Disambiguation on Natural Language TextE1 5Promotionskolloquium
01/11/201611:00c.t.Zhaochun RenTime-aware Multi-Viewpoint Summarization of Multilingual Social Text StreamsE1 4AG5 Talk
01/06/201613:00Jacques-Henri JourdanVerasco, a formally verified C static analyzerG26SWS Colloquium
01/05/201610:30Amir Aminifar'Embedded Control Systems --- From Theory to Implementation'G26SWS Colloquium
01/04/201612:05Michaël Noël DivoProof Assistant and Formalization of "Types and Programming Languages" with Isabelle HOLE1 4IMPRS Research Seminar
12/21/201515:00Bojan PepikjRicher Object Representations for Object Class Detection in Challenging Real-World ImagesE1 4Promotionskolloquium
12/21/201511:00s.t.Jing HanRepresentation of Piecewise Biharmonic Surfaces Using Biquadratic and Bicubic B-splinesE1 4AG4 Talk
12/18/201515:00s.t.Zhongjie WANGPattern Search for VisualizationE1 4Promotionskolloquium
12/18/201511:00s.t.Charalampos PapamanthouTrustworthy Computing with Untrusted ResourcesE1 5CISPA Distinguished Lecture Series
12/17/201513:00Scott OwensThe CakeML verified compilerE1 5SWS Colloquium
12/16/201514:00Tobias GüntherOpacity Optimization and Inertial Particles in Flow VisualizationE1 4AG4 Talk
12/16/201510:30Kathy GrayRigorous Acrchitectural Modelling for Production MultiprocessorsE1 5SWS Colloquium
12/15/201510:30Robbert KrebbersThe C standard formalized in CoqE1 5SWS Colloquium
12/14/201516:00John WilmesExclamation Point IconThe Isomorphism Problem for Highly Regular Combinatorial ObjectsE1 4Talk
12/14/201512:00Akram El-KorashyLanguage-Based Information-Flow SecurityE1 4IMPRS Research Seminar
12/11/201515:00Mohamed Amir YosefU-AIDA: A Customizable System for Named Entity Recognition, Classification, and DisambiguationE1 5Promotionskolloquium
12/10/201510:00s.t.Simon OlberdingFabricating Custom-Shaped Thin-Film Interactive SurfacesE1 7 - MMCIPromotionskolloquium
12/09/201510:00s.t.Ahmed ELHAYEKMarker-less Motion Capture in General Scenes with Sparse Multi-camera SetupsE1 4Promotionskolloquium
12/08/201513:00Ruben BeckerA Novel Dual Ascent Algorithm for Solving the Min-Cost Flow ProblemE1 4AG1 Mittagsseminar (own work)
12/08/201510:30Aritra DharCLOTHO: Saving Programs from Malformed Strings and Incorrect String-HandlingE1 5SWS Colloquium
12/07/201512:05Gerhard WeikumGood Scientific PracticeE1 4IMPRS Research Seminar
12/02/201512:15Krishna GummadiFairness and Transparency in Data-Driven Decision Making SystemsE1 5Joint Lecture Series
12/01/201513:00Erik Jan van LeeuwenIndependent Set on H-free GraphsE1 4AG1 Mittagsseminar (own work)
11/26/201510:30Dr. Marco CaccamoImpact of Multicore on Cyber-Physical Systems: challenges andsolutionsE1 5SWS Distinguished Lecture Series
11/24/201513:00Vladimir ShikhmanComputation of Fisher-Gale equilibrium by auctionE1 4AG1 Mittagsseminar (own work)
11/23/201512:05Hosnieh SattarPrediction of search targets from fixations in open-world settingsE1 4IMPRS Research Seminar
11/19/201513:00Stephan FriedrichsParallel Metric Tree Embedding based on an Algebraic View on Moore-Bellman-FordE1 4AG1 Mittagsseminar (own work)
11/19/201510:30Dr. Suresh JagannathanDeclarative Programming for Eventual ConsistencyG26SWS Colloquium
11/16/201512:05Yusra IbrahimMaking Sense of Web TablesE1 4IMPRS Research Seminar
11/11/201512:15Parinya ChalermsookBinary Search Trees, Precognition, and PatternsE1 5Joint Lecture Series
11/09/201512:05Kashyap PopatExploring new feature space for Sentiment AnalysisE1 4IMPRS Research Seminar
11/05/201513:00Claire MathieuExclamation Point IconAnalyzing the forest fire modelE2.1 Center for BioinformaticsMPI Colloquium Series Distinguished Speaker
11/03/201513:00D!D1 Group MeetingE1 4AG1 Group Meeting
11/02/201512:05Sreyasi Nag ChowdhuryWhy is Commonsense not so common?E1 4IMPRS Research Seminar
11/01/201509:00Launch a Startup in 54 Hours!Startup Weekend SouthWest (3-Day Event)Campus A3 3 (Aula)Miscellaneous
10/31/201509:00Launch a Startup in 54 Hours!Startup Weekend SouthWest (3-Day Event)Campus A3 3 (Aula)Miscellaneous
10/30/201518:30Launch a Startup in 54 Hours!Startup Weekend SouthWest (3-Day Event)Campus A3 3 (Aula)Miscellaneous
10/30/201515:00Soham ChakrabortyValidating Optimizations of Concurrent C/C++ ProgramsG26SWS Student Defense Talks - Qualifying Exam
10/30/201513:00Joel OuaknineDecision Problems for Linear Dynamical SystemsE1 4MPI Colloquium Series Distinguished Speaker
10/26/201511:20s.t.Adrián Rebola PardoUnsatisfiability Proofs for Parity Reasoning in SATE1 4PhD Application Talk
10/26/201511:20s.t.Kailash BudhathokiCorrelation by CompressionE1 4PhD Application Talk
10/26/201511:20s.t.MadhumitaRecognizing Textual EntailmentE1 4PhD Application Talk
10/26/201511:20s.t.Panagiotis MandrosInformation-Theoretic Feature Selection for Continuous DataE1 4PhD Application Talk
10/26/201510:20s.t.Dilip Ariyur DuraiOptimising de novo transcriptome assemblyE1 4PhD Application Talk
10/26/201509:00s.t.AkshitaMultimodal Affective Feedback: Role of HapticsE1 4PhD Application Talk
10/26/201509:00s.t.Alan SchoenUpdating Artificial Neural Networks: Translating Recent Discoveries about the Electrophysiology of Neurons into the Language of ComputationE1 4PhD Application Talk
10/26/201509:00s.t.Pedro Ascensão Ferreira MatiasNon-Preemptive Speed Scaling and Parallel Machine Scheduling with Job RestrictionsE1 4PhD Application Talk
10/26/201509:00s.t.Sherif Mohamed Hany Abdelalim Helmy ShehataUsing Mid- and High-Level Visual Features for Surgical Workflow Detection in Cholecystectomy ProceduresE1 4PhD Application Talk
10/26/201509:00s.t.Yanjie WangExplorations of the PATH Algorithm for Graph MatchingE1 4PhD Application Talk
10/23/201510:00Dima DamenThe lifetime of an object – long-term monitoring of objectsE1 4Talk
10/22/201510:30Salvatore RuggieriDiscrimination Data AnalysisE1 5SWS Colloquium
10/20/201514:00Arpan GujaratiWhen is CAN the Weakest Link? A Bound on Failures-In-Time in CAN-Based Real-Time SystemsG26SWS Student Defense Talks - Qualifying Exam
10/20/201513:30Pontus EkbergComplexity of the Scheduling Problem for Periodic Real-Time TasksG26SWS Colloquium
10/16/201513:00Marko DokoFSL: A Program Logic for C11 Memory FencesG26SWS Student Defense Talks - Qualifying Exam
10/16/201512:00Alexander WiederSpin Locks in Real-Time SystemsG26SWS Student Defense Talks - Thesis Proposal
10/15/201513:00Pankaj KhanchandaniAccurate and Robust Clock SynchronizationE1 4AG1 Mittagsseminar (own work)
10/08/201513:00Hang ZhouCorrelation Clustering and Two-edge-connected Augmentation for Planar GraphsE1 4AG1 Mittagsseminar (own work)
10/07/201512:15Roland AngstChallenges in Image-Based 3D ReconstructionsE1 5Joint Lecture Series
10/06/201513:00Sunil ChandranRainbow connection number of graphsE1 4AG1 Advanced Mini-Course
09/28/201511:00Tomasz TylendaMethods and Tools for Summarization of Entities and Facts in Knowledge BasesE1 4Promotionskolloquium
09/23/201514:00He SunConstructing Linear-Sized Spectral Sparsification in Almost-Linear TimeE1 4AG1 Mittagsseminar (own work)
09/22/201513:00s.t.Bjoern AndresExclamation Point IconLifting of Multicuts and the Decomposition of Image and Mesh GraphsE1 4AG1 Mittagsseminar (own work)
09/21/201513:00Christine RizkallahTrustworthy File SystemsE1 5SWS Colloquium
09/18/201514:00Deepak KapurA Quantifier- Elimination Heuristic for Octagonal ConstraintsG26SWS Colloquium
09/18/201509:00Christine RizkallahVerification of Program Computations (PhD-Defense)E1 4Promotionskolloquium
09/17/201510:00Irfan EssaVideo Analysis and Enhancement: Spatio-Temporal Methods for Extracting Content from Videos and Enhancing Video OutputE1 4Talk
09/15/201510:00James CaverleeGeo-Social Footprints in Social Media: Opportunities and ChallengesE1 4Talk
09/10/201513:00Jiemin ZengExact and Approximation Algorithms for Data Mule Scheduling in a Sensor NetworkE1 4AG1 Mittagsseminar (own work)
09/08/201513:00Shikha SinghRational Proofs with Multiple ProversE1 4AG1 Mittagsseminar (own work)
09/03/201513:00AG 1Group Meeting and CakeE1 4AG1 Group Meeting
09/02/201512:15Jasmin Christian BlanchetteMaking Theorem Provers Easier to UseE1 5Joint Lecture Series
08/25/201513:00Davis IssacOnline Sampling with Minimal RandomnessE1 4AG1 Mittagsseminar (own work)
08/18/201513:00Ralf JungMonoids and Invariants as an Orthogonal Basis for Concurrent ReasoningE1 5SWS Student Defense Talks - Qualifying Exam
08/13/201513:00Andreas WieseOn guillotine cutting sequencesE1 4AG1 Mittagsseminar (own work)
08/12/201513:00Christoph LenzenERC prep talkE1 4Talk
08/11/201513:00Paul DüttingAlgorithms as Mechanisms: The Price of Anarchy of Relax-and-RoundE1 4AG1 Mittagsseminar (own work)
08/06/201513:00Andreas WieseHow to tame rectanglesE1 4AG1 Mittagsseminar (own work)
08/05/201512:15Piotr DidykPerceptually-driven Inputs for New Output DevicesE1 5Joint Lecture Series
07/30/201510:30s.t.Alexandre ChapiroPerceptual Enhancements for 3D DisplaysE1 4AG4 Talk
07/29/201514:00Jiri FilipAnisotropic Material Appearance: Acquisition and ModellingE1 4Talk
07/28/201513:00s.t.Lila FontesExclamation Point IconTrading Privacy for CommunicationE1 4AG1 Mittagsseminar (own work)
07/23/201513:00Thatchaphol SaranurakUnifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication ConjectureE1 4AG1 Mittagsseminar (own work)
07/22/201514:00s.t.Gregor SneltingA New Algorithm For Probabilistic NoninterferenceE1 5CISPA Distinguished Lecture Series
07/16/201513:00Keerti ChoudharyFault Tolerant Reachability Subgraph : Generic and OptimalE1 4AG1 Mittagsseminar (own work)
07/14/201514:15Andreas LochbihlerMaking the Java memory model safeE1 5Talk
07/14/201513:00Shahbaz KhanExclamation Point IconDynamic DFS Tree in Undirected Graphs: breaking the O(m) barrierE1 4AG1 Mittagsseminar (own work)
07/10/201511:00Patrick McDanielSix Years of Mobile Smartphone SecurityE1 5CISPA Distinguished Lecture Series
07/09/201514:00Jay PujaraProbabilistic Soft LogicE1 4AG5 Talk
07/09/201513:00Shay MoranSample compression schemes for VC classesE1 4AG1 Mittagsseminar (own work)
07/09/201510:00Yafang WangResearch after MPIE1 4AG5 Talk
07/08/201516:15Manfred WarmuthThe blessing and the curse of the multiplicative updates; the talk discusses connections between evolution and the multiplicative updates of online learning)E1 4MPI Colloquium Series Distinguished Speaker
07/03/201509:30Ali PourmiriPhD Thesis DefenseMMCIPromotionskolloquium
07/02/201513:00Mabel Iglesias-HamMultiple Covers with Balls: Inclusion-ExclusionE1 4AG1 Mittagsseminar (own work)
07/01/201512:15Christoph LenzenFast Approximate Max Flow ComputationE1 5Joint Lecture Series
06/30/201513:00Sayan BhattacharyaDeterministic Fully Dynamic Data Structures for Vertex Cover and MatchingE1 4AG1 Mittagsseminar (own work)
06/29/201513:00Brittany Terese FasyComparing Road Networks: An Application of TDAE1 4AG1 Mittagsseminar (own work)
06/26/201510:30Dr. Arne Hamann''Timing-Aware Control Software Design for Automotive Systems''G26SWS Colloquium
06/24/201513:00Muhammad Bilal ZafarOn Leveraging the Wisdom of Crowdsourced ExpertsE1 5SWS Student Defense Talks - Qualifying Exam
06/24/201513:00Pedro FonsecaEffective Testing for Concurrency BugsE1 5SWS Student Defense Talks - Thesis Defense
06/23/201511:00Dr. Jannik StroetgenEvent-centric Information RetrievalE1 4AG5 Talk
06/22/201511:00Dr. Rishiraj Saha RoyUnsupervised Query Segmentation: Algorithms and EvaluationE1 4AG5 Talk
06/22/201509:00s.t.Chuong H. NguyenData-driven Approaches for Interactive Appearance EditingE1 4Promotionskolloquium
06/19/201515:00s.t.Adrian NeumannPhD Thesis DefenseE1 4AG1 Mittagsseminar (own work)
06/17/201510:00s.t.Herbert Bos50 Shades of CRE (Code Reuse Exploits)E1 5CISPA Distinguished Lecture Series
06/16/201513:00Ragesh JaiswalFaster Algorithms for the Constrained k-means ProblemE1 4AG1 Mittagsseminar (own work)
06/15/201512:05s.t.Luis Enrique Ramirez ChavezMulti-Objective Evolutionary Algorithms for BioinformaticsE1 4IMPRS Research Seminar
06/11/201513:00Andreas WieseOn Approximating Storage Allocation Problems as Good as Their SiblingsE1 4AG1 Mittagsseminar (own work)
06/09/201513:00Amit KumarGreedy Algorithms for Steiner ForestE1 4AG1 Mittagsseminar (own work)
06/09/201511:00Clemens Birklbauer and David SchedlWide-field-of-view light-field processing and coded samplingE1 4AG4 Talk
06/03/201514:00s.t.Nigel SmartComputing on Encrypted DataE1 5CISPA Distinguished Lecture Series
06/03/201512:15Deepak GargTypes for Incremental Computational ComplexityE1 5Joint Lecture Series
06/02/201513:00Christoph LenzenFast Approximate Max Flow ComputationE1 4Probevortrag
05/28/201513:00Dr. Sergey PolyakovskiyPacking While TravelingE1 4AG1 Mittagsseminar (own work)
05/26/201513:00Navid TalebanfardThe Strong Exponential Time Hypothesis for Structured Algorithms through Games and the Multiplicity of StrategiesE1 4AG1 Mittagsseminar (own work)
05/21/201514:00s.t.Markus SteinbergerDynamic Task-based GPU SchedulingE1 4AG4 Talk
05/19/201513:00Vitaliy KurlinHomologically Persistent Skeleton in Computer Vision and beyondE1 4AG1 Mittagsseminar (own work)
05/15/201513:00s.t.Prof. Frank NeumannOn the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan SchedulingE1 4AG1 Mittagsseminar (own work)
05/11/201510:00Abhishek SharmaJoint Co-localisation and Co-segmentationE1 4Talk
05/08/201518:00s.t.Three-Day WorkshopStartup Weekend Saarbrücken (May 8-10, 2015)A3 3 - Aula UniversitätMiscellaneous
05/07/201513:00Bundit LaekhanukitParameters of Two-Prover-One-Round Game and The Hardness of Connectivity ProblemsE1 4AG1 Mittagsseminar (own work)
05/06/201512:15Andreas KellerDetecting Microbial Resistance Against AntibioticsE1 5Joint Lecture Series
05/05/201513:00D!D1 Group Meeting, Preparation of SAB-VisitE1 4AG1 Group Meeting
05/04/201511:00s.t.Hyunyoung KimGesture-Recognition Interface with Keyboard Embedded IR ModulesE1 4PhD Application Talk
05/04/201511:00s.t.Mehdi NorooziIndoor Scene 3D Layout and Clutter Estimation from RGBD ImagesE1 4PhD Application Talk
05/04/201509:15s.t.Azin GhazimatinTeam Selection for Prediction TasksE1 4PhD Application Talk
05/04/201509:15s.t.Mohamed Gad-ElrabAdapting Named Entity Disambiguation for Arabic TextE1 4PhD Application Talk
05/04/201509:15s.t.Nesma El KalaawyA Reaction-Diffusion Master Equation-Based Method for the Modeling and Simulation of Biochemical PathwaysE1 4PhD Application Talk
04/30/201514:00s.t.Boris KöpfRational Protection Against Timing AttacksE1 5Talk
04/29/201516:00Christian HollerExclamation Point IconSecurity Testing at MozillaE1 5Talk
04/28/201515:00Wolfgang HeidrichUnconventional Uses for Time-of-Flight Cameras - Transient Imaging and BeyondE1 4Talk
04/28/201510:00Philipp KrähenbühlLearning to propose objectsE1 4Talk
04/22/201514:00Vamsi Kiran AdhikarlaLight Field Rendering and InteractionE1 4Talk
04/21/201513:00Benjamin DoerrRandomized Rumor Spreading RevisitedE1 4AG1 Mittagsseminar (own work)
04/20/201510:00Stephan SeufertAlgorithmic Building Blocks for Relationship Analysis over Large GraphsE1 4Promotionskolloquium
04/16/201513:00Prof. Frauke LiersExact Approaches for Air Traffic Management ProblemsE1 4AG1 Mittagsseminar (own work)
04/14/201513:00Michael KerberSemi-dynamic connectivity in the planeE1 4AG1 Mittagsseminar (own work)
04/10/201510:00Prof. Dr. Peter BonczEmergent Structures in Knowledge GraphsE1 4Lecture
04/09/201510:00Dr. Pei LiSeries Discovery with Missing and Erroneous ValuesE1 4AG5 Talk
04/07/201515:30Pramod BhatotiaIncremental Parallel and Distributed SystemsE1 5SWS Student Defense Talks - Thesis Defense
04/07/201513:00Abhinav AnandFoster-Hart Risk and the Too-Big-to-Fail Banks: An Empirical InvestigationE1 4AG1 Mittagsseminar (own work)
04/02/201513:00Philipp Klodtk-Cycle Free Two-Matchings from Half-Integral Subtour LP-Solutions (Master Seminar)E1 4AG1 Mittagsseminar (own work)
04/01/201510:30Simon PeterBuilding an Operating System for the Data CenterE1 5SWS Colloquium
03/30/201510:30David WolinskyTracking Resistance with DissentE1 5SWS Colloquium
03/27/201510:00Joel RybickiTowards Optimal Synchronous CountingE1 4Talk
03/26/201510:30Ankit SinglaJellyfish: Networking Data Centers, RandomlyE1 5SWS Colloquium
03/24/201516:00Luis Francisco ZilianiInteractive Typed Tactic Programming in the Coq Proof AssistantE1 5SWS Student Defense Talks - Thesis Defense
03/24/201511:00s.t.Georg MoserWeighted Automata Theory for Complexity Analysis of Rewrite SystemsE1 4Talk
03/20/201511:00Pascal KoiranLower bounds for sums of powers of low degree univariatesE2.1Talk
03/20/201509:30Chandan SahaMulti-k-ic depth three circuit lower boundE2.1Talk
03/19/201511:00Guillaume MalodLower bounds for non-commutative skew circuitsE2.1Talk
03/19/201509:30Neeraj KayalTBAE2.1Talk
03/18/201511:00Daniel KönigPolynomial identity testing in coRNC for powerful skew circuitsE2.1Talk
03/18/201509:30Ignacio Garcia MarcoLong-Concavity and Lower bounds for arithmetic circuitsE2.1Talk
03/17/201513:00Don SheehyPersistent Nerves in Topological Inference and Data AnalysisE1 4AG1 Mittagsseminar (own work)
03/17/201511:00Rahul SanthanamBoolean vs AlgebraicE2.1Talk
03/17/201509:30Ben Lee Volk/Amir ShpilkaSubexponential Size HItting Sets for Bounded Depth Multilinear FormulasE2.1Talk
03/16/201511:00Ramprasad SaptharishiDepth Reduction in arithmetic circuitsE2.1Talk
03/16/201509:30Michael ForbesPolynomial Identity Testing via Shifted Partial DerivativesE2.1Talk
03/11/201513:00Jukka SuomelaMedian Filtering is Equivalent to SortingE1 4Talk
03/10/201513:00Moti MedinaDistributed Maximum Matching in Bounded Degree GraphsE1 4AG1 Mittagsseminar (own work)
03/09/201514:00s.t.Leonidas GuibasNetworks of Shapes and ImagesE1 4Talk
03/09/201511:00Reut LeviA Quasi-Polynomial Time Partition Oracle for Graphs with an Excluded MinorE1 4AG1 Mittagsseminar (own work)
03/05/201513:00D1D1 Group MeetingE1 4AG1 Group Meeting
03/04/201514:30s.t.IT InkubatorKick-off event on 4 March 2015A3 3 - Aula UniversitätKick-Off Event
03/04/201512:15Michael KerberThe Persistent Homology Pipeline: Shapes, Computations, and ApplicationsE1 5Joint Lecture Series
03/03/201513:00Tereza KlimosovaInfinite dimensional finitely forcible graphonE1 4AG1 Mittagsseminar (own work)
03/02/201510:30Deian StefanPrincipled and Practical Web Application SecurityE1 5SWS Colloquium
02/26/201513:00Hang ZhouGraph Reconstruction and VerificationE1 4AG1 Mittagsseminar (own work)
02/26/201510:30Aniket KateMinimal Trusted Hardware Assumptions for Privacy-Preserving SystemsE1 5SWS Colloquium
02/24/201513:00Yun Kuen CheungAsynchronous Market Dynamics and Asynchronous Gradient DescentE1 4AG1 Mittagsseminar (own work)
02/24/201511:00c.t.Hannah BastSemantic Search: Past, Present, FutureE1 4MPI-Kolloquium
02/23/201515:00Cheng LiBuilding fast and consistent replicated systems: from principles to practiceE1 5SWS Student Defense Talks - Thesis Proposal
02/23/201513:00Moti MedinaDistributed Maximum Matching in Bounded Degree GraphsE1 4AG1 Mittagsseminar (own work)
02/23/201511:20s.t.Abdalghani AbujabalMining Past, Present, and FutureE1 4PhD Application Talk
02/23/201511:20s.t.Azim Dehghani AmirabadModels to predict miRNAs-transcript target interactionsE1 4PhD Application Talk
02/23/201511:20s.t.Kashyap PopatLeveraging Unlabelled Corpora for Sentiment AnalysisE1 4PhD Application Talk
02/23/201511:20s.t.Neha WarikooRegulatory network of fadr – crp in Mycobacterium tuberculosis: A computational approachE1 4PhD Application Talk
02/23/201511:20s.t.Tim KehlGeneTrail2 - A comprehensive web service for enrichment analysisE1 4PhD Application Talk
02/23/201509:00s.t.Anurag PandeyTesting Algebraic Independence of Polynomials over Finite FieldsE1 4PhD Application Talk
02/23/201509:00s.t.Hosnieh SattarPrediction of search targets from fixations in open-world settingsE1 4PhD Application Talk
02/23/201509:00s.t.Kireeti BoddunaEfficient Noise Elimination Algorithms for Images and GraphicsE1 4PhD Application Talk
02/23/201509:00s.t.Sreyasi Nag ChowdhuryContextual Media Retrieval Using Natural Language QueriesE1 4PhD Application Talk
02/23/201509:00s.t.Yang HePedestrian Detection and Online Tracking from Monocular ImagesE1 4PhD Application Talk
02/19/201514:00Bart PreneelCryptography and Information Security in the post-Snowden eraE1 5CISPA Distinguished Lecture Series
02/19/201510:30Laura BrandimartePrivacy, Security, and Online Disclosures:Combining HCI and Behavioral Science to Design Visceral Cues for Detection of Online ThreatsE1 5SWS Colloquium
02/17/201514:00s.t.Jens-Matthias BohliOutsourced Proofs of RetrievabilityE1 5Talk
02/17/201513:00M.-F. RoyTalk by M.F. Roy on Hilbert's 17th problem HAS BEEN CANCELEDE1 4AG1 Mittagsseminar (others' work)
02/17/201510:30Dr. Eva DarulovaProgramming with Numerical UncertaintiesE1 5SWS Colloquium
02/13/201513:30s.t.Vladlen KoltunExclamation Point IconReconstructing Complete 3D Models from Single ImagesE1 4Talk
02/12/201514:00c.t.Wolfgang NejdlALEXANDRIA - Temporal Retrieval, Exploration and Analytics in Web archives - Asking Humans for HelpE1 5MPI-Kolloquium
02/12/201510:30Johannes HoffartDiscovering and Disambiguating Named Entities in TextE1 5Promotionskolloquium
02/10/201513:00Reza SaeiMaximal Induced Matchings in Triangle-Free GraphsE1 4AG1 Mittagsseminar (own work)
02/05/201514:00s.t.Felix FreilingGovernmental IT Intrusions for Law Enforcement: State of the Art andAlternativesE1 5CISPA Distinguished Lecture Series
02/05/201511:00Miguel CostaInformation Search in Web ArchivesE1 4AG5 Talk
02/04/201512:15Andreas BullingThere is more to gaze than meets the eye: novel uses of gaze in context-aware computing and human-computer interactionE1 5Joint Lecture Series
02/02/201514:00Hannah BastCANCELED: Semantic Search: Past, Present, FutureE1 4MPI-Kolloquium
01/30/201514:00Oliver BimberTowards a transparent and flexible image sensorE1 4Talk
01/29/201514:00s.t.Prof. Dr. Heiko MantelReliable Security Guarantees for Concurrent Programs: Pitfalls, Solutions and ChallengesE1 5CISPA Distinguished Lecture Series
01/26/201510:30Alessandro PanconesiTrace Complexity of Information DiffusionG26SWS Distinguished Lecture Series
01/22/201514:00s.t.Prof. Dr. David BasinEnforceable Security PoliciesE1 5CISPA Distinguished Lecture Series
01/22/201513:15Monika HenzingerExclamation Point IconDynamic Graph Algorithms - Upper and Lower BoundsE1 4INF Distinguished Lecture Series
01/22/201510:00Pankaj KhanchandaniApproximate AgreementE1 4ToDS Group Meeting
01/20/201513:00Yin Tat LeeA Faster Algorithm for Linear Programming and the Maximum Flow ProblemE1 4Talk
01/17/201513:00M.F. RoyTALK BY M.F. ROY ON HILBERT's 17TH PROBLEM HAS BEEN CANCELEDE1 4AG1 Mittagsseminar (others' work)
01/16/201516:00Bimal ViswanathReasoning about trustworthiness of identities in social computing systemsE1 5SWS Student Defense Talks - Thesis Proposal
01/16/201513:00Jara UittoHow Many Ants Does It Take To Find the Food?E1 4Talk
01/15/201514:00s.t.Prof. Dr. Ueli MaurerConstructive Cryptography and Modular Protocol DesignE1 5CISPA Distinguished Lecture Series
01/15/201513:00He SunHeat Kernel in Graphs: Our UnderstandingE1 4Talk
01/15/201510:00Matthias FüggerFault-tolerant on-chip tick generationE1 4ToDS Group Meeting
01/13/201513:00Luca ZanettiMultiway partitioning of well-clustered graphs (SPOILER ALERT: spectral clustering works!)E1 4AG1 Mittagsseminar (own work)
01/12/201511:00Guillaume MalodLower bounds for non-commutative skew circuitsE1 4AG1 Advanced Mini-Course
01/12/201511:00Daniel KönigPolynomial identity testing in coRNC for powerful skew circuitsE2.1Talk
01/12/201511:00Daniel KönigPolynomial identity testing in coRNC for powerful skew circuitsE2.1Talk
01/12/201511:00Ramprasad SaptharishiDepth Reduction in arithmetic circuitsE2.1Talk
01/09/201515:00Hans BoehmPutting Threads on a Solid Foundation: Some Remaining IssusG26SWS Distinguished Lecture Series
01/09/201510:00Andrew TomkinsAnalyzing Dynamics of Choice among Discrete AlternativesE1 5SWS Distinguished Lecture Series
01/08/201510:00Matthias FüggerTowards Dependable Large-scale Circuits: Fault-Tolerant Tick-GenerationE1 4AG1 Group Meeting
01/07/201512:15Manuel Gomez RodriguezShaping Social Activity by Incentivizing UsersE1 5Joint Lecture Series
01/02/201511:00Jiemin ZengTBAE1 4AG1 Mittagsseminar (own work)
12/22/201409:30Foteini AlvanakiMining interesting events on large and dynamic dataE1 4Promotionskolloquium
12/19/201413:00Alexey GotsmanFormalising and Optimising Parallel Snapshot IsolationG26SWS Colloquium
12/17/201415:00Angelika StegerExclamation Point IconAn algorithmic framework for obtaining lower bounds for random Ramsey problemsE1 5AG1 Mittagsseminar (own work)
12/17/201412:30Karl BringmannPhD Defense Karl BringmannE1 4Promotionskolloquium
12/16/201413:00Erik Jan van Leeuwen & Parinya ChalermsookHighlights from FOCS 2014E1 4AG1 Mittagsseminar (others' work)
12/15/201414:00Azalea RaadCoLoSL: Concurrent Local Subjective LogicE1 5SWS Colloquium
12/12/201414:00Filip NiksicAn SMT-Based Approach to Coverability AnalysisG26SWS Student Defense Talks - Qualifying Exam
12/12/201414:00s.t.Stephan MicklitzGoogle Identity, Account Management and Privacy ToolsE1 5CISPA Distinguished Lecture Series
12/12/201413:00Shay MoranSign rank, VC dimension and spectral gapsE1 4AG1 Advanced Mini-Course
12/11/201414:00s.t.Catuscia PalamidessiNew Advances in Quantitative Information FlowE1 5CISPA Distinguished Lecture Series
12/11/201413:00Ankit SharmaMultiway cutE1 4AG1 Mittagsseminar (own work)
12/09/201413:00Kurt MehlhornGroup MeetingE1 4AG1 Group Meeting
12/09/201411:30KyoungSoo ParkScaling TCP performance for multicore systemsE1 5SWS Colloquium
12/05/201413:30Michael W. HicksAuthenticated Data Structures, GenericallyE1 5SWS Colloquium
12/04/201414:00Istemi Ekin AkkusTowards Non-tracking Web and Mobile AnalyticsG26SWS Student Defense Talks - Thesis Proposal
12/04/201413:00Joel RybickiLarge Cuts with Local AlgorithmsE1 4AG1 Mittagsseminar (own work)
12/03/201412:15Tobias MarschallAlgorithmic Challenges in Computational GenomicsE1 5Joint Lecture Series
12/02/201413:00Florian PausingerExclamation Point IconApproximation of intrinsic volumesE1 4AG1 Mittagsseminar (own work)
11/28/201411:00s.t.Christian KURZConstrained Camera Motion Estimation and 3D ReconstructionE1 4Promotionskolloquium
11/28/201411:00s.t.Prof. Dr. Adrian PerrigExciting Security Research Opportunity: Next-generation InternetE1 5CISPA Distinguished Lecture Series
11/26/201411:00Robert WestExploiting Social Network Structure for Person-to-Person Sentiment AnalysisE1 5SWS Colloquium
11/25/201413:00Jugal GargExclamation Point IconLeontief Exchange Markets Can Solve Multivariate Polynomial Equations, Yielding FIXP and ETR HardnessE1 4AG1 Mittagsseminar (own work)
11/21/201415:00Aastha MehtaThoth: Practical Data flow protection in a search engineE1 5SWS Student Defense Talks - Qualifying Exam
11/20/201414:00Scott Kilpatrickmhmm: Making Haskell More ModularE1 5SWS Student Defense Talks - Thesis Proposal
11/20/201414:00s.t.Dr. Marc FischlinCryptographic Standards vs. Cryptographically Secure StandardsE1 5CISPA Distinguished Lecture Series
11/20/201413:00s.t.Valia MitsouThe computational complexity of two card games with theoretical applicationsE1 4AG1 Mittagsseminar (own work)
11/20/201413:00s.t.Stephan WengerRegularized optimization methods for reconstruction and modeling in computer graphicsE1 4AG4 Talk
11/18/201413:00s.t.Eunjung KimAlgorithmic Applications of Tree-Cut WidthE1 4AG1 Mittagsseminar (own work)
11/18/201411:00s.t.Eric HeitzMulti-scale appearance for realistic and efficient rendering of complex surfacesE1 4AG4 Talk
11/17/201414:00Oksana DenysyukRandomized Solutions to Renaming under Crashes and Byzantine FaultsE1 5SWS Colloquium
11/17/201413:15Pascal VincentLearning representations with autoencoders: a brief overview and a few novel perspectivesE1 4Talk
11/17/201410:30Marcos K. AguileraYesquel: scalable SQL storage for Web applicationsE1 5SWS Distinguished Lecture Series
11/13/201413:00D1D1 Group MeetingE1 4AG1 Group Meeting
11/13/201413:00Prof. Baoquan ChenUrban Sensing and VisualizationE1 4Talk
11/12/201410:30Rachid GuerraouiGeneralized UniversalityG26SWS Distinguished Lecture Series
11/11/201418:00s.t.Prof. Dr. Michael Backes, MPI-SWS, Prof. Dr. Paul Francis, MPI-SWS, Staatssekretär Jürgen Lennartz, Thomas Schauf (BVDW), Moderation: Reinhard Karger, DFKIWenn Maschinen zu smart werden - Wie sicher sind unsere Daten?E1 5Panel Discussion
11/11/201411:30Anne-Marie KermarrecScalable personalization infrastructuresE1 5SWS Distinguished Lecture Series
11/10/201411:15Roger WattenhoferNetwork Complexity & Complex NetworksE 1.5INF Distinguished Lecture Series
11/06/201413:00Dr. Kai LawonnIllustrative Visualization of Medical Data SetsE1 4Talk
11/06/201410:00s.t.Ilya ReshetouskiKaleidoscopic ImagingE1 4Promotionskolloquium
11/05/201412:15Christian RossowAmplification DDoS: Abusing 30-Year-Old Internet Protocols for Denial-of-Service AttacksE1 5Joint Lecture Series
11/05/201410:30Ingmar WeberUsing Twitter to study Food Consumption and Fitness BehaviorE1 5SWS Colloquium
11/04/201415:30Noah SmithMachine Learning about People from their LanguageE1 5SWS Distinguished Lecture Series
10/30/201416:00Koushik SenMultiSE: Multi-Path Symbolic Execution using Value SummariesG26SWS Colloquium
10/30/201414:00Frank PiessensRuntime enforcement of security policies on black box reactive programs: theory and practiceE1 5CISPA Distinguished Lecture Series
10/30/201413:00D1D1 Group MeetingE1 4AG1 Group Meeting
10/21/201413:00Sandy HeydrichApproximating biclique problems on bipartite graphsE1 4AG1 Mittagsseminar (own work)
10/09/201410:30Steve ZdancewicVellvm: Verifying Safety in the LLVM IRE1 5SWS Colloquium
10/07/201413:00Bart JansenExclamation Point IconCharacterizing the Easy-to-Find Subgraphs from the Viewpoint of Polynomial-Time Algorithms, Kernels, and Turing KernelsE1 4AG1 Mittagsseminar (own work)
10/06/201409:30Christian RossowAdvanced Lecture: Software Reverse EngineeringE1 3 - Hörsaal GebäudeLecture
10/02/201414:00Mark RyanReconciling online privacy and societal securityE1 5CISPA Distinguished Lecture Series
10/02/201410:30Dr. Joel OuaknineTermination of Linear Programs: Advances and ChallengesG26SWS Distinguished Lecture Series
10/01/201412:15Nico PfeiferStatistical Learning in Computational Biology: Incorporating and Discovering new Biological InsightsE1 5Joint Lecture Series
09/29/201413:00Sariel Har-PeledSmall Data -- Linear Time Algorithms for Geometric ProblemsE1 4Talk
09/26/201415:30Alexey ReznichenkoPrivate-by-Design Advertising Meets the Real WorldG26SWS Student Defense Talks - Thesis Defense
09/26/201414:00Ian GoldbergCISPA Distinguished Lecture Series - DP5: Privacy-preserving Presence ProtocolsE1 5CISPA Distinguished Lecture Series
09/25/201413:00Andreas WieseExclamation Point IconHow Unsplittable-Flow-Covering helps Scheduling with Job-Dependent Cost FunctionsE1 4AG1 Mittagsseminar (own work)
09/23/201413:00Sebastian OttExclamation Point IconNew Results for Non-Preemptive Speed ScalingE1 4AG1 Mittagsseminar (own work)
09/19/201414:00Andrej BogdanovOn Basing Size-Verifiable One-Way Functions on NP-HardnessE1 7 - MMCICISPA Distinguished Lecture Series
09/18/201413:00Xiaohui BeiBalancing Efficiency and Fairness in Resource AllocationE1 4AG1 Mittagsseminar (own work)
09/16/201413:00Fabrizio GrandoniSubcubic Equivalences Between Graph Centrality Problems, APSP and DiameterE1 4AG1 Mittagsseminar (own work)
09/16/201411:00s.t.Christoph LenzenERC test presentationE1 4Probevortrag
09/15/201411:00Leslie GoldbergThe Complexity of Approximate CountingE1 4MPI Colloquium Series Distinguished Speaker
09/05/201415:00James D. Hollan (UCSD) and Aurélien Tabard (U Lyon)Activity-Enriched Computing: Retrieving and Restoring ContextE1 1 - InformatikTalk
09/05/201415:00James D. Hollan (UCSD) and Aurélien Tabard (U Lyon)Activity-Enriched Computing: Retrieving and Restoring ContextE1 7 - MMCITalk
09/04/201413:00Fidaa AbedOptimal Coordination Mechanisms for Multi-Job Scheduling GamesE1 4AG1 Mittagsseminar (own work)
09/02/201413:00Antonios AntoniadisA o(n)-Competitive Deterministic Algorithm for Online Matching on a LineE1 4AG1 Mittagsseminar (own work)
08/28/201414:00Franziska RoesnerSecurity, Privacy, and User Expectations: Case Studies in Web Tracking, Access Control, and User InterfacesE1 5Talk
08/28/201413:30Biman RoyThe Unified Theory of PseudorandomnessE1 4Talk
08/28/201413:00Sebastien TavenasReduction of the depth for arithmetic circuitsE1 4Talk
08/28/201411:00s.t.Christoph LenzenERC practice talkE1 4Probevortrag
08/26/201413:00Tino WeinkaufExtended Branch Decomposition Graphs: Structural Comparison of Scalar DataE1 4AG1 Mittagsseminar (own work)
08/21/201413:00Jan HladkyAn approximate version of the tree packing conjectureE1 4AG1 Mittagsseminar (own work)
08/19/201413:00Rob van SteeThe optimal absolute ratio for online bin packingE1 4AG1 Mittagsseminar (own work)
08/15/201413:00Kirill AfanasevShortest and alternative paths in road networksE1 4Talk
08/14/201413:00s.t.Matthias FüggerTime Complexity of Link Reversal RoutingE1 4Talk
08/14/201411:00s.t.Ullrich HustadtResolution-based Reasoning for Coalition LogicE1 3 - Hörsaal GebäudeTalk
08/13/201413:00s.t.Matthias FüggerTowards binary circuit models that faithfully reflect physical (un)solvability.E1 4Talk
08/12/201415:00Viktor ErdélyiA Privacy-Preserving Platform for Context-Aware Mobile Social ApplicationsE1 5SWS Student Defense Talks - Qualifying Exam
08/08/201410:30Robbert van RenesseLeveraging Sharding in the Design of Scalable Replication ProtocolsE1 5SWS Distinguished Lecture Series
08/06/201415:30Mike DoddsA Fast, Correct Time-Stamped StackE1 5SWS Colloquium
08/06/201412:15Marcel SchulzProbabilistic Methods for the Analysis of Biological NetworksE1 5Joint Lecture Series
07/30/201410:30Flavio ChierichettiTrace ComplexityE1 5SWS Colloquium
07/29/201413:00Richard PengAlgorithms Design Using Spectral Graph TheoryE1 4Talk
07/28/201413:00Josef SivicFrom CAD models to neural networks: Learning mid-level image representations for visual recognitionE1 4Talk
07/24/201413:00Paul MüllerDeferred Shading Pipelines and Post-ProcessesE1 4Talk
07/24/201410:30Andrei SabelfeldTracking information flow in web applicationsE1 5SWS Distinguished Lecture Series
07/23/201410:30Hongjin LiangCompositional Verification of Termination-Preserving Refinement of Concurrent ProgramsG26SWS Colloquium
07/22/201413:00Pauli MiettinenOn algorithmic and computational issues in low-rank approximate Boolean factorizations particularly applicable to data mining and related fieldsE1 4AG1 Mittagsseminar (own work)
07/21/201415:15Prof. Dr. Roberto Navigli(Digital) Goodies from the ERC Wishing Well: BabelNet, Babelfy, video games with a purpose and the Wikipedia bitaxonomyE1 4Talk
07/17/201413:00Shay MoranEpsilon ID's and the double sampling argumentE1 4Lecture
07/15/201414:00s.t.Li WeiR-calculus: A Logical Inference System for Verifying the Process of Scientific DiscoveryE1 5Talk
07/15/201413:00Minming LiExclamation Point IconDVS scheduling for various processor models and task typesE1 4Talk
07/15/201412:15Faraz Makari ManshadiScalable Optimization Algorithms for Recommender SystemsE1 4Promotionskolloquium
07/14/201413:00s.t.Christoph LenzenImproved Distributed Steiner Forest ConstructionE1 4Talk
07/10/201414:00s.t.Chenglei WUInverse Rendering for Scene Reconstruction in General EnvironmentsE1 4Promotionskolloquium
07/10/201411:00Michael J. BlackThe persistence of structure: Layers, time, and the estimation of optical flowE1 5Talk
07/09/201416:15Kurt MehlhornPractice Talk: Erasmus LectureE1 4Lecture
07/08/201413:00Narayana SwamyApproximation Algorithms for Hitting Line SegmentsE1 4Lecture
07/07/201414:15Prof. David SteurerUnique Games, Sum-of-Squares, and the Quest for Optimal AlgorithmsE1 4MPI Colloquium Series Distinguished Speaker
07/07/201412:00s.t.Oliver NalbachDeep Screen Space for Indirect Lighting of VolumesE1 5IMPRS Research Seminar
07/02/201412:15Andreas KarrenbauerA Journey with Discrete Optimization: from the Real World to Theory and BackE1 5Joint Lecture Series
07/01/201413:00Wouter van HeijstSquares inscribed on algebraic plane curvesE1 4AG1 Mittagsseminar (own work)
06/30/201414:15Dr. Moritz HardtProtecting Correctness in Adaptive Data AnalysisE1 4MPI Colloquium Series Distinguished Speaker
06/24/201413:30Milind SohoniExclamation Point IconMarket GamesE1 4AG1 Mittagsseminar (own work)
06/24/201413:00Piotr KrystaSize versus Truthfulness for the House Allocation ProblemE1 4AG1 Mittagsseminar (own work)
06/23/201415:00s.t.Christian KleinMatrix Rounding, Evolutionary Algorithms, and Hole DetectionE1 4Promotionskolloquium
06/20/201414:30Shady ElbassuoniPractical Extraction of Disaster-Relevant Information from Social MediaE1 1 - InformatikTalk
06/17/201413:00Matthias MnichLarge Independent Sets in Triangle-Free Planar GraphsE1 4AG1 Mittagsseminar (own work)
06/16/201413:00Vineet RajaniInformation flow control for javascript in web browsersE1 5SWS Student Defense Talks - Qualifying Exam
06/13/201410:00Nicolas BonneelMass Transport Principles for Computer GraphicsE1 4Talk
06/12/201413:00D1Group Meeting D1E1 4AG1 Group Meeting
06/10/201413:00Ali PourmiriRandomized Rumor Spreading in Poorly Connected Real-World NetworksE1 4AG1 Mittagsseminar (own work)
06/05/201416:00s.t.Maria Paola BonacinaExclamation Point IconSGGS: Model-Based First-Order Theorem ProvingE1 5Talk
06/04/201412:15Jilles VreekenExploratory Data AnalysisE1 5Joint Lecture Series
06/03/201413:00C. S. RahulProperties of Connected f-FactorsE1 4AG1 Mittagsseminar (own work)
06/02/201411:00Ndapandula NakasholeLanguage-Aware Truth Assessment of Fact CandidatesE1 4Talk
05/27/201414:00Dim Coumou and Thomas NockeExclamation Point IconJet stream visualization to detect anomalous circulation regimes associated with extreme weather eventsE1 4Talk
05/27/201413:00Patrick KlitzkeTwo-dimensional Subset Selection for Hypervolume and Epsilon-IndicatorE1 4AG1 Mittagsseminar (own work)
05/22/201413:00Karl BringmannExclamation Point IconWhy walking the dog takes time: Frechet distance has no strongly subquadratic algorithms unless SETH failsE1 4AG1 Mittagsseminar (own work)
05/22/201410:30Ras BodikAdventures in Program SynthesisE1 5SWS Distinguished Lecture Series
05/20/201413:15Wojciech MatusikFrom Virtual to RealE1 4Lecture
05/20/201413:00Aruni ChoudharyWell separated simplical decompositions using net-treesE1 4AG1 Mittagsseminar (own work)
05/19/201410:45s.t.Davis IssacBetter Exact Algorithm for Maximum Independent Set Problem in Graphs with Bounded Degree 3E1 4PhD Application Talk
05/19/201410:45s.t.Serikzhan KaziCompact Representation of Automata and Algorithms for its xBWTE1 4PhD Application Talk
05/19/201410:45s.t.Sukhpreet Kaur KhanguraHybrid Model Based Coding Enhancement for MPEGE1 4PhD Application Talk
05/19/201409:00s.t.Ali GhaffaariA Molecular Dynamic Approach Based on Knowledge-based Force Function for Prediction of Protein StructureE1 4PhD Application Talk
05/19/201409:00s.t.Dhruv GuptaIdentifying Time Intervals of Interest for QueriesE1 4PhD Application Talk
05/19/201409:00s.t.Saskia MetzlerIdentification of Horizontal Gene Transfer Events in VirusesE1 4PhD Application Talk
05/15/201413:00Marek EliasExclamation Point IconRamsey questions in discrete geometryE1 4AG1 Mittagsseminar (own work)
05/13/201413:00Dimitris FotakisApproximate Strategyproof Mechanisms for Facility Location GamesE1 4AG1 Mittagsseminar (own work)
05/09/201411:00Maximilian DyllaEfficient Querying and Learning in Probabilistic and Temporal DatabasesE1 4Promotionskolloquium
05/08/201413:00Zi YeCobordism ring and generaE1 4AG1 Mittagsseminar (own work)
05/08/201410:30Kavita BalaModeling and representing materials in the wildE1 5SWS Distinguished Lecture Series
05/07/201412:15Andreas WieseApproximation Algorithms for Packing ProblemsE1 5Joint Lecture Series
05/06/201412:15Sarath Kumar KondreddiHuman Computing and Crowdsourcing Methods for Knowledge AcquisitionE1 4Promotionskolloquium
05/05/201414:00Liana HadareanLazy Bit-vector Solving and Witnessing Compiler TransformationsG26SWS Colloquium
05/05/201411:00Laura DietzEntity Linking with Document Retrieval and Vice VersaE1 4Talk
04/25/201413:00Giuseppe F. ItalianoStrong Bridges and Strong Articulation Points of Directed GraphsE1 4AG1 Mittagsseminar (own work)
04/24/201410:30Ori LahavModular Reasoning about Heap Paths via Effectively Propositional FormulasG26SWS Colloquium
04/23/201413:30Prof. Dr. Andrey RybalchenkoAutomating Proofs of Relational Properties of Probabilistic ProgramsE1 5CISPA Distinguished Lecture Series
04/23/201411:00Aaron CarrollMobile multi-cores: power and performanceE1 5SWS Colloquium
04/23/201410:00Dr. Michael RoitzschPractical Real-Time with Look-Ahead SchedulingG26SWS Colloquium
04/22/201413:00Peter KlingScheduling Shared Continuous Resources on Many-CoresE1 4AG1 Mittagsseminar (own work)
04/15/201413:00Thomas KesselheimPrimal Beats Dual on Online Packing LPs in the Random-Order ModelE1 4AG1 Mittagsseminar (own work)
04/14/201410:00Dr. Alexander de LucaGetting the User in the Loop - Building Secure Systems that People can UseE1 5CISPA Distinguished Lecture Series
04/10/201413:00Artur JeżA really simple approximation of a smallest grammarE1 4AG1 Mittagsseminar (own work)
04/10/201410:30Dr. Andrew MyersIncreasing security and performance with higher-level abstractions for distributed programming.E1 5SWS Distinguished Lecture Series
04/09/201414:00Suvrit SraInexactness, geometry, and optimization for data analysisE1 4Talk
04/07/201417:00Pramod BhatotiaIncremental Parallel and Distributed SystemsE1 5SWS Student Defense Talks - Thesis Proposal
04/07/201413:00Julia PapExclamation Point IconApplications of a polyhedral version of Sperner's LemmaE1 4Talk
04/07/201410:30Amir HoumansadrThe Cyberspace Battle for Information: Combating Internet CensorshipG26SWS Colloquium
04/03/201410:30Devdatta AkhaweTowards a Secure Client-side for the Web PlatformG26SWS Colloquium
04/02/201412:15Verena WolfA hybrid moment closure approach to stochastic chemical kineticsE1 5Joint Lecture Series
04/01/201413:00AG 1AG1 Group MeetingE1 4AG1 Group Meeting
03/28/201412:00Dr. Dalia Daoud Suleiman KhaderProving Pret a Voter Receipt Free in the Computational ModelsE1 5SWS Colloquium, Post Doc Application Talk
03/28/201411:30V ArvindLower bounds for multiplicative and linear circuits in noncommutative domainsE2 1 - BioinformatikTalk
03/28/201410:00Neeraj KayalLower Bounds for Homogeneous Low Depth FormulasE2 1 - BioinformatikTalk
03/27/201413:00Lena KarosEstimation of Expectations and Applications (Bachelor Thesis)E1 4AG1 Mittagsseminar (own work)
03/27/201411:30Nitin SaxenaTowards hitting-sets for multilinear depth-3 circuitsE2 1 - BioinformatikTalk
03/27/201410:30Cezara DragoiLogic-based frameworks for automated verification of programs with dynamically allocated data structuresG26SWS Colloquium
03/27/201410:00Pascal KoiranA τ-conjecture for Newton polygons.E2 1 - BioinformatikTalk
03/26/201411:30Thomas ThieraufCounting the number of perfect matchings in K5-free graphsE2 1 - BioinformatikTalk
03/25/201414:00Ankit GuptaApproaching the chasm at depth fourE2 1 - BioinformatikTalk
03/25/201414:00Michael ForbesApproaching the chasm at depth fourE2 1 - BioinformatikTalk
03/25/201411:30Michael SagraloffNear-optimal Algorithms for Computing Real Roots of a PolynomialE2 1 - BioinformatikTalk
03/25/201410:00Peter Bro MiltersenReal algebraic geometry in computational complexityE2 1 - BioinformatikTalk
03/24/201414:15Lise GetoorScalable Collective Inference using Probabilistic Soft LogicE1 4MPI-INF Distinguished Lecture
03/24/201411:40Chris UmansApproaches to bounding the exponent of matrix multiplicationE2 1 - BioinformatikTalk
03/24/201410:30Stefan GoellerEquivalence checking of stack-based infinite-state systemsG26SWS Colloquium
03/24/201410:10Meena MahajanThe quest for VP-completenessE2 1 - BioinformatikTalk
03/20/201414:30Prof. Dr. Matthew SmithExclamation Point IconUsable Security & Privacy: A multi-level perspectiveE1 4CISPA Distinguished Lecture Series
03/20/201413:15Philipp UrbanMeasuring the Difference between Color-ImagesE1 4Lecture
03/20/201411:30Dr. Muhammad Rizwan AsgharPrivacy Preserving Enforcement of Sensitive Policies in Distributed EnvironmentsE1 5Post Doc Application Talk
03/19/201410:00s.t.Herrn Arjun Jain, B.Sc.Data-driven Methods for Interactive Visual Content Creation and ManipulationE1 4Promotionskolloquium
03/13/201414:15Susanne AlbersEnergy-Efficient AlgorithmsE1 4MPI-INF Distinguished Lecture
03/13/201410:30Manuel Gomez RodriguezStructure and Dynamics of Diffusion NetworksG26SWS Colloquium
03/12/201410:30Bryan FordCan You Hide in an Internet Panopticon?G26SWS Colloquium
03/11/201413:00Shay MoranExclamation Point IconDirect Sum Fails for Zero Error Average CommunicationE1 4Lecture
03/10/201410:30I-Ting Angelina LeeLinguistic and System Support for Structured Parallel ProgrammingG26SWS Colloquium
03/07/201413:00Shay MoranTBDE1 4Lecture
03/06/201414:15Anja FeldmannOn the importance of Internet eXchange Points for today's Internet ecosystemE1 5SWS Distinguished Lecture Series
03/06/201411:30Julian McAuleyMachine Learning for Social Systems: Modeling Opinions, Activities, and InteractionsG26SWS Colloquium
03/05/201412:15Viktor VafeiadisFormal Reasoning about Relaxed ConcurrencyE1 5Joint Lecture Series of MPI-INF, MPI-SWS and MMCI
03/04/201411:00Megha KhoslaMultiple Choice Allocations with Small Maximum LoadsE1 4Promotionskolloquium
03/04/201410:30Hongseok YangHow to find a good program abstraction automatically?E1 5SWS Distinguished Lecture Series
02/27/201413:00Ruben BeckerA Combinatorial Interior Point Method for Min-Cost FlowE1 4AG1 Mittagsseminar (own work)
02/27/201410:30Prof. Viktor KuncakAutomating Construction of Provably Correct SoftwareE1 5SWS Distinguished Lecture Series
02/26/201411:30Foteini Baldimtsi, Privacy Preserving Technologies and an Application to Public Transit SystemsE1 5SWS Colloquium
02/26/201411:30Ms. Foteini BaldimtsiPrivacy Preserving Technologies and an Application to Public Transit SystemsE1 5Post Doc Application Talk
02/24/201410:30Prof. Alin DeutschDecidable Verification of Database-powered Business ProcessesG26SWS Distinguished Lecture Series
02/21/201410:00Thorsten BonatoLifting and Separation Procedures for the Cut PolytopeE1 4Talk
02/18/201413:00Martin HoeferOnline Independent Set with Stochastic AdversariesE1 4AG1 Mittagsseminar (own work)
02/18/201411:00Pedro FonsecaExposing and Detecting Concurrency Bugs in Large-Scale SoftwareE1 5SWS Student Defense Talks - Thesis Proposal
02/17/201414:00Mark SilbersteinOperating System Services for High-Throughput AcceleratorsG26SWS Colloquium
02/13/201414:00Ezgi CicekA Type System for Incremental Computational ComplexityE1 5SWS Student Defense Talks - Qualifying Exam
02/13/201411:00Prof. Simone Paolo PonzettoExclamation Point IconKnowledge-rich models for high-end NLP applicationsE1 4Talk
02/12/201414:00Dr. Jefrey LijffijtComputational Methods for Comparison and Exploration of Event SequencesE1 4Talk
02/12/201412:15Jürgen SteimleExclamation Point IconBeyond Multi-Touch: User Interfaces for Flexible Displays and SurfacesE1 5Joint Lecture Series of MPI-INF, MPI-SWS and MMCI
02/10/201414:00Sanjoy BaruahReal-time Scheduling and Mixed-Criticality SystemsG26SWS Distinguished Lecture Series
02/10/201410:50Aliaksandr TalaikaIBEX: Id-Based Entity ExtractionE1 4PhD Application Talk
02/10/201410:50Oussam Mustapha LarkemEnumeration of ({0}, {2})-DominationsE1 4PhD Application Talk
02/10/201410:50Paresh NakheFast Random Walks on Overlay NetworksE1 4PhD Application Talk
02/10/201410:50Sanjar KaraevMatrix Factorization over Max-Times Algebra for Data MiningE1 4PhD Application Talk
02/10/201408:50Afshin RahimiA Perceptual Account of Syllabification in PersianE1 4PhD Application Talk
02/10/201408:50Artem BoldyrevDictionary-Based Named Entity RecognitionE1 4PhD Application Talk
02/10/201408:50Joanna BiegaAdapting sentiment analysis resources and methods to the realm of the Polish languageE1 4PhD Application Talk
02/10/201408:50Kiril PanevPhrase Querying with Combined IndexesE1 4PhD Application Talk
02/07/201414:00Gerard de MeloFrom Language to Knowledge and Vice VersaE1 4Talk
02/06/201413:00Antonios AntoniadisSpeed scaling for fractional weighted flow plus energyE1 4AG1 Mittagsseminar (own work)
02/04/201414:00Christoph GarthCharacterizing Extremal Structures in Multivariate Data with Pareto SetsE1 4Talk
02/04/201413:00Guy Even and Takeshi TokuyamaDouble Header: Balancing location of points on boundary and Deterministic Rateless Codes for Binary Symmetric ChannelsE1 4Lecture
02/03/201409:30Michael Hellenschmidt, SAP AGCloud Computing WorkshopCyberForumOne-Day-Event
01/30/201413:00Yi LiA Brief Introduction to the Sublinear-Time Sparse Recovery ProblemE1 4AG1 Mittagsseminar (own work)
01/29/201413:00Jie GaoComplex Contagion and The Weakness of Long Ties in Social Networks: RevisitedE1 4Talk
01/28/201413:00Antonios AntoniadisSpeed scaling for fractional weighted flow plus energyE1 4AG1 Mittagsseminar (own work)
01/23/201416:00Christian GrothoffComponents for Building Secure Decentralized NetworksE1 5SWS Colloquium
01/21/201413:00Kunal DuttaCounting Independent sets in HypergraphsE1 4AG1 Mittagsseminar (own work)
01/20/201413:00Aruni ChoudharyWell separated simplical decomposition using net-treesE1 4AG1 Mittagsseminar (own work)
01/19/201413:00Rob van SteeTBAE1 4AG1 Advanced Mini-Course
01/15/201413:00He SunTBAE1 4AG1 Mittagsseminar (own work)
01/15/201413:00Shay MoranEpsilon ID's and the double sampling argumentE1 4Lecture
01/14/201413:00Christoph LenzenImproved Distributed Steiner Forest ConstructionE1 4Talk
01/13/201410:00Nicolas BonneelMass Transport Principles for Computer GraphicsE1 4Talk
01/13/201410:00Dr. Zeynep AkataContributions to Large Scale Learning for Image ClassificationE1 4Talk
01/09/201414:00Suvrit SraInexactness, geometry, and optimization for data analysisE1 4Lecture
01/09/201414:00Suvrit SraInexactness, geometry, and optimization for data analysisE1 4Lecture
01/09/201413:00Naveen GargLocal search algorithms for facility location.E1 4Lecture
01/08/201412:15Aniket KateDifferential Guarantees for Cryptographic SystemsE1 5Joint Lecture Series of MPI-INF, MPI-SWS and MMCI
01/07/201413:00Simon GogSuccinct Data Structures: From Theory to PracticeE1 4AG1 Mittagsseminar (own work)
12/16/201311:00Stefan KieferVerifying Probabilistic ProgramsG26SWS Colloquium
12/13/201315:00s.t.Herrn Dipl.-Inform. Thomas HeltenProcessing and Tracking Human Motions Using Optical, Inertial, and Depth SensorsE1 4Promotionskolloquium
12/12/201313:00Marvin KünnemannTight Analysis of Randomized Rumor Spreading in Complete GraphsE1 4AG1 Mittagsseminar (own work)
12/11/201314:00Pan PengDetecting and Characterizing Small Dense Bipartite-like Subgraphs by the Bipartiteness Ratio MeasureE1 4Talk
12/11/201311:00Wolfgang MulzerNew Algorihtms for the Frechet DistanceE1 4Talk
12/06/201310:15Mark CrovellaInferring Invisible Internet TrafficE1 5SWS Colloquium
12/05/201313:00Kurt MehlhornA Geometric View of Binary Search Trees (cancelled; talk moved to Reading Group, Wednesday December 4, 4:15,E1 4AG1 Mittagsseminar (others' work)
12/05/201311:00Gilles BartheComputer-Aided Cryptographic Analysis and DesignE1 5SWS Distinguished Lecture Series
12/04/201314:15Renate SchmidtComputing Uniform Interpolation for Description LogicsE1 5Talk
12/04/201312:15He SunEfficient Algorithms in Massive GraphsE1 5Joint Lecture Series of MPI-INF, MPI-SWS and MMCI
12/04/201310:30Lizhen QuSentiment Analysis with Limited Training DataE1 4Promotionskolloquium
12/03/201313:00Lisa WagnerDesigning Profit Shares in Matching and Coalition Formation GamesE1 4AG1 Mittagsseminar (own work)
11/28/201313:00Mabel Iglesias-HamPacking spheres with OverlapE1 4AG1 Mittagsseminar (own work)

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)