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

All

DateTimeSpeakerEvent, Title, TopicBuilding, RoomEvent Type
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)
11/28/201313:00Sameer PatilDesigning Usable Interfaces for Access Control in Location Sharing SystemsE1 4Talk
11/27/201318:00Nuno Miguel Carvalho SantosImproving Trust in Cloud, Enterprise, and Mobile Computing PlatformsE1 5SWS Student Defense Talks - Thesis Defense
11/26/201316:00Beta ZilianiInteractive Typed Tactic Programming in CoqE1 5SWS Student Defense Talks - Thesis Proposal
11/26/201313:00Johannes DamsJamming-Resistant Learning in Wireless NetworksE1 4AG1 Mittagsseminar (own work)
11/21/201311:00Fabián E. BustamanteAn experimentation platform for the Internet's edgeE1 5SWS Colloquium
11/20/201314:00Dan R. GhicaFrom bounded affine types to automatic timing analysisE1 5SWS Colloquium
11/14/201313:00s.t.Doron ShaharabaniSparsification of Motion-Planning Roadmaps by Edge ContractionE1 4AG1 Mittagsseminar (own work)
11/12/201313:00Michael KerberA Generalization of the Johnson-Lindenstrauss LemmaE1 4AG1 Mittagsseminar (own work)
11/08/201311:15Herrn Dr. Karol MYSZKOWSKIPerceptual Display: Improving Apparent Image Qualities Beyond Physical Display LimitationsE1 4Antrittsvorlesung im Rahmen der Umhabilitierung
11/07/201313:00Pavel KolevCommunity Analysis using Local Random WalksE1 4AG1 Mittagsseminar (own work)
11/06/201315:00Alexey PospelovExclamation Point IconYandex: Learning to RankE1 1Talk
11/06/201312:15Cristian Danescu-Niculescu-MizilLanguage and Social Dynamics in Online CommunitiesE1 5Joint Lecture Series of MPI-INF, MPI-SWS and MMCI
11/05/201314:00Quirin MeyerGPU Mesh CompressionE1 4Talk
11/05/201313:00Jens M. SchmidtTalking MondsheinE1 4AG1 Mittagsseminar (own work)
11/05/201309:00c.t.Mohammed Shaheen, M.ScCache based Optimization of Stencil Computations - An Algorithmic ApproachE1 4Promotionskolloquium
11/04/201311:00Prof. Dr. Elaine ShiPractical Oblivious Computation: From Theory to Hardware to CompilerE1 5CISPA Distinguished Lecture Series
11/04/201311:00Prof. Dr. Elaine ShiTBDE1 5CISPA Distinguished Lecture Series
10/31/201313:00Christoph LenzenFast Routing Table Construction Using Small MessagesE1 4Lecture
10/29/201313:00Christoph LenzenTowards a Theory for Fault-Tolerant Hardware DesignE1 4Lecture
10/28/201314:00s.t.Benjamin Doerr, Christoph WeidenbachMeeting: Election of the institute's representative and ombudspersonE1 4Meeting
10/23/201315:00s.t.Konstantin KorovinSolving linear arithmetic by conflict resolution and bound propagationE1 4Talk
10/22/201314:00Jonas Magazinius“Polyglots: Crossing origins by crossing formats”E1 5Talk
10/22/201313:30Christine RizkallahProgress on Verification of Certifying ComputationsE1 4AG1 Mittagsseminar (own work)
10/22/201313:00Sayan BhattacharyaNear-optimal Multi-unit Auctions with Ordered BiddersE1 4AG1 Mittagsseminar (own work)
10/22/201311:00Nattiya KanhabuaCan Twitter & Co. Save Lives?E1 4Talk
10/21/201314:15Harald ReitererBlended Interaction: Understanding Natural Interaction in Post-WIMP Interactive SpacesE 1.7 (MMCI)Talk
10/17/201315:00s.t.Aless LasarukSymbolic Software Prototyping with ContRapE1 4Talk
10/16/201315:00s.t.Aless LasarukEffective Approximate Factorization of Linear Partial Differential OperatorsE1 4Talk
10/15/201314:00Prof. Dr. Thorsten HolzMobile Security - Results and ChallengesE1 5CISPA Distinguished Lecture Series
10/15/201313:00Mayank GoswamiThe I/O complexity of sorting with two key lengthsE1 4AG1 Mittagsseminar (own work)
10/10/201313:00Patrick NicholsonDeterministic Schemes for Membership in the Bitprobe ModelE1 4AG1 Mittagsseminar (own work)
10/09/201314:00Pierre-Yves LaffontExploring and editing the appearance of outdoor scenesE1 4Talk
10/07/201311:10s.t.Johannes DörfertEnabling Reductions in Polyhedral Loop Nest OptimizationE1 4PhD Application Talk
10/07/201311:10s.t.Luis Enrique Ramirez ChavezGPU Accelerated Evolutionary Algorithm for the Gene Regulatory Network Model Inference ProblemE1 4PhD Application Talk
10/07/201311:10s.t.Zhaodi XiaoDimensionality Reduction Algorithms for High-Dimensional Datasets and their ApplicationsE1 4PhD Application Talk
10/07/201308:50s.t.Dai Quoc NguyenUsing FrameScript Language for Analyzing Question and Building Vietnamese Text-based Conversational AgentE1 4PhD Application Talk
10/07/201308:50s.t.Evica IlievaAnalyzing and Creating Top-K Entity RankingsE1 4PhD Application Talk
10/07/201308:50s.t.Gorav JindalAn Improved Deterministic Algorithm for Sparse Multivariate Polynomial InterpolationE1 4PhD Application Talk
10/07/201308:50s.t.Ilya GrishchenkoStatic analysis of Android applications by Theorem ProvingE1 4PhD Application Talk
10/07/201308:50s.t.Navid HashemianMakespan Minimization for Parallel Machines Scheduling with Multiple Availability ConstraintsE1 4PhD Application Talk
10/04/201311:10s.t.Mahmoud KhademiRelative Facial Action DetectionE1 4PhD Application Talk
10/04/201311:10s.t.Soumali RoychowdhurySignal and Image Processing Techniques to process Terahertz Parametric ImagesE1 4PhD Application Talk
10/01/201313:00D1D1 Group MeetingE1 4AG1 Group Meeting
09/30/201313:30Jalaj UpadhyayRandom Projections and Differential PrivacyE1 1Talk
09/30/201312:30Eric CrestanExclamation Point IconLeveraging Monolingual Machine Translation for Web SearchE1 4Talk
09/26/201316:00John WilkesCluster Management at GoogleE1 5SWS Distinguished Lecture Series
09/26/201313:00Mingji XiaCount perfect matchings in planar graphsE1 4AG1 Mittagsseminar (own work)
09/24/201313:00Alina EneRouting in Directed Graphs with Symmetric DemandsE1 4AG1 Mittagsseminar (own work)
09/19/201313:30Stephan van StadenSeparation logic, object-orientation and refinementG26SWS Colloquium
09/19/201313:00Fahimeh RamezaniOn Randomized Fictitious Play for Approximating Saddle Points over Convex SetsE1 4Talk
09/17/201314:00s.t.Herrn Jens Kerber, M.Sc.Of Assembling Small Sculptures and Disassembling Large GeometryE1 4Promotionskolloquium
09/17/201313:00Thomas RothvossApproximating Bin Packing within O(log OPT * log log OPT) binsE1 4Lecture
09/17/201312:00s.t.Herrn Dipl.-Inform. Martin SunkelStatistical Part-based Models for Object Detection in Large 3D ScansE1 4Promotionskolloquium
09/17/201310:00s.t.Frau Kristina Scherbaum, M.Sc.Data Driven Analysis of Faces from ImagesE1 4Promotionskolloquium
09/12/201313:00Parinya ChalermsookGraph Products and Hardness of ApproximationE1 4AG1 Mittagsseminar (own work)
09/10/201313:00Luca ZanettiAdiabatic Quantum Computation and Graph Isomorphism: a quantum-walk approachE1 4Talk
09/10/201309:00s.t.Miguel Andrés GRANADOS VelásquezAdvanced Editing Methods for Image and Video SequencesE1 4Promotionskolloquium
09/06/201309:00Avishek ANANDIndexing Methods for Web ArchivesE1 4Promotionskolloquium
09/05/201313:00Przemyslaw UznanskiFast collaborative graph explorationE1 4AG1 Mittagsseminar (own work)
09/05/201311:15Belen MasiaCombining computation and perception: examples in capture, processing and displayE1 4Talk
09/04/201315:00Vincenzo IovinoExclamation Point IconOn the Achievability of Simulation-based Security for Functional EncryptionE1 4SWS Colloquium
08/29/201313:30Peter MüllerModular Verification of Finite BlockingG26SWS Colloquium
08/29/201313:00Manoj GuptaFully Dynamic $(1+ε)$-Approximate MatchingsE1 4AG1 Mittagsseminar (own work)
08/23/201311:00Prof. Dr.-Ing. Volker CoorsSimStadt: Using 3D city models for heat demand simulation on urban scaleD3 1 - DFKITalk
08/22/201313:30Fahad PanolanExclamation Point IconFaster deterministic algorithms for r-dimensional matching using representative setsE1 4AG1 Mittagsseminar (own work)
08/22/201313:00Robert HarperType Refinements for Compiler CorrectnessE1 5SWS Colloquium
08/22/201313:00Prachi GoyalOn the Parameterized Complexity of the Maximum Edge 2-Coloring ProblemE1 4AG1 Mittagsseminar (own work)
08/20/201313:00Sebastian OttHow to Pack Your Items When You Have to Buy Your KnapsackE1 4AG1 Mittagsseminar (own work)
08/20/201310:30Oliver van KaickCo-segmentations and Structural Co-Hierarchies of Sets of ShapesE1 4Talk
08/19/201310:30Yanir KleimanDynamic Maps for Exploring and Browsing ShapesE1 4Talk
08/13/201313:00R. KrithikaLP Approach to Odd Cycle Transversal in Perfect GraphsE1 4AG1 Mittagsseminar (own work)
08/12/201314:00Bilyana TanevaAutomatic Population of Knowledge Bases with Multimodal Data about Named EntitiesE1 4Promotionskolloquium
08/07/201312:15Krishna GummadiOn the Trustworthiness of Weak Identities in Social Computing SystemsE1 5Joint MPI-INF/MPI-SWS Lecture Series
08/05/201311:30Joerg DomaschkaFrom Replication to Flexible and Portable Determinism for JavaE1 5SWS Colloquium
08/02/201314:00s.t.Ralf OsbildGeneral Analysis Tool Box for Controlled Perturbation Algorithms and Complexity and Computation of Θ-Guarded RegionsE1 4Promotionskolloquium
08/02/201310:30Andrej BauerProgramming with algebraic effects and handlers in EffE1 5SWS Colloquium
08/01/201313:00Megha KhoslaBalls into Bins made FasterE1 4AG1 Mittagsseminar (own work)
07/31/201315:00Eslam ElniketyThoth: Controlling and tracking personal records in distributed multi-party systemsE1 5SWS Student Defense Talks - Qualifying Exam
07/31/201313:00Vineet GoyalStatic vs Adjustable Solutions in Dynamic OptimizationE1 4Talk
07/30/201314:00s.t.Daniel MewesSemantic Structuring of Multi Modal ShapesE1 4Master Seminar (AG4)
07/30/201313:00Kurt MehlhornNear-Maximal Flows in Undirected Graphs in Near-Linear Time by J. Sherman (FOCS 2013)E1 4AG1 Mittagsseminar (others' work)
07/29/201313:00Aaron JohnsonTraffic Correlation on Tor by Realistic AdversariesE1 5SWS Colloquium
07/25/201313:30s.t.Chee K. YapTowards Numerical Computational GeometryE1 4Talk
07/25/201313:00Hsin-Hao SuFast Distributed Coloring Algorithms for Triangle-Free GraphsE1 4AG1 Mittagsseminar (own work)
07/24/201314:15Thomas SturmEffective Quantifier Elimination and Decision - Theory, Implementations, Applications, PerspectivesE1 7Antrittsvorlesung
07/23/201313:00S. AnandMinimizing maximum (weighted) flow-timeE1 4AG1 Mittagsseminar (own work)
07/18/201313:00Danny HermelinExclamation Point IconBinary jumbled pattern matching on trees and tree-like structuresE1 4AG1 Mittagsseminar (own work)
07/16/201313:00Alexandru PopaThe Border Minimization ProblemE1 4AG1 Mittagsseminar (own work)
07/15/201309:00Dr. Thomas Hrabe Dr. Massimiliano Maletta Yuxiang Chen Dr. Miloš Vulović Dr. Raimond RavelliSymposium on Subtomogram Averaging in Electron TomographyDFKI ViscenterSymposium
07/11/201314:00s.t.Gottfried MentorChallenges faced by animation artistsE1 4Talk
07/04/201313:00Pawel GawrychowskiAlphabet-dependent string searching with wexponential search treesE1 4AG1 Mittagsseminar (own work)
07/04/201310:30Przemyslaw GrabowiczComplex networks approach to modeling online social systemsE1 5SWS Colloquium
07/02/201313:00Lisa WagnerLocally Stable Marriage with Strict PreferencesE1 4AG1 Mittagsseminar (own work)
06/28/201311:30Alexey ReznichenkoPrivad: Practical Non-tracking Advertising SystemG26SWS Student Defense Talks - Thesis Proposal
06/27/201313:00Khaled ElbassioniA Dichotomy for the Approximability of the Complex-Demand Knapsack ProblemE1 4Lecture
06/25/201313:00s.t.Jonathan HuangAlgebraic methods for probabilistic reasoning with permutationsE1 4Talk
06/25/201313:00s.t.Soeren LaueConvex Optimization for Machine Learning Made Fast and EasyE1 4AG1 Mittagsseminar (others' work)
06/24/201314:00Frank McSherryNaiad: a system for iterative, incremental, and interactive distributed dataflowG26SWS Distinguished Lecture Series
06/20/201315:00Tomasz KociumakaEfficient Indexes for Jumbled Pattern Matching with Constant-Sized AlphabetE1 4AG1 Mittagsseminar (own work)
06/20/201313:30John AugustineStorage and Search in Dynamic Peer-to-Peer NetworksE1 4AG1 Mittagsseminar (own work)
06/20/201313:00Wiebke HöhnOn the performance of Smith's rule in single-machine scheduling with nonlinear costE1 4AG1 Mittagsseminar (own work)
06/19/201317:00Prof. Dr. Johannes SödingNew methods for protein sequence searching, structure and function predictionE2 1colloquium series of the CBI
06/18/201313:00Michael LampisModel Checking Lower Bounds for Simple GraphsE1 4AG1 Mittagsseminar (own work)
06/13/201313:30Amit KumarThe Power of Deferral : Maintaining a constant-competitive Steiner Tree Online (Talk starts right after Marvin's talk)E1 4Lecture
06/13/201313:00Marvin KünnemannRoyal Road Functions and the (1 + λ) Evolutionary AlgorithmE1 4AG1 Mittagsseminar (own work)
06/11/201313:00Martin HoeferTruthfulness and Stochastic DominanceE1 4AG1 Mittagsseminar (own work)
06/11/201313:00Rafal MantiukBeyond high dynamic rangeE1 4Talk
06/07/201314:00Franziska EbelFaster Genetic Algorithms (Master Talk)E1 4Talk
06/07/201313:00Benjamin DoerrSome Open Problems on MastermindE1 4Talk
06/06/201313:00Danupon NanongkaiEven-Shiloach Tree: Variants and Applications to Dynamic Shortest PathsE1 4AG1 Mittagsseminar (own work)
06/05/201312:15Klaus HildebrandtDiscrete Differential Operators and Geometry ProcessingE1 5Joint MPI-INF/MPI-SWS Lecture Series
06/04/201313:00Kavitha TelikepalliPairwise spannersE1 4AG1 Mittagsseminar (own work)
06/04/201313:00Dominik L. MichelsExponential Integrators for Stiff Elastodynamic ProblemsE1 4Talk
06/03/201310:30Nedeljko VasicDealing with Resource Allocations and Performance Interference in Virtualized EnvironmentsE1 5SWS Colloquium
05/31/201313:00Alex TiskinSemi-local LCS: superglue for string comparisonE1 4AG1 Mittagsseminar (own work)
05/28/201313:00Ragesh JaiswalSampling based algorithms for k-means clusteringE1 4AG1 Mittagsseminar (own work)
05/27/201311:00ArunavMishraDesign and Evaluation of an IR-Benchmark for SPARQL Fulltext QueriesE1 4PhD Application Talk
05/27/201311:00RudrasisChakrabortyFeature Selection with Controlled RedundancyE1 4PhD Application Talk
05/27/201311:00XucongZhangObject DetectionE1 4PhD Application Talk
05/27/201308:50Daniel VazSubset Selection Algorithms in Multiobjective Optimisation”E1 4PhD Application Talk
05/27/201308:50Felix KleinEncoding strategies for bounded synthesisE1 4PhD Application Talk
05/27/201308:50SayanBandyapadhyayVoronoiGame on GraphsE1 4PhD Application Talk
05/27/201308:50Selin KaragülleCritical Assessment of the Methods and the Features Used for Hot Spot Residue Prediction at Protein-Protein InterfacesE1 4PhD Application Talk
05/24/201313:00Tetsuo UedaThe Physarum plasmodium as a model system for bioinformatics: Behavioral intelligenceE1 4AG1 Mittagsseminar (basic education)
05/23/201316:00c.t.Dr. Klaus EstenfeldInnovative ICT-Lösungen bei TÜV SÜD AGE1 3 - Hörsaal GebäudeTalk
05/23/201313:00Karl BringmannSuccinct Sampling from Discrete DistributionsE1 4AG1 Mittagsseminar (own work)
05/22/201317:00Prof. Dr. Luis Serrano PubullA quantitative systems biology on a model bacteriumE2 1CBI-Colloquium-Series
05/21/201313:00Anna AdamaszekApproximation Schemes for Maximum Weight Independent Set of RectanglesE1 4AG1 Mittagsseminar (own work)
05/16/201313:00Andreas WieseA 2 + ε Approximation Algorithm for Unsplittable Flow on a Path E1 4AG1 Mittagsseminar (own work)
05/16/201310:30Thomas WiesLogical Abstractions of SystemsE1 5SWS Colloquium
05/15/201315:00Georg NeisCompositional Inter-Language ReasoningE1 5SWS Student Defense Talks - Thesis Proposal
05/13/201314:00c.t.Martin HofmannProof-relevant logical relationsE1 5SWS Colloquium
05/13/201313:00D1D1 Group MeetingE1 4Lecture
05/13/201311:00s.t.Carmel MajidiSoft-Matter “Electronic Skin” for Monitoring Hand Motion and Tactile SensingE1 4Talk
05/10/201314:30Meeyoung ChaGender Swapping and User Behaviors in Online Social GamesE1 5SWS Colloquium
05/08/201312:15Martin HoeferAlgorithms for Spectrum Allocation in Wireless NetworksE1 5Joint MPI-INF/MPI-SWS Lecture Series
05/07/201313:00Ali PourmiriFaster Rumor Spreading with Multiple CallsE1 4AG1 Mittagsseminar (own work)
05/06/201311:15Yuri GurevichImpugning Alleged Randomness (hosted by UdS-CS)E1 5Talk
05/03/201311:00s.t.Amit ZoranFREE-D: Human-Computer Collaboration in 3D CraftE1 4Talk
04/30/201313:00Roberto HenschelA connection of the chromatic polynomial to geometryE1 4AG1 Mittagsseminar (own work)
04/30/201311:00Carlos GarciaParameter Adaptation and Criticality in Particle Swarm OptimizationE1 4Lecture
04/25/201314:00s.t.Sylvain MalacriaImproving user's intermodal expertise with user interfacesE1 4Talk
04/25/201313:00He SunRandomness-Efficient Rumor SpreadingE1 4AG1 Mittagsseminar (own work)
04/23/201313:00Shion ChaudhuryThe Sensitivity conjecture and related complexity measures of Boolean functionsE1 4Talk
04/23/201310:30Florin DinuUnderstanding and Improving the Efficiency of Failure Resilience for Big Data FrameworksE1 5SWS Colloquium
04/22/201314:00Jyotirmoy DeshmukhMining Requirements from an Industrial-scale Control SystemG26SWS Colloquium
04/19/201315:00Uday KhedkarLiveness-Based Pointer AnalysisG26SWS Colloquium
04/19/201314:00Some AG1 membersMeeting: What do we have at GECCO'13?E1 4Forschungsseminar
04/19/201313:00Benjamin DoerrA Simple Solution for the Min-Max Selecting Items ProblemE1 4Talk
04/18/201316:00Prof. Joost-Pieter KatoenZero-Defect Software in Space: A True MissionE1 3 - Hörsaal GebäudeTalk
04/18/201311:00Rayna DimitrovaSynthesis and Control of Infinite-State Systems with Partial ObservabilitySpeakerG26SWS Colloquium
04/17/201317:00Prof. Dr. Hermann-Georg HolzhütterMathematical Modeling of the Cellular MetabolismE2 1Colloquium Series of the CBI
04/17/201315:00s.t.Ulrich LoupA Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic DecompositionE1 4Talk
04/16/201313:00Adam KurpiszApproximating the minmax selecting items problemE1 4AG1 Mittagsseminar (own work)
04/16/201310:00Sophie StellmachGaze-supported Multimodal InteractionE1 4Talk
04/08/201310:30Aslan AskarovSecuring information release: systems, models, and programming languagesG26SWS Colloquium
04/04/201311:00Daniel KroeningVerifying shared-variable concurrent programsG26SWS Colloquium
03/27/201313:00Matthias MnichFixed-Parameter Algorithms for Scheduling ProblemsE1 4AG1 Mittagsseminar (own work)
03/26/201313:00AG1AG1 Group MeetingE1 4AG1 Group Meeting
03/21/201310:30David ChoffnesDiagnosing and Repairing Internet Performance ProblemsG26SWS Colloquium
03/18/201314:00c.t.Nan-Wei GongDesign and Applications for Inkjet-Printed Flexible Sensate SurfacesE1 7 - MMCITalk
03/12/201313:00Rüdiger ReischukSmoothed Analysis of Online CachingE1 4Lecture
03/12/201310:30Dongyoon LeeHolistic System Design for Deterministic ReplayG26SWS Colloquium
03/11/201315:00Johannes KloosIncremental, Inductive CoverabilityG26SWS Student Defense Talks - Qualifying Exam
03/11/201313:30s.t.Elliot AnshelevishAssignment Games with Conflicts: Price of Total Anarchy and Convergence Results via Semi-SmoothnessE1 4Talk
03/07/201310:30Alexei CzeskisPractical, Usable, and Secure Authentication and Authorization on the WebG26SWS Colloquium
03/06/201312:15Björn BrandenburgReal-Time Locking in Theory and PracticeE1 5Joint MPI-INF/MPI-SWS Lecture Series
03/05/201313:00Andreas KarrenbauerBearings and Graph TheoryE1 4Talk
03/04/201311:00Karsten SchwenkFiltering techniques for interactive previews of global illuminationE1 4Talk
03/04/201310:30Kasper Bonne RasmussenSelected Topics on Wireless Security and LocalizationG26SWS Colloquium
03/01/201313:30Suresh VenkatasubramanianExclamation Point IconApproximate Near Neighbor Search for Bregman DivergencesE1 4AG1 Mittagsseminar (own work)
03/01/201313:00Oliver Dejon(Master Seminar Talk) Swarm Intelligence For The Biclique Cover ProblemE1 4AG1 Mittagsseminar (own work)
02/26/201314:00Alec JacobsonAchieving high-quality shape deformation in real timeE1 4Talk
02/26/201313:00s.t.Adrian NeumannOnline Checkpointing with Improved Worst-Case GuaranteesE1 4AG1 Mittagsseminar (own work)
02/25/201315:15Yafang WANGMethods and Tools for Temporal Knowledge HarvestingE1 4Promotionskolloquium
02/25/201311:00s.t.Adam GrycnerFinding incompatible entities in medical definitionsE1 4PhD Application Talk
02/25/201311:00s.t.Kai HuiRelevance Weighting in Information Retrieval using Within-document Term StatisticsE1 4PhD Application Talk
02/25/201311:00s.t.Subhabrata MukherjeeAdapting Sentiment Analysis to the Challenges of Social MediaE1 4PhD Application Talk


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