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

Campus Event Calendar : ($Calendar)

Action
New Event Entry | Mailing Lists | E-Mail Events | Search with options | iCal Format

Show: 1day | 2 days | 1 week | 2 weeks | 1 month | year


April 2014Calendar IconApril 2014
21 Monday
Thursday 24
10:30-11:30Accepted invitation IconOri Lahav: "Modular Reasoning about Heap Paths via Effectively Propositional Formulas"
MPI-SWS - 113
22 Tuesday
13:00-13:30Accepted invitation IconPeter Kling: "Scheduling Shared Continuous Resources on Many-Cores"
E1 4 - MPI-INF - 024
Friday 25
13:00-13:45Accepted invitation IconGiuseppe F. Italiano: "Strong Bridges and Strong Articulation Points of Directed Graphs"
E1 4 - MPI-INF - 024
23 Wednesday
10:00-11:00Accepted invitation IconDr. Michael Roitzsch: "Practical Real-Time with Look-Ahead Scheduling"
MPI-SWS - 113
11:00-12:00Accepted invitation IconAaron Carroll: "Mobile multi-cores: power and performance"
MPI-SWS - 029
13:30-14:30Accepted invitation IconProf. Dr. Andrey Rybalchenko: "Automating Proofs of Relational Properties of Probabilistic Programs"
E1 5 - MPI-SWS - 002
Saturday 26

Sunday 27