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

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

Action
New Event Entry | Mailing Lists | E-Mail Events | Search with options | iCal Format
TimeSpeakerEvent, Title, TopicBuilding, RoomEvent Type
Hide details for October 2014October 2014
Hide details for 30 - Thursday30 - Thursday
13:00D1D1 Group MeetingE1 4 - MPI-INF
024
AG1 Group Meeting
14:00Frank PiessensRuntime enforcement of security policies on black box reactive programs: theory and practiceE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
16:00Koushik SenMultiSE: Multi-Path Symbolic Execution using Value SummariesG26 - MPI-SWS [KL]
111
SWS Colloquium
Hide details for 21 - Tuesday21 - Tuesday
13:00Sandy HeydrichApproximating biclique problems on bipartite graphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Thursday9 - Thursday
10:30Steve ZdancewicVellvm: Verifying Safety in the LLVM IRE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 7 - Tuesday7 - Tuesday
13:00Bart JansenCharacterizing the Easy-to-Find Subgraphs from the Viewpoint of Polynomial-Time Algorithms, Kernels, and Turing KernelsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Monday6 - Monday
09:30Christian RossowAdvanced Lecture: Software Reverse EngineeringE1 3 - Hörsaal Gebäude
001
Lecture
Hide details for 2 - Thursday2 - Thursday
10:30Dr. Joel OuaknineTermination of Linear Programs: Advances and ChallengesG26 - MPI-SWS [KL]
111
SWS Distinguished Lecture Series
14:00Mark RyanReconciling online privacy and societal securityE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
Hide details for 1 - Wednesday1 - Wednesday
12:15Nico PfeiferStatistical Learning in Computational Biology: Incorporating and Discovering new Biological InsightsE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for September 2014September 2014
Hide details for 29 - Monday29 - Monday
13:00Sariel Har-PeledSmall Data -- Linear Time Algorithms for Geometric ProblemsE1 4 - MPI-INF
024
Talk
Hide details for 26 - Friday26 - Friday
14:00Ian GoldbergCISPA Distinguished Lecture Series - DP5: Privacy-preserving Presence ProtocolsE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
15:30Alexey ReznichenkoPrivate-by-Design Advertising Meets the Real WorldG26 - MPI-SWS [KL]
111
SWS Student Defence Talks - Thesis Defense
Hide details for 25 - Thursday25 - Thursday
13:00Andreas WieseHow Unsplittable-Flow-Covering helps Scheduling with Job-Dependent Cost FunctionsE1 4 - MPI-INF
022
AG1 Mittagsseminar (own work)
Hide details for 23 - Tuesday23 - Tuesday
13:00Sebastian OttNew Results for Non-Preemptive Speed ScalingE1 4 - MPI-INF
022
AG1 Mittagsseminar (own work)
Hide details for 19 - Friday19 - Friday
14:00Andrej BogdanovOn Basing Size-Verifiable One-Way Functions on NP-HardnessE1 7 - MMCI
0.01
CISPA Distinguished Lecture Series
Hide details for 18 - Thursday18 - Thursday
13:00Xiaohui BeiBalancing Efficiency and Fairness in Resource AllocationE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Tuesday16 - Tuesday
11:00Christoph LenzenERC test presentationE1 4 - MPI-INF
023
Probevortrag
13:00Fabrizio GrandoniSubcubic Equivalences Between Graph Centrality Problems, APSP and DiameterE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Monday15 - Monday
11:00Leslie GoldbergThe Complexity of Approximate CountingE1 4 - MPI-INF
024
MPI Colloquium Series Distinguished Speaker
Hide details for 5 - Friday5 - Friday
15:00James D. Hollan (UCSD) and Aurélien Tabard (U Lyon)Activity-Enriched Computing: Retrieving and Restoring ContextE1 7 - MMCI
001
Talk
15:00James D. Hollan (UCSD) and Aurélien Tabard (U Lyon)Activity-Enriched Computing: Retrieving and Restoring ContextE1 1 - Informatik
E1 7 001
Talk
Hide details for 4 - Thursday4 - Thursday
13:00Fidaa AbedOptimal Coordination Mechanisms for Multi-Job Scheduling GamesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Tuesday2 - Tuesday
13:00Antonios AntoniadisA o(n)-Competitive Deterministic Algorithm for Online Matching on a LineE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for August 2014August 2014
Hide details for 28 - Thursday28 - Thursday
11:00Christoph LenzenERC practice talkE1 4 - MPI-INF
023
Probevortrag
13:00Sebastien TavenasReduction of the depth for arithmetic circuitsE1 4 - MPI-INF
024
Talk
13:30Biman RoyThe Unified Theory of PseudorandomnessE1 4 - MPI-INF
024
Talk
14:00Franziska RoesnerSecurity, Privacy, and User Expectations: Case Studies in Web Tracking, Access Control, and User InterfacesE1 5 - MPI-SWS
0.29
Talk
Hide details for 26 - Tuesday26 - Tuesday
13:00Tino WeinkaufExtended Branch Decomposition Graphs: Structural Comparison of Scalar DataE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Thursday21 - Thursday
13:00Jan HladkyAn approximate version of the tree packing conjectureE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Tuesday19 - Tuesday
13:00Rob van SteeThe optimal absolute ratio for online bin packingE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Friday15 - Friday
13:00Kirill AfanasevShortest and alternative paths in road networksE1 4 - MPI-INF
019
Talk
Hide details for 14 - Thursday14 - Thursday
11:00Ullrich HustadtResolution-based Reasoning for Coalition LogicE1 3 - Hörsaal Gebäude
002
Talk
13:00Matthias FüggerTime Complexity of Link Reversal RoutingE1 4 - MPI-INF
019
Talk
Hide details for 13 - Wednesday13 - Wednesday
13:00Matthias FüggerTowards binary circuit models that faithfully reflect physical (un)solvability.E1 4 - MPI-INF
019
Talk
Hide details for 8 - Friday8 - Friday
10:30Robbert van RenesseLeveraging Sharding in the Design of Scalable Replication ProtocolsE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
Hide details for 6 - Wednesday6 - Wednesday
12:15Marcel SchulzProbabilistic Methods for the Analysis of Biological NetworksE1 5 - MPI-SWS
002
Joint Lecture Series
15:30Mike DoddsA Fast, Correct Time-Stamped StackE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for July 2014July 2014
Hide details for 30 - Wednesday30 - Wednesday
10:30Flavio ChierichettiTrace ComplexityE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 29 - Tuesday29 - Tuesday
13:00Richard PengAlgorithms Design Using Spectral Graph TheoryE1 4 - MPI-INF
024
Talk
Hide details for 28 - Monday28 - Monday
13:00Josef SivicFrom CAD models to neural networks: Learning mid-level image representations for visual recognitionE1 4 - MPI-INF
024
Talk
Hide details for 24 - Thursday24 - Thursday
10:30Andrei SabelfeldTracking information flow in web applicationsE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
13:00Paul MüllerDeferred Shading Pipelines and Post-ProcessesE1 4 - MPI-INF
019
Talk
Hide details for 23 - Wednesday23 - Wednesday
10:30Hongjin LiangCompositional Verification of Termination-Preserving Refinement of Concurrent ProgramsG26 - MPI-SWS [KL]
113
SWS Colloquium
Hide details for 22 - Tuesday22 - Tuesday
13:00Pauli MiettinenOn algorithmic and computational issues in low-rank approximate Boolean factorizations particularly applicable to data mining and related fieldsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Monday21 - Monday
15:15Prof. Dr. Roberto Navigli(Digital) Goodies from the ERC Wishing Well: BabelNet, Babelfy, video games with a purpose and the Wikipedia bitaxonomyE1 4 - MPI-INF
024
Talk
Hide details for 17 - Thursday17 - Thursday
13:00Shay MoranEpsilon ID's and the double sampling argumentE1 4 - MPI-INF
024
Lecture
Hide details for 15 - Tuesday15 - Tuesday
12:15Faraz Makari ManshadiScalable Optimization Algorithms for Recommender SystemsE1 4 - MPI-INF
024
Promotionskolloquium
13:00Minming LiDVS scheduling for various processor models and task typesE1 4 - MPI-INF
021
Talk
14:00Li WeiR-calculus: A Logical Inference System for Verifying the Process of Scientific DiscoveryE1 5 - MPI-SWS
002
Talk
Hide details for 14 - Monday14 - Monday
13:00Christoph LenzenImproved Distributed Steiner Forest ConstructionE1 4 - MPI-INF
024
Talk
Hide details for 10 - Thursday10 - Thursday
11:00Michael J. BlackThe persistence of structure: Layers, time, and the estimation of optical flowE1 5 - MPI-SWS
024
Talk
14:00Chenglei WUInverse Rendering for Scene Reconstruction in General EnvironmentsE1 4 - MPI-INF
019
Promotionskolloquium
Hide details for 9 - Wednesday9 - Wednesday
16:15Kurt MehlhornPractice Talk: Erasmus LectureE1 4 - MPI-INF
024
Lecture
Hide details for 8 - Tuesday8 - Tuesday
13:00Narayana SwamyApproximation Algorithms for Hitting Line SegmentsE1 4 - MPI-INF
024
Lecture
Hide details for 7 - Monday7 - Monday
12:00Oliver NalbachDeep Screen Space for Indirect Lighting of VolumesE1 5 - MPI-SWS
029
IMPRS Research Seminar
14:15Prof. David SteurerUnique Games, Sum-of-Squares, and the Quest for Optimal AlgorithmsE1 4 - MPI-INF
024
MPI Colloquium Series Distinguished Speaker
Hide details for 2 - Wednesday2 - Wednesday
12:15Andreas KarrenbauerA Journey with Discrete Optimization: from the Real World to Theory and BackE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 1 - Tuesday1 - Tuesday
13:00Wouter van HeijstSquares inscribed on algebraic plane curvesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for June 2014June 2014
Hide details for 30 - Monday30 - Monday
14:15Dr. Moritz HardtProtecting Correctness in Adaptive Data AnalysisE1 4 - MPI-INF
024
MPI Colloquium Series Distinguished Speaker
Hide details for 24 - Tuesday24 - Tuesday
13:00Piotr KrystaSize versus Truthfulness for the House Allocation ProblemE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:30Milind SohoniMarket GamesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Monday23 - Monday
15:00Christian KleinMatrix Rounding, Evolutionary Algorithms, and Hole DetectionE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for 20 - Friday20 - Friday
14:30Shady ElbassuoniPractical Extraction of Disaster-Relevant Information from Social MediaE1 1 - Informatik
433
Talk
Hide details for 17 - Tuesday17 - Tuesday
13:00Matthias MnichLarge Independent Sets in Triangle-Free Planar GraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Monday16 - Monday
13:00Vineet RajaniInformation flow control for javascript in web browsersE1 5 - MPI-SWS
029
SWS Student Defence Talks - Qualifying Exam
Hide details for 13 - Friday13 - Friday
10:00Nicolas BonneelMass Transport Principles for Computer GraphicsE1 4 - MPI-INF
633
Talk
Hide details for 12 - Thursday12 - Thursday
13:00D1Group Meeting D1E1 4 - MPI-INF
022
AG1 Group Meeting
Hide details for 10 - Tuesday10 - Tuesday
13:00Ali PourmiriRandomized Rumor Spreading in Poorly Connected Real-World NetworksE1 4 - MPI-INF
023
AG1 Mittagsseminar (own work)
Hide details for 5 - Thursday5 - Thursday
16:00Maria Paola BonacinaSGGS: Model-Based First-Order Theorem ProvingE1 5 - MPI-SWS
002
Talk
Hide details for 4 - Wednesday4 - Wednesday
12:15Jilles VreekenExploratory Data AnalysisE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 3 - Tuesday3 - Tuesday
13:00C. S. RahulProperties of Connected f-FactorsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Monday2 - Monday
11:00Ndapandula NakasholeLanguage-Aware Truth Assessment of Fact CandidatesE1 4 - MPI-INF
433
Talk
Hide details for May 2014May 2014
Hide details for 27 - Tuesday27 - Tuesday
13:00Patrick KlitzkeTwo-dimensional Subset Selection for Hypervolume and Epsilon-IndicatorE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Dim Coumou and Thomas NockeJet stream visualization to detect anomalous circulation regimes associated with extreme weather eventsE1 4 - MPI-INF
019
Talk
Hide details for 22 - Thursday22 - Thursday
10:30Ras BodikAdventures in Program SynthesisE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
13:00Karl BringmannWhy walking the dog takes time: Frechet distance has no strongly subquadratic algorithms unless SETH failsE1 4 - MPI-INF
022
AG1 Mittagsseminar (own work)
Hide details for 20 - Tuesday20 - Tuesday
13:00Aruni ChoudharyWell separated simplical decompositions using net-treesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:15Wojciech MatusikFrom Virtual to RealE1 4 - MPI-INF
019
Lecture
Hide details for 19 - Monday19 - Monday
09:00Ali GhaffaariA Molecular Dynamic Approach Based on Knowledge-based Force Function for Prediction of Protein StructureE1 4 - MPI-INF
024
PhD Application Talk
09:00Dhruv GuptaIdentifying Time Intervals of Interest for QueriesE1 4 - MPI-INF
024
PhD Application Talk
09:00Saskia MetzlerIdentification of Horizontal Gene Transfer Events in VirusesE1 4 - MPI-INF
024
PhD Application Talk
10:45Davis IssacBetter Exact Algorithm for Maximum Independent Set Problem in Graphs with Bounded Degree 3E1 4 - MPI-INF
024
PhD Application Talk
10:45Serikzhan KaziCompact Representation of Automata and Algorithms for its xBWTE1 4 - MPI-INF
024
PhD Application Talk
10:45Sukhpreet Kaur KhanguraHybrid Model Based Coding Enhancement for MPEGE1 4 - MPI-INF
024
PhD Application Talk
Hide details for 15 - Thursday15 - Thursday
13:00Marek EliasRamsey questions in discrete geometryE1 4 - MPI-INF
022
AG1 Mittagsseminar (own work)
Hide details for 13 - Tuesday13 - Tuesday
13:00Dimitris FotakisApproximate Strategyproof Mechanisms for Facility Location GamesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Friday9 - Friday
11:00Maximilian DyllaEfficient Querying and Learning in Probabilistic and Temporal DatabasesE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for 8 - Thursday8 - Thursday
10:30Kavita BalaModeling and representing materials in the wildE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
13:00Zi YeCobordism ring and generaE1 4 - MPI-INF
022
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
12:15Andreas WieseApproximation Algorithms for Packing ProblemsE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 6 - Tuesday6 - Tuesday
12:15Sarath Kumar KondreddiHuman Computing and Crowdsourcing Methods for Knowledge AcquisitionE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for 5 - Monday5 - Monday
11:00Laura DietzEntity Linking with Document Retrieval and Vice VersaE1 4 - MPI-INF
433
Talk
14:00Liana HadareanLazy Bit-vector Solving and Witnessing Compiler TransformationsG26 - MPI-SWS [KL]
113
SWS Colloquium
Hide details for April 2014April 2014
Hide details for 25 - Friday25 - Friday
13:00Giuseppe F. ItalianoStrong Bridges and Strong Articulation Points of Directed GraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Thursday24 - Thursday
10:30Ori LahavModular Reasoning about Heap Paths via Effectively Propositional FormulasG26 - MPI-SWS [KL]
113
SWS Colloquium
Hide details for 23 - Wednesday23 - Wednesday
10:00Dr. Michael RoitzschPractical Real-Time with Look-Ahead SchedulingG26 - MPI-SWS [KL]
113
SWS Colloquium
11:00Aaron CarrollMobile multi-cores: power and performanceE1 5 - MPI-SWS
029
SWS Colloquium
13:30Prof. Dr. Andrey RybalchenkoAutomating Proofs of Relational Properties of Probabilistic ProgramsE1 5 - MPI-SWS
002
CISPA Distinguished Lecture Series
Hide details for 22 - Tuesday22 - Tuesday
13:00Peter KlingScheduling Shared Continuous Resources on Many-CoresE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Tuesday15 - Tuesday
13:00Thomas KesselheimPrimal Beats Dual on Online Packing LPs in the Random-Order ModelE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Monday14 - Monday
10:00Dr. Alexander de LucaGetting the User in the Loop - Building Secure Systems that People can UseE1 5 - MPI-SWS
002
CISPA Distinguished Lecture Series
Hide details for 10 - Thursday10 - Thursday
10:30Dr. Andrew MyersIncreasing security and performance with higher-level abstractions for distributed programming.E1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
13:00Artur JeżA really simple approximation of a smallest grammarE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Wednesday9 - Wednesday
14:00Suvrit SraInexactness, geometry, and optimization for data analysisE1 4 - MPI-INF
024
Talk
Hide details for 7 - Monday7 - Monday
10:30Amir HoumansadrThe Cyberspace Battle for Information: Combating Internet CensorshipG26 - MPI-SWS [KL]
113
SWS Colloquium
13:00Julia PapApplications of a polyhedral version of Sperner's LemmaE1 4 - MPI-INF
024
Talk
17:00Pramod BhatotiaIncremental Parallel and Distributed SystemsE1 5 - MPI-SWS
029
SWS Student Defence Talks - Thesis Proposal
Hide details for 3 - Thursday3 - Thursday
10:30Devdatta AkhaweTowards a Secure Client-side for the Web PlatformG26 - MPI-SWS [KL]
113
SWS Colloquium
Hide details for 2 - Wednesday2 - Wednesday
12:15Verena WolfA hybrid moment closure approach to stochastic chemical kineticsE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 1 - Tuesday1 - Tuesday
13:00AG 1AG1 Group MeetingE1 4 - MPI-INF
024
AG1 Group Meeting
Hide details for March 2014March 2014
Hide details for 28 - Friday28 - Friday
10:00Neeraj KayalLower Bounds for Homogeneous Low Depth FormulasE2 1 - Bioinformatik
001
Talk
11:30V ArvindLower bounds for multiplicative and linear circuits in noncommutative domainsE2 1 - Bioinformatik
001
Talk
12:00Dr. Dalia Daoud Suleiman KhaderProving Pret a Voter Receipt Free in the Computational ModelsE1 5 - MPI-SWS
0.29
SWS Colloquium, Post Doc Application Talk
Hide details for 27 - Thursday27 - Thursday
10:00Pascal KoiranA τ-conjecture for Newton polygons.E2 1 - Bioinformatik
001
Talk
10:30Cezara DragoiLogic-based frameworks for automated verification of programs with dynamically allocated data structuresG26 - MPI-SWS [KL]
113
SWS Colloquium
11:30Nitin SaxenaTowards hitting-sets for multilinear depth-3 circuitsE2 1 - Bioinformatik
001
Talk
13:00Lena KarosEstimation of Expectations and Applications (Bachelor Thesis)E1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Wednesday26 - Wednesday
11:30Thomas ThieraufCounting the number of perfect matchings in K5-free graphsE2 1 - Bioinformatik
001
Talk
Hide details for 25 - Tuesday25 - Tuesday
10:00Peter Bro MiltersenReal algebraic geometry in computational complexityE2 1 - Bioinformatik
001
Talk
11:30Michael SagraloffNear-optimal Algorithms for Computing Real Roots of a PolynomialE2 1 - Bioinformatik
001
Talk
14:00Ankit GuptaApproaching the chasm at depth fourE2 1 - Bioinformatik
001
Talk
14:00Michael ForbesApproaching the chasm at depth fourE2 1 - Bioinformatik
001
Talk
Hide details for 24 - Monday24 - Monday
10:10Meena MahajanThe quest for VP-completenessE2 1 - Bioinformatik
001
Talk
10:30Stefan GoellerEquivalence checking of stack-based infinite-state systemsG26 - MPI-SWS [KL]
113
SWS Colloquium
11:40Chris UmansApproaches to bounding the exponent of matrix multiplicationE2 1 - Bioinformatik
001
Talk
14:15Lise GetoorScalable Collective Inference using Probabilistic Soft LogicE1 4 - MPI-INF
024
MPI-INF Distinguished Lecture
Hide details for 20 - Thursday20 - Thursday
11:30Dr. Muhammad Rizwan AsgharPrivacy Preserving Enforcement of Sensitive Policies in Distributed EnvironmentsE1 5 - MPI-SWS
0.29
Post Doc Application Talk
13:15Philipp UrbanMeasuring the Difference between Color-ImagesE1 4 - MPI-INF
019
Lecture
14:30Prof. Dr. Matthew SmithUsable Security & Privacy: A multi-level perspectiveE1 4 - MPI-INF
0.24
CISPA Distinguished Lecture Series
Hide details for 19 - Wednesday19 - Wednesday
10:00Herrn Arjun JainData-driven Methods for Interactive Visual Content Creation and ManipulationE1 4 - MPI-INF
019
Promotionskolloquium
Hide details for 13 - Thursday13 - Thursday
10:30Manuel Gomez RodriguezStructure and Dynamics of Diffusion NetworksG26 - MPI-SWS [KL]
113
SWS Colloquium
14:15Susanne AlbersEnergy-Efficient AlgorithmsE1 4 - MPI-INF
024
MPI-INF Distinguished Lecture
Hide details for 12 - Wednesday12 - Wednesday
10:30Bryan FordCan You Hide in an Internet Panopticon?G26 - MPI-SWS [KL]
113
SWS Colloquium
Hide details for 11 - Tuesday11 - Tuesday
13:00Shay MoranDirect Sum Fails for Zero Error Average CommunicationE1 4 - MPI-INF
024
Lecture
Hide details for 10 - Monday10 - Monday
10:30I-Ting Angelina LeeLinguistic and System Support for Structured Parallel ProgrammingG26 - MPI-SWS [KL]
113
SWS Colloquium
Hide details for 7 - Friday7 - Friday
13:00Shay MoranTBDE1 4 - MPI-INF
024
Lecture
Hide details for 6 - Thursday6 - Thursday
11:30Julian McAuleyMachine Learning for Social Systems: Modeling Opinions, Activities, and InteractionsG26 - MPI-SWS [KL]
113
SWS Colloquium
14:15Anja FeldmannOn the importance of Internet eXchange Points for today's Internet ecosystemE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
Hide details for 5 - Wednesday5 - Wednesday
12:15Viktor VafeiadisFormal Reasoning about Relaxed ConcurrencyE1 5 - MPI-SWS
002
Joint Lecture Series of MPI-INF, MPI-SWS and MMCI
Hide details for 4 - Tuesday4 - Tuesday
10:30Hongseok YangHow to find a good program abstraction automatically?E1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
11:00Megha KhoslaMultiple Choice Allocations with Small Maximum LoadsE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for February 2014February 2014
Hide details for 27 - Thursday27 - Thursday
10:30Prof. Viktor KuncakAutomating Construction of Provably Correct SoftwareE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
13:00Ruben BeckerA Combinatorial Interior Point Method for Min-Cost FlowE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Wednesday26 - Wednesday
11:30Foteini BaldimtsiPrivacy Preserving Technologies and an Application to Public Transit SystemsE1 5 - MPI-SWS
029
SWS Colloquium
11:30Ms. Foteini BaldimtsiPrivacy Preserving Technologies and an Application to Public Transit SystemsE1 5 - MPI-SWS
029
Post Doc Application Talk
Hide details for 24 - Monday24 - Monday
10:30Prof. Alin DeutschDecidable Verification of Database-powered Business ProcessesG26 - MPI-SWS [KL]
111
SWS Dishtinguished Lectur Seriece
Hide details for 21 - Friday21 - Friday
10:00Thorsten BonatoLifting and Separation Procedures for the Cut PolytopeE1 4 - MPI-INF
633
Talk
Hide details for 18 - Tuesday18 - Tuesday
11:00Pedro FonsecaExposing and Detecting Concurrency Bugs in Large-Scale SoftwareE1 5 - MPI-SWS
029
SWS Student Defence Talks - Thesis Proposal
13:00Martin HoeferOnline Independent Set with Stochastic AdversariesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Monday17 - Monday
14:00Mark SilbersteinOperating System Services for High-Throughput AcceleratorsG26 - MPI-SWS [KL]
113
SWS Colloquium
Hide details for 13 - Thursday13 - Thursday
11:00Prof. Simone Paolo PonzettoKnowledge-rich models for high-end NLP applicationsE1 4 - MPI-INF
024
Talk
14:00Ezgi CicekA Type System for Incremental Computational ComplexityE1 5 - MPI-SWS
029
SWS Student Defence Talks - Qualifying Exam
Hide details for 12 - Wednesday12 - Wednesday
12:15Jürgen SteimleBeyond Multi-Touch: User Interfaces for Flexible Displays and SurfacesE1 5 - MPI-SWS
002
Joint Lecture Series of MPI-INF, MPI-SWS and MMCI
14:00Dr. Jefrey LijffijtComputational Methods for Comparison and Exploration of Event SequencesE1 4 - MPI-INF
433
Talk
Hide details for 10 - Monday10 - Monday
08:50Afshin RahimiA Perceptual Account of Syllabification in PersianE1 4 - MPI-INF
024
PhD Application Talk
08:50Artem BoldyrevDictionary-Based Named Entity RecognitionE1 4 - MPI-INF
024
PhD Application Talk
08:50Joanna BiegaAdapting sentiment analysis resources and methods to the realm of the Polish languageE1 4 - MPI-INF
024
PhD Application Talk
08:50Kiril PanevPhrase Querying with Combined IndexesE1 4 - MPI-INF
024
PhD Application Talk
10:50Aliaksandr TalaikaIBEX: Id-Based Entity ExtractionE1 4 - MPI-INF
024
PhD Application Talk
10:50Oussam Mustapha LarkemEnumeration of ({0}, {2})-DominationsE1 4 - MPI-INF
024
PhD Application Talk
10:50Paresh NakheFast Random Walks on Overlay NetworksE1 4 - MPI-INF
024
PhD Application Talk
10:50Sanjar KaraevMatrix Factorization over Max-Times Algebra for Data MiningE1 4 - MPI-INF
024
PhD Application Talk
14:00Sanjoy BaruahReal-time Scheduling and Mixed-Criticality SystemsG26 - MPI-SWS [KL]
113
SWS Distinguished Lecture Series
Hide details for 7 - Friday7 - Friday
14:00Gerard de MeloFrom Language to Knowledge and Vice VersaE1 4 - MPI-INF
433
Talk
Hide details for 6 - Thursday6 - Thursday
13:00Antonios AntoniadisSpeed scaling for fractional weighted flow plus energyE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Tuesday4 - Tuesday
13:00Guy Even and Takeshi TokuyamaDouble Header: Balancing location of points on boundary and Deterministic Rateless Codes for Binary Symmetric ChannelsE1 4 - MPI-INF
024
Lecture
14:00Christoph GarthCharacterizing Extremal Structures in Multivariate Data with Pareto SetsE1 4 - MPI-INF
019
Talk
Hide details for 3 - Monday3 - Monday
09:30Michael HellenschmidtCloud Computing WorkshopCyberForum
Raum TelemaxX
One-Day-Event
Hide details for January 2014January 2014
Hide details for 30 - Thursday30 - Thursday
13:00Yi LiA Brief Introduction to the Sublinear-Time Sparse Recovery ProblemE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 29 - Wednesday29 - Wednesday
13:00Jie GaoComplex Contagion and The Weakness of Long Ties in Social Networks: RevisitedE1 4 - MPI-INF
024
Talk
Hide details for 28 - Tuesday28 - Tuesday
13:00Antonios AntoniadisSpeed scaling for fractional weighted flow plus energyE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Thursday23 - Thursday
16:00Christian GrothoffComponents for Building Secure Decentralized NetworksE1 5 - MPI-SWS
002
SWS Colloquium
Hide details for 21 - Tuesday21 - Tuesday
13:00Kunal DuttaCounting Independent sets in HypergraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Monday20 - Monday
13:00Aruni ChoudharyWell separated simplical decomposition using net-treesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Sunday19 - Sunday
13:00Rob van SteeTBAE1 4 - MPI-INF
024
AG1 Advanced Mini-Course
Hide details for 15 - Wednesday15 - Wednesday
13:00Shay MoranEpsilon ID's and the double sampling argumentE1 4 - MPI-INF
024
Lecture
Hide details for 14 - Tuesday14 - Tuesday
13:00Christoph LenzenImproved Distributed Steiner Forest ConstructionE1 4 - MPI-INF
024
Talk
Hide details for 13 - Monday13 - Monday
10:00Dr. Zeynep AkataContributions to Large Scale Learning for Image ClassificationE1 4 - MPI-INF
019
Talk
10:00Nicolas BonneelMass Transport Principles for Computer GraphicsE1 4 - MPI-INF
633
Talk
Hide details for 9 - Thursday9 - Thursday
13:00Naveen GargLocal search algorithms for facility location.E1 4 - MPI-INF
024
Lecture
14:00Suvrit SraInexactness, geometry, and optimization for data analysisE1 4 - MPI-INF
024
Lecture
14:00Suvrit SraInexactness, geometry, and optimization for data analysisE1 4 - MPI-INF
024
Lecture
Hide details for 8 - Wednesday8 - Wednesday
12:15Aniket KateDifferential Guarantees for Cryptographic SystemsE1 5 - MPI-SWS
002
Joint Lecture Series of MPI-INF, MPI-SWS and MMCI
Hide details for 7 - Tuesday7 - Tuesday
13:00Simon GogSuccinct Data Structures: From Theory to PracticeE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for December 2013December 2013
Hide details for 16 - Monday16 - Monday
11:00Stefan KieferVerifying Probabilistic ProgramsG26 - MPI-SWS [KL]
113
SWS Colloquium
Hide details for 13 - Friday13 - Friday
15:00Herrn Dipl.-Inform. Thomas HeltenProcessing and Tracking Human Motions Using Optical, Inertial, and Depth SensorsE1 4 - MPI-INF
019
Promotionskolloquium
Hide details for 12 - Thursday12 - Thursday
13:00Marvin KünnemannTight Analysis of Randomized Rumor Spreading in Complete GraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Wednesday11 - Wednesday
11:00Wolfgang MulzerNew Algorihtms for the Frechet DistanceE1 4 - MPI-INF
024
Talk
14:00Pan PengDetecting and Characterizing Small Dense Bipartite-like Subgraphs by the Bipartiteness Ratio MeasureE1 4 - MPI-INF
Rotunda of the 3rd Floor
Talk
Hide details for 6 - Friday6 - Friday
10:15Mark CrovellaInferring Invisible Internet TrafficE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 5 - Thursday5 - Thursday
11:00Gilles BartheComputer-Aided Cryptographic Analysis and DesignE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
13:00Kurt MehlhornA Geometric View of Binary Search Trees (cancelled; talk moved to Reading Group, Wednesday December 4, 4:15,E1 4 - MPI-INF
024
AG1 Mittagsseminar (others' work)
Hide details for 4 - Wednesday4 - Wednesday
10:30Lizhen QuSentiment Analysis with Limited Training DataE1 4 - MPI-INF
024
Promotionskolloquium
12:15He SunEfficient Algorithms in Massive GraphsE1 5 - MPI-SWS
002
Joint Lecture Series of MPI-INF, MPI-SWS and MMCI
14:15Renate SchmidtComputing Uniform Interpolation for Description LogicsE1 5 - MPI-SWS
002
Talk
Hide details for 3 - Tuesday3 - Tuesday
13:00Lisa WagnerDesigning Profit Shares in Matching and Coalition Formation GamesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for November 2013November 2013
Hide details for 28 - Thursday28 - Thursday
13:00Mabel Iglesias-HamPacking spheres with OverlapE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:00Sameer PatilDesigning Usable Interfaces for Access Control in Location Sharing SystemsE1 4 - MPI-INF
019
Talk
Hide details for 27 - Wednesday27 - Wednesday
18:00Nuno Miguel Carvalho SantosImproving Trust in Cloud, Enterprise, and Mobile Computing PlatformsE1 5 - MPI-SWS
029
SWS Student Defence Talks - Thesis Defense
Hide details for 26 - Tuesday26 - Tuesday
13:00Johannes DamsJamming-Resistant Learning in Wireless NetworksE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
16:00Beta ZilianiInteractive Typed Tactic Programming in CoqE1 5 - MPI-SWS
029
SWS Student Defence Talks - Thesis Proposal
Hide details for 21 - Thursday21 - Thursday
11:00Fabián E. BustamanteAn experimentation platform for the Internet’s edgeE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 20 - Wednesday20 - Wednesday
14:00Dan R. GhicaFrom bounded affine types to automatic timing analysisE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 14 - Thursday14 - Thursday
13:00Doron ShaharabaniSparsification of Motion-Planning Roadmaps by Edge ContractionE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Tuesday12 - Tuesday
13:00Michael KerberA Generalization of the Johnson-Lindenstrauss LemmaE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Friday8 - Friday
11:15Herrn Dr. Karol MYSZKOWSKIPerceptual Display: Improving Apparent Image Qualities Beyond Physical Display LimitationsE1 4 - MPI-INF
019
Antrittsvorlesung im Rahmen der Umhabilitierung
Hide details for 7 - Thursday7 - Thursday
13:00Pavel KolevCommunity Analysis using Local Random WalksE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Wednesday6 - Wednesday
12:15Cristian Danescu-Niculescu-MizilLanguage and Social Dynamics in Online CommunitiesE1 5 - MPI-SWS
002
Joint Lecture Series of MPI-INF, MPI-SWS and MMCI
15:00Alexey PospelovYandex: Learning to RankE1 1
3.06
Talk
Hide details for 5 - Tuesday5 - Tuesday
09:00Mohammed ShaheenCache based Optimization of Stencil Computations - An Algorithmic ApproachE1 4 - MPI-INF
019
Promotionskolloquium
13:00Jens M. SchmidtTalking MondsheinE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Quirin MeyerGPU Mesh CompressionE1 4 - MPI-INF
019
Talk
Hide details for 4 - Monday4 - Monday
11:00Prof. Dr. Elaine ShiPractical Oblivious Computation: From Theory to Hardware to CompilerE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
11:00Prof. Dr. Elaine ShiTBDE1 5 - MPI-SWS
002
CISPA Distinguished Lecture Series
Hide details for October 2013October 2013
Hide details for 31 - Thursday31 - Thursday
13:00Christoph LenzenFast Routing Table Construction Using Small MessagesE1 4 - MPI-INF
024
Lecture
Hide details for 29 - Tuesday29 - Tuesday
13:00Christoph LenzenTowards a Theory for Fault-Tolerant Hardware DesignE1 4 - MPI-INF
024
Lecture
Hide details for 28 - Monday28 - Monday
14:00Benjamin DoerrMeeting: Election of the institute's representative and ombudspersonE1 4 - MPI-INF
024
Meeting
Hide details for 23 - Wednesday23 - Wednesday
15:00Konstantin KorovinSolving linear arithmetic by conflict resolution and bound propagationE1 4 - MPI-INF
019
Talk
Hide details for 22 - Tuesday22 - Tuesday
11:00Nattiya KanhabuaCan Twitter & Co. Save Lives?E1 4 - MPI-INF
433
Talk
13:00Sayan BhattacharyaNear-optimal Multi-unit Auctions with Ordered BiddersE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:30Christine RizkallahProgress on Verification of Certifying ComputationsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Jonas Magazinius“Polyglots: Crossing origins by crossing formats”E1 5 - MPI-SWS
0.29
Talk
Hide details for 21 - Monday21 - Monday
14:15Harald ReitererBlended Interaction: Understanding Natural Interaction in Post-WIMP Interactive SpacesE 1.7 (MMCI)
0.01
Talk
Hide details for 17 - Thursday17 - Thursday
15:00Aless LasarukSymbolic Software Prototyping with ContRapE1 4 - MPI-INF
019
Talk
Hide details for 16 - Wednesday16 - Wednesday
15:00Aless LasarukEffective Approximate Factorization of Linear Partial Differential OperatorsE1 4 - MPI-INF
024
Talk
Hide details for 15 - Tuesday15 - Tuesday
13:00Mayank GoswamiThe I/O complexity of sorting with two key lengthsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Prof. Dr. Thorsten HolzMobile Security - Results and ChallengesE1 5 - MPI-SWS
002
CISPA Distinguished Lecture Series
Hide details for 10 - Thursday10 - Thursday
13:00Patrick NicholsonDeterministic Schemes for Membership in the Bitprobe ModelE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Wednesday9 - Wednesday
14:00Pierre-Yves LaffontExploring and editing the appearance of outdoor scenesE1 4 - MPI-INF
019
Talk
Hide details for 7 - Monday7 - Monday
08:50Dai Quoc NguyenUsing FrameScript Language for Analyzing Question and Building Vietnamese Text-based Conversational AgentE1 4 - MPI-INF
024
PhD Application Talk
08:50Evica IlievaAnalyzing and Creating Top-K Entity RankingsE1 4 - MPI-INF
024
PhD Application Talk
08:50Gorav JindalAn Improved Deterministic Algorithm for Sparse Multivariate Polynomial InterpolationE1 4 - MPI-INF
024
PhD Application Talk
08:50Ilya GrishchenkoStatic analysis of Android applications by Theorem ProvingE1 4 - MPI-INF
024
PhD Application Talk
08:50Navid HashemianMakespan Minimization for Parallel Machines Scheduling with Multiple Availability ConstraintsE1 4 - MPI-INF
024
PhD Application Talk
11:10Johannes DörfertEnabling Reductions in Polyhedral Loop Nest OptimizationE1 4 - MPI-INF
024
PhD Application Talk
11:10Luis Enrique Ramirez ChavezGPU Accelerated Evolutionary Algorithm for the Gene Regulatory Network Model Inference ProblemE1 4 - MPI-INF
024
PhD Application Talk
11:10Zhaodi XiaoDimensionality Reduction Algorithms for High-Dimensional Datasets and their ApplicationsE1 4 - MPI-INF
024
PhD Application Talk
Hide details for 4 - Friday4 - Friday
11:10Mahmoud KhademiRelative Facial Action DetectionE1 4 - MPI-INF
024
PhD Application Talk
11:10Soumali RoychowdhurySignal and Image Processing Techniques to process Terahertz Parametric ImagesE1 4 - MPI-INF
024
PhD Application Talk
Hide details for 1 - Tuesday1 - Tuesday
13:00D1D1 Group MeetingE1 4 - MPI-INF
024
AG1 Group Meeting
Hide details for September 2013September 2013
Hide details for 30 - Monday30 - Monday
12:30Eric CrestanLeveraging Monolingual Machine Translation for Web SearchE1 4 - MPI-INF
024
Talk
13:30Jalaj UpadhyayRandom Projections and Differential PrivacyE1 1
206
Talk
Hide details for 26 - Thursday26 - Thursday
13:00Mingji XiaCount perfect matchings in planar graphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
16:00John WilkesCluster Management at GoogleE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
Hide details for 24 - Tuesday24 - Tuesday
13:00Alina EneRouting in Directed Graphs with Symmetric DemandsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Thursday19 - Thursday
13:00Fahimeh RamezaniOn Randomized Fictitious Play for Approximating Saddle Points over Convex SetsE1 4 - MPI-INF
024
Talk
13:30Stephan van StadenSeparation logic, object-orientation and refinementG26 - MPI-SWS [KL]
113
SWS Colloquium
Hide details for 17 - Tuesday17 - Tuesday
10:00Frau Kristina ScherbaumData Driven Analysis of Faces from ImagesE1 4 - MPI-INF
019
Promotionskolloquium
12:00Herrn Dipl.-Inform. Martin SunkelStatistical Part-based Models for Object Detection in Large 3D ScansE1 4 - MPI-INF
019
Promotionskolloquium
13:00Thomas RothvossApproximating Bin Packing within O(log OPT * log log OPT) binsE1 4 - MPI-INF
024
Lecture
14:00Herrn Jens KerberOf Assembling Small Sculptures and Disassembling Large GeometryE1 4 - MPI-INF
019
Promotionskolloquium
Hide details for 12 - Thursday12 - Thursday
13:00Parinya ChalermsookGraph Products and Hardness of ApproximationE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Tuesday10 - Tuesday
09:00Miguel Andrés GRANADOS VelásquezAdvanced Editing Methods for Image and Video SequencesE1 4 - MPI-INF
019
Promotionskolloquium
13:00Luca ZanettiAdiabatic Quantum Computation and Graph Isomorphism: a quantum-walk approachE1 4 - MPI-INF
024
Talk
Hide details for 6 - Friday6 - Friday
09:00Avishek ANANDIndexing Methods for Web ArchivesE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for 5 - Thursday5 - Thursday
11:15Belen MasiaCombining computation and perception: examples in capture, processing and displayE1 4 - MPI-INF
019
Talk
13:00Przemyslaw UznanskiFast collaborative graph explorationE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 4 - Wednesday4 - Wednesday
15:00Vincenzo IovinoOn the Achievability of Simulation-based Security for Functional EncryptionE1 4 - MPI-INF
024
SWS Colloquium
Hide details for August 2013August 2013
Hide details for 29 - Thursday29 - Thursday
13:00Manoj GuptaFully Dynamic $(1+ε)$-Approximate MatchingsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:30Peter MüllerModular Verification of Finite BlockingG26 - MPI-SWS [KL]
111
SWS Colloquium
Hide details for 23 - Friday23 - Friday
11:00Prof. Dr.-Ing. Volker CoorsSimStadt: Using 3D city models for heat demand simulation on urban scaleD3 1 - DFKI
VizCenter
Talk
Hide details for 22 - Thursday22 - Thursday
13:00Prachi GoyalOn the Parameterized Complexity of the Maximum Edge 2-Coloring ProblemE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:00Robert HarperType Refinements for Compiler CorrectnessE1 5 - MPI-SWS
029
SWS Colloquium
13:30Fahad PanolanFaster deterministic algorithms for r-dimensional matching using representative setsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Tuesday20 - Tuesday
10:30Oliver van KaickCo-segmentations and Structural Co-Hierarchies of Sets of ShapesE1 4 - MPI-INF
019
Talk
13:00Sebastian OttHow to Pack Your Items When You Have to Buy Your KnapsackE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 19 - Monday19 - Monday
10:30Yanir KleimanDynamic Maps for Exploring and Browsing ShapesE1 4 - MPI-INF
019
Talk
Hide details for 13 - Tuesday13 - Tuesday
13:00R. KrithikaLP Approach to Odd Cycle Transversal in Perfect GraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Monday12 - Monday
14:00Bilyana TanevaAutomatic Population of Knowledge Bases with Multimodal Data about Named EntitiesE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for 7 - Wednesday7 - Wednesday
12:15Krishna GummadiOn the Trustworthiness of Weak Identities in Social Computing SystemsE1 5 - MPI-SWS
002
Joint MPI-INF/MPI-SWS Lecture Series
Hide details for 5 - Monday5 - Monday
11:30Joerg DomaschkaFrom Replication to Flexible and Portable Determinism for JavaE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 2 - Friday2 - Friday
10:30Andrej BauerProgramming with algebraic effects and handlers in EffE1 5 - MPI-SWS
029
SWS Colloquium
14:00Ralf OsbildGeneral Analysis Tool Box for Controlled Perturbation Algorithms and Complexity and Computation of Θ-Guarded RegionsE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for 1 - Thursday1 - Thursday
13:00Megha KhoslaBalls into Bins made FasterE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for July 2013July 2013
Hide details for 31 - Wednesday31 - Wednesday
13:00Vineet GoyalStatic vs Adjustable Solutions in Dynamic OptimizationE1 4 - MPI-INF
024
Talk
15:00Eslam ElniketyThoth: Controlling and tracking personal records in distributed multi-party systemsE1 5 - MPI-SWS
422
SWS Student Defence Talks - Qualifying Exam
Hide details for 30 - Tuesday30 - Tuesday
13:00Kurt MehlhornNear-Maximal Flows in Undirected Graphs in Near-Linear Time by J. Sherman (FOCS 2013)E1 4 - MPI-INF
024
AG1 Mittagsseminar (others' work)
14:00Daniel MewesSemantic Structuring of Multi Modal ShapesE1 4 - MPI-INF
019
Master Seminar (AG4)
Hide details for 29 - Monday29 - Monday
13:00Aaron JohnsonTraffic Correlation on Tor by Realistic AdversariesE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 25 - Thursday25 - Thursday
13:00Hsin-Hao SuFast Distributed Coloring Algorithms for Triangle-Free GraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:30Chee K. YapTowards Numerical Computational GeometryE1 4 - MPI-INF
024
Talk
Hide details for 24 - Wednesday24 - Wednesday
14:15Thomas SturmEffective Quantifier Elimination and Decision - Theory, Implementations, Applications, PerspectivesE1 7
0.01
Antrittsvorlesung
Hide details for 23 - Tuesday23 - Tuesday
13:00S. AnandMinimizing maximum (weighted) flow-timeE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 18 - Thursday18 - Thursday
13:00Danny HermelinBinary jumbled pattern matching on trees and tree-like structuresE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Tuesday16 - Tuesday
13:00Alexandru PopaThe Border Minimization ProblemE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Monday15 - Monday
09:00Dr. Thomas Hrabe Dr. Massimiliano Maletta Yuxiang Chen Dr. Miloš Vulović Dr. Raimond RavelliSymposium on Subtomogram Averaging in Electron TomographyDFKI Viscenter
?
Symposium
Hide details for 11 - Thursday11 - Thursday
14:00Gottfried MentorChallenges faced by animation artistsE1 4 - MPI-INF
019
Talk
Hide details for 4 - Thursday4 - Thursday
10:30Przemyslaw GrabowiczComplex networks approach to modeling online social systemsE1 5 - MPI-SWS
029
SWS Colloquium
13:00Pawel GawrychowskiAlphabet-dependent string searching with wexponential search treesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Tuesday2 - Tuesday
13:00Lisa WagnerLocally Stable Marriage with Strict PreferencesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for June 2013June 2013
Hide details for 28 - Friday28 - Friday
11:30Alexey ReznichenkoPrivad: Practical Non-tracking Advertising SystemG26 - MPI-SWS [KL]
112
SWS Student Defence Talks - Thesis Proposal
Hide details for 27 - Thursday27 - Thursday
13:00Khaled ElbassioniA Dichotomy for the Approximability of the Complex-Demand Knapsack ProblemE1 4 - MPI-INF
024
Lecture
Hide details for 25 - Tuesday25 - Tuesday
13:00Jonathan HuangAlgebraic methods for probabilistic reasoning with permutationsE1 4 - MPI-INF
R019
Talk
13:00Soeren LaueConvex Optimization for Machine Learning Made Fast and EasyE1 4 - MPI-INF
024
AG1 Mittagsseminar (others' work)
Hide details for 24 - Monday24 - Monday
14:00Frank McSherryNaiad: a system for iterative, incremental, and interactive distributed dataflowG26 - MPI-SWS [KL]
113
SWS Distinguished Lecture Series
Hide details for 20 - Thursday20 - Thursday
13:00Wiebke HöhnOn the performance of Smith's rule in single-machine scheduling with nonlinear costE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:30John AugustineStorage and Search in Dynamic Peer-to-Peer NetworksE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
15:00Tomasz KociumakaEfficient Indexes for Jumbled Pattern Matching with Constant-Sized AlphabetE1 4 - MPI-INF
rotunda at 3rd floor
AG1 Mittagsseminar (own work)
Hide details for 19 - Wednesday19 - Wednesday
17:00Prof. Dr. Johannes SödingNew methods for protein sequence searching, structure and function predictionE2 1
001
colloquium series of the CBI
Hide details for 18 - Tuesday18 - Tuesday
13:00Michael LampisModel Checking Lower Bounds for Simple GraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 13 - Thursday13 - Thursday
13:00Marvin KünnemannRoyal Road Functions and the (1 + λ) Evolutionary AlgorithmE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:30Amit KumarThe Power of Deferral : Maintaining a constant-competitive Steiner Tree Online (Talk starts right after Marvin's talk)E1 4 - MPI-INF
024
Lecture
Hide details for 11 - Tuesday11 - Tuesday
13:00Martin HoeferTruthfulness and Stochastic DominanceE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:00Rafal MantiukBeyond high dynamic rangeE1 4 - MPI-INF
019
Talk
Hide details for 7 - Friday7 - Friday
13:00Benjamin DoerrSome Open Problems on MastermindE1 4 - MPI-INF
024
Talk
14:00Franziska EbelFaster Genetic Algorithms (Master Talk)E1 4 - MPI-INF
D1 Rotunde
Talk
Hide details for 6 - Thursday6 - Thursday
13:00Danupon NanongkaiEven-Shiloach Tree: Variants and Applications to Dynamic Shortest PathsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Wednesday5 - Wednesday
12:15Klaus HildebrandtDiscrete Differential Operators and Geometry ProcessingE1 5 - MPI-SWS
002
Joint MPI-INF/MPI-SWS Lecture Series
Hide details for 4 - Tuesday4 - Tuesday
13:00Dominik L. MichelsExponential Integrators for Stiff Elastodynamic ProblemsE1 4 - MPI-INF
019
Talk
13:00Kavitha TelikepalliPairwise spannersE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Monday3 - Monday
10:30Nedeljko VasicDealing with Resource Allocations and Performance Interference in Virtualized EnvironmentsE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for May 2013May 2013
Hide details for 31 - Friday31 - Friday
13:00Alex TiskinSemi-local LCS: superglue for string comparisonE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 28 - Tuesday28 - Tuesday
13:00Ragesh JaiswalSampling based algorithms for k-means clusteringE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 27 - Monday27 - Monday
08:50Daniel VazSubset Selection Algorithms in Multiobjective Optimisation”E1 4 - MPI-INF
24
PhD Application Talk
08:50Felix KleinEncoding strategies for bounded synthesisE1 4 - MPI-INF
24
PhD Application Talk
08:50SayanBandyapadhyayVoronoiGame on GraphsE1 4 - MPI-INF
24
PhD Application Talk
08:50Selin KaragülleCritical Assessment of the Methods and the Features Used for Hot Spot Residue Prediction at Protein-Protein InterfacesE1 4 - MPI-INF
24
PhD Application Talk
11:00ArunavMishraDesign and Evaluation of an IR-Benchmark for SPARQL Fulltext QueriesE1 4 - MPI-INF
24
PhD Application Talk
11:00RudrasisChakrabortyFeature Selection with Controlled RedundancyE1 4 - MPI-INF
24
PhD Application Talk
11:00XucongZhangObject DetectionE1 4 - MPI-INF
24
PhD Application Talk
Hide details for 24 - Friday24 - Friday
13:00Tetsuo UedaThe Physarum plasmodium as a model system for bioinformatics: Behavioral intelligenceE1 4 - MPI-INF
024
AG1 Mittagsseminar (basic education)
Hide details for 23 - Thursday23 - Thursday
13:00Karl BringmannSuccinct Sampling from Discrete DistributionsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
16:00Dr. Klaus EstenfeldInnovative ICT-Lösungen bei TÜV SÜD AGE1 3 - Hörsaal Gebäude
001
Talk
Hide details for 22 - Wednesday22 - Wednesday
17:00Prof. Dr. Luis Serrano PubullA quantitative systems biology on a model bacteriumE2 1
001
CBI-Colloquium-Series
Hide details for 21 - Tuesday21 - Tuesday
13:00Anna AdamaszekApproximation Schemes for Maximum Weight Independent Set of RectanglesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Thursday16 - Thursday
10:30Thomas WiesLogical Abstractions of SystemsE1 5 - MPI-SWS
029
SWS Colloquium
13:00Andreas WieseA 2 + ε Approximation Algorithm for Unsplittable Flow on a Path E1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Wednesday15 - Wednesday
15:00Georg NeisCompositional Inter-Language ReasoningE1 5 - MPI-SWS
005
SWS Student Defence Talks - Thesis Proposal
Hide details for 13 - Monday13 - Monday
11:00Carmel MajidiSoft-Matter “Electronic Skin” for Monitoring Hand Motion and Tactile SensingE1 4 - MPI-INF
019
Talk
13:00D1D1 Group MeetingE1 4 - MPI-INF
024
Lecture
14:00Martin HofmannProof-relevant logical relationsE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 10 - Friday10 - Friday
14:30Meeyoung ChaGender Swapping and User Behaviors in Online Social GamesE1 5 - MPI-SWS
005
SWS Colloquium
Hide details for 8 - Wednesday8 - Wednesday
12:15Martin HoeferAlgorithms for Spectrum Allocation in Wireless NetworksE1 5 - MPI-SWS
002
Joint MPI-INF/MPI-SWS Lecture Series
Hide details for 7 - Tuesday7 - Tuesday
13:00Ali PourmiriFaster Rumor Spreading with Multiple CallsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Monday6 - Monday
11:15Yuri GurevichImpugning Alleged Randomness (hosted by UdS-CS)E1 5 - MPI-SWS
029
Talk
Hide details for 3 - Friday3 - Friday
11:00Amit ZoranFREE-D: Human-Computer Collaboration in 3D CraftE1 4 - MPI-INF
019
Talk
Hide details for April 2013April 2013
Hide details for 30 - Tuesday30 - Tuesday
11:00Carlos GarciaParameter Adaptation and Criticality in Particle Swarm OptimizationE1 4 - MPI-INF
019
Lecture
13:00Roberto HenschelA connection of the chromatic polynomial to geometryE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Thursday25 - Thursday
13:00He SunRandomness-Efficient Rumor SpreadingE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Sylvain MalacriaImproving user's intermodal expertise with user interfacesE1 4 - MPI-INF
019
Talk
Hide details for 23 - Tuesday23 - Tuesday
10:30Florin DinuUnderstanding and Improving the Efficiency of Failure Resilience for Big Data FrameworksE1 5 - MPI-SWS
029
SWS Colloquium
13:00Shion ChaudhuryThe Sensitivity conjecture and related complexity measures of Boolean functionsE1 4 - MPI-INF
024
Talk
Hide details for 22 - Monday22 - Monday
14:00Jyotirmoy DeshmukhMining Requirements from an Industrial-scale Control SystemG26 - MPI-SWS [KL]
206
SWS Colloquium
Hide details for 19 - Friday19 - Friday
13:00Benjamin DoerrA Simple Solution for the Min-Max Selecting Items ProblemE1 4 - MPI-INF
024
Talk
14:00Some AG1 membersMeeting: What do we have at GECCO'13?E1 4 - MPI-INF
3rd floor rotunda
Forschungsseminar
15:00Uday KhedkarLiveness-Based Pointer AnalysisG26 - MPI-SWS [KL]
206
SWS Colloquium
Hide details for 18 - Thursday18 - Thursday
11:00Rayna DimitrovaSynthesis and Control of Infinite-State Systems with Partial ObservabilitySpeakerG26 - MPI-SWS [KL]
206
SWS Colloquium
16:00Prof. Joost-Pieter KatoenZero-Defect Software in Space: A True MissionE1 3 - Hörsaal Gebäude
002
Talk
Hide details for 17 - Wednesday17 - Wednesday
15:00Ulrich LoupA Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic DecompositionE1 4 - MPI-INF
019
Talk
17:00Prof. Dr. Hermann-Georg HolzhütterMathematical Modeling of the Cellular MetabolismE2 1
001
Colloquium Series of the CBI
Hide details for 16 - Tuesday16 - Tuesday
10:00Sophie StellmachGaze-supported Multimodal InteractionE1 4 - MPI-INF
019
Talk
13:00Adam KurpiszApproximating the minmax selecting items problemE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Monday8 - Monday
10:30Aslan AskarovSecuring information release: systems, models, and programming languagesG26 - MPI-SWS [KL]
206
SWS Colloquium
Hide details for 4 - Thursday4 - Thursday
11:00Daniel KroeningVerifying shared-variable concurrent programsG26 - MPI-SWS [KL]
206
SWS Colloquium
Hide details for March 2013March 2013
Hide details for 27 - Wednesday27 - Wednesday
13:00Matthias MnichFixed-Parameter Algorithms for Scheduling ProblemsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Tuesday26 - Tuesday
13:00AG1AG1 Group MeetingE1 4 - MPI-INF
024
AG1 Group Meeting
Hide details for 21 - Thursday21 - Thursday
10:30David ChoffnesDiagnosing and Repairing Internet Performance ProblemsG26 - MPI-SWS [KL]
206
SWS Colloquium
Hide details for 18 - Monday18 - Monday
14:00Nan-Wei GongDesign and Applications for Inkjet-Printed Flexible Sensate SurfacesE1 7 - MMCI
0.01
Talk
Hide details for 12 - Tuesday12 - Tuesday
10:30Dongyoon LeeHolistic System Design for Deterministic ReplayG26 - MPI-SWS [KL]
206
SWS Colloquium
13:00Rüdiger ReischukSmoothed Analysis of Online CachingE1 4 - MPI-INF
024
Lecture
Hide details for 11 - Monday11 - Monday
13:30Elliot AnshelevishAssignment Games with Conflicts: Price of Total Anarchy and Convergence Results via Semi-SmoothnessE1 4 - MPI-INF
024
Talk
15:00Johannes KloosIncremental, Inductive CoverabilityG26 - MPI-SWS [KL]
318
SWS Student Defence Talks - Qualifying Exam
Hide details for 7 - Thursday7 - Thursday
10:30Alexei CzeskisPractical, Usable, and Secure Authentication and Authorization on the WebG26 - MPI-SWS [KL]
206
SWS Colloquium
Hide details for 6 - Wednesday6 - Wednesday
12:15Björn BrandenburgReal-Time Locking in Theory and PracticeE1 5 - MPI-SWS
002
Joint MPI-INF/MPI-SWS Lecture Series
Hide details for 5 - Tuesday5 - Tuesday
13:00Andreas KarrenbauerBearings and Graph TheoryE1 4 - MPI-INF
024
Talk
Hide details for 4 - Monday4 - Monday
10:30Kasper Bonne RasmussenSelected Topics on Wireless Security and LocalizationG26 - MPI-SWS [KL]
206
SWS Colloquium
11:00Karsten SchwenkFiltering techniques for interactive previews of global illuminationE1 4 - MPI-INF
019
Talk
Hide details for 1 - Friday1 - Friday
13:00Oliver Dejon(Master Seminar Talk) Swarm Intelligence For The Biclique Cover ProblemE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:30Suresh VenkatasubramanianApproximate Near Neighbor Search for Bregman DivergencesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for February 2013February 2013
Hide details for 26 - Tuesday26 - Tuesday
13:00Adrian NeumannOnline Checkpointing with Improved Worst-Case GuaranteesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Alec JacobsonAchieving high-quality shape deformation in real timeE1 4 - MPI-INF
019
Talk
Hide details for 25 - Monday25 - Monday
08:45Ankit PatOn Construction of a Class of Orthogonal ArraysE1 4 - MPI-INF
R024
PhD Application Talk
08:45Florian BenzAn Effective Heuristic for the Smallest Grammar ProblemE1 4 - MPI-INF
R024
PhD Application Talk
08:45Kumar VishalComparagram aided ghost-free multi-exposure compositing, and enhanced background subtractionE1 4 - MPI-INF
R024
PhD Application Talk
08:45Ozan SenerEfficient Mobile Image and Video Segmentation via Dynamic Graph-Cuts and Bilateral FiltersE1 4 - MPI-INF
R024
PhD Application Talk
08:45Wenbin LiImproving Learning and Representations for Visual Material RecognitionE1 4 - MPI-INF
R024
PhD Application Talk
11:00Adam GrycnerFinding incompatible entities in medical definitionsE1 4 - MPI-INF
R024
PhD Application Talk
11:00Kai HuiRelevance Weighting in Information Retrieval using Within-document Term StatisticsE1 4 - MPI-INF
R024
PhD Application Talk
11:00Subhabrata MukherjeeAdapting Sentiment Analysis to the Challenges of Social MediaE1 4 - MPI-INF
R024
PhD Application Talk
11:00Venkata Rama Kiran GarimellaPolitical Polarization of Hashtags for U.S and U.K.E1 4 - MPI-INF
R024
PhD Application Talk
15:15Yafang WANGMethods and Tools for Temporal Knowledge HarvestingE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for 22 - Friday22 - Friday
11:00Chuan LiExploring computer vision and machine learning for Model Capturing and SynthesisE1 4 - MPI-INF
019
Talk
13:00Doug TerryCloud Storage Consistency Explained Through BaseballE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 20 - Wednesday20 - Wednesday
14:30Franziska Ebel(Master student talk) A new genetic algorithmE1 4 - MPI-INF
Rotunda D1
Talk
Hide details for 19 - Tuesday19 - Tuesday
13:00Parinya ChalermsookHow to make everyone happy in the network?E1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 18 - Monday18 - Monday
10:30Janick Martinez EsturoInteractive and Automatic Surface-based Flow VisualizationE1 4 - MPI-INF
019
Talk
10:30Peter SewellTales from the JungleE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
Hide details for 14 - Thursday14 - Thursday
10:30Alexey GotsmanAbstraction for Weakly Consistent SystemsG26 - MPI-SWS [KL]
206
SWS Colloquium
14:00Babak BagheriBorders of Decidability in Verification of Data-Centric Dynamic SystemsG26 - MPI-SWS [KL]
206
SWS Colloquium
Hide details for 13 - Wednesday13 - Wednesday
10:30Divesh SrivastavaIn Search of Truth (on the Deep Web)TU - 48 [KL]
680
SWS Distinguished Lecture Series
Hide details for 12 - Tuesday12 - Tuesday
13:00Haya ShulmanTowards a Secure DNSE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 8 - Friday8 - Friday
13:00Sudeshna KolayFaster Parameterized Algorithms for Split Graph DeletionE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Nikita BorisovBreaking the Internet for Fun and Censorship ResistanceE1 4 - MPI-INF
0.24
CISPA Distinguished Lecture Series
Hide details for 6 - Wednesday6 - Wednesday
11:00Daniele PanozzoFields on Symmetric SurfacesE1 4 - MPI-INF
019
Talk
12:15Pauli MiettinenBoolean Matrix Factorizations and Data MiningE1 5 - MPI-SWS
002
Joint MPI-INF/MPI-SWS Lecture Series
Hide details for 5 - Tuesday5 - Tuesday
13:00Artur JeżOne variable word equations in linear timeE1 4 - MPI-INF
021
Lecture
Hide details for January 2013January 2013
Hide details for 29 - Tuesday29 - Tuesday
13:00Gerard PonsHuman Pose Estimation from Video and Inertial SensorsE1 4 - MPI-INF
019
Talk
Hide details for 28 - Monday28 - Monday
10:30David WalkerNetworking: A Killer App for Programming Languages ResearchersE1 5 - MPI-SWS
029
SWS Distinguished Lecture Series
14:00Filip SadloFlow Visualization Beyond Steady-State AdvectionE1 4 - MPI-INF
019
Talk
Hide details for 24 - Thursday24 - Thursday
13:00Tetsuo UedoPhysarum as a model system of Bio-InformaticsE1 4 - MPI-INF
024
Talk
Hide details for 23 - Wednesday23 - Wednesday
14:00Prof. Anastasia AilamakiScientific Data Management: Not your everyday transactionE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
Hide details for 22 - Tuesday22 - Tuesday
11:00Fahimeh RamezaniOn Randomized Fictitious Play for Approximating Saddle Points Over Convex SetsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Sunday20 - Sunday
15:00Tomasz KociumakaEfficient Indexes for Jumbled Pattern Matching with Constant-Sized AlphabetE1 4 - MPI-INF
rotunda at 3rd floor
AG1 Mittagsseminar (own work)
Hide details for 18 - Friday18 - Friday
10:00Yan ChenType-Directed Automatic IncrementalizationE1 5 - MPI-SWS
422
SWS Student Defence Talks - Qualifying Exam
13:00Bernhard HaeuplerTBAE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:30John AugustineTBAE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:30John AugustineTBAE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Thursday17 - Thursday
10:00Vitaly ShmatikovBuilding Privacy-Preserving Systems: What Works, What Doesn't, and What Is To Be doneG26 - MPI-SWS [KL]
206
SWS Distinguished Lecture Series
Hide details for 15 - Tuesday15 - Tuesday
13:00AG1Group MeetingE1 4 - MPI-INF
024
AG1 Group Meeting
14:00Jens SchmidtOpen Problem SessionE1 4 - MPI-INF
024
Talk
Hide details for 13 - Sunday13 - Sunday
13:00D1D1 Group Meeting: SAB VisitE1 4 - MPI-INF
024
AG1 Group Meeting
13:45Amit Kumarto be announced (talk starts right after Marvin's talk)E1 4 - MPI-INF
024
Lecture
Hide details for 11 - Friday11 - Friday
13:00Jens M. SchmidtOn Barnette's ConjectureE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Wednesday9 - Wednesday
11:00Nikolaj BjornerSecGuru - Symbolic Analysis of Network Connectivity RestrictionsE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
Hide details for 3 - Thursday3 - Thursday
11:00Kurt MehlhornA Geometric View of Binary Search TreesE1 4 - MPI-INF
024
AG1 Mittagsseminar (others' work)
Hide details for December 2012December 2012
Hide details for 21 - Friday21 - Friday
12:00Rawia AWADALLAHMethods for Constructing an Opinion Network Politically Controversial TopicsE1 4 - MPI-INF
024
Promotionskolloquium
13:00Jose VerschaeScheduling on a machine with varying speed: Minimizing cost and energy via dual schedulesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Thursday20 - Thursday
15:15Ndapandula T. NakasholeAutomatic Extraction of Facts, Relations, and Entities for Web-Scale Knowledge Base PopulationE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for 19 - Wednesday19 - Wednesday
16:00Tomasz JurkiewiczThe Cost of Address TranslationE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 18 - Tuesday18 - Tuesday
10:00Dipl.-Math. David GüntherTopological Analysis of Discrete Scalar DataE1 4 - MPI-INF
019
Promotionskolloquium
13:00Antonios AntoniadisRace to Idle: New Algorithms for Speed Scaling with a Sleep StateE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Kurt MehlhornOpen Problems SessionE1 4 - MPI-INF
AG1 Rotunda
Talk
Hide details for 14 - Friday14 - Friday
11:00Sandra EbertSemi-Supervised Learning for Image ClassificationE1 4 - MPI-INF
024
Promotionskolloquium
13:30Julien TiernyStructural analysis of spatial data: a control-freak's perspectiveE1 4 - MPI-INF
019
Talk
Hide details for 13 - Thursday13 - Thursday
10:00Bryan RussellOnline image annotation and 3D scene understandingE1 4 - MPI-INF
024
Talk
13:00Torsten SattlerImage-Based Localization from SfM Point CloudsE1 4 - MPI-INF
D2 Rotunda
Talk
Hide details for 11 - Tuesday11 - Tuesday
13:00AG1Group Meeting AG1E1 4 - MPI-INF
024
AG1 Group Meeting
Hide details for 10 - Monday10 - Monday
13:00Alexander HartmannPhase transition for cutting-plane approach to vertex-cover problemE1 4 - MPI-INF
024
Lecture
Hide details for 7 - Friday7 - Friday
11:00Timothy RoscoeReasoning as a First-class Operating System ServiceE1 5 - MPI-SWS
029
SWS Distinguished Lecture Series
13:00Artur JeżFully compressed pattern matching by recompressionE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
16:00Juhi KulshresthaGeographic Dissection of the Twitter NetworkE1 5 - MPI-SWS
005
SWS Student Defence Talks - Qualifying Exam
Hide details for 5 - Wednesday5 - Wednesday
12:15Klaus BerberichText + Time Search & AnalyticsE1 5 - MPI-SWS
002
Joint MPI-INF/MPI-SWS Lecture Series
Hide details for 3 - Monday3 - Monday
11:00Esther GalbrunRelational Redescription MiningE1 4 - MPI-INF
433
Talk
Hide details for November 2012November 2012
Hide details for 30 - Friday30 - Friday
10:30Prof. Michael HicksExpositor: Scriptable Time-Travel Debugging with First Class TracesE1 5 - MPI-SWS
029
SWS Distinguished Lecture Series
13:00Rob van SteeTruthful SchedulingE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 27 - Tuesday27 - Tuesday
14:00Anna Adamaszek & Magnus WahlströmOpen problems and good research habitsE1 4 - MPI-INF
024
Talk
Hide details for 26 - Monday26 - Monday
09:00Bjoern AndresAdvancing the State of the Art in Image Segmentation and Tracking by Combinatorial OptimizationE1 4 - MPI-INF
024
Talk
Hide details for 23 - Friday23 - Friday
10:30Roxana Gabriela Horincar
()

On Friday
Refresh Strategies and Online Change Estimation for Highly Dynamic Web ContentE1 4 - MPI-INF
433
Postdoc Application Talk
13:00Matthias MnichEfficiency in KernelizationE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Tuesday20 - Tuesday
13:00He SunFrom Kant to Turing: On the Philosophical Foundations of Computer ScienceE1 4 - MPI-INF
024
Talk
Hide details for 19 - Monday19 - Monday
13:00Moritz HardtDifferential Privacy as a Learning ProblemE1 4 - MPI-INF
024
Lecture
18:00Nuno SantosSystem Designs for Securing Data and Computations against Administration ThreatsE1 5 - MPI-SWS
005
SWS Student Defence Talks - Thesis Proposal
Hide details for 16 - Friday16 - Friday
11:00Andreas Wiese A New Approach to Online Scheduling: Approximating the Optimal Competitive RatioE1 5 - MPI-SWS
029
Talk
13:30Prof. Dr. Kurt MehlhornFest-Kolloquium anlässlich des 60. Geburtstags von Prof. Dr. Dr. Thomas LengauerE2 2
Günter-Hotz-Hörsaal
Fest-Kolloquium
Hide details for 14 - Wednesday14 - Wednesday
10:00Brigitte PientkaBeluga^mu: Programming proofs in contextE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 13 - Tuesday13 - Tuesday
13:00AG1AG 1 Group MeetingE1 4 - MPI-INF
024
AG1 Group Meeting
Hide details for 12 - Monday12 - Monday
12:05Razvan BeletLeveraging Independence and Locality for Random Forests in a Distributed EnvironmentE1 4 - MPI-INF
024
IMPRS Research Seminar
Hide details for 9 - Friday9 - Friday
10:00Verena KonzAutomated Methods for Audio – Based Music Analysis with Applications to MusicologyE1 4 - MPI-INF
0.19
Promotionskolloquium
12:00Peter Matthias GroscheSignal Processing Methods for Beat Tracking, Music Segmentation and Audio RetrievalE1 4 - MPI-INF
019
Promotionskolloquium
14:00Andreas BaakRetrieval-based Approaches for Tracking and Reconstruction Human MotionsE1 4 - MPI-INF
019
Promotionskolloquium
17:00Pavel EmeliyanenkoHarnessing the Power of GPUs for Problems in Real Algebraic GeometryE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for 7 - Wednesday7 - Wednesday
12:15Allen ClementRobust ReplicationE1 5 - MPI-SWS
002
Joint MPI-INF/MPI-SWS Lecture Series
Hide details for 6 - Tuesday6 - Tuesday
14:30Torsten SchaubProblem Solving with Answer Set ProgrammingE1 5 - MPI-SWS
Hörsaal 002
Talk
Hide details for 5 - Monday5 - Monday
14:00Jeffrey MogulCorybantic: Towards the Modular Composition of SDN ControllersE1 5 - MPI-SWS
029
SWS Distinguished Lecture Series
Hide details for 2 - Friday2 - Friday
13:00Pinyan LuCorrelation Decay up to Uniqueness in Spin SystemsE1 4 - MPI-INF
024
Talk
Hide details for October 2012October 2012
Hide details for 31 - Wednesday31 - Wednesday
10:30Lorenzo AlvisiReasoning with MAD distributed systemsE1 5 - MPI-SWS
029
SWS Distinguished Lecture Series
Hide details for 23 - Tuesday23 - Tuesday
17:15Dr. Sabine BartschGender-spezifische Wissenschaft? eHumanities Explorationen wissenschaftlicher TexteA2.2
2.02
Lecture
Hide details for 11 - Thursday11 - Thursday
14:00Zilong WangProvenance VerificationG26 - MPI-SWS [KL]
204
SWS Student Defence Talks - Qualifying Exam
Hide details for 10 - Wednesday10 - Wednesday
12:15Tobias RitschelPerception-driven and artistically motivated interactive graphicsE1 3 - Hörsaal Gebäude
HS 002
Joint MPI-INF/MPI-SWS Lecture Series
Hide details for 9 - Tuesday9 - Tuesday
11:00Andreas BroschartEfficient Query Processing and Index Tuning using Proximity ScoresE1 4 - MPI-INF
024
Promotionskolloquium
13:00Klaus HildebrandtModeling and Animating Deformable ObjectsE1 4 - MPI-INF
019
Talk
Hide details for 8 - Monday8 - Monday
09:00Ba Dat NguyenEfficient Entity Disambiguation via Similarity HashingE1 4 - MPI-INF
024
PhD Application Talk
09:00Kumar SrijanScalable Techniques for Organizing and Visualizing Community Photo CollectionsE1 4 - MPI-INF
024
PhD Application Talk
09:00Sergei ShudlerThe Effects of Untruthful Bids on User Utilities and Stability in Computing MarketsE1 4 - MPI-INF
024
PhD Application Talk
09:00Sourav DuttaSpace-Efficient Management of String Databases by Reusing Common CharactersE1 4 - MPI-INF
024
PhD Application Talk
11:20Alkmini SgouritsaOnline Pro t-Maximizing Sampling Auctions For DigitalGoodsE1 4 - MPI-INF
024
PhD Application Talk
11:20Cosmina CroitoruAlgorithmic Aspects of Abstract Argumentation FrameworksE1 4 - MPI-INF
024
PhD Application Talk
11:20Milivoj SimeonovskiIntroducing Accountability in Onion RoutingE1 4 - MPI-INF
024
PhD Application Talk
11:20Sarvesh NikumbhClassification of Promoters based onChromatin FeaturesE1 4 - MPI-INF
024
PhD Application Talk
16:00Jozef Dobos3D Revision Control FrameworkD 3 2
VizCenter, DFKI
Talk
Hide details for 5 - Friday5 - Friday
16:08Gregorio PalmasComputer-Assisted Assembling of Fragmented ObjectsE1 4 - MPI-INF
024
PhD Application Talk
16:15Nasimi EldarovModeling influenza evolution in response to immune system pressureE1 4 - MPI-INF
024
PhD Application Talk
Hide details for 2 - Tuesday2 - Tuesday
13:00Jakub SliacanResidual-based Gauss-Seidel methodE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Ben LivshitsClient-side Personalization and Privacy: Browser and MobileE1 4 - MPI-INF
0.24
CISPA Distinguished Lecture Series
14:00Ben LivshitsClient-side Personalization and Privacy: Browser and MobileE1 4 - MPI-INF
0.24
CISPA Distinguished Lecture Series
Hide details for 1 - Monday1 - Monday
11:00Dr. Christopher KruegelAutomated Malware AnalysisE1 5 - MPI-SWS
029
SWS Distinguished Lecture Series
Hide details for September 2012September 2012
Hide details for 28 - Friday28 - Friday
13:00Dr. Andreas KarrenbauerOn Planar Min-Cost FlowE1 4 - MPI-INF
024
Talk
Hide details for 27 - Thursday27 - Thursday
13:00Raphael ReitzigPhD Application TalkE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Wednesday26 - Wednesday
14:00Benjamin DoerrThe Discrepancy of Random PointsE1 4 - MPI-INF
024
Talk
Hide details for 25 - Tuesday25 - Tuesday
13:00Cosmina CroitoruAlgorithmic Aspects of Abstract Argumentation Frameworks E1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:00Jochen LangHaptic Exploration of PhotographsE1 4 - MPI-INF
019
Talk
15:00Prof. Jan VitekPlanet Dynamic or: How I Learned to Stop Worrying and Love ReflectionG26 - MPI-SWS [KL]
206
SWS Distinguished Lecture Series
16:00Sandy HeydrichDividing connected chores fairlyE1 4 - MPI-INF
Rotunde
Talk
Hide details for 24 - Monday24 - Monday
13:00Gernot HeiserTowards Trustworthy Embedded SystemsG26 - MPI-SWS [KL]
206
SWS Distinguished Lecture Series
Hide details for 14 - Friday14 - Friday
14:00Aditya ThakurA deductive algorithm for symbolic abstraction with applications to SMTG26 - MPI-SWS [KL]
206
Talk
Hide details for 13 - Thursday13 - Thursday
13:00Michael KerberThe Medusa of Spatial SortingE1 4 - MPI-INF
024
Talk
Hide details for 11 - Tuesday11 - Tuesday
13:00Ralf OsbildControlled Perturbation (PhD-thesis)E1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
16:00Wolfram WagnerHow to backup your notebookE1 4 - MPI-INF
024
Technical Tea Time
Hide details for 7 - Friday7 - Friday
13:00Rob van SteeOnline scheduling of jobs with fixed start times on related machinesE1 5 - MPI-SWS
630
AG1 Mittagsseminar (own work)
Hide details for 4 - Tuesday4 - Tuesday
13:00Ignaz RutterCubic Augmentation of Planar GraphsMPI-INF, Geb E1 4
023
AG1 Mittagsseminar (own work)
Hide details for 3 - Monday3 - Monday
13:00Shay MoranShattering Extremal systems (Master thesis)E1 4 - MPI-INF
023
AG1 Mittagsseminar (own work)
Hide details for August 2012August 2012
Hide details for 31 - Friday31 - Friday
10:00Daniel PeekA Brief History of Facebook's User Data Storage SystemE1 5 - MPI-SWS
029
Talk
Hide details for 30 - Thursday30 - Thursday
10:00Michael EmmiAnalysis of Recursively Parallel ProgramsG26 - MPI-SWS [KL]
206
Talk
Hide details for 28 - Tuesday28 - Tuesday
13:00Quentin de MourguesIntersection Time of Random WalksE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
16:00Marcus RohrbachIntro to the moinmoin wikiE1 4 - MPI-INF
623 - Rotunde
Technical Tea Time
Hide details for 24 - Friday24 - Friday
11:00Prof. Dr. habil Douglas W. CunninghamExperimental Design Part III: Quantitative Tasks?E1 4 - MPI-INF
019
Talk
13:00Zeyu GuoRandomness Optimal Curve SamplingE1 4 - MPI-INF
024
Talk
Hide details for 23 - Thursday23 - Thursday
14:00Prof. Dr. habil Douglas W. CunninghamExperimental Design Part II: Qualitative and Physiological Tasks?E1 4 - MPI-INF
019
Talk
Hide details for 22 - Wednesday22 - Wednesday
13:30Robert HarperCache and I/O-Efficient Functional AlgorithmsE1 4 - MPI-INF
024
MPI Colloquium Series Distinguished Speaker
15:00Prof. Dr. habil Douglas W. CunninghamExperimental Design Part I: What is an experiment and why does ittake so long?E1 4 - MPI-INF
019
Talk
Hide details for 20 - Monday20 - Monday
15:00Dimitar DENEVModels and Methods for Web Archive CrawlingE1 4 - MPI-INF
024
Promotionskolloquium
16:30Piotr DIDYKPerceptual Display: Exceeding Display Limitations by Exploiting the Human Visual SystemE1 4 - MPI-INF
019
Promotionskolloquium
Hide details for 17 - Friday17 - Friday
09:00Luca TrevisanSpectral Graph Theory and its Algorithmic Applications (3)E1. 3
001
Lecture
11:00Berthold VoeckingRandomized Mechanism Design: Approximation and Online Algorithms (3)E1. 3
001
Lecture
12:30Marcin EichnerArticulated pose estimation of multiple persons: pose co-estimationE1 4 - MPI-INF
Rotunda 6th floor
Talk
14:00Vijay V. VaziraniDispelling an Old Myth about an Ancient AlgorithmE1 4 - MPI-INF
024
MPI Colloquium Series Distinguished Speaker
Hide details for 16 - Thursday16 - Thursday
09:00Luca TrevisanSpectral Graph Theory and its Algorithmic Applications (2)E1. 3
001
Lecture
14:30Berthold VoeckingRandomized Mechanism Design: Approximation and Online Algorithms (3)E1. 3
001
Lecture
Hide details for 15 - Wednesday15 - Wednesday
09:00Avi WigdersonExpander Graphs: Constructions and Applications (3)E1. 3
001
Lecture
Hide details for 14 - Tuesday14 - Tuesday
09:00Berthold VoeckingRandomized Mechanism Design: Approximation and Online Algorithms (1)E1. 3
001
Lecture
10:00Alexander VezhnevetsWeakly Supervised Structured Output Learning for Semantic SegmentationE1 4 - MPI-INF
019
Talk
11:00Michael SagraloffExaktes Geometrisches RechnenE1 4 - MPI-INF
021
Vorstellungsvortrag für einen Habilitationsantrag
14:30Avi WigdersonExpander Graphs: Constructions and Applications (2)E1. 3
001
Lecture
16:00Wolfram WaagnerTaming the beast - handling directory treesE1 4 - MPI-INF
633
Talk
Hide details for 13 - Monday13 - Monday
09:00Avi WigdersonExpander Graphs: Constructions and Applications (1)E1. 3
001
Lecture
14:00Rodrigo BenensonUsing 100 classifiers to detect a single classE1 4 - MPI-INF
019
Talk
14:30Luca TreivsanSpectral Graph Theory and its Algorithmic Applications (1)E1. 3
001
Lecture
Hide details for 9 - Thursday9 - Thursday
11:00Saikat GuhaMeasuring and Fingerprinting Click-Fraud in Ad Networks49 [KL]
204
Talk
Hide details for 1 - Wednesday1 - Wednesday
12:15Antti OulasvirtaOptimizing User Interfaces for Human PerformanceE1 3 - Hörsaal Gebäude
HS 002
Joint MPI-INF/MPI-SWS Lecture Series
Hide details for July 2012July 2012
Hide details for 30 - Monday30 - Monday
14:00Céline TeulièreResearch activities in visual tracking for robotics applications: Moving object tracking, 3D localization and positioning tasks using monocular or RGB-D camerasE1 4 - MPI-INF
019
Talk
Hide details for 26 - Thursday26 - Thursday
17:00Dr. Sabine BartschGender-spezifische Wissenschaft? eHumanities Explorationen wissenschaftlicher TexteA2.2
2.02
Lecture
Hide details for 23 - Monday23 - Monday
13:00Xavier Pérez GiménezAsymptotic enumeration of sparse strongly connected digraphs by vertices and edgesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Friday20 - Friday
13:00Sourav ChakrabortyTesting Boolean Function IsomorphismE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Tuesday17 - Tuesday
13:00Ruben BeckerThe Bolzano Method to Isolate the Roots of a Bitstream PolynomialE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Tuesday10 - Tuesday
13:00Manoj GuptaFully dynamic maximal matching in O(log n) update timeE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Friday6 - Friday
13:00Sebastian OttTruthfully maximizing the minimum load on selfish machinesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:30Anna-Kaisa PietilainenOpportunistic Mobile Social Networks at WorkE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 5 - Thursday5 - Thursday
11:00Dario FioreProvably-Secure Cryptographic Protocols: from Practice to Theory to PracticeE1 5 - MPI-SWS
029
SWS Colloquium
14:00Cesare TinelliIncremental SMT-based model checking of synchronous systemsE1 4 - MPI-INF
024
Talk
Hide details for 4 - Wednesday4 - Wednesday
12:15Olga KalininaStructural Bioinformatics Methods for Identification of Protein Function and InteractionsE1 3 - Hörsaal Gebäude
HS 002
Joint MPI-INF/MPI-SWS Lecture Series
Hide details for 3 - Tuesday3 - Tuesday
11:00Bryan WardSupporting Nested Locking in Multiprocessor Real-Time SystemsE1 5 - MPI-SWS
029
SWS Colloquium
13:00Marvin Kuenemannto be announcedE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:30Peter BaumgartnerReasoning with Data-Centric Business ProcessesE1 4 - MPI-INF
024
Talk
Hide details for 2 - Monday2 - Monday
12:05Noran AzmyFormula RenamingE1 4 - MPI-INF
024
IMPRS Research Seminar
14:00Sandeep SenComputing in presence of uncertainty: models and algorithmsE1 4 - MPI-INF
022
Talk
Hide details for June 2012June 2012
Hide details for 29 - Friday29 - Friday
13:00Matthias FeldmannStochastic Optimization with Fitness Proportional Ant SystemsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Friday22 - Friday
13:00Kavitha TelikepalliPopular matchings in the stable marriage settingE1 4 - MPI-INF
024
Talk
14:00Istemi Ekin AkkusNon-tracking Web AnalyticsG26 - MPI-SWS [KL]
204
SWS Student Defence Talks - Qualifying Exam
Hide details for 21 - Thursday21 - Thursday
16:00Val TannenProvenance for Database TransformationsE1 5 - MPI-SWS
029
SWS Distinguished Lecture Series
Hide details for 19 - Tuesday19 - Tuesday
13:00AG 1AG1 Group MeetingE1 4 - MPI-INF
024
AG1 Group Meeting
13:00Burkhard WuenscheTBAE1 4 - MPI-INF
019
Talk
Hide details for 18 - Monday18 - Monday
13:00Stephen KobourovFrom Graphs to MapsE1 4 - MPI-INF
024
Lecture
14:00Ondřej Karlík and Jirka VorbaImportance Sampling for Incident IlluminationE1 4 - MPI-INF
019
Talk
Hide details for 15 - Friday15 - Friday
13:00Hendrik MolterACO beats EA on a Dynamic Pseudo-Boolean FunctionE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 13 - Wednesday13 - Wednesday
12:15Viktor VafeiadisRelaxed memory concurrency and verified compilationE1 3 - Hörsaal Gebäude
HS 002
Joint MPI-INF/MPI-SWS Lecture Series
Hide details for 12 - Tuesday12 - Tuesday
13:00G.RamakrishnaCharacterization of Minimum Cycle Basis in Partial 2-treesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Friday8 - Friday
13:00Shay MoranShattering Extremal Set Systems (Master Thesis, First Talk)E1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Wednesday6 - Wednesday
15:00Magnus WahlströmKernelization via magicE1 4 - MPI-INF
Rotunda, 3rd floor
AG1 Mittagsseminar (own work)
Hide details for 5 - Tuesday5 - Tuesday
13:00Shlomo MoranTowards Optimal Distance Functions for Stochastic Substitutions ModelsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Friday1 - Friday
10:30Monica LamHow Mobile Disrupts and Opens Up Social as We Know ItE1 5 - MPI-SWS
029
SWS Distinguished Lecture Series
13:00Hans Raj TiwaryExtended Formulations, Matrix Factorization and Communication Complexity - part IIE1 4 - MPI-INF
024
Lecture
Hide details for May 2012May 2012
Hide details for 30 - Wednesday30 - Wednesday
11:30Mr. Ram Sewak SharmaDesign for UID Numbers to all Indian residentsE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 29 - Tuesday29 - Tuesday
13:00Pengming WangCertification of Curve Arrangements (Master Thesis)E1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 25 - Friday25 - Friday
13:00Antti NurminenMobile 3D City MapsE1 4 - MPI-INF
019
Talk
13:00Cosmina CroitoruArgumentation systems: Complexity and algorithmic aspectsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Wednesday23 - Wednesday
10:00Anjo VahldiekProtecting Data Integrity with Storage LeasesE1 5 - MPI-SWS
005
SWS Student Defence Talks - Qualifying Exam
16:00Scott KilpatrickA typed package language for HaskellE1 5 - MPI-SWS
029
SWS Student Defence Talks - Qualifying Exam
Hide details for 22 - Tuesday22 - Tuesday
13:00Surender BaswanaDynamic trees and algorithmsE1 4 - MPI-INF
024
Lecture
Hide details for 15 - Tuesday15 - Tuesday
13:00Kurt MehlhronCertifying Algs for Approximation and FPT-Algorithms (A Thesis Proposal)E1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Monday14 - Monday
11:00Alexander J. SmolaScalable Machine Learning for the UserE1 4 - MPI-INF
019
SWS Distinguished Lecture Series
Hide details for 11 - Friday11 - Friday
13:00Chandan SahaIdentity testing and lower bounds using algebraic independenceE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Wednesday9 - Wednesday
11:00Kevin AshleyToward Teaching Writing and Argumentation with AI-Supported Peer ReviewD3 1 - DFKI
Reuse, SB (HG -2.17)
Talk
Hide details for 8 - Tuesday8 - Tuesday
13:00Martin HoeferLocal Matching Dynamics in Social NetworksE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Monday7 - Monday
09:20Anne-Christin HauschildStatistical Learning on Metabolic Ion Mobility Spectrometry Profiles for Disease IdentificationE1 4
024
PhD Application Talk
09:20Bibek PaudelRedundancy Control in Web ArchivesE1 4 - MPI-INF
024
PhD Application Talk
09:20Sergey ParamonovQuery Completeness: A Logic Programming ApproachE1 4 - MPI-INF
024
PhD Application Talk
11:00Abubakrelsedik Alsebai KaraliNovel View invariant 3D features for human action recognitionE1 4 - MPI-INF
024
PhD Application Talk
11:00Santanu BhowmickModeling and Testing of Multi-cycle Power Droop FaultsE1 4 - MPI-INF
024
PhD Application Talk
11:00Tomasz DudziakRelational cache analysis in presence of pointer-based data structuresE1 4 - MPI-INF
024
PhD Application Talk
Hide details for 4 - Friday4 - Friday
13:00He SunCounting Arbitrary Subgraphs in Data StreamsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Wednesday2 - Wednesday
12:15Fabian SuchanekThe Ontologies Group at the Max Planck Institute for InformaticsE1 3 - Hörsaal Gebäude
HS 002
Joint MPI-INF/MPI-SWS Lecture Series
Hide details for April 2012April 2012
Hide details for 27 - Friday27 - Friday
13:00Tomasz JurkiewiczComputational Complexity of the Virtual Address TranslationE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Thursday26 - Thursday
14:15Bodo Manthey25 Years of Isolation LemmaE1 3
HS 002
Antrittsvorlesung
Hide details for 24 - Tuesday24 - Tuesday
13:00Danny HermelinLoss Minimization Scheduling for Generalizations of Interval JobsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Monday23 - Monday
11:00Pranav DandekarCredit Networks: Liquidity and FormationE1 5 - MPI-SWS
5th floor
SWS Colloquium
16:30Tom CreceliusSocially Enhanced Search and Exploration in Social Tagging NetworksE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for 16 - Monday16 - Monday
11:00Charlie HuEnergy Debugging in SmartphonesE1 5 - MPI-SWS
5th floor
SWS Colloquium
Hide details for 13 - Friday13 - Friday
13:00Paul BonsmaSurface Split Decompositions and Subgraph Isomorphism in Graphs on SurfacesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Thursday12 - Thursday
12:30Thomas LengauerLife Ascending - A Biological History of CreationE1 4 - MPI-INF
024
Talk
Hide details for 4 - Wednesday4 - Wednesday
14:00Marc RenaultOn Online Algorithms with Advice for the k-Server ProblemE1 4 - MPI-INF
024
Talk
Hide details for 3 - Tuesday3 - Tuesday
13:00Anton KrohmerFinding Cliques in Scale-Free NetworksE1 4 - MPI-INF
0.24
AG1 Mittagsseminar (own work)
Hide details for March 2012March 2012
Hide details for 30 - Friday30 - Friday
14:00Stan SclaroffAlgorithms for Detection, Tracking, Analysis, and Classification of Objects and Humans ActionsE1 4 - MPI-INF
024
Talk
Hide details for 28 - Wednesday28 - Wednesday
10:00Bojana KodricEfficient construction of a finite-state automaton from a set of stringsE1 4 - MPI-INF
024
Talk
10:30Eleftherios AnastasiadisApproximation algorithms for combinatorial auctionsE1 4 - MPI-INF
024
Talk
11:00Adrian PerrigSCION: Scalability, Control, and Isolation On Next-Generation NetworksE1 5 - MPI-SWS
5th floor
SWS Distinguished Lecture Series
13:00Michael DirnbergerMethods of Computational Physics in Lattice Gauge Theory: A Case Study on ConfinementE1 4 - MPI-INF
024
Talk
Hide details for 27 - Tuesday27 - Tuesday
13:00Benjamin DoerrStill Playing MastermindE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Monday26 - Monday
10:30Tim KraskaForecast: Cloudy with a Chance of ConsistencyG26 - MPI-SWS [KL]
206
SWS Colloquium
Hide details for 23 - Friday23 - Friday
13:00Johannes LenglerEvolutionary Algorithms on Quantum ComputersE1 4 - MPI-INF
021
AG1 Mittagsseminar (own work)
Hide details for 22 - Thursday22 - Thursday
15:00Petr KuznetsovTurning Sequential into ConcurrentE1 5 - MPI-SWS
5th floor
SWS Colloquium
Hide details for 21 - Wednesday21 - Wednesday
10:00Pascal FontaineCombination of disjoint theories: beyond decidabilityE1 4 - MPI-INF
019
Talk
11:00Abdullah BulbulPerceptually Aware 3-D Computer GraphicsE1 4 - MPI-INF
019
Talk
Show details for 20 - Tuesday20 - Tuesday