Introducing IBM Haifa Research Lab
May 10, 2009
Organized by TAU/CS and IBM Haifa
Research Lab
13:00 Gathering
13:15 Welcome and introduction to HRL
13:30 Activities for healthcare and life sciences
14:30 Constraint satisfaction: from theory to solving
complex industrial problems |
15:00 - 15:30 Break
15:30 Static analysis of programs and models
16:00
Cloud computing: automating service elasticity in
RESERVOIR
16:30 Green storage and beyond - new challenges in
today's storage systems
17:00 IBM Mechanisms for collaboration |