MPI-INF Logo
Campus Event Calendar

6. Event History - 1. Date and Time - 1. for All AGs

 



Previous Page | Next Page | Expand All | Collapse All

DateTimeSpeakerEvent, Title, TopicBuilding, RoomEvent Type
Hide details for 29 - Friday29 - Friday
2017-09-2915:00Siyu TangPeople Detection and Tracking in Crowded ScenesE1 4
024
Promotionskolloquium
Hide details for 20 - Wednesday20 - Wednesday
2017-09-2011:30Christoph LenzenGroup MeetingE1 4
Rotunde
AG1 Group Meeting
Hide details for 14 - Thursday14 - Thursday
2017-09-1413:00Mathew FrancisInduced Colourful Paths in Triangle-free GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Tuesday12 - Tuesday
2017-09-1213:00Giacomo ScornavaccaRational Fair Consensus in the GOSSIP ModelE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Monday11 - Monday
2017-09-1115:30Stephan FriedrichsMetastability-Containing Circuits, Parallel Distance Problems, and Terrain GuardingE1 4
024
Promotionskolloquium
Hide details for 6 - Wednesday6 - Wednesday
2017-09-0612:15Christian IkenmeyerGeometric Complexity Theory: An ambitious approach towards P versus NPE1 5
002
Joint Lecture Series
Hide details for 4 - Monday4 - Monday
2017-09-0416:00Amy SiuKnowledge-driven Entity Recognition and Disambiguation in Biomedical TextE1 4
024
Promotionskolloquium
Hide details for August 2017August 2017
Hide details for 29 - Tuesday29 - Tuesday
2017-08-2913:00Aruni ChoudharyImproved Approximate Rips Filtrations with Shifted Integer LatticesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 18 - Friday18 - Friday
2017-08-1811:00Martin OchoaSecuring Cyber-Physical Systems: Challenges and the road aheadE9 1
Lecture Hall
CISPA Distinguished Lecture Series
Hide details for 17 - Thursday17 - Thursday
2017-08-1713:00Nitin SaurabhUpper bounds on Fourier EntropyE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Wednesday16 - Wednesday
2017-08-1614:00Andreas HerzigDynamic logic and propositional assignmentsE1 4
024
Talk
Hide details for 14 - Monday14 - Monday
2017-08-1415:00Filip NikšićCombinatorial Constructions for Effective TestingG26 [KL]
113
SWS Student Defense Talks - Thesis Proposal
Hide details for 10 - Thursday10 - Thursday
2017-08-1013:00Krzysztof FleszarMaximum Disjoint Paths: New Algorithms based on Tree-LikenessE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Tuesday8 - Tuesday
2017-08-0813:00Andreas SchmidComputing Tutte PathsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Monday7 - Monday
2017-08-0717:00Anjo Vahldiek-OberwagnerTechniques to enforce security policies on untrusted applicationsE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 4 - Friday4 - Friday
2017-08-0413:30Reinhard MunzTowards Use-Ability in Private Data AnalyticsG26 [KL]
111
SWS Student Defense Talks - Thesis Proposal
Hide details for July 2017July 2017
Hide details for 27 - Thursday27 - Thursday
2017-07-2713:00Seri KhouryNew Lower Bounds for the CONGEST modelE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Tuesday25 - Tuesday
2017-07-2510:30Alexandra ChouldechovaFairer and more accurate, but for whom?E1 5
005
SWS Colloquium
2017-07-2511:00Nils Ole TippenhauerPhysical-Layer Security Aspects of ICS and IoTE9 1
Lecture Hall
CISPA Distinguished Lecture Series
2017-07-2513:00Karl BringmannImproved Algorithms for Computing the Cycle of Minimum Cost-to-Time Ratio in Directed GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Monday24 - Monday
2017-07-2415:00Pierre-Louis GiscardThe Theory of WalksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Thursday20 - Thursday
2017-07-2015:00Prof. Gilles Barthe:Advances in computer-aided cryptographyE9 1
Lecture Hall
CISPA Distinguished Lecture Series
Hide details for 19 - Wednesday19 - Wednesday
2017-07-1911:30Kurt MehlhornGroup MeetingE1 4
Rotunda
AG1 Group Meeting
Hide details for 18 - Tuesday18 - Tuesday
2017-07-1811:00Stavros TripakisSecurity as a System Design ProblemE9 1
lecture hall
CISPA Distinguished Lecture Series
Hide details for 13 - Thursday13 - Thursday
2017-07-1313:00Juho LauriNP-completeness results for partitioning a graph into total dominating setsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Wednesday12 - Wednesday
2017-07-1214:00Dr James HookMax-plus linear regression and low rank matrix approximationE1 5
029
Colloquium Lecture
2017-07-1216:00Dr. Matthias BergIT-Sicherheit mitgestalten beim BSIE9 1
Lecture Hall
Talk
Hide details for 11 - Tuesday11 - Tuesday
2017-07-1111:00Demetris ZeinalipourIndoor Data Management in AnyplaceE1 4
024
Colloquium Lecture
2017-07-1113:00Erik Jan Van LeeuwenParameterized Complexity of Vertex-Partitioning ProblemsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Monday10 - Monday
2017-07-1011:00David EvansAdversarial Machine Learning: Are We Playing the Wrong Game?E9 1
Lecture Hall
CISPA Distinguished Lecture Series
Hide details for 7 - Friday7 - Friday
2017-07-0710:00Kathy StrandburgDecision Making and The Value of ExplanationE1 5
005
SWS Colloquium
Hide details for 6 - Thursday6 - Thursday
2017-07-0611:00Stephan GünnemannRobust and Scalable Learning with GraphsE1 5
029
Colloquium Lecture
2017-07-0613:00Attila KinaliThe Use of Fault-tolerant Clock Synchronization Algorithms for Time ScalesE1 4
024
AG1 Mittagsseminar (own work)
2017-07-0616:00Subhabrata MukherjeeProbabilistic Graphical Models for Credibility Analysis in Evolving Online CommunitiesE1 5
029
Promotionskolloquium
Hide details for 5 - Wednesday5 - Wednesday
2017-07-0512:15Qianru SunYour photos expose your social life - Social relation recognition in 5 social domainsE1 5
002
Joint Lecture Series
Hide details for June 2017June 2017
Hide details for 30 - Friday30 - Friday
2017-06-3014:00Attila KinaliDamped Sine Based Time Interval Counter - Measuring Time with Pico-Second PrecisionE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 29 - Thursday29 - Thursday
2017-06-2911:15Peter WonkaInteger Programming for Layout ProblemsE1 4
019
Talk
2017-06-2913:00Ruben HoeksmaPosted price mechanisms for a random stream of customersE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 28 - Wednesday28 - Wednesday
2017-06-2815:00Adam GrycnerConstructing Lexicons of Relational PhrasesE1 5
029
Promotionskolloquium
Hide details for 27 - Tuesday27 - Tuesday
2017-06-2711:00Manolis KoubarakisData Models and Query Languages for Linked Spatiotemporal DataE1 4
024
Colloquium Lecture
Hide details for 26 - Monday26 - Monday
2017-06-2610:30Giovanni Luca CiampagliaFinding Fake NewsE1 5
029
SWS Colloquium
Hide details for 21 - Wednesday21 - Wednesday
2017-06-2111:30Andreas KarrenbauerGroup MeetingE1 4
333
AG1 Group Meeting
Hide details for 20 - Tuesday20 - Tuesday
2017-06-2017:00Mateusz MalinowskiTowards Holistic Machines: From Visual Recognition To Question Answering About Real-World ImagesE1 4
024
Promotionskolloquium
Hide details for 19 - Monday19 - Monday
2017-06-1910:00Arpit MerchantEfficiently Estimationg Primitive Graph PropertiesE1 4
0.24
PhD Application Talk
2017-06-1910:00Deeksha AdilMatching Under PreferencesE1 4
0.24
PhD Application Talk
2017-06-1910:00Mohammad Bashir KazimiCoverage Model for Character-based Neural Machine TranslationE1 4
0.24
PhD Application Talk
2017-06-1910:00Saharnaz E. DilmaghaniPrivacy Preserving Personal Health Record against Brute-Force AttackE1 4
0.24
PhD Application Talk
2017-06-1913:00Christoph LenzenPractice Talk: The many Faces of Clock SynchronizationE1 4
3rd floor rotunda
Talk
Hide details for 14 - Wednesday14 - Wednesday
2017-06-1413:00Eslam ElniketyComprehensive and Practical Policy Compliance in Data Retrieval SystemsE1 5
029
SWS Student Defense Talks - Thesis Proposal
2017-06-1415:00Till SpeicherDiscrimination in Online AdvertisingE1 5
029
SWS Student Defense Talks - Qualifying Exam
Hide details for 13 - Tuesday13 - Tuesday
2017-06-1311:00Jeff Z. PanThe Rise of Approximate Reasoning: New Roadmap EmergingE1 4
024
Colloquium Lecture
Hide details for 7 - Wednesday7 - Wednesday
2017-06-0711:30AllGroup MeetingE1 4
Rotunde D1
AG1 Group Meeting
2017-06-0712:15Eva DarulovaTowards an Approximating Compiler for Numerical ComputationsE1 5
002
Joint Lecture Series
Hide details for 6 - Tuesday6 - Tuesday
2017-06-0613:00Kevin SchewiorTight Bounds for Online TSP on the LineE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Friday2 - Friday
2017-06-0214:00Ligang Liu3D Printing Oriented Geometric Design and OptimizationE1 4
019
AG4 Talk
Hide details for 1 - Thursday1 - Thursday
2017-06-0113:00Joseph LandsbergCan we multiply matrices faster by exploiting symmetry?E1 4
024
AG1 Mittagsseminar (own work)
Hide details for May 2017May 2017
Hide details for 30 - Tuesday30 - Tuesday
2017-05-3013:00D. SchneiderRigid and Deformable Motion and Disassembly PlanningE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 29 - Monday29 - Monday
2017-05-2914:00NNCybersicherhheit im BND: SSCD-Frühwarnsystem auf Basis technischer AufklärungE9 1
Lecture Hall
Miscellaneous
Hide details for 22 - Monday22 - Monday
2017-05-2214:00Maksim LapinImage Classification with Limited Training Data and Class AmbiguityE1 4
024
Promotionskolloquium
Hide details for 15 - Monday15 - Monday
2017-05-1516:00Anna RohrbachGenerating and Grounding of Natural Language Descriptions for Visual DataE1 4
024
Promotionskolloquium
Hide details for 11 - Thursday11 - Thursday
2017-05-1113:00Kavitha TelikepalliPopularity, Mixed Matchings, and Self-dualityE1 5 -MPI for Softwaresystems
R 029
AG1 Mittagsseminar (own work)
Hide details for 10 - Wednesday10 - Wednesday
2017-05-1009:45Kiran GarimellaQuantifying and Reducing Polarization on Social mediaE1 5
005
SWS Colloquium
2017-05-1011:00Prof. Bernhard HaeuplerSynchronization Strings: Optimal Coding for Insertions and DeletionsE1 5
002
INF Distinguished Lecture Series
Hide details for 9 - Tuesday9 - Tuesday
2017-05-0913:00D1D1 internal poster sessionE1 4
024
AG1 Group Meeting
Hide details for 8 - Monday8 - Monday
2017-05-0810:30Pierre-Marie PédrotAn Effectful Way to Eliminate Addiction to DependenceE1 5
029
SWS Colloquium
Hide details for 5 - Friday5 - Friday
2017-05-0512:30Mike RobertsHarnessing the Creative Power of DronesE1 4
024
AG2 Working Group Seminar
Hide details for 4 - Thursday4 - Thursday
2017-05-0411:00Sebastian TrimpeIntelligent Control SystemsG26 [KL]
113
SWS Colloquium
2017-05-0413:00Philip WellnitzClique-Based Lower Bounds for Parsing Tree-Adjoining Grammars (Bachelorseminar)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Wednesday3 - Wednesday
2017-05-0312:15Daria StepanovaDigital Knowledge: From Facts to Rules and BackE1 5
002
Joint Lecture Series
Hide details for 2 - Tuesday2 - Tuesday
2017-05-0210:30James WorrellOn Rationality of Nonnegative Matrix FactorizationE1 5
002
SWS Distinguished Lecture Series
Hide details for April 2017April 2017
Hide details for 27 - Thursday27 - Thursday
2017-04-2714:00Michael HaaseAgile Softwareentwicklung in der PraxisE1 3
HS 002
Talk
2017-04-2719:00Paul CheungDigital Journalism in the Age of Mobile Devices and Social MediaE1 5
Lecture Hall
Talk
Hide details for 26 - Wednesday26 - Wednesday
2017-04-2616:00Andrew BaumannSecuring enclaves with formal verificationE1 5
029
SWS Colloquium
Hide details for 25 - Tuesday25 - Tuesday
2017-04-2513:00David P. WoodruffParameterized Complexity of Matrix Factorization ProblemsE1 4
024
Talk
Hide details for 24 - Monday24 - Monday
2017-04-2414:00Vijay GaneshThe Unreasonable Effectiveness of Boolean SAT SolversE1 5
002
Talk
Hide details for 10 - Monday10 - Monday
2017-04-1010:30Oriana RivaComprehensive deep linking for mobile appsG26 [KL]
112
SWS Colloquium
Hide details for 5 - Wednesday5 - Wednesday
2017-04-0512:15Björn AndresGraph Decomposition Problems in Image AnalysisE1 5
002
Joint Lecture Series
Hide details for 4 - Tuesday4 - Tuesday
2017-04-0413:00Matthias FueggerFast Asymptotic and Approximate Consensus in Highly Dynamic NetworksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Monday3 - Monday
2017-04-0310:00Azalea RaadLocal Reasoning for Concurrency, Distribution and Web ProgrammingG26 [KL]
111
SWS Colloquium
Hide details for March 2017March 2017
Hide details for 31 - Friday31 - Friday
2017-03-3110:30Professor Richard MurrayCombining Computing, Communications and Controls in Safety Critical SystemsG26 [KL]
111
SWS Distinguished Lecture Series
2017-03-3116:00Mainack MondalUnderstanding & Controlling User Privacy in Social Media via ExposureE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 29 - Wednesday29 - Wednesday
2017-03-2911:30Kurt MehlhornGroup MeetingE1 4
333
AG1 Group Meeting
Hide details for 22 - Wednesday22 - Wednesday
2017-03-2210:30Tianyin XuHardening cloud and datacenter systems against configuration errorsG26 [KL]
111
SWS Colloquium
Hide details for 17 - Friday17 - Friday
2017-03-1710:00Aurojit PandaA New Approach to Network FunctionsG26 [KL]
111
SWS Colloquium
Hide details for 16 - Thursday16 - Thursday
2017-03-1615:00Akram El-KorashyA formal model for capability machines: Towards secure compilation to CHERIE1 5
029
SWS Student Defense Talks - Qualifying Exam
Hide details for 15 - Wednesday15 - Wednesday
2017-03-1515:00Ezgi CicekRelational Cost AnalysisE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 14 - Tuesday14 - Tuesday
2017-03-1414:09Ryota KobayashiEvent time series analysis and its applications to social media analysisE1 5
029
SWS Colloquium
2017-03-1413:00Dror RawitzOnline Budgeted Maximum CoverageE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
2017-03-1414:00Bjoern GollaMesh adaption based on Mesh deformation through flow mapsE1 4 - MPI-INF
024
AG4 Talk
Hide details for 13 - Monday13 - Monday
2017-03-1310:30Raymond ChengPrivacy as a ServiceE1 5
029
SWS Colloquium
Hide details for 9 - Thursday9 - Thursday
2017-03-0916:00Sourav DuttaEfficient knowledge management for named entities from textE1 4
024
Promotionskolloquium
Hide details for 8 - Wednesday8 - Wednesday
2017-03-0810:00Justin HsuRandomized Algorithms Meets Formal VerificationE1 5
029
SWS Colloquium
Hide details for 7 - Tuesday7 - Tuesday
2017-03-0710:00Kuldeep MeelConstrained Counting and Sampling: Bridging the Gap between Theory and PracticeE1 5
029
SWS Colloquium
Hide details for 3 - Friday3 - Friday
2017-03-0310:00Mijung ParkVariational Bayes In Private SettingsG26 [KL]
111
SWS Colloquium
Hide details for 2 - Thursday2 - Thursday
2017-03-0213:00Adi RosénSemi-Streaming Set CoverE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Wednesday1 - Wednesday
2017-03-0112:15Paul FrancisThe Diffix Framework: Noise Revisited, AgainE1 5
002
Joint Lecture Series
Hide details for February 2017February 2017
Hide details for 28 - Tuesday28 - Tuesday
2017-02-2810:00Adish SinglaLearning With and From PeopleG26 [KL]
111
SWS Colloquium
2017-02-2811:00Maarten de RijkeThe Birth of Collective Memories: Analyzing Emerging Entities in Text StreamsE1 4
024
Colloquium Lecture
2017-02-2815:00Erdal KuzeyPopulating knowledge bases with temporal informationE1 4
024
Promotionskolloquium
Hide details for 22 - Wednesday22 - Wednesday
2017-02-2210:30Magnus MyreenA New Verified Compiler Backend for CakeMLE1 5
029
SWS Colloquium
Hide details for 21 - Tuesday21 - Tuesday
2017-02-2110:30Renato MancusoSafe, Real-Time Software Reference Architectures for Cyber-Physical SystemsG26 [KL]
111
SWS Colloquium
2017-02-2110:30Timothy H. EdgarCybersecurity and civil liberties - how the new U.S. government will approach cyber threatsE9 1
007
CISPA Distinguished Lecture Series
2017-02-2111:30Timothy H. EdgarState of the net: Weaponized information, manipulated elections – How can IT security safeguard civil liberties & political independence?E9 1
007
Panel Discussion
Hide details for 20 - Monday20 - Monday
2017-02-2010:00Simina BranzeiComputational fair division and mechanism designE1 5
029
SWS Colloquium
Hide details for 17 - Friday17 - Friday
2017-02-1710:30Ali MashtizadehAdventures in Systems Reliability: Replication and ReplayE1 5
029
SWS Colloquium
Hide details for 16 - Thursday16 - Thursday
2017-02-1613:00Luca BecchettiFriend or foe? Population Protocols for Community Sensitive LabelingE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Wednesday15 - Wednesday
2017-02-1510:00Nadia PolikarpovaType-Driven Program SynthesisG26 [KL]
111
SWS Colloquium
Hide details for 14 - Tuesday14 - Tuesday
2017-02-1413:00Vincenzo BonifaciOn the Convergence Time of a Natural Dynamics for Linear ProgrammingE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Wednesday8 - Wednesday
2017-02-0810:00Arthur GervaisOn the Security and Scalability of Proof of Work BlockchainsE1 5
029
SWS Colloquium
Hide details for 7 - Tuesday7 - Tuesday
2017-02-0713:00Thorsten TheobaldSome developments in spectrahedral computationE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Monday6 - Monday
2017-02-0610:00Dr. Maria ChristakisGuiding program analyzers toward unsafe executionsG26 [KL]
111
SWS Colloquium
2017-02-0615:00Sairam GurajadaDistributed Querying of Large Labeled GraphsE1 5
0.29
Promotionskolloquium
Hide details for 1 - Wednesday1 - Wednesday
2017-02-0112:15Shida BeigpourInverse RenderingE1 5
002
Joint Lecture Series
Hide details for January 2017January 2017
Hide details for 31 - Tuesday31 - Tuesday
2017-01-3113:00Jesper NederlofFaster Space Efficient Algorithms for Subset Sum and KnapsackE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 27 - Friday27 - Friday
2017-01-2711:00David P. WoodruffSketching as a Tool for Linear AlgebraE1 4 - MPI-INF
019
Talk
Hide details for 26 - Thursday26 - Thursday
2017-01-2613:00Lucas BoczkowskiMinimizing Message Size in Stochastic Communication Patterns: Fast Self-Stabilizing Protocols with 3 bitsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Tuesday24 - Tuesday
2017-01-2414:15Amos KormanCrazy ants are not so crazyE2 6
E.04
Talk
Hide details for 23 - Monday23 - Monday
2017-01-2311:00James DavenportThe ‘doubly-exponential’ problem in equation/inequality solvingE1 5
002
Talk
Hide details for 20 - Friday20 - Friday
2017-01-2010:00Xiaokun WuStructure-aware content creation – Detection, retargeting and deformationE1 4
019
Promotionskolloquium
Hide details for 11 - Wednesday11 - Wednesday
2017-01-1112:15Jannik StrötgenTime for Text Mining and Information RetrievalE1 5
002
Joint Lecture Series
Hide details for 9 - Monday9 - Monday
2017-01-0914:00Sophie TourretPrime Implicates Generation in Equational LogicE1 5
029
Talk
Hide details for 5 - Thursday5 - Thursday
2017-01-0513:00Daniel VazBeyond Metric Embedding: Approximating Group Steiner Trees on Bounded Treewidth GraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for December 2016December 2016
Hide details for 20 - Tuesday20 - Tuesday
2016-12-2011:30Ravi MadhavanProving Performance Properties of Higher-order Functions with MemoizationG26 [KL]
112
SWS Colloquium
2016-12-2011:30Ravi MadhavanProving Performance Properties of Higher-order Functions with MemoizationG26 [KL]
112
SWS Colloquium
2016-12-2013:00Prof. Torben HagerupOn-the-fly array initializationE1 4
24
AG1 Mittagsseminar (own work)
Hide details for 16 - Friday16 - Friday
2016-12-1616:00Srinath SridharTracking Hands in Action for Gesture-based Computer InputE1 4
019
Promotionskolloquium
Hide details for 15 - Thursday15 - Thursday
2016-12-1513:00Sebastian KrinningerFully dynamic all-pairs shortest paths with worst-case update-time revisitedE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
2016-12-1518:00Helge RhodinFrom motion capture to interactive virtual worldsE1 4
019
Promotionskolloquium
Hide details for 13 - Tuesday13 - Tuesday
2016-12-1313:00Sandy HeydrichFaster approximation schemes for the two-dimensional knapsack problemE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Thursday8 - Thursday
2016-12-0813:00Bojana KodricCombinatorial Secretary Problems with Ordinal InformationE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
2016-12-0712:15Hang ZhouNetwork Inference: Graph Reconstruction and VerificationE1 5
002
Joint Lecture Series
Hide details for 6 - Tuesday6 - Tuesday
2016-12-0613:00Prof. Torben HagerupSuccinct choice dictionariesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Friday2 - Friday
2016-12-0217:00Bernhard ReinertInteractive, Example-driven Synthesis and Manipulation of Visual MediaE1 4
019
Promotionskolloquium
Hide details for November 2016November 2016
Hide details for 24 - Thursday24 - Thursday
2016-11-2413:00Gorav JindalOn Rank of Matrix SpacesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Wednesday23 - Wednesday
2016-11-2313:00Johannes BundMetastability-Containing Sorting NetworksE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Tuesday22 - Tuesday
2016-11-2213:00D1D1 Group MeetingE1 4
024
AG1 Group Meeting
Hide details for 16 - Wednesday16 - Wednesday
2016-11-1613:30Cornelia Quennet-ThielenPodiumsdiskussion: Neue Datenräume kreativ nutzen - Open Data für Wissenschaft, Wirtschaft und Gesellschaft ...E1 5
002
Meeting
Hide details for 15 - Tuesday15 - Tuesday
2016-11-1514:00Ravi RamamoorthiSampling and Reconstruction of High-Dimensional Visual AppearanceE1 4
019
Talk
Hide details for 14 - Monday14 - Monday
2016-11-1413:00Yi-Jun ChangEnergy-efficient Leader Election in Wireless NetworksE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 10 - Thursday10 - Thursday
2016-11-1013:00Emanuele NataleFind Your Place: Simple Distributed Algorithms for Community DetectionE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Friday4 - Friday
2016-11-0411:00Albrecht SchmidtAmplifying the Mind with Digital Tools: Technologies to Enhance Human Perception and CognitionE1 7 - MMCI
0.01
Talk
2016-11-0412:00Myroslav BachynskyiBiomechanical Models for Human-Computer InteractionE1 4
019
Promotionskolloquium
2016-11-0415:00Petr KELLNHOFERPerceptual modelling for stereoscopic 3DE1 4
019
Promotionskolloquium
Hide details for 3 - Thursday3 - Thursday
2016-11-0310:30Marco AielloSustaining the Energy Transition: A Role for Computer Science and Complex NetworksG26 [KL]
111
SWS Colloquium
2016-11-0313:00Simone MontangeroExtreme simulations for quantum technologiesE1 4
024
MPI-Kolloquium
Hide details for 2 - Wednesday2 - Wednesday
2016-11-0212:15Viktor VafeiadisA Promising Semantics for Relaxed-Memory ConcurrencyE1 5
002
Joint Lecture Series
Hide details for October 2016October 2016
Hide details for 27 - Thursday27 - Thursday
2016-10-2718:00Johannes KloosHeap-based reasoning about asynchronous concurrencyG26 [KL]
111
SWS Student Defense Talks - Thesis Proposal
Hide details for 20 - Thursday20 - Thursday
2016-10-2014:00Prof. Dr. Riccardo FocardiA Declarative Language for Network SecurityE9 1 - CISPA
005, lecture hall
CISPA Distinguished Lecture Series
Hide details for 19 - Wednesday19 - Wednesday
2016-10-1914:00Dr. Roi PoranneScalable Locally Injective MappingsE1 4
019
AG4 Seminar
Hide details for 18 - Tuesday18 - Tuesday
2016-10-1813:00Jeroen ZuiddamOn the tensor rank of graph tensorsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Friday7 - Friday
2016-10-0711:00Leonid SigalSemantic Embedding Models for Categorization and DetectionE1 4
019
AG2 Seminar
Hide details for 5 - Wednesday5 - Wednesday
2016-10-0512:15Markus BläserPolynomial Identity TestingE1 5
002
Joint Lecture Series
Hide details for September 2016September 2016
Hide details for 29 - Thursday29 - Thursday
2016-09-2914:00Martin BrainThe Difficulty of Achieving (Abstract) SatisfactionE1 4
024
Talk
Hide details for 28 - Wednesday28 - Wednesday
2016-09-2811:00Kasper HornbaekOn being wrong, solving problems, and sharpening concepts in Human-Computer InteractionE1 7 - MMCI
001
Talk
Hide details for 23 - Friday23 - Friday
2016-09-2311:00Beverly LiMulti-Authority ABE: Constructions and ApplicationsE1 5
029
SWS Colloquium
Hide details for 21 - Wednesday21 - Wednesday
2016-09-2110:00Peter LammichThe Isabelle Refinement FrameworkE1 4
024
Talk
Hide details for 20 - Tuesday20 - Tuesday
2016-09-2013:00XXNO Noon-Seminar this weekE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Monday19 - Monday
2016-09-1909:00Kerstin Kathy Meyer-RossPresentation SkillsE1 4
024
Talk
2016-09-1913:00John AugustineRobust and Efficient Computation in Dynamic Networks with Heavy ChurnE1 5
029
AG1 Mittagsseminar (own work)
Hide details for 16 - Friday16 - Friday
2016-09-1615:03Kasper HornbaekOn being wrong, solving problems, and sharpening concepts in Human-Computer InteractionE1 7 - MMCI
0.01
Talk
2016-09-1611:00Alexander SteenLeo-III - Paramodulation-Based Reasoning in HOLE1 5
630
Talk
2016-09-1611:00Prof. Robert E. TarjanConcurrent Disjoint Set UnionE1 3 - Hörsaal Gebäude
002
Talk
2016-09-1614:00Sebastian SchuonFrom Researcher to CTO to ExitE1 5
002
Talk
Hide details for 15 - Thursday15 - Thursday
2016-09-1513:00XXNO Noon Seminar this weekE1 4
r024
AG1 Mittagsseminar (own work)
Hide details for 13 - Tuesday13 - Tuesday
2016-09-1310:30Ruediger EhlersUseful but ugly gamesG26 [KL]
112
SWS Colloquium
Hide details for 6 - Tuesday6 - Tuesday
2016-09-0617:30Paarijaat AdityaTowards Privacy-Compliant Mobile ComputingE1 5
005
SWS Student Defense Talks - Thesis Proposal
Hide details for 2 - Friday2 - Friday
2016-09-0211:00Utkarsh UpadhyayDynamics of Crowdlearning and Value of KnowledgeG26 [KL]
517
SWS Student Defense Talks - Qualifying Exam
Hide details for August 2016August 2016
Hide details for 24 - Wednesday24 - Wednesday
2016-08-2414:00Fabian KosmaleMaster thesis proposal talk: graphs and parallel algorithmsE1 4
333 (D1 rotunda)
AG1 Mittagsseminar (own work)
Hide details for 19 - Friday19 - Friday
2016-08-1911:00Prof. Henry LiebermanSitting on the Edge of the Closed World AssumptionE1 4
0.24
Colloquium Lecture
2016-08-1916:00Niket TandonCommonsense Knowledge Acquisition and ApplicationsE1 4
024
Promotionskolloquium
Hide details for 18 - Thursday18 - Thursday
2016-08-1813:00Martin HoeferComputing Equilibria in Markets with Budget-Additive UtilitiesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Tuesday16 - Tuesday
2016-08-1613:00Davis IssacOn the Parameterized Complexity of Biclique Cover and PartititonE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Monday15 - Monday
2016-08-1510:30Damien ZuffereyDomain Specific Languages for Verified SoftwareG26 [KL]
111
SWS Colloquium
Hide details for 12 - Friday12 - Friday
2016-08-1215:00Goetz GraefeNew algorithms for map-reduce as well as SQL join and group-byE1 4
024
MPI-Kolloquium
Hide details for 11 - Thursday11 - Thursday
2016-08-1113:00Christian IkenmeyerNo occurrence obstructions in geometric complexity theoryE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Wednesday10 - Wednesday
2016-08-1010:30Geoffrey NelissenCache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive SystemsG26 [KL]
111
SWS Colloquium
Hide details for 5 - Friday5 - Friday
2016-08-0510:30Chandu ThekkathAn overview of MSR-IE1 5
002
SWS Distinguished Lecture Series
2016-08-0511:00Laci BabaiThe Graph Isomorphism Problem, CANCELLEDE1 4
024
INF Distinguished Lecture Series
2016-08-0511:45Laci BabaiThe Graph Isomorphism Problem, CANCELLEDE1 4
024
Lecture
Hide details for 4 - Thursday4 - Thursday
2016-08-0413:00Karl BringmannImproved Pseudopolynomial Time Algorithms for Subset SumE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Wednesday3 - Wednesday
2016-08-0311:00Benjamin DoerrThe discrepancy of jittered samplingE1 4
024
Talk
2016-08-0313:00Marvin KünnemannTight(er) Bounds for Similarity Measures, Smoothed Approximation and BroadcastingE1 4
024
Promotionskolloquium
Hide details for 2 - Tuesday2 - Tuesday
2016-08-0211:00Prof. Karin VerspoorFunction and Phenotype Prediction through Data and Knowledge FusionE1 4
024
MPI-Kolloquium
2016-08-0213:00Cornelius BrandFine-grained dichotomies for the Tutte plane and Boolean #CSPE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Monday1 - Monday
2016-08-0113:45Prof. Tim BaldwinAdventures in Representation Learning Land for Natural Language ProcessingE1 4
024
MPI-Kolloquium
2016-08-0115:00Michael DorrSmooth pursuit eye movement classification for clinical diagnosis and everyday applicationsE1 4
024
Talk
Hide details for July 2016July 2016
Hide details for 28 - Thursday28 - Thursday
2016-07-2813:00Daniel VazNew Integrality Gap Results for the Firefighters Problem on TreesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 27 - Wednesday27 - Wednesday
2016-07-2711:00Marijn J.H. HeuleEverything’s Bigger in Texas: The Largest Math Proof EverE1 4
024
Talk
Hide details for 26 - Tuesday26 - Tuesday
2016-07-2613:00Zvi LotkerSocial Networks and PlaysE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Monday25 - Monday
2016-07-2510:30Daniel NeiderLearning-Based SynthesisG26 [KL]
111
SWS Colloquium
Hide details for 22 - Friday22 - Friday
2016-07-2211:00Prof. Wim DefermeNew Prospects for Ubiquitous Computing: Smart materials meet interactive computingE1 7 - MMCI
0.01
Talk
2016-07-2214:00Suresh VenkatasubramanianAlgorithmic fairness: a mathematical perspectiveE1 5
029
SWS Colloquium
Hide details for 21 - Thursday21 - Thursday
2016-07-2113:00Davis IssacHadwiger's Conjecture and Squares of Chordal GraphsE1 4
024
AG1 Mittagsseminar (own work)
2016-07-2113:30Damon McCoyFraming Dependencies Introduced by Underground CommoditizationE1 5
029
SWS Colloquium
Hide details for 19 - Tuesday19 - Tuesday
2016-07-1910:00Wolfgang GatterbauerApproximate lifted inference with probabilistic databasesE1 4
024
Talk
2016-07-1913:00Andreas WieseOn approximating strip packing with a better ratio than 3/2E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Thursday14 - Thursday
2016-07-1410:00Nikhil BansalAlgorithmic Methods in Combinatorial DiscrepancyE1 4
024
INF Distinguished Lecture Series
Hide details for 13 - Wednesday13 - Wednesday
2016-07-1314:15Stefanie MuellerInteracting with Personal Fabrication MachinesE1 3 - Hörsaal Gebäude
Lecture Hall 001
Talk
Hide details for 12 - Tuesday12 - Tuesday
2016-07-1213:00Giorgos ChristodoulouDesigning Networks with Good Equilibria under UncertaintyE1 4
024
AG1 Mittagsseminar (own work)
2016-07-1214:00Emanuel LaudeSublabel Accurate Relaxation of Nonconvex Energies arising in Computer Vision ProblemsE1 4
633
Talk
Hide details for 11 - Monday11 - Monday
2016-07-1111:00Omar AlonsoThe practice of acquiring good labelsE1 4
0.24
Talk
2016-07-1112:00Cuong Xuan ChuMining How-To Activity Commonsense Knowledge from the WebE1 4
r024
IMPRS Research Seminar
Hide details for 7 - Thursday7 - Thursday
2016-07-0713:00Marvin KünnemannImproved Protocols and Hardness Results for the Two-Player Cryptogenography ProblemE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Wednesday6 - Wednesday
2016-07-0612:15Maria StaudteWhen Eye Talk to You: Exploiting Eye-gaze in Spoken CommunicationE1 5
002
Joint Lecture Series
Hide details for 5 - Tuesday5 - Tuesday
2016-07-0511:00Prof. Mirek RiedewaldExploratory Analysis with Imprecise QueriesE1 4
0.24
MPI-Kolloquium
2016-07-0513:00Michael SagraloffOn Recent Progress in Solving Polynomial Equations - Part IIE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Monday4 - Monday
2016-07-0409:30Sebastian OttAlgorithms for Classical and Modern Scheduling ProblemsE1 4
024
Promotionskolloquium
2016-07-0412:00Shreeraman PonpathirkoottamVisual Computing for Industry 4.0E1 4
R024
IMPRS Research Seminar
Hide details for June 2016June 2016
Hide details for 30 - Thursday30 - Thursday
2016-06-3013:00Bundit LaekhanukitApproximating Survivable Network Design via Rounding-by-Tree-EmbeddingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 28 - Tuesday28 - Tuesday
2016-06-2813:00John LapinskasGraphs on which evolution is more effectiveE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 27 - Monday27 - Monday
2016-06-2712:00Mahesh ChandraStochastic Optimization Methods for Deep LearningE1 4
R024
IMPRS Research Seminar
Hide details for 23 - Thursday23 - Thursday
2016-06-2311:00Dennis HofheinzCryptographic building blocksE9 1 - CISPA
Lecture Hall
CISPA Distinguished Lecture Series
Hide details for 21 - Tuesday21 - Tuesday
2016-06-2113:00Michael SagraloffOn Recent Progress in Solving Polynomial Equations - Part 1E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Monday20 - Monday
2016-06-2010:00Raoman RädleCross-Device Interactions and Enabling TechnologyE1 7 - MMCI
2.23
Talk
2016-06-2010:30Christoph HaaseAlgorithms for the Quantitative Analysis of Infinite-State SystemsG26 [KL]
111
SWS Colloquium
Hide details for 16 - Thursday16 - Thursday
2016-06-1613:00Alantha NewmanThe Alternating Stock Size Problem and the Gasoline PuzzleE1 4
024
AG1 Advanced Mini-Course
Hide details for 15 - Wednesday15 - Wednesday
2016-06-1519:00Prof. Dr. Gerhard WeikumWas Computer wissen, lesen und verstehenE2 2 - Günter-Hotz-Hörsaal
Günter-Hotz-Hörsaal
Public Lecture
Hide details for 14 - Tuesday14 - Tuesday
2016-06-1413:00Michał PilipczukLower Bounds for Approximation Schemes for Closest StringE1 4
024
AG1 Mittagsseminar (own work)
2016-06-1414:00Alexander SchützWeighting of information across eye movementsE1 4
024
Talk
2016-06-1414:00Timo BolkartDynamic and Groupwise Statistical Analysis of 3D FacesE1 4
019
Promotionskolloquium
Hide details for 10 - Friday10 - Friday
2016-06-1011:00Dieter SchmalstiegAuthoring and Visualization Technologies for Augmented Reality ExperiencesE1 4
019
Talk
2016-06-1014:00Dr. Timo KötzingBlack-Box Optimization under UncertaintyE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 9 - Thursday9 - Thursday
2016-06-0910:30Dr. Ashish GoelDecision making at scale: Algorithms, Mechanisms, and PlatformsE1 5
002
SWS Distinguished Lecture Series
Hide details for 7 - Tuesday7 - Tuesday
2016-06-0711:00Julia ChuzhoyApproximation Algorithms for Graph Routing ProblemsE1 4
024
MPI Colloquium Series Distinguished Speaker
Hide details for 6 - Monday6 - Monday
2016-06-0611:15Themis PalpanasData Series Management: The Road to Big Sequence AnalyticsE1 4
024
Talk
Hide details for 3 - Friday3 - Friday
2016-06-0313:00Daniel VazFractional Coloring and Maximum Independent SetE1 4
333 (Rotunda)
Probevortrag
Hide details for 2 - Thursday2 - Thursday
2016-06-0213:00Thomas KesselheimSecretary Problems with Non-Uniform Arrival OrderE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Wednesday1 - Wednesday
2016-06-0112:15Markus SteinbergerDynamic Scheduling for High-Performance Procedural Generation on the GPUE1 5
002
Joint Lecture Series
Hide details for May 2016May 2016
Hide details for 31 - Tuesday31 - Tuesday
2016-05-3116:00Leonid PishchulinArticulated People Detection and Pose Estimation in Challenging Real World EnvironmentsE1 4
021
Promotionskolloquium
Hide details for 30 - Monday30 - Monday
2016-05-3012:00n/aNO IMPRS Research Seminar on Monday, May 30thE1 4
R024
IMPRS Research Seminar
2016-05-3016:00Cheng LiBuilding Fast and Consistent (Geo-)Replicated Systems: From Principles to PracticeE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 27 - Friday27 - Friday
2016-05-2710:30Cecilia MascoloTruly Continuous Mobile Sensing for Behaviour ModellingG26 [KL]
111
SWS Distinguished Lecture Series
Hide details for 23 - Monday23 - Monday
2016-05-2314:00Christoph LenzenERC prep talkE1 4
021
Miscellaneous
Hide details for 19 - Thursday19 - Thursday
2016-05-1913:00Pascal LenznerSelfish Network Creation: Structure, Locality & RobustnessE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Wednesday4 - Wednesday
2016-05-0412:15Derek DreyerRustBelt: Logical Foundations for the Future of Safe Systems ProgrammingE1 5
002
Joint Lecture Series
Hide details for 3 - Tuesday3 - Tuesday
2016-05-0310:00Torsten SattlerLarge-Scale Camera Pose Voting and the Geometric Burstiness ProblemE1 4
633
Talk
Hide details for April 2016April 2016
Hide details for 28 - Thursday28 - Thursday
2016-04-2809:00Bimal ViswanathTowards Trustworthy Social Computing SystemsE1 5
002
SWS Student Defense Talks - Thesis Defense
2016-04-2813:00Andreas WieseIndependent set of convex polygons: from n^eps to 1+eps via shrinkingE1 4
024
AG1 Mittagsseminar (own work)
2016-04-2814:00Nikhil SwamyF*: A tool for programming and provingE9 1 - CISPA
Lecture Hall
CISPA Distinguished Lecture Series
Hide details for 26 - Tuesday26 - Tuesday
2016-04-2613:00Cosmina CroitoruBipartite Digraphs DebatesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Thursday21 - Thursday
2016-04-2113:00Martin HoeferEfficient Algorithms for Unknown MarketsE1 4
024
AG1 Mittagsseminar (own work)
2016-04-2114:30Andreas KrauseFrom Proteins to Robots: Learning to Optimize with ConfidenceE1 4
024
INF Distinguished Lecture Series
Hide details for 20 - Wednesday20 - Wednesday
2016-04-2013:00Ulfar ErlingssonData-driven Software security: Motivation and MethodsE1 5
002
SWS Distinguished Lecture Series
Hide details for 15 - Friday15 - Friday
2016-04-1510:00Mohamed YahyaQuestion Answering and Query Processing for Extended Knowledge GraphsE1 4
024
Promotionskolloquium
Hide details for 14 - Thursday14 - Thursday
2016-04-1410:30Dina PapagiannakiTelco Innovation at HomeE1 5
002
SWS Distinguished Lecture Series
2016-04-1413:00Thatchaphol SaranurakA new proof of static optimality for splay treeE1 4
024
AG1 Mittagsseminar (own work)
2016-04-1413:30Martin RolfsAttention in active visionE1 4
021
Talk
2016-04-1414:30Volker TrespLearning with Memory EmbeddingsE1 4
024
Talk
2016-04-1416:00Christina TeflioudiAlgorithms for Shared-Memory Matrix Completion and Maximum Inner Product SearchE1 4
0.24
Promotionskolloquium
Hide details for 13 - Wednesday13 - Wednesday
2016-04-1314:00David SwaseyFormalizing object capabilitiesE1 5
029
SWS Student Defense Talks - Qualifying Exam
Hide details for 12 - Tuesday12 - Tuesday
2016-04-1213:00Paresh NakheExploiting structure in multi-armed banditsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Monday11 - Monday
2016-04-1110:30Manos KapritsosSustainable Reliability for Distributed SystemsG26 [KL]
111
SWS Colloquium
Hide details for 7 - Thursday7 - Thursday
2016-04-0713:00Daniel VazFast Algorithms for Approximating Group Steiner TreeE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Wednesday6 - Wednesday
2016-04-0612:15Renjie ChenLow Distortion Geometry ModellingE1 5
002
Joint Lecture Series
Hide details for 5 - Tuesday5 - Tuesday
2016-04-0513:00Syamantak DasScheudling with Outliers to Minimize Load and Flow-timeE1 4
024
AG1 Mittagsseminar (own work)
Hide details for March 2016March 2016
Hide details for 31 - Thursday31 - Thursday
2016-03-3110:30Andreas HaeberlenAccountability for Distributed SystemsG26 [KL]
111
SWS Colloquium
2016-03-3111:00Maya RamanathTracking the Conductance of Rapidly Evolving Topic-SubgraphsE1 4
024
AG5 Talk
2016-03-3113:00Maximilian JohnA New SDP Relaxation for the Quadratic Assignment ProblemE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 30 - Wednesday30 - Wednesday
2016-03-3014:00Amir VaxmanDirectional Field Synthesis, Design, and ProcessingE1 4
019
AG4 Talk
Hide details for 29 - Tuesday29 - Tuesday
2016-03-2910:30Aaron SchulmanWhy applications are still draining our batteries, and how we can helpG26 [KL]
111
SWS Colloquium
2016-03-2913:00Pavel KolevA Note on Spectral ClusteringE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Thursday24 - Thursday
2016-03-2414:00Boris SchauerteAttention and Gaze Estimation for Intelligent SystemsE1 4
024
Talk
Hide details for 23 - Wednesday23 - Wednesday
2016-03-2310:30Arunesh SinhaWhat's in a Game? An intelligent and adaptive approach to securityG26 [KL]
111
SWS Colloquium
Hide details for 22 - Tuesday22 - Tuesday
2016-03-2213:00Caigui JiangGeometry rationalization for freeform architectureE1 4
019
AG4 Talk
2016-03-2213:00Davis IssacBiclique Optimization ProblemsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Monday21 - Monday
2016-03-2110:30Arjun RadhakrishnaPerformance-aware Repair for Concurrent ProgramsG26 [KL]
111
SWS Colloquium
2016-03-2114:00Istemi Ekin AkkusTowards a Non-Tracking WebG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 17 - Thursday17 - Thursday
2016-03-1710:30Chenhao TanOnline social interactions: a lens on humans and a world for humansG26 [KL]
111
SWS Colloquium
Hide details for 15 - Tuesday15 - Tuesday
2016-03-1513:00Alexander KobelComputing Real Roots of a Real Polynomial ... and now for RealE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Monday14 - Monday
2016-03-1410:30Dave LevinSecuring the Internet by Proving the ImpossibleG26 [KL]
111
SWS Colloquium
Hide details for 10 - Thursday10 - Thursday
2016-03-1010:30Baris KasikciStamping Out Concurrency BugsG26 [KL]
111
SWS Colloquium
2016-03-1011:00Prof. Jennifer NevilleLearning in networks: How to exploit relationships to improve predictionsE1 4
024
MPI Colloquium Series Distinguished Speaker
2016-03-1014:00Steve KremerAutomated verification of equivalence properties forcryptographic protocolsE9 1 - CISPA
Lecture Hall, ground floor
CISPA Distinguished Lecture Series
2016-03-1015:30Zilong WangAlgorithms and Tools for Verification and Testing of Asynchronous ProgramsG26 [KL]
111
SWS Student Defense Talks - Thesis Defense
Hide details for 8 - Tuesday8 - Tuesday
2016-03-0813:00Michael DirnbergerNEFI: Network Extraction From ImagesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Monday7 - Monday
2016-03-0710:30Robert WestHuman Behavior in NetworksE1 5
029
SWS Colloquium
Hide details for 4 - Friday4 - Friday
2016-03-0413:00Guy EvenNetwork-on-Chips: offline and online methodologiesE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 3 - Thursday3 - Thursday
2016-03-0313:00Aruni ChoudharyApproximating Rips using PermutohedraE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Wednesday2 - Wednesday
2016-03-0216:00Kurt MehlhornHollow Heaps (Hansen, Kaplan, Tarjan, Zwick)E1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 1 - Tuesday1 - Tuesday
2016-03-0113:00Andreas SchmidMatch-And-Merge: A New Greedy Framework for Maximum Planar SubgraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for February 2016February 2016
Hide details for 26 - Friday26 - Friday
2016-02-2609:00Krzysztof TemplinDepth, Shading, and Stylization in Stereoscopic CinematographyE1 4
0.19
Promotionskolloquium
Hide details for 25 - Thursday25 - Thursday
2016-02-2513:00Marvin KünnemannThe (multivariate) fine-grained complexity of Longest Common SubsequenceE1 4
024
AG1 Mittagsseminar (own work)
2016-02-2516:15Marie-Francoise RoyEffectivity Issues and Results for Hilbert's 17th ProblemE1 4
024
Talk
Hide details for 24 - Wednesday24 - Wednesday
2016-02-2415:00Samir KhullerCapacitated Covering, Scheduling to Minimize Energy and Min Edge CostFlows -a natural convergenceE1 4
024
MPI-Kolloquium
Hide details for 23 - Tuesday23 - Tuesday
2016-02-2313:00Sam McCauleyCache-Adaptive AnalysisE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Monday22 - Monday
2016-02-2210:30Catalin HritcuEfficient Formally Secure Compilers to a Tagged ArchitectureG26 [KL]
111
SWS Colloquium
Hide details for 18 - Thursday18 - Thursday
2016-02-1813:00Attila KinaliFault-tolerant clock synchronization in hardwareE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Tuesday16 - Tuesday
2016-02-1613:00Pascal SchweitzerThe Graph Isomorphism problem: techniques from structural graph theory and canonical decompositionsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Monday15 - Monday
2016-02-1510:30Linh Thi Xuan PhanTiming Guarantees for Cyber-Physical SystemsG26 [KL]
111
SWS Colloquium
Hide details for 12 - Friday12 - Friday
2016-02-1216:00Oliver KlehmUser-Guided Scene Stylization using Efficient Rendering TechniquesE1 4
019
Promotionskolloquium
Hide details for 11 - Thursday11 - Thursday
2016-02-1113:00Stephan FriedrichsMetastability-Containing ArithmeticE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Tuesday9 - Tuesday
2016-02-0913:00Sebastian KrinningerApproximate Shortest Paths via Hop Sets: Distributed and Dynamic AlgorithmsE1 4
024
AG1 Mittagsseminar (own work)
2016-02-0915:30Reinhard MunzANON: Practical Privacy Preserving Data AnalyticsG26 [KL]
111
SWS Student Defense Talks - Qualifying Exam
Hide details for 4 - Thursday4 - Thursday
2016-02-0413:00Bojana KodricPrice of Anarchy for Mechanisms with AdmissionE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Wednesday3 - Wednesday
2016-02-0312:15Vera DembergComputational Modelling of Human Language ComprehensionE1 5
002
Joint Lecture Series
Hide details for 2 - Tuesday2 - Tuesday
2016-02-0211:00Oskar ELEKEfficient Methods for Physically-based Rendering of Participating MediaE1 4
019
Promotionskolloquium
2016-02-0213:00Sandy HeydrichImprovements in online bin packingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Monday1 - Monday
2016-02-0112:05Jón Arnar TomassonPDE based image compressionE1 4
024
IMPRS Research Seminar
2016-02-0114:00Youngkyoon YangHand Gesture-based User Interface in Ubiquitous Virtual RealityE1 4
019
Talk
Hide details for January 2016January 2016
Hide details for 28 - Thursday28 - Thursday
2016-01-2813:00Omar DarwishMaster Seminar: Computing Balanced Flows via Parametric FlowsE1 4
024
AG1 Advanced Mini-Course
Hide details for 26 - Tuesday26 - Tuesday
2016-01-2613:00D1Group Meeting D1E1 4
024
AG1 Group Meeting
Hide details for 25 - Monday25 - Monday
2016-01-2512:05Maxat NukhayevArrakis: The Operating System In The Control PlaneE1 4
024
IMPRS Research Seminar
Hide details for 22 - Friday22 - Friday
2016-01-2211:00Prof. Justin ZobelA Measure of MismeasuresE1 4
024
MPI Colloquium Series Distinguished Speaker
Hide details for 16 - Saturday16 - Saturday
2016-01-1613:00Alantha NewmanThe Alternating Stock Size Problem and the Gasoline PuzzleE1 4
024
AG1 Advanced Mini-Course
Hide details for 13 - Wednesday13 - Wednesday
2016-01-1312:15Erik Jan van LeeuwenParameterized Algorithms and the Structure of NetworksE1 5
002
Joint Lecture Series
Hide details for 11 - Monday11 - Monday
2016-01-1111:00Zhaochun RenTime-aware Multi-Viewpoint Summarization of Multilingual Social Text StreamsE1 4
Rotunda - 433
AG5 Talk
2016-01-1116:15Luciano Del CorroMethods for Open Information Extraction and Sense Disambiguation on Natural Language TextE1 5
029
Promotionskolloquium
Hide details for 6 - Wednesday6 - Wednesday
2016-01-0613:00Jacques-Henri JourdanVerasco, a formally verified C static analyzerG26 [KL]
111
SWS Colloquium
Hide details for 5 - Tuesday5 - Tuesday
2016-01-0510:30Amir Aminifar'Embedded Control Systems --- From Theory to Implementation'G26 [KL]
111
SWS Colloquium
Hide details for 4 - Monday4 - Monday
2016-01-0412:05Michaël Noël DivoProof Assistant and Formalization of "Types and Programming Languages" with Isabelle HOLE1 4
024
IMPRS Research Seminar
Hide details for December 2015December 2015
Hide details for 21 - Monday21 - Monday
2015-12-2111:00Jing HanRepresentation of Piecewise Biharmonic Surfaces Using Biquadratic and Bicubic B-splinesE1 4
019
AG4 Talk
2015-12-2115:00Bojan PepikjRicher Object Representations for Object Class Detection in Challenging Real-World ImagesE1 4
024
Promotionskolloquium
Hide details for 18 - Friday18 - Friday
2015-12-1811:00Charalampos PapamanthouTrustworthy Computing with Untrusted ResourcesE1 5
0.02
CISPA Distinguished Lecture Series
2015-12-1815:00Zhongjie WANGPattern Search for VisualizationE1 4
0.19
Promotionskolloquium
Hide details for 17 - Thursday17 - Thursday
2015-12-1713:00Scott OwensThe CakeML verified compilerE1 5
029
SWS Colloquium
Hide details for 16 - Wednesday16 - Wednesday
2015-12-1610:30Kathy GrayRigorous Acrchitectural Modelling for Production MultiprocessorsE1 5
029
SWS Colloquium
2015-12-1614:00Tobias GüntherOpacity Optimization and Inertial Particles in Flow VisualizationE1 4
019
AG4 Talk
Hide details for 15 - Tuesday15 - Tuesday
2015-12-1510:30Robbert KrebbersThe C standard formalized in CoqE1 5
029
SWS Colloquium
Hide details for 14 - Monday14 - Monday
2015-12-1412:00Akram El-KorashyLanguage-Based Information-Flow SecurityE1 4
024
IMPRS Research Seminar
2015-12-1416:00John WilmesThe Isomorphism Problem for Highly Regular Combinatorial ObjectsE1 4
024
Talk
Hide details for 11 - Friday11 - Friday
2015-12-1115:00Mohamed Amir YosefU-AIDA: A Customizable System for Named Entity Recognition, Classification, and DisambiguationE1 5
0.29
Promotionskolloquium
Hide details for 10 - Thursday10 - Thursday
2015-12-1010:00Simon OlberdingFabricating Custom-Shaped Thin-Film Interactive SurfacesE1 7 - MMCI
0.01
Promotionskolloquium
Hide details for 9 - Wednesday9 - Wednesday
2015-12-0910:00Ahmed ELHAYEKMarker-less Motion Capture in General Scenes with Sparse Multi-camera SetupsE1 4
019
Promotionskolloquium
Hide details for 8 - Tuesday8 - Tuesday
2015-12-0810:30Aritra DharCLOTHO: Saving Programs from Malformed Strings and Incorrect String-HandlingE1 5
029
SWS Colloquium
2015-12-0813:00Ruben BeckerA Novel Dual Ascent Algorithm for Solving the Min-Cost Flow ProblemE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Monday7 - Monday
2015-12-0712:05Gerhard WeikumGood Scientific PracticeE1 4
024
IMPRS Research Seminar
Hide details for 2 - Wednesday2 - Wednesday
2015-12-0212:15Krishna GummadiFairness and Transparency in Data-Driven Decision Making SystemsE1 5
002
Joint Lecture Series
Hide details for 1 - Tuesday1 - Tuesday
2015-12-0113:00Erik Jan van LeeuwenIndependent Set on H-free GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for November 2015November 2015
Hide details for 26 - Thursday26 - Thursday
2015-11-2610:30Dr. Marco CaccamoImpact of Multicore on Cyber-Physical Systems: challenges andsolutionsE1 5
002
SWS Distinguished Lecture Series
Hide details for 24 - Tuesday24 - Tuesday
2015-11-2413:00Vladimir ShikhmanComputation of Fisher-Gale equilibrium by auctionE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Monday23 - Monday
2015-11-2312:05Hosnieh SattarPrediction of search targets from fixations in open-world settingsE1 4
024
IMPRS Research Seminar
Hide details for 19 - Thursday19 - Thursday
2015-11-1910:30Dr. Suresh JagannathanDeclarative Programming for Eventual ConsistencyG26 [KL]
111
SWS Colloquium
2015-11-1913:00Stephan FriedrichsParallel Metric Tree Embedding based on an Algebraic View on Moore-Bellman-FordE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Monday16 - Monday
2015-11-1612:05Yusra IbrahimMaking Sense of Web TablesE1 4
024
IMPRS Research Seminar
Hide details for 11 - Wednesday11 - Wednesday
2015-11-1112:15Parinya ChalermsookBinary Search Trees, Precognition, and PatternsE1 5
002
Joint Lecture Series
Hide details for 9 - Monday9 - Monday
2015-11-0912:05Kashyap PopatExploring new feature space for Sentiment AnalysisE1 4
024
IMPRS Research Seminar
Hide details for 5 - Thursday5 - Thursday
2015-11-0513:00Claire MathieuAnalyzing the forest fire modelE2.1 Center for Bioinformatics
01
MPI Colloquium Series Distinguished Speaker
Hide details for 3 - Tuesday3 - Tuesday
2015-11-0313:00D!D1 Group MeetingE1 4
024
AG1 Group Meeting
Hide details for 2 - Monday2 - Monday
2015-11-0212:05Sreyasi Nag ChowdhuryWhy is Commonsense not so common?E1 4
024
IMPRS Research Seminar
Hide details for 1 - Sunday1 - Sunday
2015-11-0109:00Launch a Startup in 54 Hours!Startup Weekend SouthWest (3-Day Event)Campus A3 3 (Aula)
Ground Floor
Miscellaneous
Hide details for October 2015October 2015
Hide details for 31 - Saturday31 - Saturday
2015-10-3109:00Launch a Startup in 54 Hours!Startup Weekend SouthWest (3-Day Event)Campus A3 3 (Aula)
Ground Floor
Miscellaneous
Hide details for 30 - Friday30 - Friday
2015-10-3013:00Joel OuaknineDecision Problems for Linear Dynamical SystemsE1 4
024
MPI Colloquium Series Distinguished Speaker
2015-10-3015:00Soham ChakrabortyValidating Optimizations of Concurrent C/C++ ProgramsG26 [KL]
111
SWS Student Defense Talks - Qualifying Exam
2015-10-3018:30Launch a Startup in 54 Hours!Startup Weekend SouthWest (3-Day Event)Campus A3 3 (Aula)
Ground Floor
Miscellaneous
Hide details for 26 - Monday26 - Monday
2015-10-2609:00AkshitaMultimodal Affective Feedback: Role of HapticsE1 4
024
PhD Application Talk
2015-10-2609:00Alan SchoenUpdating Artificial Neural Networks: Translating Recent Discoveries about the Electrophysiology of Neurons into the Language of ComputationE1 4
024
PhD Application Talk
2015-10-2609:00Pedro Ascensão Ferreira MatiasNon-Preemptive Speed Scaling and Parallel Machine Scheduling with Job RestrictionsE1 4
024
PhD Application Talk
2015-10-2609:00Sherif Mohamed Hany Abdelalim Helmy ShehataUsing Mid- and High-Level Visual Features for Surgical Workflow Detection in Cholecystectomy ProceduresE1 4
024
PhD Application Talk
2015-10-2609:00Yanjie WangExplorations of the PATH Algorithm for Graph MatchingE1 4
024
PhD Application Talk
2015-10-2610:20Dilip Ariyur DuraiOptimising de novo transcriptome assemblyE1 4
024
PhD Application Talk
2015-10-2611:20Adrián Rebola PardoUnsatisfiability Proofs for Parity Reasoning in SATE1 4
024
PhD Application Talk
2015-10-2611:20Kailash BudhathokiCorrelation by CompressionE1 4
024
PhD Application Talk
2015-10-2611:20MadhumitaRecognizing Textual EntailmentE1 4
024
PhD Application Talk
2015-10-2611:20Panagiotis MandrosInformation-Theoretic Feature Selection for Continuous DataE1 4
024
PhD Application Talk
Hide details for 23 - Friday23 - Friday
2015-10-2310:00Dima DamenThe lifetime of an object – long-term monitoring of objectsE1 4
633 (sixth floor rotunda)
Talk
Hide details for 22 - Thursday22 - Thursday
2015-10-2210:30Salvatore RuggieriDiscrimination Data AnalysisE1 5
029
SWS Colloquium
Hide details for 20 - Tuesday20 - Tuesday
2015-10-2013:30Pontus EkbergComplexity of the Scheduling Problem for Periodic Real-Time TasksG26 [KL]
113
SWS Colloquium
2015-10-2014:00Arpan GujaratiWhen is CAN the Weakest Link? A Bound on Failures-In-Time in CAN-Based Real-Time SystemsG26 [KL]
111
SWS Student Defense Talks - Qualifying Exam
Hide details for 16 - Friday16 - Friday
2015-10-1612:00Alexander WiederSpin Locks in Real-Time SystemsG26 [KL]
113
SWS Student Defense Talks - Thesis Proposal
2015-10-1613:00Marko DokoFSL: A Program Logic for C11 Memory FencesG26 [KL]
111
SWS Student Defense Talks - Qualifying Exam
Hide details for 15 - Thursday15 - Thursday
2015-10-1513:00Pankaj KhanchandaniAccurate and Robust Clock SynchronizationE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Thursday8 - Thursday
2015-10-0813:00Hang ZhouCorrelation Clustering and Two-edge-connected Augmentation for Planar GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
2015-10-0712:15Roland AngstChallenges in Image-Based 3D ReconstructionsE1 5
002
Joint Lecture Series
Hide details for 6 - Tuesday6 - Tuesday
2015-10-0613:00Sunil ChandranRainbow connection number of graphsE1 4
024
AG1 Advanced Mini-Course
Hide details for September 2015September 2015
Hide details for 28 - Monday28 - Monday
2015-09-2811:00Tomasz TylendaMethods and Tools for Summarization of Entities and Facts in Knowledge BasesE1 4
0.24
Promotionskolloquium
Hide details for 23 - Wednesday23 - Wednesday
2015-09-2314:00He SunConstructing Linear-Sized Spectral Sparsification in Almost-Linear TimeE1 4
333 Rotonda
AG1 Mittagsseminar (own work)
Hide details for 22 - Tuesday22 - Tuesday
2015-09-2213:00Bjoern AndresLifting of Multicuts and the Decomposition of Image and Mesh GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Monday21 - Monday
2015-09-2113:00Christine RizkallahTrustworthy File SystemsE1 5
029
SWS Colloquium
Hide details for 18 - Friday18 - Friday
2015-09-1809:00Christine RizkallahVerification of Program Computations (PhD-Defense)E1 4
024
Promotionskolloquium
2015-09-1814:00Deepak KapurA Quantifier- Elimination Heuristic for Octagonal ConstraintsG26 [KL]
112
SWS Colloquium
Hide details for 17 - Thursday17 - Thursday
2015-09-1710:00Irfan EssaVideo Analysis and Enhancement: Spatio-Temporal Methods for Extracting Content from Videos and Enhancing Video OutputE1 4
024
Talk
Hide details for 15 - Tuesday15 - Tuesday
2015-09-1510:00James CaverleeGeo-Social Footprints in Social Media: Opportunities and ChallengesE1 4
024
Talk
Hide details for 10 - Thursday10 - Thursday
2015-09-1013:00Jiemin ZengExact and Approximation Algorithms for Data Mule Scheduling in a Sensor NetworkE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Tuesday8 - Tuesday
2015-09-0813:00Shikha SinghRational Proofs with Multiple ProversE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Thursday3 - Thursday
2015-09-0313:00AG 1Group Meeting and CakeE1 4
024
AG1 Group Meeting
Hide details for 2 - Wednesday2 - Wednesday
2015-09-0212:15Jasmin Christian BlanchetteMaking Theorem Provers Easier to UseE1 5
002
Joint Lecture Series
Hide details for August 2015August 2015
Hide details for 25 - Tuesday25 - Tuesday
2015-08-2513:00Davis IssacOnline Sampling with Minimal RandomnessE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 18 - Tuesday18 - Tuesday
2015-08-1813:00Ralf JungMonoids and Invariants as an Orthogonal Basis for Concurrent ReasoningE1 5
029
SWS Student Defense Talks - Qualifying Exam
Hide details for 13 - Thursday13 - Thursday
2015-08-1313:00Andreas WieseOn guillotine cutting sequencesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Wednesday12 - Wednesday
2015-08-1213:00Christoph LenzenERC prep talkE1 4
024
Talk
Hide details for 11 - Tuesday11 - Tuesday
2015-08-1113:00Paul DüttingAlgorithms as Mechanisms: The Price of Anarchy of Relax-and-RoundE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Thursday6 - Thursday
2015-08-0613:00Andreas WieseHow to tame rectanglesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Wednesday5 - Wednesday
2015-08-0512:15Piotr DidykPerceptually-driven Inputs for New Output DevicesE1 5
002
Joint Lecture Series
Hide details for July 2015July 2015
Hide details for 30 - Thursday30 - Thursday
2015-07-3010:30Alexandre ChapiroPerceptual Enhancements for 3D DisplaysE1 4
019
AG4 Talk
Hide details for 29 - Wednesday29 - Wednesday
2015-07-2914:00Jiri FilipAnisotropic Material Appearance: Acquisition and ModellingE1 4
019
Talk
Hide details for 28 - Tuesday28 - Tuesday
2015-07-2813:00Lila FontesTrading Privacy for CommunicationE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Thursday23 - Thursday
2015-07-2313:00Thatchaphol SaranurakUnifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication ConjectureE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Wednesday22 - Wednesday
2015-07-2214:00Gregor SneltingA New Algorithm For Probabilistic NoninterferenceE1 5
0.02
CISPA Distinguished Lecture Series
Hide details for 16 - Thursday16 - Thursday
2015-07-1613:00Keerti ChoudharyFault Tolerant Reachability Subgraph : Generic and OptimalE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Tuesday14 - Tuesday
2015-07-1413:00Shahbaz KhanDynamic DFS Tree in Undirected Graphs: breaking the O(m) barrierE1 4
024
AG1 Mittagsseminar (own work)
2015-07-1414:15Andreas LochbihlerMaking the Java memory model safeE1 5
002
Talk
Hide details for 10 - Friday10 - Friday
2015-07-1011:00Patrick McDanielSix Years of Mobile Smartphone SecurityE1 5
0.02
CISPA Distinguished Lecture Series
Hide details for 9 - Thursday9 - Thursday
2015-07-0910:00Yafang WangResearch after MPIE1 4
433
AG5 Talk
2015-07-0913:00Shay MoranSample compression schemes for VC classesE1 4
024
AG1 Mittagsseminar (own work)
2015-07-0914:00Jay PujaraProbabilistic Soft LogicE1 4
433
AG5 Talk
Hide details for 8 - Wednesday8 - Wednesday
2015-07-0816:15Manfred WarmuthThe blessing and the curse of the multiplicative updates; the talk discusses connections between evolution and the multiplicative updates of online learning)E1 4
024
MPI Colloquium Series Distinguished Speaker
Hide details for 3 - Friday3 - Friday
2015-07-0309:30Ali PourmiriPhD Thesis DefenseMMCI
001
Promotionskolloquium
Hide details for 2 - Thursday2 - Thursday
2015-07-0213:00Mabel Iglesias-HamMultiple Covers with Balls: Inclusion-ExclusionE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Wednesday1 - Wednesday
2015-07-0112:15Christoph LenzenFast Approximate Max Flow ComputationE1 5
002
Joint Lecture Series
Hide details for June 2015June 2015
Hide details for 30 - Tuesday30 - Tuesday
2015-06-3013:00Sayan BhattacharyaDeterministic Fully Dynamic Data Structures for Vertex Cover and MatchingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 29 - Monday29 - Monday
2015-06-2913:00Brittany Terese FasyComparing Road Networks: An Application of TDAE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Friday26 - Friday
2015-06-2610:30Dr. Arne Hamann''Timing-Aware Control Software Design for Automotive Systems''G26 [KL]
112
SWS Colloquium
Hide details for 24 - Wednesday24 - Wednesday
2015-06-2413:00Muhammad Bilal ZafarOn Leveraging the Wisdom of Crowdsourced ExpertsE1 5
029
SWS Student Defense Talks - Qualifying Exam
2015-06-2413:00Pedro FonsecaEffective Testing for Concurrency BugsE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 23 - Tuesday23 - Tuesday
2015-06-2311:00Dr. Jannik StroetgenEvent-centric Information RetrievalE1 4
533
AG5 Talk
Hide details for 22 - Monday22 - Monday
2015-06-2209:00Chuong H. NguyenData-driven Approaches for Interactive Appearance EditingE1 4
019
Promotionskolloquium
2015-06-2211:00Dr. Rishiraj Saha RoyUnsupervised Query Segmentation: Algorithms and EvaluationE1 4
533
AG5 Talk
Hide details for 19 - Friday19 - Friday
2015-06-1915:00Adrian NeumannPhD Thesis DefenseE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Wednesday17 - Wednesday
2015-06-1710:00Herbert Bos50 Shades of CRE (Code Reuse Exploits)E1 5
002
CISPA Distinguished Lecture Series
Hide details for 16 - Tuesday16 - Tuesday
2015-06-1613:00Ragesh JaiswalFaster Algorithms for the Constrained k-means ProblemE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Monday15 - Monday
2015-06-1512:05Luis Enrique Ramirez ChavezMulti-Objective Evolutionary Algorithms for BioinformaticsE1 4
024
IMPRS Research Seminar
Hide details for 11 - Thursday11 - Thursday
2015-06-1113:00Andreas WieseOn Approximating Storage Allocation Problems as Good as Their SiblingsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Tuesday9 - Tuesday
2015-06-0911:00Clemens Birklbauer and David SchedlWide-field-of-view light-field processing and coded samplingE1 4
019
AG4 Talk
2015-06-0913:00Amit KumarGreedy Algorithms for Steiner ForestE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Wednesday3 - Wednesday
2015-06-0312:15Deepak GargTypes for Incremental Computational ComplexityE1 5
002
Joint Lecture Series
2015-06-0314:00Nigel SmartComputing on Encrypted DataE1 5
0.02
CISPA Distinguished Lecture Series
Hide details for 2 - Tuesday2 - Tuesday
2015-06-0213:00Christoph LenzenFast Approximate Max Flow ComputationE1 4
024
Probevortrag
Hide details for May 2015May 2015
Hide details for 28 - Thursday28 - Thursday
2015-05-2813:00Dr. Sergey PolyakovskiyPacking While TravelingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Tuesday26 - Tuesday
2015-05-2613:00Navid TalebanfardThe Strong Exponential Time Hypothesis for Structured Algorithms through Games and the Multiplicity of StrategiesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Thursday21 - Thursday
2015-05-2114:00Markus SteinbergerDynamic Task-based GPU SchedulingE1 4
0.19
AG4 Talk
Hide details for 19 - Tuesday19 - Tuesday
2015-05-1913:00Vitaliy KurlinHomologically Persistent Skeleton in Computer Vision and beyondE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Friday15 - Friday
2015-05-1513:00Prof. Frank NeumannOn the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan SchedulingE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Monday11 - Monday
2015-05-1110:00Abhishek SharmaJoint Co-localisation and Co-segmentationE1 4
633
Talk
Hide details for 8 - Friday8 - Friday
2015-05-0818:00Three-Day WorkshopStartup Weekend Saarbrücken (May 8-10, 2015)A3 3 - Aula Universität
ground floor
Miscellaneous
Hide details for 7 - Thursday7 - Thursday
2015-05-0713:00Bundit LaekhanukitParameters of Two-Prover-One-Round Game and The Hardness of Connectivity ProblemsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Wednesday6 - Wednesday
2015-05-0612:15Andreas KellerDetecting Microbial Resistance Against AntibioticsE1 5
002
Joint Lecture Series
Hide details for 5 - Tuesday5 - Tuesday
2015-05-0513:00D!D1 Group Meeting, Preparation of SAB-VisitE1 4
024
AG1 Group Meeting
Hide details for 4 - Monday4 - Monday
2015-05-0409:15Azin GhazimatinTeam Selection for Prediction TasksE1 4
024
PhD Application Talk
2015-05-0409:15Mohamed Gad-ElrabAdapting Named Entity Disambiguation for Arabic TextE1 4
024
PhD Application Talk
2015-05-0409:15Nesma El KalaawyA Reaction-Diffusion Master Equation-Based Method for the Modeling and Simulation of Biochemical PathwaysE1 4
024
PhD Application Talk
2015-05-0411:00Hyunyoung KimGesture-Recognition Interface with Keyboard Embedded IR ModulesE1 4
024
PhD Application Talk
2015-05-0411:00Mehdi NorooziIndoor Scene 3D Layout and Clutter Estimation from RGBD ImagesE1 4
024
PhD Application Talk
Hide details for April 2015April 2015
Hide details for 30 - Thursday30 - Thursday
2015-04-3014:00Boris KöpfRational Protection Against Timing AttacksE1 5
002
Talk
Hide details for 29 - Wednesday29 - Wednesday
2015-04-2916:00Christian HollerSecurity Testing at MozillaE1 5
Lecture hall
Talk
Hide details for 28 - Tuesday28 - Tuesday
2015-04-2810:00Philipp KrähenbühlLearning to propose objectsE1 4
633
Talk
2015-04-2815:00Wolfgang HeidrichUnconventional Uses for Time-of-Flight Cameras - Transient Imaging and BeyondE1 4
019
Talk
Hide details for 22 - Wednesday22 - Wednesday
2015-04-2214:00Vamsi Kiran AdhikarlaLight Field Rendering and InteractionE1 4
019
Talk
Hide details for 21 - Tuesday21 - Tuesday
2015-04-2113:00Benjamin DoerrRandomized Rumor Spreading RevisitedE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Monday20 - Monday
2015-04-2010:00Stephan SeufertAlgorithmic Building Blocks for Relationship Analysis over Large GraphsE1 4
024
Promotionskolloquium
Hide details for 16 - Thursday16 - Thursday
2015-04-1613:00Prof. Frauke LiersExact Approaches for Air Traffic Management ProblemsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Tuesday14 - Tuesday
2015-04-1413:00Michael KerberSemi-dynamic connectivity in the planeE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Friday10 - Friday
2015-04-1010:00Prof. Dr. Peter BonczEmergent Structures in Knowledge GraphsE1 4
024
Lecture
Hide details for 9 - Thursday9 - Thursday
2015-04-0910:00Dr. Pei LiSeries Discovery with Missing and Erroneous ValuesE1 4
433
AG5 Talk
Hide details for 7 - Tuesday7 - Tuesday
2015-04-0713:00Abhinav AnandFoster-Hart Risk and the Too-Big-to-Fail Banks: An Empirical InvestigationE1 4
024
AG1 Mittagsseminar (own work)
2015-04-0715:30Pramod BhatotiaIncremental Parallel and Distributed SystemsE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 2 - Thursday2 - Thursday
2015-04-0213:00Philipp Klodtk-Cycle Free Two-Matchings from Half-Integral Subtour LP-Solutions (Master Seminar)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Wednesday1 - Wednesday
2015-04-0110:30Simon PeterBuilding an Operating System for the Data CenterE1 5
29
SWS Colloquium
Hide details for March 2015March 2015
Hide details for 30 - Monday30 - Monday
2015-03-3010:30David WolinskyTracking Resistance with DissentE1 5
029
SWS Colloquium
Hide details for 27 - Friday27 - Friday
2015-03-2710:00Joel RybickiTowards Optimal Synchronous CountingE1 4
022
Talk
Hide details for 26 - Thursday26 - Thursday
2015-03-2610:30Ankit SinglaJellyfish: Networking Data Centers, RandomlyE1 5
029
SWS Colloquium
Hide details for 24 - Tuesday24 - Tuesday
2015-03-2411:00Georg MoserWeighted Automata Theory for Complexity Analysis of Rewrite SystemsE1 4
024
Talk
2015-03-2416:00Luis Francisco ZilianiInteractive Typed Tactic Programming in the Coq Proof AssistantE1 5
029
SWS Student Defense Talks - Thesis Defense
Hide details for 20 - Friday20 - Friday
2015-03-2009:30Chandan SahaMulti-k-ic depth three circuit lower boundE2.1
001
Talk
2015-03-2011:00Pascal KoiranLower bounds for sums of powers of low degree univariatesE2.1
001
Talk
Hide details for 19 - Thursday19 - Thursday
2015-03-1909:30Neeraj KayalTBAE2.1
001
Talk
2015-03-1911:00Guillaume MalodLower bounds for non-commutative skew circuitsE2.1
001
Talk
Hide details for 18 - Wednesday18 - Wednesday
2015-03-1809:30Ignacio Garcia MarcoLong-Concavity and Lower bounds for arithmetic circuitsE2.1
001
Talk
2015-03-1811:00Daniel KönigPolynomial identity testing in coRNC for powerful skew circuitsE2.1
001
Talk
Hide details for 17 - Tuesday17 - Tuesday
2015-03-1709:30Ben Lee Volk/Amir ShpilkaSubexponential Size HItting Sets for Bounded Depth Multilinear FormulasE2.1
001
Talk
2015-03-1711:00Rahul SanthanamBoolean vs AlgebraicE2.1
0001
Talk
2015-03-1713:00Don SheehyPersistent Nerves in Topological Inference and Data AnalysisE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Monday16 - Monday
2015-03-1609:30Michael ForbesPolynomial Identity Testing via Shifted Partial DerivativesE2.1
001
Talk
2015-03-1611:00Ramprasad SaptharishiDepth Reduction in arithmetic circuitsE2.1
001
Talk
Hide details for 11 - Wednesday11 - Wednesday
2015-03-1113:00Jukka SuomelaMedian Filtering is Equivalent to SortingE1 4
024
Talk
Hide details for 10 - Tuesday10 - Tuesday
2015-03-1013:00Moti MedinaDistributed Maximum Matching in Bounded Degree GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Monday9 - Monday
2015-03-0911:00Reut LeviA Quasi-Polynomial Time Partition Oracle for Graphs with an Excluded MinorE1 4
024
AG1 Mittagsseminar (own work)
2015-03-0914:00Leonidas GuibasNetworks of Shapes and ImagesE1 4
R 0.19
Talk
Hide details for 5 - Thursday5 - Thursday
2015-03-0513:00D1D1 Group MeetingE1 4
024
AG1 Group Meeting
Hide details for 4 - Wednesday4 - Wednesday
2015-03-0412:15Michael KerberThe Persistent Homology Pipeline: Shapes, Computations, and ApplicationsE1 5
002
Joint Lecture Series
2015-03-0414:30IT InkubatorKick-off event on 4 March 2015A3 3 - Aula Universität
(ground floor)
Kick-Off Event
Hide details for 3 - Tuesday3 - Tuesday
2015-03-0313:00Tereza KlimosovaInfinite dimensional finitely forcible graphonE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Monday2 - Monday
2015-03-0210:30Deian StefanPrincipled and Practical Web Application SecurityE1 5
029
SWS Colloquium
Hide details for February 2015February 2015
Hide details for 26 - Thursday26 - Thursday
2015-02-2610:30Aniket KateMinimal Trusted Hardware Assumptions for Privacy-Preserving SystemsE1 5
029
SWS Colloquium
2015-02-2613:00Hang ZhouGraph Reconstruction and VerificationE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Tuesday24 - Tuesday
2015-02-2411:00Hannah BastSemantic Search: Past, Present, FutureE1 4
024
MPI-Kolloquium
2015-02-2413:00Yun Kuen CheungAsynchronous Market Dynamics and Asynchronous Gradient DescentE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Monday23 - Monday
2015-02-2309:00Anurag PandeyTesting Algebraic Independence of Polynomials over Finite FieldsE1 4
r024
PhD Application Talk
2015-02-2309:00Hosnieh SattarPrediction of search targets from fixations in open-world settingsE1 4
R024
PhD Application Talk
2015-02-2309:00Kireeti BoddunaEfficient Noise Elimination Algorithms for Images and GraphicsE1 4
r024
PhD Application Talk
2015-02-2309:00Sreyasi Nag ChowdhuryContextual Media Retrieval Using Natural Language QueriesE1 4
r024
PhD Application Talk
2015-02-2309:00Yang HePedestrian Detection and Online Tracking from Monocular ImagesE1 4
R024
PhD Application Talk
2015-02-2311:20Abdalghani AbujabalMining Past, Present, and FutureE1 4
r024
PhD Application Talk
2015-02-2311:20Azim Dehghani AmirabadModels to predict miRNAs-transcript target interactionsE1 4
r024
PhD Application Talk
2015-02-2311:20Kashyap PopatLeveraging Unlabelled Corpora for Sentiment AnalysisE1 4
r024
PhD Application Talk
2015-02-2311:20Neha WarikooRegulatory network of fadr – crp in Mycobacterium tuberculosis: A computational approachE1 4
r024
PhD Application Talk
2015-02-2311:20Tim KehlGeneTrail2 - A comprehensive web service for enrichment analysisE1 4
r024
PhD Application Talk
2015-02-2313:00Moti MedinaDistributed Maximum Matching in Bounded Degree GraphsE1 4
024
AG1 Mittagsseminar (own work)
2015-02-2315:00Cheng LiBuilding fast and consistent replicated systems: from principles to practiceE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 19 - Thursday19 - Thursday
2015-02-1910:30Laura BrandimartePrivacy, Security, and Online Disclosures:Combining HCI and Behavioral Science to Design Visceral Cues for Detection of Online ThreatsE1 5
029
SWS Colloquium
2015-02-1914:00Bart PreneelCryptography and Information Security in the post-Snowden eraE1 5
0.02
CISPA Distinguished Lecture Series
Hide details for 17 - Tuesday17 - Tuesday
2015-02-1710:30Dr. Eva DarulovaProgramming with Numerical UncertaintiesE1 5
029
SWS Colloquium
2015-02-1713:00M.-F. RoyTalk by M.F. Roy on Hilbert's 17th problem HAS BEEN CANCELEDE1 4
024
AG1 Mittagsseminar (others' work)
2015-02-1714:00Jens-Matthias BohliOutsourced Proofs of RetrievabilityE1 5
029
Talk
Hide details for 13 - Friday13 - Friday
2015-02-1313:30Vladlen KoltunReconstructing Complete 3D Models from Single ImagesE1 4
R 0.19
Talk
Hide details for 12 - Thursday12 - Thursday
2015-02-1210:30Johannes HoffartDiscovering and Disambiguating Named Entities in TextE1 5
0.29
Promotionskolloquium
2015-02-1214:00Wolfgang NejdlALEXANDRIA - Temporal Retrieval, Exploration and Analytics in Web archives - Asking Humans for HelpE1 5
0.29
MPI-Kolloquium
Hide details for 10 - Tuesday10 - Tuesday
2015-02-1013:00Reza SaeiMaximal Induced Matchings in Triangle-Free GraphsE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Thursday5 - Thursday
2015-02-0511:00Miguel CostaInformation Search in Web ArchivesE1 4
433
AG5 Talk
2015-02-0514:00Felix FreilingGovernmental IT Intrusions for Law Enforcement: State of the Art andAlternativesE1 5
0.02
CISPA Distinguished Lecture Series
Hide details for 4 - Wednesday4 - Wednesday
2015-02-0412:15Andreas BullingThere is more to gaze than meets the eye: novel uses of gaze in context-aware computing and human-computer interactionE1 5
002
Joint Lecture Series
Hide details for 2 - Monday2 - Monday
2015-02-0214:00Hannah BastCANCELED: Semantic Search: Past, Present, FutureE1 4
024
MPI-Kolloquium
Hide details for January 2015January 2015
Hide details for 30 - Friday30 - Friday
2015-01-3014:00Oliver BimberTowards a transparent and flexible image sensorE1 4
019
Talk
Hide details for 29 - Thursday29 - Thursday
2015-01-2914:00Prof. Dr. Heiko MantelReliable Security Guarantees for Concurrent Programs: Pitfalls, Solutions and ChallengesE1 5
0.02
CISPA Distinguished Lecture Series
Hide details for 26 - Monday26 - Monday
2015-01-2610:30Alessandro PanconesiTrace Complexity of Information DiffusionG26 [KL]
112
SWS Distinguished Lecture Series
Hide details for 22 - Thursday22 - Thursday
2015-01-2210:00Pankaj KhanchandaniApproximate AgreementE1 4
023
ToDS Group Meeting
2015-01-2213:15Monika HenzingerDynamic Graph Algorithms - Upper and Lower BoundsE1 4
024
INF Distinguished Lecture Series
2015-01-2214:00Prof. Dr. David BasinEnforceable Security PoliciesE1 5
0.02
CISPA Distinguished Lecture Series
Hide details for 20 - Tuesday20 - Tuesday
2015-01-2013:00Yin Tat LeeA Faster Algorithm for Linear Programming and the Maximum Flow ProblemE1 4
024
Talk
Hide details for 17 - Saturday17 - Saturday
2015-01-1713:00M.F. RoyTALK BY M.F. ROY ON HILBERT's 17TH PROBLEM HAS BEEN CANCELEDE1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 16 - Friday16 - Friday
2015-01-1613:00Jara UittoHow Many Ants Does It Take To Find the Food?E1 4
024
Talk
2015-01-1616:00Bimal ViswanathReasoning about trustworthiness of identities in social computing systemsE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 15 - Thursday15 - Thursday
2015-01-1510:00Matthias FüggerFault-tolerant on-chip tick generationE1 4
023
ToDS Group Meeting
2015-01-1513:00He SunHeat Kernel in Graphs: Our UnderstandingE1 4
024
Talk
2015-01-1514:00Prof. Dr. Ueli MaurerConstructive Cryptography and Modular Protocol DesignE1 5
0.02
CISPA Distinguished Lecture Series
Hide details for 13 - Tuesday13 - Tuesday
2015-01-1313:00Luca ZanettiMultiway partitioning of well-clustered graphs (SPOILER ALERT: spectral clustering works!)E1 4
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Monday12 - Monday
2015-01-1211:00Daniel KönigPolynomial identity testing in coRNC for powerful skew circuitsE2.1
001
Talk
2015-01-1211:00Daniel KönigPolynomial identity testing in coRNC for powerful skew circuitsE2.1
001
Talk
2015-01-1211:00Guillaume MalodLower bounds for non-commutative skew circuitsE1 4
024
AG1 Advanced Mini-Course
2015-01-1211:00Ramprasad SaptharishiDepth Reduction in arithmetic circuitsE2.1
001
Talk
Hide details for 9 - Friday9 - Friday
2015-01-0910:00Andrew TomkinsAnalyzing Dynamics of Choice among Discrete AlternativesE1 5
002
SWS Distinguished Lecture Series
2015-01-0915:00Hans BoehmPutting Threads on a Solid Foundation: Some Remaining IssusG26 [KL]
111
SWS Distinguished Lecture Series
Hide details for 8 - Thursday8 - Thursday
2015-01-0810:00Matthias FüggerTowards Dependable Large-scale Circuits: Fault-Tolerant Tick-GenerationE1 4
023
AG1 Group Meeting
Hide details for 7 - Wednesday7 - Wednesday
2015-01-0712:15Manuel Gomez RodriguezShaping Social Activity by Incentivizing UsersE1 5
002
Joint Lecture Series
Hide details for 2 - Friday2 - Friday
2015-01-0211:00Jiemin ZengTBAE1 4
024
AG1 Mittagsseminar (own work)
Hide details for December 2014December 2014
Hide details for 22 - Monday22 - Monday
2014-12-2209:30Foteini AlvanakiMining interesting events on large and dynamic dataE1 4
024
Promotionskolloquium
Hide details for 19 - Friday19 - Friday
2014-12-1913:00Alexey GotsmanFormalising and Optimising Parallel Snapshot IsolationG26 [KL]
111
SWS Colloquium
Hide details for 17 - Wednesday17 - Wednesday
2014-12-1712:30Karl BringmannPhD Defense Karl BringmannE1 4
024
Promotionskolloquium
2014-12-1715:00Angelika StegerAn algorithmic framework for obtaining lower bounds for random Ramsey problemsE1 5
029
AG1 Mittagsseminar (own work)
Hide details for 16 - Tuesday16 - Tuesday
2014-12-1613:00Erik Jan van Leeuwen & Parinya ChalermsookHighlights from FOCS 2014E1 4
024
AG1 Mittagsseminar (others' work)
Hide details for 15 - Monday15 - Monday
2014-12-1514:00Azalea RaadCoLoSL: Concurrent Local Subjective LogicE1 5
029
SWS Colloquium
Hide details for 12 - Friday12 - Friday
2014-12-1213:00Shay MoranSign rank, VC dimension and spectral gapsE1 4
024
AG1 Advanced Mini-Course
2014-12-1214:00Filip NiksicAn SMT-Based Approach to Coverability AnalysisG26 [KL]
111
SWS Student Defense Talks - Qualifying Exam
2014-12-1214:00Stephan MicklitzGoogle Identity, Account Management and Privacy ToolsE1 5
0.02
CISPA Distinguished Lecture Series
Hide details for 11 - Thursday11 - Thursday
2014-12-1113:00Ankit SharmaMultiway cutE1 4
024
AG1 Mittagsseminar (own work)
2014-12-1114:00Catuscia PalamidessiNew Advances in Quantitative Information FlowE1 5
0.02
CISPA Distinguished Lecture Series
Hide details for 9 - Tuesday9 - Tuesday
2014-12-0911:30KyoungSoo ParkScaling TCP performance for multicore systemsE1 5
029
SWS Colloquium
2014-12-0913:00Kurt MehlhornGroup MeetingE1 4
024
AG1 Group Meeting
Hide details for 5 - Friday5 - Friday
2014-12-0513:30Michael W. HicksAuthenticated Data Structures, GenericallyE1 5
029
SWS Colloquium
Hide details for 4 - Thursday4 - Thursday
2014-12-0413:00Joel RybickiLarge Cuts with Local AlgorithmsE1 4
024
AG1 Mittagsseminar (own work)
2014-12-0414:00Istemi Ekin AkkusTowards Non-tracking Web and Mobile AnalyticsG26 [KL]
112
SWS Student Defense Talks - Thesis Proposal
Hide details for 3 - Wednesday3 - Wednesday
2014-12-0312:15Tobias MarschallAlgorithmic Challenges in Computational GenomicsE1 5
002
Joint Lecture Series
Hide details for 2 - Tuesday2 - Tuesday
2014-12-0213:00Florian PausingerApproximation of intrinsic volumesE1 4
024
AG1 Mittagsseminar (own work)
Hide details for November 2014November 2014
Hide details for 28 - Friday28 - Friday
2014-11-2811:00Christian KURZConstrained Camera Motion Estimation and 3D ReconstructionE1 4
0.19
Promotionskolloquium
2014-11-2811:00Prof. Dr. Adrian PerrigExciting Security Research Opportunity: Next-generation InternetE1 5
0.02
CISPA Distinguished Lecture Series
Hide details for 26 - Wednesday26 - Wednesday
2014-11-2611:00Robert WestExploiting Social Network Structure for Person-to-Person Sentiment AnalysisE1 5
029
SWS Colloquium
Hide details for 25 - Tuesday25 - Tuesday
2014-11-2513:00Jugal GargLeontief Exchange Markets Can Solve Multivariate Polynomial Equations, Yielding FIXP and ETR HardnessE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Friday21 - Friday
2014-11-2115:00Aastha MehtaThoth: Practical Data flow protection in a search engineE1 5
422
SWS Student Defense Talks - Qualifying Exam
Hide details for 20 - Thursday20 - Thursday
2014-11-2013:00Stephan WengerRegularized optimization methods for reconstruction and modeling in computer graphicsE1 4
019
AG4 Talk
2014-11-2013:00Valia MitsouThe computational complexity of two card games with theoretical applicationsE1 4
024
AG1 Mittagsseminar (own work)
2014-11-2014:00Dr. Marc FischlinCryptographic Standards vs. Cryptographically Secure StandardsE1 5
002
CISPA Distinguished Lecture Series
2014-11-2014:00Scott Kilpatrickmhmm: Making Haskell More ModularE1 5
029
SWS Student Defense Talks - Thesis Proposal
Hide details for 18 - Tuesday18 - Tuesday
2014-11-1811:00Eric HeitzMulti-scale appearance for realistic and efficient rendering of complex surfacesE1 4
019
AG4 Talk
2014-11-1813:00Eunjung KimAlgorithmic Applications of Tree-Cut WidthE1 4
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Monday17 - Monday
2014-11-1710:30Marcos K. AguileraYesquel: scalable SQL storage for Web applicationsE1 5
029
SWS Distinguished Lecture Series
2014-11-1713:15Pascal VincentLearning representations with autoencoders: a brief overview and a few novel perspectivesE1 4
024
Talk
2014-11-1714:00Oksana DenysyukRandomized Solutions to Renaming under Crashes and Byzantine FaultsE1 5
029
SWS Colloquium
Hide details for 13 - Thursday13 - Thursday
2014-11-1313:00D1D1 Group MeetingE1 4
024
AG1 Group Meeting
2014-11-1313:00Prof. Baoquan ChenUrban Sensing and VisualizationE1 4
019
Talk
Hide details for 12 - Wednesday12 - Wednesday
2014-11-1210:30Rachid GuerraouiGeneralized UniversalityG26 [KL]
111
SWS Distinguished Lecture Series
Hide details for 11 - Tuesday11 - Tuesday
2014-11-1111:30Anne-Marie KermarrecScalable personalization infrastructuresE1 5
002
SWS Distinguished Lecture Series
2014-11-1118:00Prof. Dr. Michael BackesWenn Maschinen zu smart werden - Wie sicher sind unsere Daten?E1 5
002
Panel Discussion

Previous Page | Next Page | Expand All | Collapse All