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 IconDecember 2015
MondayTuesdayWednesdayThursdayFridaySaturdaySunday
30
1
13:00-13:30Accepted invitation IconErik Jan van Leeuwen: "Independent Set on H-free Graphs"
E1 4 - 024
2
12:15-13:15Accepted invitation IconKrishna Gummadi: "Fairness and Transparency in Data-Driven Decision Making Systems"
E1 5 - 002
3
4
5
6
7
12:05-13:05Accepted invitation IconGerhard Weikum: "Good Scientific Practice"
E1 4 - 024
8
10:30-11:30Accepted invitation IconAritra Dhar: "CLOTHO: Saving Programs from Malformed Strings and Incorrect String-Handling"
E1 5 - 029
13:00-13:30Accepted invitation IconRuben Becker: "A Novel Dual Ascent Algorithm for Solving the Min-Cost Flow Problem"
E1 4 - 024
9
10:00-11:00Accepted invitation IconAhmed ELHAYEK: "Marker-less Motion Capture in General Scenes with Sparse Multi-camera Setups"
E1 4 - 019
10
10:00-11:00Accepted invitation IconSimon Olberding: "Fabricating Custom-Shaped Thin-Film Interactive Surfaces"
E1 7 - MMCI - 0.01
11
15:00-16:30Accepted invitation IconMohamed Amir Yosef: "U-AIDA: A Customizable System for Named Entity Recognition, Classification, and Disambiguation"
E1 5 - 0.29
12
13
14
12:00-12:30Accepted invitation IconAkram El-Korashy: "Language-Based Information-Flow Security"
E1 4 - 024
16:00-16:30Accepted invitation IconJohn Wilmes: "The Isomorphism Problem for Highly Regular Combinatorial Objects"
E1 4 - 024
15
10:30-11:30Accepted invitation IconRobbert Krebbers: "The C standard formalized in Coq"
E1 5 - 029
16
10:30-12:00Accepted invitation IconKathy Gray: "Rigorous Acrchitectural Modelling for Production Multiprocessors"
E1 5 - 029
14:00-14:45Accepted invitation IconTobias Günther: "Opacity Optimization and Inertial Particles in Flow Visualization"
E1 4 - 019
17
13:00-14:30Accepted invitation IconScott Owens: "The CakeML verified compiler"
E1 5 - 029
18
11:00-12:00Accepted invitation IconCharalampos Papamanthou: "Trustworthy Computing with Untrusted Resources"
E1 5 - 0.02
15:00-16:00Accepted invitation IconZhongjie WANG: "Pattern Search for Visualization"
E1 4 - 0.19
19
20
21
11:00-12:00Accepted invitation IconJing Han: "Representation of Piecewise Biharmonic Surfaces Using Biquadratic and Bicubic B-splines"
E1 4 - 019
15:00-16:00Accepted invitation IconBojan Pepikj: "Richer Object Representations for Object Class Detection in Challenging Real-World Images"
E1 4 - 024
22
23
24
25
26
27
28
29
30
31
1
2
3