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 IconApril 2014
MondayTuesdayWednesdayThursdayFridaySaturdaySunday
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
7
10:30-12:00Accepted invitation IconAmir Houmansadr: "The Cyberspace Battle for Information: Combating Internet Censorship"
G26 - 113
13:00-14:00Accepted invitation IconJulia Pap: "Applications of a polyhedral version of Sperner's Lemma"
E1 4 - 024
17:00-18:00Accepted invitation IconPramod Bhatotia: "Incremental Parallel and Distributed Systems"
E1 5 - 029
8
9
14:00-14:30Accepted invitation IconSuvrit Sra: "Inexactness, geometry, and optimization for data analysis"
E1 4 - 024
10
10:30-11:30Accepted invitation IconDr. Andrew Myers: "Increasing security and performance with higher-level abstractions for distributed programming."
E1 5 - 002
13:00-13:30Accepted invitation IconArtur Jeż: "A really simple approximation of a smallest grammar"
E1 4 - 024
11
12
13
14
10:00-11:00Accepted invitation IconDr. Alexander de Luca: "Getting the User in the Loop - Building Secure Systems that People can Use"
E1 5 - 002
15
13:00-13:30Accepted invitation IconThomas Kesselheim: "Primal Beats Dual on Online Packing LPs in the Random-Order Model"
E1 4 - 024
16
17
18
19
20
21
22
13:00-13:30Accepted invitation IconPeter Kling: "Scheduling Shared Continuous Resources on Many-Cores"
E1 4 - 024
23
10:00-11:00Accepted invitation IconDr. Michael Roitzsch: "Practical Real-Time with Look-Ahead Scheduling"
G26 - 113
11:00-12:00Accepted invitation IconAaron Carroll: "Mobile multi-cores: power and performance"
E1 5 - 029
13:30-14:30Accepted invitation IconProf. Dr. Andrey Rybalchenko: "Automating Proofs of Relational Properties of Probabilistic Programs"
E1 5 - 002
24
10:30-11:30Accepted invitation IconOri Lahav: "Modular Reasoning about Heap Paths via Effectively Propositional Formulas"
G26 - 113
25
13:00-13:45Accepted invitation IconGiuseppe F. Italiano: "Strong Bridges and Strong Articulation Points of Directed Graphs"
E1 4 - 024
26
27
28
29
30
1
2
3
4