will be held in Paderborn, Germany, during June 17th to 18th, 2013 (Tentative)
19th IEEE Real-Time and Embedded Technologyand Applications Symposium
This is the umbrella clearing house for CPS validation and verification related issues.
* TODO: resources, education components, roadmaps, challenge problems, etc.