9.00am - 10:00: Welcome and Introduction
10:00 - 10:30: Coffee
10:30 - 12.00: Papers and discussions (1) - Experience Reports and Case Studies
12.00 - 1:00pm: Lunch
1:00 - 2:00: Papers and discussions (2) - Benchmark Generation
2:00 - 3:00: Papers and discussions (3) - Benchmark Evaluation
3.00 - 3:30: Coffee
3:30 - 5.00: Discussion Session - The Way Forward