• 9.00 - 10.30 Session 1
  • Parallel execution of first-order operations. Sina Madani, Dimitrios S. Kolovos, Richard F. Paige
  • Introducing the Active Map operation to unify and improve efficiency of active operations. Frédéric Jouault, Fabien Chhel
  • Using process algebra to statically analyze incremental propagation graphs. Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion
• 10.30 - 11.00 Coffee Break
• 11.00 - 12.30 Session 2
  • A text model - Use your favourite M2M for M2T. Edward D. Willink
  • Multi-Level Constraints. Tony Clark, Ulrich Frank
  • Goal-driven elaboration of OCL enriched UML class diagrams. Robert Darimont, Christophe Ponsard, Michel Lemoine
• 12.30 - 14.00 Lunch
• 14.00 - 15.30 Session 3
  • vOCL: A novel approach for UML constraints modeling. Omar Badreddin, Gerardo Barraza, Wahab Hamou-Lhadj
  • Efficient validation of large models using the Mogwaı̈ tool. Gwendal Daniel
  • Model Finding and Model Completion with USE. Martin Gogolla, Loli Burgueño, Antonio Vallecillo
• 15.30 - 16.00 Coffee Break
• 16.00 - 17.30 Session 4
  • Panel Discussion and Lightning Talks