Workshop program

9:00-9:15: Opening and introduction of participants

9:15-10:30: Foundations 10:30-11:00: Coffee break

11:00-12:30: Methods and processes. Dependability 12:30-14:00: Lunch
14:00-15:30: Composition. General concerns 15:30-16:00: Coffee break

16:00-17:15: General discussion. Research agenda

17:15-17:30: Wrap-up