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 May 2016May 2016
Hide details for 3 - Tuesday3 - Tuesday
10:00Torsten SattlerLarge-Scale Camera Pose Voting and the Geometric Burstiness ProblemE1 4 - MPI-INF
633
Talk
Hide details for April 2016April 2016
Hide details for 28 - Thursday28 - Thursday
09:00Bimal ViswanathTowards Trustworthy Social Computing SystemsE1 5 - MPI-SWS
002
SWS Student Defence Talks - Thesis Defense
13:00Andreas WieseIndependent set of convex polygons: from n^eps to 1+eps via shrinkingE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Nikhil SwamyF*: A tool for programming and provingE9 1 - CISPA
Lecture Hall
CISPA Distinguished Lecture Series
Hide details for 26 - Tuesday26 - Tuesday
13:00Cosmina CroitoruBipartite Digraphs DebatesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Thursday21 - Thursday
13:00Martin HoeferEfficient Algorithms for Unknown MarketsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:30Andreas KrauseFrom Proteins to Robots: Learning to Optimize with ConfidenceE1 4 - MPI-INF
024
INF Distinguished Lecture Series
Hide details for 20 - Wednesday20 - Wednesday
13:00Ulfar ErlingssonData-driven Software security: Motivation and MethodsE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
Hide details for 15 - Friday15 - Friday
10:00Mohamed YahyaQuestion Answering and Query Processing for Extended Knowledge GraphsE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for 14 - Thursday14 - Thursday
10:30Dina PapagiannakiTelco Innovation at HomeE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
13:00Thatchaphol SaranurakA new proof of static optimality for splay treeE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
13:30Martin RolfsAttention in active visionE1 4 - MPI-INF
021
Talk
14:30Volker TrespLearning with Memory EmbeddingsE1 4 - MPI-INF
024
Talk
16:00Christina TeflioudiAlgorithms for Shared-Memory Matrix Completion and Maximum Inner Product SearchE1 4 - MPI-INF
0.24
Promotionskolloquium
Hide details for 12 - Tuesday12 - Tuesday
13:00Paresh NakheExploiting structure in multi-armed banditsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Monday11 - Monday
10:30Manos KapritsosSustainable Reliability for Distributed SystemsG26 - MPI-SWS [KL]
111
SWS Colloquium
Hide details for 7 - Thursday7 - Thursday
13:00Daniel VazFast Algorithms for Approximating Group Steiner TreeE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Wednesday6 - Wednesday
12:15Renjie ChenLow Distortion Geometry ModellingE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 5 - Tuesday5 - Tuesday
13:00Syamantak DasScheudling with Outliers to Minimize Load and Flow-timeE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for March 2016March 2016
Hide details for 31 - Thursday31 - Thursday
10:30Andreas HaeberlenAccountability for Distributed SystemsG26 - MPI-SWS [KL]
111
SWS Colloquium
11:00Maya RamanathTracking the Conductance of Rapidly Evolving Topic-SubgraphsE1 4 - MPI-INF
024
AG5 Talk
13:00Maximilian JohnA New SDP Relaxation for the Quadratic Assignment ProblemE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 30 - Wednesday30 - Wednesday
14:00Amir VaxmanDirectional Field Synthesis, Design, and ProcessingE1 4 - MPI-INF
019
AG4 Talk
Hide details for 29 - Tuesday29 - Tuesday
10:30Aaron SchulmanWhy applications are still draining our batteries, and how we can helpG26 - MPI-SWS [KL]
111
SWS Colloquium
13:00Pavel KolevA Note on Spectral ClusteringE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Thursday24 - Thursday
14:00Boris SchauerteAttention and Gaze Estimation for Intelligent SystemsE1 4 - MPI-INF
024
Talk
Hide details for 23 - Wednesday23 - Wednesday
10:30Arunesh SinhaWhat's in a Game? An intelligent and adaptive approach to securityG26 - MPI-SWS [KL]
111
SWS Colloquium
Hide details for 22 - Tuesday22 - Tuesday
13:00Caigui JiangGeometry rationalization for freeform architectureE1 4 - MPI-INF
019
AG4 Talk
13:00Davis IssacBiclique Optimization ProblemsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Monday21 - Monday
10:30Arjun RadhakrishnaPerformance-aware Repair for Concurrent ProgramsG26 - MPI-SWS [KL]
111
SWS Colloquium
14:00Istemi Ekin AkkusTowards a Non-Tracking WebG26 - MPI-SWS [KL]
111
SWS Student Defence Talks - Thesis Defense
Hide details for 17 - Thursday17 - Thursday
10:30Chenhao TanOnline social interactions: a lens on humans and a world for humansG26 - MPI-SWS [KL]
111
SWS Colloquium
Hide details for 15 - Tuesday15 - Tuesday
13:00Alexander KobelComputing Real Roots of a Real Polynomial ... and now for RealE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Monday14 - Monday
10:30Dave LevinSecuring the Internet by Proving the ImpossibleG26 - MPI-SWS [KL]
111
SWS Colloquium
Hide details for 10 - Thursday10 - Thursday
10:30Baris KasikciStamping Out Concurrency BugsG26 - MPI-SWS [KL]
111
SWS Colloquium
11:00Prof. Jennifer NevilleLearning in networks: How to exploit relationships to improve predictionsE1 4 - MPI-INF
024
MPI Colloquium Series Distinguished Speaker
14:00Steve KremerAutomated verification of equivalence properties forcryptographic protocolsE9 1 - CISPA
Lecture Hall, ground floor
CISPA Distinguished Lecture Series
15:30Zilong WangAlgorithms and Tools for Verification and Testing of Asynchronous ProgramsG26 - MPI-SWS [KL]
111
SWS Student Defence Talks - Thesis Defense
Hide details for 8 - Tuesday8 - Tuesday
13:00Michael DirnbergerNEFI: Network Extraction From ImagesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Monday7 - Monday
10:30Robert WestHuman Behavior in NetworksE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 4 - Friday4 - Friday
13:00Guy EvenNetwork-on-Chips: offline and online methodologiesE1 4 - MPI-INF
024
AG1 Mittagsseminar (others' work)
Hide details for 3 - Thursday3 - Thursday
13:00Aruni ChoudharyApproximating Rips using PermutohedraE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Wednesday2 - Wednesday
16:00Kurt MehlhornHollow Heaps (Hansen, Kaplan, Tarjan, Zwick)E1 4 - MPI-INF
024
AG1 Mittagsseminar (others' work)
Hide details for 1 - Tuesday1 - Tuesday
13:00Andreas SchmidMatch-And-Merge: A New Greedy Framework for Maximum Planar SubgraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for February 2016February 2016
Hide details for 26 - Friday26 - Friday
09:00Krzysztof TemplinDepth, Shading, and Stylization in Stereoscopic CinematographyE1 4 - MPI-INF
0.19
Promotionskolloquium
Hide details for 25 - Thursday25 - Thursday
13:00Marvin KünnemannThe (multivariate) fine-grained complexity of Longest Common SubsequenceE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
16:15Marie-Francoise RoyEffectivity Issues and Results for Hilbert's 17th ProblemE1 4 - MPI-INF
024
Talk
Hide details for 24 - Wednesday24 - Wednesday
15:00Samir KhullerCapacitated Covering, Scheduling to Minimize Energy and Min Edge CostFlows -a natural convergenceE1 4 - MPI-INF
024
MPI-Kolloquium
Hide details for 23 - Tuesday23 - Tuesday
13:00Sam McCauleyCache-Adaptive AnalysisE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Monday22 - Monday
10:30Catalin HritcuEfficient Formally Secure Compilers to a Tagged ArchitectureG26 - MPI-SWS [KL]
111
SWS Colloquium
Hide details for 18 - Thursday18 - Thursday
13:00Attila KinaliFault-tolerant clock synchronization in hardwareE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Tuesday16 - Tuesday
13:00Pascal SchweitzerThe Graph Isomorphism problem: techniques from structural graph theory and canonical decompositionsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Monday15 - Monday
10:30Linh Thi Xuan PhanTiming Guarantees for Cyber-Physical SystemsG26 - MPI-SWS [KL]
111
SWS Colloquium
Hide details for 12 - Friday12 - Friday
16:00Oliver KlehmUser-Guided Scene Stylization using Efficient Rendering TechniquesE1 4 - MPI-INF
019
Promotionskolloquium
Hide details for 11 - Thursday11 - Thursday
13:00Stephan FriedrichsMetastability-Containing ArithmeticE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Tuesday9 - Tuesday
13:00Sebastian KrinningerApproximate Shortest Paths via Hop Sets: Distributed and Dynamic AlgorithmsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
15:30Reinhard MunzANON: Practical Privacy Preserving Data AnalyticsG26 - MPI-SWS [KL]
111
SWS Student Defence Talks - Qualifying Exam
Hide details for 4 - Thursday4 - Thursday
13:00Bojana KodricPrice of Anarchy for Mechanisms with AdmissionE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Wednesday3 - Wednesday
12:15Vera DembergComputational Modelling of Human Language ComprehensionE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 2 - Tuesday2 - Tuesday
11:00Oskar ELEKEfficient Methods for Physically-based Rendering of Participating MediaE1 4 - MPI-INF
019
Promotionskolloquium
13:00Sandy HeydrichImprovements in online bin packingE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Monday1 - Monday
12:05Jón Arnar TomassonPDE based image compressionE1 4 - MPI-INF
024
IMPRS Research Seminar
14:00Youngkyoon YangHand Gesture-based User Interface in Ubiquitous Virtual RealityE1 4 - MPI-INF
019
Talk
Hide details for January 2016January 2016
Hide details for 28 - Thursday28 - Thursday
13:00Omar DarwishMaster Seminar: Computing Balanced Flows via Parametric FlowsE1 4 - MPI-INF
024
AG1 Advanced Mini-Course
Hide details for 26 - Tuesday26 - Tuesday
13:00D1Group Meeting D1E1 4 - MPI-INF
024
AG1 Group Meeting
Hide details for 25 - Monday25 - Monday
12:05Maxat NukhayevArrakis: The Operating System In The Control PlaneE1 4 - MPI-INF
024
IMPRS Research Seminar
Hide details for 22 - Friday22 - Friday
11:00Prof. Justin ZobelA Measure of MismeasuresE1 4 - MPI-INF
024
MPI Colloquium Series Distinguished Speaker
Hide details for 13 - Wednesday13 - Wednesday
12:15Erik Jan van LeeuwenParameterized Algorithms and the Structure of NetworksE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 11 - Monday11 - Monday
11:00Zhaochun RenTime-aware Multi-Viewpoint Summarization of Multilingual Social Text StreamsE1 4 - MPI-INF
Rotunda - 433
AG5 Talk
16:15Luciano Del CorroMethods for Open Information Extraction and Sense Disambiguation on Natural Language TextE1 5 - MPI-SWS
029
Promotionskolloquium
Hide details for 6 - Wednesday6 - Wednesday
13:00Jacques-Henri JourdanVerasco, a formally verified C static analyzerG26 - MPI-SWS [KL]
111
SWS Colloquium
Hide details for 5 - Tuesday5 - Tuesday
10:30Amir Aminifar'Embedded Control Systems --- From Theory to Implementation'G26 - MPI-SWS [KL]
111
SWS Colloquium
Hide details for 4 - Monday4 - Monday
12:05Michaël Noël DivoProof Assistant and Formalization of "Types and Programming Languages" with Isabelle HOLE1 4 - MPI-INF
024
IMPRS Research Seminar
Hide details for December 2015December 2015
Hide details for 21 - Monday21 - Monday
11:00Jing HanRepresentation of Piecewise Biharmonic Surfaces Using Biquadratic and Bicubic B-splinesE1 4 - MPI-INF
019
AG4 Talk
15:00Bojan PepikjRicher Object Representations for Object Class Detection in Challenging Real-World ImagesE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for 18 - Friday18 - Friday
11:00Charalampos PapamanthouTrustworthy Computing with Untrusted ResourcesE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
15:00Zhongjie WANGPattern Search for VisualizationE1 4 - MPI-INF
0.19
Promotionskolloquium
Hide details for 17 - Thursday17 - Thursday
13:00Scott OwensThe CakeML verified compilerE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 16 - Wednesday16 - Wednesday
10:30Kathy GrayRigorous Acrchitectural Modelling for Production MultiprocessorsE1 5 - MPI-SWS
029
SWS Colloquium
14:00Tobias GüntherOpacity Optimization and Inertial Particles in Flow VisualizationE1 4 - MPI-INF
019
AG4 Talk
Hide details for 15 - Tuesday15 - Tuesday
10:30Robbert KrebbersThe C standard formalized in CoqE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 14 - Monday14 - Monday
12:00Akram El-KorashyLanguage-Based Information-Flow SecurityE1 4 - MPI-INF
024
IMPRS Research Seminar
16:00John WilmesThe Isomorphism Problem for Highly Regular Combinatorial ObjectsE1 4 - MPI-INF
024
Talk
Hide details for 11 - Friday11 - Friday
15:00Mohamed Amir YosefU-AIDA: A Customizable System for Named Entity Recognition, Classification, and DisambiguationE1 5 - MPI-SWS
0.29
Promotionskolloquium
Hide details for 10 - Thursday10 - Thursday
10:00Simon OlberdingFabricating Custom-Shaped Thin-Film Interactive SurfacesE1 7 - MMCI
0.01
Promotionskolloquium
Hide details for 9 - Wednesday9 - Wednesday
10:00Ahmed ELHAYEKMarker-less Motion Capture in General Scenes with Sparse Multi-camera SetupsE1 4 - MPI-INF
019
Promotionskolloquium
Hide details for 8 - Tuesday8 - Tuesday
10:30Aritra DharCLOTHO: Saving Programs from Malformed Strings and Incorrect String-HandlingE1 5 - MPI-SWS
029
SWS Colloquium
13:00Ruben BeckerA Novel Dual Ascent Algorithm for Solving the Min-Cost Flow ProblemE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Monday7 - Monday
12:05Gerhard WeikumGood Scientific PracticeE1 4 - MPI-INF
024
IMPRS Research Seminar
Hide details for 2 - Wednesday2 - Wednesday
12:15Krishna GummadiFairness and Transparency in Data-Driven Decision Making SystemsE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 1 - Tuesday1 - Tuesday
13:00Erik Jan van LeeuwenIndependent Set on H-free GraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for November 2015November 2015
Hide details for 26 - Thursday26 - Thursday
10:30Dr. Marco CaccamoImpact of Multicore on Cyber-Physical Systems: challenges andsolutionsE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
Hide details for 24 - Tuesday24 - Tuesday
13:00Vladimir ShikhmanComputation of Fisher-Gale equilibrium by auctionE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Monday23 - Monday
12:05Hosnieh SattarPrediction of search targets from fixations in open-world settingsE1 4 - MPI-INF
024
IMPRS Research Seminar
Hide details for 19 - Thursday19 - Thursday
10:30Dr. Suresh JagannathanDeclarative Programming for Eventual ConsistencyG26 - MPI-SWS [KL]
111
SWS Colloquium
13:00Stephan FriedrichsParallel Metric Tree Embedding based on an Algebraic View on Moore-Bellman-FordE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Monday16 - Monday
12:05Yusra IbrahimMaking Sense of Web TablesE1 4 - MPI-INF
024
IMPRS Research Seminar
Hide details for 11 - Wednesday11 - Wednesday
12:15Parinya ChalermsookBinary Search Trees, Precognition, and PatternsE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 9 - Monday9 - Monday
12:05Kashyap PopatExploring new feature space for Sentiment AnalysisE1 4 - MPI-INF
024
IMPRS Research Seminar
Hide details for 5 - Thursday5 - Thursday
13:00Claire MathieuAnalyzing the forest fire modelE2.1 Center for Bioinformatics
01
MPI Colloquium Series Distinguished Speaker
Hide details for 3 - Tuesday3 - Tuesday
13:00D!D1 Group MeetingE1 4 - MPI-INF
024
AG1 Group Meeting
Hide details for 2 - Monday2 - Monday
12:05Sreyasi Nag ChowdhuryWhy is Commonsense not so common?E1 4 - MPI-INF
024
IMPRS Research Seminar
Hide details for 1 - Sunday1 - Sunday
09: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
09: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
13:00Joel OuaknineDecision Problems for Linear Dynamical SystemsE1 4 - MPI-INF
024
MPI Colloquium Series Distinguished Speaker
15:00Soham ChakrabortyValidating Optimizations of Concurrent C/C++ ProgramsG26 - MPI-SWS [KL]
111
SWS Student Defence Talks - Qualifying Exam
18: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
09:00AkshitaMultimodal Affective Feedback: Role of HapticsE1 4 - MPI-INF
024
PhD Application Talk
09:00Alan SchoenUpdating Artificial Neural Networks: Translating Recent Discoveries about the Electrophysiology of Neurons into the Language of ComputationE1 4 - MPI-INF
024
PhD Application Talk
09:00Pedro Ascensão Ferreira MatiasNon-Preemptive Speed Scaling and Parallel Machine Scheduling with Job RestrictionsE1 4 - MPI-INF
024
PhD Application Talk
09:00Sherif Mohamed Hany Abdelalim Helmy ShehataUsing Mid- and High-Level Visual Features for Surgical Workflow Detection in Cholecystectomy ProceduresE1 4 - MPI-INF
024
PhD Application Talk
09:00Yanjie WangExplorations of the PATH Algorithm for Graph MatchingE1 4 - MPI-INF
024
PhD Application Talk
10:20Dilip Ariyur DuraiOptimising de novo transcriptome assemblyE1 4 - MPI-INF
024
PhD Application Talk
11:20Adrián Rebola PardoUnsatisfiability Proofs for Parity Reasoning in SATE1 4 - MPI-INF
024
PhD Application Talk
11:20Kailash BudhathokiCorrelation by CompressionE1 4 - MPI-INF
024
PhD Application Talk
11:20MadhumitaRecognizing Textual EntailmentE1 4 - MPI-INF
024
PhD Application Talk
11:20Panagiotis MandrosInformation-Theoretic Feature Selection for Continuous DataE1 4 - MPI-INF
024
PhD Application Talk
Hide details for 23 - Friday23 - Friday
10:00Dima DamenThe lifetime of an object – long-term monitoring of objectsE1 4 - MPI-INF
633 (sixth floor rotunda)
Talk
Hide details for 22 - Thursday22 - Thursday
10:30Salvatore RuggieriDiscrimination Data AnalysisE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 20 - Tuesday20 - Tuesday
13:30Pontus EkbergComplexity of the Scheduling Problem for Periodic Real-Time TasksG26 - MPI-SWS [KL]
113
SWS Colloquium
14:00Arpan GujaratiWhen is CAN the Weakest Link? A Bound on Failures-In-Time in CAN-Based Real-Time SystemsG26 - MPI-SWS [KL]
111
SWS Student Defence Talks - Qualifying Exam
Hide details for 16 - Friday16 - Friday
12:00Alexander WiederSpin Locks in Real-Time SystemsG26 - MPI-SWS [KL]
113
SWS Student Defence Talks - Thesis Proposal
13:00Marko DokoFSL: A Program Logic for C11 Memory FencesG26 - MPI-SWS [KL]
111
SWS Student Defence Talks - Qualifying Exam
Hide details for 15 - Thursday15 - Thursday
13:00Pankaj KhanchandaniAccurate and Robust Clock SynchronizationE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Thursday8 - Thursday
13:00Hang ZhouCorrelation Clustering and Two-edge-connected Augmentation for Planar GraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 7 - Wednesday7 - Wednesday
12:15Roland AngstChallenges in Image-Based 3D ReconstructionsE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 6 - Tuesday6 - Tuesday
13:00Sunil ChandranRainbow connection number of graphsE1 4 - MPI-INF
024
AG1 Advanced Mini-Course
Hide details for September 2015September 2015
Hide details for 28 - Monday28 - Monday
11:00Tomasz TylendaMethods and Tools for Summarization of Entities and Facts in Knowledge BasesE1 4 - MPI-INF
0.24
Promotionskolloquium
Hide details for 23 - Wednesday23 - Wednesday
14:00He SunConstructing Linear-Sized Spectral Sparsification in Almost-Linear TimeE1 4 - MPI-INF
333 Rotonda
AG1 Mittagsseminar (own work)
Hide details for 22 - Tuesday22 - Tuesday
13:00Bjoern AndresLifting of Multicuts and the Decomposition of Image and Mesh GraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Monday21 - Monday
13:00Christine RizkallahTrustworthy File SystemsE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 18 - Friday18 - Friday
09:00Christine RizkallahVerification of Program Computations (PhD-Defense)E1 4 - MPI-INF
024
Promotionskolloquium
14:00Deepak KapurA Quantifier- Elimination Heuristic for Octagonal ConstraintsG26 - MPI-SWS [KL]
112
SWS Colloquium
Hide details for 17 - Thursday17 - Thursday
10:00Irfan EssaVideo Analysis and Enhancement: Spatio-Temporal Methods for Extracting Content from Videos and Enhancing Video OutputE1 4 - MPI-INF
024
Talk
Hide details for 15 - Tuesday15 - Tuesday
10:00James CaverleeGeo-Social Footprints in Social Media: Opportunities and ChallengesE1 4 - MPI-INF
024
Talk
Hide details for 10 - Thursday10 - Thursday
13:00Jiemin ZengExact and Approximation Algorithms for Data Mule Scheduling in a Sensor NetworkE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 8 - Tuesday8 - Tuesday
13:00Shikha SinghRational Proofs with Multiple ProversE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Thursday3 - Thursday
13:00AG 1Group Meeting and CakeE1 4 - MPI-INF
024
AG1 Group Meeting
Hide details for 2 - Wednesday2 - Wednesday
12:15Jasmin Christian BlanchetteMaking Theorem Provers Easier to UseE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for August 2015August 2015
Hide details for 25 - Tuesday25 - Tuesday
13:00Davis IssacOnline Sampling with Minimal RandomnessE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 18 - Tuesday18 - Tuesday
13:00Ralf JungMonoids and Invariants as an Orthogonal Basis for Concurrent ReasoningE1 5 - MPI-SWS
029
SWS Student Defence Talks - Qualifying Exam
Hide details for 13 - Thursday13 - Thursday
13:00Andreas WieseOn guillotine cutting sequencesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Wednesday12 - Wednesday
13:00Christoph LenzenERC prep talkE1 4 - MPI-INF
024
Talk
Hide details for 11 - Tuesday11 - Tuesday
13:00Paul DüttingAlgorithms as Mechanisms: The Price of Anarchy of Relax-and-RoundE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Thursday6 - Thursday
13:00Andreas WieseHow to tame rectanglesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Wednesday5 - Wednesday
12:15Piotr DidykPerceptually-driven Inputs for New Output DevicesE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for July 2015July 2015
Hide details for 30 - Thursday30 - Thursday
10:30Alexandre ChapiroPerceptual Enhancements for 3D DisplaysE1 4 - MPI-INF
019
AG4 Talk
Hide details for 29 - Wednesday29 - Wednesday
14:00Jiri FilipAnisotropic Material Appearance: Acquisition and ModellingE1 4 - MPI-INF
019
Talk
Hide details for 28 - Tuesday28 - Tuesday
13:00Lila FontesTrading Privacy for CommunicationE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Thursday23 - Thursday
13:00Thatchaphol SaranurakUnifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication ConjectureE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 22 - Wednesday22 - Wednesday
14:00Gregor SneltingA New Algorithm For Probabilistic NoninterferenceE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
Hide details for 16 - Thursday16 - Thursday
13:00Keerti ChoudharyFault Tolerant Reachability Subgraph : Generic and OptimalE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Tuesday14 - Tuesday
13:00Shahbaz KhanDynamic DFS Tree in Undirected Graphs: breaking the O(m) barrierE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:15Andreas LochbihlerMaking the Java memory model safeE1 5 - MPI-SWS
002
Talk
Hide details for 10 - Friday10 - Friday
11:00Patrick McDanielSix Years of Mobile Smartphone SecurityE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
Hide details for 9 - Thursday9 - Thursday
10:00Yafang WangResearch after MPIE1 4 - MPI-INF
433
AG5 Talk
13:00Shay MoranSample compression schemes for VC classesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Jay PujaraProbabilistic Soft LogicE1 4 - MPI-INF
433
AG5 Talk
Hide details for 8 - Wednesday8 - Wednesday
16: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 - MPI-INF
024
MPI Colloquium Series Distinguished Speaker
Hide details for 3 - Friday3 - Friday
09:30Ali PourmiriPhD Thesis DefenseMMCI
001
Promotionskolloquium
Hide details for 2 - Thursday2 - Thursday
13:00Mabel Iglesias-HamMultiple Covers with Balls: Inclusion-ExclusionE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Wednesday1 - Wednesday
12:15Christoph LenzenFast Approximate Max Flow ComputationE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for June 2015June 2015
Hide details for 30 - Tuesday30 - Tuesday
13:00Sayan BhattacharyaDeterministic Fully Dynamic Data Structures for Vertex Cover and MatchingE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 29 - Monday29 - Monday
13:00Brittany Terese FasyComparing Road Networks: An Application of TDAE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Friday26 - Friday
10:30Dr. Arne Hamann''Timing-Aware Control Software Design for Automotive Systems''G26 - MPI-SWS [KL]
112
SWS Colloquium
Hide details for 24 - Wednesday24 - Wednesday
13:00Muhammad Bilal ZafarOn Leveraging the Wisdom of Crowdsourced ExpertsE1 5 - MPI-SWS
029
SWS Student Defence Talks - Qualifying Exam
13:00Pedro FonsecaEffective Testing for Concurrency BugsE1 5 - MPI-SWS
029
SWS Student Defence Talks - Thesis Defense
Hide details for 23 - Tuesday23 - Tuesday
11:00Dr. Jannik StroetgenEvent-centric Information RetrievalE1 4 - MPI-INF
533
AG5 Talk
Hide details for 22 - Monday22 - Monday
09:00Chuong H. NguyenData-driven Approaches for Interactive Appearance EditingE1 4 - MPI-INF
019
Promotionskolloquium
11:00Dr. Rishiraj Saha RoyUnsupervised Query Segmentation: Algorithms and EvaluationE1 4 - MPI-INF
533
AG5 Talk
Hide details for 19 - Friday19 - Friday
15:00Adrian NeumannPhD Thesis DefenseE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Wednesday17 - Wednesday
10:00Herbert Bos50 Shades of CRE (Code Reuse Exploits)E1 5 - MPI-SWS
002
CISPA Distinguished Lecture Series
Hide details for 16 - Tuesday16 - Tuesday
13:00Ragesh JaiswalFaster Algorithms for the Constrained k-means ProblemE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Monday15 - Monday
12:05Luis Enrique Ramirez ChavezMulti-Objective Evolutionary Algorithms for BioinformaticsE1 4 - MPI-INF
024
IMPRS Research Seminar
Hide details for 11 - Thursday11 - Thursday
13:00Andreas WieseOn Approximating Storage Allocation Problems as Good as Their SiblingsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Tuesday9 - Tuesday
11:00Clemens Birklbauer and David SchedlWide-field-of-view light-field processing and coded samplingE1 4 - MPI-INF
019
AG4 Talk
13:00Amit KumarGreedy Algorithms for Steiner ForestE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 3 - Wednesday3 - Wednesday
12:15Deepak GargTypes for Incremental Computational ComplexityE1 5 - MPI-SWS
002
Joint Lecture Series
14:00Nigel SmartComputing on Encrypted DataE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
Hide details for 2 - Tuesday2 - Tuesday
13:00Christoph LenzenFast Approximate Max Flow ComputationE1 4 - MPI-INF
024
Probevortrag
Hide details for May 2015May 2015
Hide details for 28 - Thursday28 - Thursday
13:00Dr. Sergey PolyakovskiyPacking While TravelingE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 26 - Tuesday26 - Tuesday
13:00Navid TalebanfardThe Strong Exponential Time Hypothesis for Structured Algorithms through Games and the Multiplicity of StrategiesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Thursday21 - Thursday
14:00Markus SteinbergerDynamic Task-based GPU SchedulingE1 4 - MPI-INF
0.19
AG4 Talk
Hide details for 19 - Tuesday19 - Tuesday
13:00Vitaliy KurlinHomologically Persistent Skeleton in Computer Vision and beyondE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 15 - Friday15 - Friday
13:00Prof. Frank NeumannOn the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan SchedulingE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 11 - Monday11 - Monday
10:00Abhishek SharmaJoint Co-localisation and Co-segmentationE1 4 - MPI-INF
633
Talk
Hide details for 8 - Friday8 - Friday
18:00Three-Day WorkshopStartup Weekend Saarbrücken (May 8-10, 2015)A3 3 - Aula Universität
ground floor
Miscellaneous
Hide details for 7 - Thursday7 - Thursday
13:00Bundit LaekhanukitParameters of Two-Prover-One-Round Game and The Hardness of Connectivity ProblemsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 6 - Wednesday6 - Wednesday
12:15Andreas KellerDetecting Microbial Resistance Against AntibioticsE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 5 - Tuesday5 - Tuesday
13:00D!D1 Group Meeting, Preparation of SAB-VisitE1 4 - MPI-INF
024
AG1 Group Meeting
Hide details for 4 - Monday4 - Monday
09:15Azin GhazimatinTeam Selection for Prediction TasksE1 4 - MPI-INF
024
PhD Application Talk
09:15Mohamed Gad-ElrabAdapting Named Entity Disambiguation for Arabic TextE1 4 - MPI-INF
024
PhD Application Talk
09:15Nesma El KalaawyA Reaction-Diffusion Master Equation-Based Method for the Modeling and Simulation of Biochemical PathwaysE1 4 - MPI-INF
024
PhD Application Talk
11:00Hyunyoung KimGesture-Recognition Interface with Keyboard Embedded IR ModulesE1 4 - MPI-INF
024
PhD Application Talk
11:00Mehdi NorooziIndoor Scene 3D Layout and Clutter Estimation from RGBD ImagesE1 4 - MPI-INF
024
PhD Application Talk
Hide details for April 2015April 2015
Hide details for 30 - Thursday30 - Thursday
14:00Boris KöpfRational Protection Against Timing AttacksE1 5 - MPI-SWS
002
Talk
Hide details for 29 - Wednesday29 - Wednesday
16:00Christian HollerSecurity Testing at MozillaE1 5 - MPI-SWS
Lecture hall
Talk
Hide details for 28 - Tuesday28 - Tuesday
10:00Philipp KrähenbühlLearning to propose objectsE1 4 - MPI-INF
633
Talk
15:00Wolfgang HeidrichUnconventional Uses for Time-of-Flight Cameras - Transient Imaging and BeyondE1 4 - MPI-INF
019
Talk
Hide details for 22 - Wednesday22 - Wednesday
14:00Vamsi Kiran AdhikarlaLight Field Rendering and InteractionE1 4 - MPI-INF
019
Talk
Hide details for 21 - Tuesday21 - Tuesday
13:00Benjamin DoerrRandomized Rumor Spreading RevisitedE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 20 - Monday20 - Monday
10:00Stephan SeufertAlgorithmic Building Blocks for Relationship Analysis over Large GraphsE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for 16 - Thursday16 - Thursday
13:00Prof. Frauke LiersExact Approaches for Air Traffic Management ProblemsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 14 - Tuesday14 - Tuesday
13:00Michael KerberSemi-dynamic connectivity in the planeE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 10 - Friday10 - Friday
10:00Prof. Dr. Peter BonczEmergent Structures in Knowledge GraphsE1 4 - MPI-INF
024
Lecture
Hide details for 9 - Thursday9 - Thursday
10:00Dr. Pei LiSeries Discovery with Missing and Erroneous ValuesE1 4 - MPI-INF
433
AG5 Talk
Hide details for 7 - Tuesday7 - Tuesday
13:00Abhinav AnandFoster-Hart Risk and the Too-Big-to-Fail Banks: An Empirical InvestigationE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
15:30Pramod BhatotiaIncremental Parallel and Distributed SystemsE1 5 - MPI-SWS
029
SWS Student Defence Talks - Thesis Defense
Hide details for 2 - Thursday2 - Thursday
13:00Philipp Klodtk-Cycle Free Two-Matchings from Half-Integral Subtour LP-Solutions (Master Seminar)E1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 1 - Wednesday1 - Wednesday
10:30Simon PeterBuilding an Operating System for the Data CenterE1 5 - MPI-SWS
29
SWS Colloquium
Hide details for March 2015March 2015
Hide details for 30 - Monday30 - Monday
10:30David WolinskyTracking Resistance with DissentE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 27 - Friday27 - Friday
10:00Joel RybickiTowards Optimal Synchronous CountingE1 4 - MPI-INF
022
Talk
Hide details for 26 - Thursday26 - Thursday
10:30Ankit SinglaJellyfish: Networking Data Centers, RandomlyE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 24 - Tuesday24 - Tuesday
11:00Georg MoserWeighted Automata Theory for Complexity Analysis of Rewrite SystemsE1 4 - MPI-INF
024
Talk
16:00Luis Francisco ZilianiInteractive Typed Tactic Programming in the Coq Proof AssistantE1 5 - MPI-SWS
029
SWS Student Defence Talks - Thesis Defense
Hide details for 20 - Friday20 - Friday
09:30Chandan SahaMulti-k-ic depth three circuit lower boundE2.1
001
Talk
11:00Pascal KoiranLower bounds for sums of powers of low degree univariatesE2.1
001
Talk
Hide details for 19 - Thursday19 - Thursday
09:30Neeraj KayalTBAE2.1
001
Talk
11:00Guillaume MalodLower bounds for non-commutative skew circuitsE2.1
001
Talk
Hide details for 18 - Wednesday18 - Wednesday
09:30Ignacio Garcia MarcoLong-Concavity and Lower bounds for arithmetic circuitsE2.1
001
Talk
11:00Daniel KönigPolynomial identity testing in coRNC for powerful skew circuitsE2.1
001
Talk
Hide details for 17 - Tuesday17 - Tuesday
09:30Ben Lee Volk/Amir ShpilkaSubexponential Size HItting Sets for Bounded Depth Multilinear FormulasE2.1
001
Talk
11:00Rahul SanthanamBoolean vs AlgebraicE2.1
0001
Talk
13:00Don SheehyPersistent Nerves in Topological Inference and Data AnalysisE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 16 - Monday16 - Monday
09:30Michael ForbesPolynomial Identity Testing via Shifted Partial DerivativesE2.1
001
Talk
11:00Ramprasad SaptharishiDepth Reduction in arithmetic circuitsE2.1
001
Talk
Hide details for 11 - Wednesday11 - Wednesday
13:00Jukka SuomelaMedian Filtering is Equivalent to SortingE1 4 - MPI-INF
024
Talk
Hide details for 10 - Tuesday10 - Tuesday
13:00Moti MedinaDistributed Maximum Matching in Bounded Degree GraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 9 - Monday9 - Monday
11:00Reut LeviA Quasi-Polynomial Time Partition Oracle for Graphs with an Excluded MinorE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Leonidas GuibasNetworks of Shapes and ImagesE1 4 - MPI-INF
R 0.19
Talk
Hide details for 5 - Thursday5 - Thursday
13:00D1D1 Group MeetingE1 4 - MPI-INF
024
AG1 Group Meeting
Hide details for 4 - Wednesday4 - Wednesday
12:15Michael KerberThe Persistent Homology Pipeline: Shapes, Computations, and ApplicationsE1 5 - MPI-SWS
002
Joint Lecture Series
14:30IT InkubatorKick-off event on 4 March 2015A3 3 - Aula Universität
(ground floor)
Kick-Off Event
Hide details for 3 - Tuesday3 - Tuesday
13:00Tereza KlimosovaInfinite dimensional finitely forcible graphonE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 2 - Monday2 - Monday
10:30Deian StefanPrincipled and Practical Web Application SecurityE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for February 2015February 2015
Hide details for 26 - Thursday26 - Thursday
10:30Aniket KateMinimal Trusted Hardware Assumptions for Privacy-Preserving SystemsE1 5 - MPI-SWS
029
SWS Colloquium
13:00Hang ZhouGraph Reconstruction and VerificationE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 24 - Tuesday24 - Tuesday
11:00Hannah BastSemantic Search: Past, Present, FutureE1 4 - MPI-INF
024
MPI-Kolloquium
13:00Yun Kuen CheungAsynchronous Market Dynamics and Asynchronous Gradient DescentE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 23 - Monday23 - Monday
09:00Anurag PandeyTesting Algebraic Independence of Polynomials over Finite FieldsE1 4 - MPI-INF
r024
PhD Application Talk
09:00Hosnieh SattarPrediction of search targets from fixations in open-world settingsE1 4 - MPI-INF
R024
PhD Application Talk
09:00Kireeti BoddunaEfficient Noise Elimination Algorithms for Images and GraphicsE1 4 - MPI-INF
r024
PhD Application Talk
09:00Sreyasi Nag ChowdhuryContextual Media Retrieval Using Natural Language QueriesE1 4 - MPI-INF
r024
PhD Application Talk
09:00Yang HePedestrian Detection and Online Tracking from Monocular ImagesE1 4 - MPI-INF
R024
PhD Application Talk
11:20Abdalghani AbujabalMining Past, Present, and FutureE1 4 - MPI-INF
r024
PhD Application Talk
11:20Azim Dehghani AmirabadModels to predict miRNAs-transcript target interactionsE1 4 - MPI-INF
r024
PhD Application Talk
11:20Kashyap PopatLeveraging Unlabelled Corpora for Sentiment AnalysisE1 4 - MPI-INF
r024
PhD Application Talk
11:20Neha WarikooRegulatory network of fadr – crp in Mycobacterium tuberculosis: A computational approachE1 4 - MPI-INF
r024
PhD Application Talk
11:20Tim KehlGeneTrail2 - A comprehensive web service for enrichment analysisE1 4 - MPI-INF
r024
PhD Application Talk
13:00Moti MedinaDistributed Maximum Matching in Bounded Degree GraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
15:00Cheng LiBuilding fast and consistent replicated systems: from principles to practiceE1 5 - MPI-SWS
029
SWS Student Defence Talks - Thesis Proposal
Hide details for 19 - Thursday19 - Thursday
10:30Laura BrandimartePrivacy, Security, and Online Disclosures:Combining HCI and Behavioral Science to Design Visceral Cues for Detection of Online ThreatsE1 5 - MPI-SWS
029
SWS Colloquium
14:00Bart PreneelCryptography and Information Security in the post-Snowden eraE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
Hide details for 17 - Tuesday17 - Tuesday
10:30Dr. Eva DarulovaProgramming with Numerical UncertaintiesE1 5 - MPI-SWS
029
SWS Colloquium
13:00M.-F. RoyTalk by M.F. Roy on Hilbert's 17th problem HAS BEEN CANCELEDE1 4 - MPI-INF
024
AG1 Mittagsseminar (others' work)
14:00Jens-Matthias BohliOutsourced Proofs of RetrievabilityE1 5 - MPI-SWS
029
Talk
Hide details for 13 - Friday13 - Friday
13:30Vladlen KoltunReconstructing Complete 3D Models from Single ImagesE1 4 - MPI-INF
R 0.19
Talk
Hide details for 12 - Thursday12 - Thursday
10:30Johannes HoffartDiscovering and Disambiguating Named Entities in TextE1 5 - MPI-SWS
0.29
Promotionskolloquium
14:00Wolfgang NejdlALEXANDRIA - Temporal Retrieval, Exploration and Analytics in Web archives - Asking Humans for HelpE1 5 - MPI-SWS
0.29
MPI-Kolloquium
Hide details for 10 - Tuesday10 - Tuesday
13:00Reza SaeiMaximal Induced Matchings in Triangle-Free GraphsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 5 - Thursday5 - Thursday
11:00Miguel CostaInformation Search in Web ArchivesE1 4 - MPI-INF
433
AG5 Talk
14:00Felix FreilingGovernmental IT Intrusions for Law Enforcement: State of the Art andAlternativesE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
Hide details for 4 - Wednesday4 - Wednesday
12:15Andreas BullingThere is more to gaze than meets the eye: novel uses of gaze in context-aware computing and human-computer interactionE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 2 - Monday2 - Monday
14:00Hannah BastCANCELED: Semantic Search: Past, Present, FutureE1 4 - MPI-INF
024
MPI-Kolloquium
Hide details for January 2015January 2015
Hide details for 30 - Friday30 - Friday
14:00Oliver BimberTowards a transparent and flexible image sensorE1 4 - MPI-INF
019
Talk
Hide details for 29 - Thursday29 - Thursday
14:00Prof. Dr. Heiko MantelReliable Security Guarantees for Concurrent Programs: Pitfalls, Solutions and ChallengesE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
Hide details for 26 - Monday26 - Monday
10:30Alessandro PanconesiTrace Complexity of Information DiffusionG26 - MPI-SWS [KL]
112
SWS Distinguished Lecture Series
Hide details for 22 - Thursday22 - Thursday
10:00Pankaj KhanchandaniApproximate AgreementE1 4 - MPI-INF
023
ToDS Group Meeting
13:15Monika HenzingerDynamic Graph Algorithms - Upper and Lower BoundsE1 4 - MPI-INF
024
INF Distinguished Lecture Series
14:00Prof. Dr. David BasinEnforceable Security PoliciesE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
Hide details for 20 - Tuesday20 - Tuesday
13:00Yin Tat LeeA Faster Algorithm for Linear Programming and the Maximum Flow ProblemE1 4 - MPI-INF
024
Talk
Hide details for 17 - Saturday17 - Saturday
13:00M.F. RoyTALK BY M.F. ROY ON HILBERT's 17TH PROBLEM HAS BEEN CANCELEDE1 4 - MPI-INF
024
AG1 Mittagsseminar (others' work)
Hide details for 16 - Friday16 - Friday
13:00Jara UittoHow Many Ants Does It Take To Find the Food?E1 4 - MPI-INF
024
Talk
16:00Bimal ViswanathReasoning about trustworthiness of identities in social computing systemsE1 5 - MPI-SWS
029
SWS Student Defence Talks - Thesis Proposal
Hide details for 15 - Thursday15 - Thursday
10:00Matthias FüggerFault-tolerant on-chip tick generationE1 4 - MPI-INF
023
ToDS Group Meeting
13:00He SunHeat Kernel in Graphs: Our UnderstandingE1 4 - MPI-INF
024
Talk
14:00Prof. Dr. Ueli MaurerConstructive Cryptography and Modular Protocol DesignE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
Hide details for 13 - Tuesday13 - Tuesday
13:00Luca ZanettiMultiway partitioning of well-clustered graphs (SPOILER ALERT: spectral clustering works!)E1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 12 - Monday12 - Monday
11:00Daniel KönigPolynomial identity testing in coRNC for powerful skew circuitsE2.1
001
Talk
11:00Daniel KönigPolynomial identity testing in coRNC for powerful skew circuitsE2.1
001
Talk
11:00Guillaume MalodLower bounds for non-commutative skew circuitsE1 4 - MPI-INF
024
AG1 Advanced Mini-Course
11:00Ramprasad SaptharishiDepth Reduction in arithmetic circuitsE2.1
001
Talk
Hide details for 9 - Friday9 - Friday
10:00Andrew TomkinsAnalyzing Dynamics of Choice among Discrete AlternativesE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
15:00Hans BoehmPutting Threads on a Solid Foundation: Some Remaining IssusG26 - MPI-SWS [KL]
111
SWS Distinguished Lecture Series
Hide details for 8 - Thursday8 - Thursday
10:00Matthias FüggerTowards Dependable Large-scale Circuits: Fault-Tolerant Tick-GenerationE1 4 - MPI-INF
023
AG1 Group Meeting
Hide details for 7 - Wednesday7 - Wednesday
12:15Manuel Gomez RodriguezShaping Social Activity by Incentivizing UsersE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 2 - Friday2 - Friday
11:00Jiemin ZengTBAE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for December 2014December 2014
Hide details for 22 - Monday22 - Monday
09:30Foteini AlvanakiMining interesting events on large and dynamic dataE1 4 - MPI-INF
024
Promotionskolloquium
Hide details for 19 - Friday19 - Friday
13:00Alexey GotsmanFormalising and Optimising Parallel Snapshot IsolationG26 - MPI-SWS [KL]
111
SWS Colloquium
Hide details for 17 - Wednesday17 - Wednesday
12:30Karl BringmannPhD Defense Karl BringmannE1 4 - MPI-INF
024
Promotionskolloquium
15:00Angelika StegerAn algorithmic framework for obtaining lower bounds for random Ramsey problemsE1 5 - MPI-SWS
029
AG1 Mittagsseminar (own work)
Hide details for 16 - Tuesday16 - Tuesday
13:00Erik Jan van Leeuwen & Parinya ChalermsookHighlights from FOCS 2014E1 4 - MPI-INF
024
AG1 Mittagsseminar (others' work)
Hide details for 15 - Monday15 - Monday
14:00Azalea RaadCoLoSL: Concurrent Local Subjective LogicE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 12 - Friday12 - Friday
13:00Shay MoranSign rank, VC dimension and spectral gapsE1 4 - MPI-INF
024
AG1 Advanced Mini-Course
14:00Filip NiksicAn SMT-Based Approach to Coverability AnalysisG26 - MPI-SWS [KL]
111
SWS Student Defence Talks - Qualifying Exam
14:00Stephan MicklitzGoogle Identity, Account Management and Privacy ToolsE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
Hide details for 11 - Thursday11 - Thursday
13:00Ankit SharmaMultiway cutE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Catuscia PalamidessiNew Advances in Quantitative Information FlowE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
Hide details for 9 - Tuesday9 - Tuesday
11:30KyoungSoo ParkScaling TCP performance for multicore systemsE1 5 - MPI-SWS
029
SWS Colloquium
13:00Kurt MehlhornGroup MeetingE1 4 - MPI-INF
024
AG1 Group Meeting
Hide details for 5 - Friday5 - Friday
13:30Michael W. HicksAuthenticated Data Structures, GenericallyE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 4 - Thursday4 - Thursday
13:00Joel RybickiLarge Cuts with Local AlgorithmsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Istemi Ekin AkkusTowards Non-tracking Web and Mobile AnalyticsG26 - MPI-SWS [KL]
112
SWS Student Defence Talks - Thesis Proposal
Hide details for 3 - Wednesday3 - Wednesday
12:15Tobias MarschallAlgorithmic Challenges in Computational GenomicsE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 2 - Tuesday2 - Tuesday
13:00Florian PausingerApproximation of intrinsic volumesE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for November 2014November 2014
Hide details for 28 - Friday28 - Friday
11:00Christian KURZConstrained Camera Motion Estimation and 3D ReconstructionE1 4 - MPI-INF
0.19
Promotionskolloquium
11:00Prof. Dr. Adrian PerrigExciting Security Research Opportunity: Next-generation InternetE1 5 - MPI-SWS
0.02
CISPA Distinguished Lecture Series
Hide details for 26 - Wednesday26 - Wednesday
11:00Robert WestExploiting Social Network Structure for Person-to-Person Sentiment AnalysisE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 25 - Tuesday25 - Tuesday
13:00Jugal GargLeontief Exchange Markets Can Solve Multivariate Polynomial Equations, Yielding FIXP and ETR HardnessE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 21 - Friday21 - Friday
15:00Aastha MehtaThoth: Practical Data flow protection in a search engineE1 5 - MPI-SWS
422
SWS Student Defence Talks - Qualifying Exam
Hide details for 20 - Thursday20 - Thursday
13:00Stephan WengerRegularized optimization methods for reconstruction and modeling in computer graphicsE1 4 - MPI-INF
019
AG4 Talk
13:00Valia MitsouThe computational complexity of two card games with theoretical applicationsE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
14:00Dr. Marc FischlinCryptographic Standards vs. Cryptographically Secure StandardsE1 5 - MPI-SWS
002
CISPA Distinguished Lecture Series
14:00Scott Kilpatrickmhmm: Making Haskell More ModularE1 5 - MPI-SWS
029
SWS Student Defence Talks - Thesis Proposal
Hide details for 18 - Tuesday18 - Tuesday
11:00Eric HeitzMulti-scale appearance for realistic and efficient rendering of complex surfacesE1 4 - MPI-INF
019
AG4 Talk
13:00Eunjung KimAlgorithmic Applications of Tree-Cut WidthE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
Hide details for 17 - Monday17 - Monday
10:30Marcos K. AguileraYesquel: scalable SQL storage for Web applicationsE1 5 - MPI-SWS
029
SWS Distinguished Lecture Series
13:15Pascal VincentLearning representations with autoencoders: a brief overview and a few novel perspectivesE1 4 - MPI-INF
024
Talk
14:00Oksana DenysyukRandomized Solutions to Renaming under Crashes and Byzantine FaultsE1 5 - MPI-SWS
029
SWS Colloquium
Hide details for 13 - Thursday13 - Thursday
13:00D1D1 Group MeetingE1 4 - MPI-INF
024
AG1 Group Meeting
13:00Prof. Baoquan ChenUrban Sensing and VisualizationE1 4 - MPI-INF
019
Talk
Hide details for 12 - Wednesday12 - Wednesday
10:30Rachid GuerraouiGeneralized UniversalityG26 - MPI-SWS [KL]
111
SWS Distinguished Lecture Series
Hide details for 11 - Tuesday11 - Tuesday
11:30Anne-Marie KermarrecScalable personalization infrastructuresE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
18:00Prof. Dr. Michael BackesWenn Maschinen zu smart werden - Wie sicher sind unsere Daten?E1 5 - MPI-SWS
002
Panel Discussion
Hide details for 10 - Monday10 - Monday
11:15Roger WattenhoferNetwork Complexity & Complex NetworksE 1.5
002
INF Distinguished Lecture Series
Hide details for 6 - Thursday6 - Thursday
10:00Ilya ReshetouskiKaleidoscopic ImagingE1 4 - MPI-INF
019
Promotionskolloquium
13:00Dr. Kai LawonnIllustrative Visualization of Medical Data SetsE1 4 - MPI-INF
019
Talk
Hide details for 5 - Wednesday5 - Wednesday
10:30Ingmar WeberUsing Twitter to study Food Consumption and Fitness BehaviorE1 5 - MPI-SWS
029
SWS Colloquium
12:15Christian RossowAmplification DDoS: Abusing 30-Year-Old Internet Protocols for Denial-of-Service AttacksE1 5 - MPI-SWS
002
Joint Lecture Series
Hide details for 4 - Tuesday4 - Tuesday
15:30Noah SmithMachine Learning about People from their LanguageE1 5 - MPI-SWS
002
SWS Distinguished Lecture Series
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 12 - Tuesday12 - Tuesday
15:00Viktor ErdélyiA Privacy-Preserving Platform for Context-Aware Mobile Social ApplicationsE1 5 - MPI-SWS
029
SWS Student Defence Talks - Qualifying Exam
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 Distinguished Lecture Series
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:00He SunTBAE1 4 - MPI-INF
024
AG1 Mittagsseminar (own work)
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