8:00 – 8:45	Welcome
8:45 – 9:30	Invited talk Understanding the Quality of Open Source Projects, Paul Klint
9:30 - 9:45	Discussion
9:45 – 10:15	Coffee break
10:15 – 12:20	Session 1: Software analysis and visualization Identification of Differences between Aspect-Oriented Programs Marija Katic and Kresimir Fertalj Visualizing SQL execution traces for program understanding Loup Meurice, Nesrine Noughi and Anthony Cleve Organizing a software chrestomathy Ralf Laemmel DFlow - Towards the Understanding of the Workflow of Developers Roberto Minelli and Michele Lanza Exploring Architectural Constraints Andrea Caracciolo
12:20 - 12:30	Discussion
12:30 – 13:30	Lunch
13:30 – 14:45	Session 1: Software analysis and visualization (cont'd) Exploring Run-time Verification Through Static Techniques Laurent Christophe and Coen De Roover SQA @ RELEASeD, DEMO Kim Mens COP @ RELEASeD Kim Mens
14-45 - 15:00	Discussion
15:00 – 15:30	Coffee Break
15:30 – 16:15	Invited talk Model-Based Development of Embedded Systems - Challenges in System Evolution, Bernhard Shaetz
16:15 - 16:30	Discussion
16:30 - 17:00	Hackathon presentation
17:00 – 18:30	Bern Guided Tour
19:00	Hackathon