09:00 - Coffee at Hans' office (M.G.116)

09:30 - welcome and high-level overview (Hans Vangheluwe)

09:45 - Modelverse (Yentl Van Tendeloo)

10:00 - SCCD (Simon Van Mierlo)

10:15 - ProMoBox (Bart Meyers)

10:30 - Modular Language Engineering (Hans Vangheluwe)

10:45 - Semantic Adaptation for Co-simulation (Cláudio Gomes)

11:00 - Adaptive Co-simulation Orchestration Algorithms (Cláudio Gomes)

11:15 - Stability Analysis for Hybrid Co-simulation Scenarios (Cláudio Gomes)

11:30 - Dirac Delta (Cláudio Gomes)

11:45 - Discussion + Buffer + Coffee

12:00 - Debugging (Simon Van Mierlo)

12:15 - Fully Verifying Graphical Contracts on Model Transformations (Bentley Oakes)

12:30 - Frames (Joachim Denil)

12:45 - Lunch

13:45 - Engineering Process Transformation to Manage (In)consistency (István Dávid)

14:00 - Modeling and enactment support for early detection of inconsistencies in engineering processes (István Dávid)

14:15 - Enabling Contract-based Design in Engineering Processes (István Dávid)

14:30 - Contract-Based Co-Design (Ken Vanherpen)

14:45 - Variability (Bart Meyers)

15:00 - Agile Model-Based Systems Engineering (Joachim Denil)

15:15 - Discussion + Buffer + Coffee

15:30 - Research Plan and Projects under Submission and Accepted (INES, ASET, EMPHYSIS) (Joachim Denil)

15:45 - NEXOR Research Plan (Fons De Mey)

16:00 - Discussion on research threads, road maps, priorities, why/what/how for customers

17:00 - Conclusion (Hans Vangheluwe)