0915-0930 Welcome (Reda, Richard)
0930 3 talks (20 minutes each):
Axiomatic definition of model elements (Ali Koudri, Thales)
Composition and variability: towards lightweight model-driven techniques (Philippe Collet, UNICE)
Software maintenance with Models (Anne Etien/Nicolas Anquetil, INRIA Lille-1)
1030-1100 Coffee Break
1100-1200 3 talks (20 minutes each)
Progress in MDE, Progress by MDE: some examples (Jordi Cabot/Massimo Tisi/Nantes)
Decision-making for Self-adaptive Systems supported by Dynamic Bayesian Networks Models (Nelly Bencomo, INRIA Paris-Rocquencourt / Aston University)
Industrial challenges in MDE: Current and future research projects @ Softeam R&D and Modelio.org (Andrey Sadovykh/Alessandra Bagnato, Softeam)
1200-1230 Discussion
1230-1400 Lunch
1400-1520 4 talks (20 minutes each)
Challenges for Scalable MDE (Richard Paige, York)
The LISE’s Grail: Correct-by-construction Design of Complex Cyber-physical Systems (Arnaud Cuccuru/Sebastien Gerard, CEA-List)
Challenges for Real-Time Embedded Systems (Daniela Cancila, Atego)
Alloy4SPV: a Framework for Software Processes Verification (Reda Bendraou, LIP6/UPMC)
1530 Coffee Break
1600-1700 Discussion/Close