MPI-INF Logo
Campus Event Calendar
  • Home
  • Campus Event Calendar

Calendar

 


Previous Page | Next Page | Show: 1day | 2 days | 1 week | 2 weeks | 1 month | year


Calendar IconMarch 2014
MondayTuesdayWednesdayThursdayFridaySaturdaySunday
24
10:30-11:30Accepted invitation IconProf. Alin Deutsch: "Decidable Verification of Database-powered Business Processes"
G26 - 111
25
26
11:30-12:30Accepted invitation IconMs. Foteini Baldimtsi: "Privacy Preserving Technologies and an Application to Public Transit Systems"
E1 5 - 029
11:30-12:30Accepted invitation IconFoteini Baldimtsi, : "Privacy Preserving Technologies and an Application to Public Transit Systems"
E1 5 - 029
27
10:30-11:30Accepted invitation IconProf. Viktor Kuncak: "Automating Construction of Provably Correct Software"
E1 5 - 002
13:00-13:30Accepted invitation IconRuben Becker: "A Combinatorial Interior Point Method for Min-Cost Flow"
E1 4 - 024
28
1
2
3
4
10:30-11:30Accepted invitation IconHongseok Yang: "How to find a good program abstraction automatically?"
E1 5 - 002
11:00-11:30Accepted invitation IconMegha Khosla: "Multiple Choice Allocations with Small Maximum Loads"
E1 4 - 024
5
12:15-13:15Accepted invitation IconViktor Vafeiadis: "Formal Reasoning about Relaxed Concurrency"
E1 5 - 002
6
11:30-13:00Accepted invitation IconJulian McAuley: "Machine Learning for Social Systems: Modeling Opinions, Activities, and Interactions"
G26 - 113
14:15-15:15Accepted invitation IconAnja Feldmann: "On the importance of Internet eXchange Points for today's Internet ecosystem"
E1 5 - 002
7
13:00-13:45Accepted invitation IconShay Moran: "TBD"
E1 4 - 024
8
9
10
10:30-12:00Accepted invitation IconI-Ting Angelina Lee: "Linguistic and System Support for Structured Parallel Programming"
G26 - 113
11
13:00-13:30Accepted invitation IconShay Moran: "Direct Sum Fails for Zero Error Average Communication"
E1 4 - 024
12
10:30-12:00Accepted invitation IconBryan Ford: "Can You Hide in an Internet Panopticon?"
G26 - 113
13
10:30-12:00Accepted invitation IconManuel Gomez Rodriguez: "Structure and Dynamics of Diffusion Networks"
G26 - 113
14:15-15:15Accepted invitation IconSusanne Albers: "Energy-Efficient Algorithms"
E1 4 - 024
14
15
16
17
18
19
10:00-11:00Accepted invitation IconHerrn Arjun Jain, B.Sc.: "Data-driven Methods for Interactive Visual Content Creation and Manipulation"
E1 4 - 019
20
11:30-12:30Accepted invitation IconDr. Muhammad Rizwan Asghar: "Privacy Preserving Enforcement of Sensitive Policies in Distributed Environments"
E1 5 - 0.29
13:15-14:00Accepted invitation IconPhilipp Urban: "Measuring the Difference between Color-Images"
E1 4 - 019
14:30-15:30Accepted invitation IconProf. Dr. Matthew Smith: "Usable Security & Privacy: A multi-level perspective"
E1 4 - 0.24
21
22
23
24
10:10-11:10Accepted invitation IconMeena Mahajan: "The quest for VP-completeness"
E2 1 - Bioinformatik - 001
10:30-12:00Accepted invitation IconStefan Goeller: "Equivalence checking of stack-based infinite-state systems"
G26 - 113
11:40-12:40Accepted invitation IconChris Umans: "Approaches to bounding the exponent of matrix multiplication"
E2 1 - Bioinformatik - 001
14:15-15:15Accepted invitation IconLise Getoor: "Scalable Collective Inference using Probabilistic Soft Logic"
E1 4 - 024
25
10:00-11:00Accepted invitation IconPeter Bro Miltersen: "Real algebraic geometry in computational complexity"
E2 1 - Bioinformatik - 001
11:30-12:30Accepted invitation IconMichael Sagraloff: "Near-optimal Algorithms for Computing Real Roots of a Polynomial"
E2 1 - Bioinformatik - 001
14:00-17:00Accepted invitation IconAnkit Gupta: "Approaching the chasm at depth four"
E2 1 - Bioinformatik - 001
14:00-17:00Accepted invitation IconMichael Forbes: "Approaching the chasm at depth four"
E2 1 - Bioinformatik - 001
26
11:30-12:30Accepted invitation IconThomas Thierauf: "Counting the number of perfect matchings in K5-free graphs"
E2 1 - Bioinformatik - 001
27
10:00-11:00Accepted invitation IconPascal Koiran: "A τ-conjecture for Newton polygons."
E2 1 - Bioinformatik - 001
10:30-12:00Accepted invitation IconCezara Dragoi: "Logic-based frameworks for automated verification of programs with dynamically allocated data structures"
G26 - 113
11:30-12:30Accepted invitation IconNitin Saxena: "Towards hitting-sets for multilinear depth-3 circuits"
E2 1 - Bioinformatik - 001
13:00-13:30Accepted invitation IconLena Karos: "Estimation of Expectations and Applications (Bachelor Thesis)"
E1 4 - 024
28
10:00-11:00Accepted invitation IconNeeraj Kayal: "Lower Bounds for Homogeneous Low Depth Formulas"
E2 1 - Bioinformatik - 001
11:30-12:30Accepted invitation IconV Arvind: "Lower bounds for multiplicative and linear circuits in noncommutative domains"
E2 1 - Bioinformatik - 001
12:00-13:00Accepted invitation IconDr. Dalia Daoud Suleiman Khader: "Proving Pret a Voter Receipt Free in the Computational Models"
E1 5 - 0.29
29
30
31
1
13:00-13:30Accepted invitation IconAG 1: "AG1 Group Meeting"
E1 4 - 024
2
12:15-13:15Accepted invitation IconVerena Wolf: "A hybrid moment closure approach to stochastic chemical kinetics"
E1 5 - 002
3
10:30-12:00Accepted invitation IconDevdatta Akhawe: "Towards a Secure Client-side for the Web Platform"
G26 - 113
4
5
6