Model-based design is a process that uses mathematical and visual representations to address problems of specification, simulation, verification, validation, integration and deployment of designing complex systems. This includes techniques of abstraction, compositionality and virtualization.

Topics include but are not limited to:

Authors must strictly follow SCSC guidelines for paper submission.

Key Dates
Special Sessions Proposals January 31, 2010
Paper submission February 28, 2010
Notification of Acceptance April 30, 2010
Final (in most cases, revised) submission May 28, 2010