CyPhy 2013 - 3rd Workshop on Modeling and Evaluation of Cyber Physical Systems (CyPhy 2013)

Submissions can be in the categories of 1) research papers, 2) tutorial
papers, and 3) tool demonstrations. Research papers will judged for
technical novelty and scientific merit. Tutorial papers and tool
demonstrations will be judged on clarity and accessibility.
Regular research papers and tutorial papers must not exceed 6 pages
in ACM Proceedings style. Tool demonstration papers must not exceed 3
pages in ACM Proceedings style, and authors will be expected to present a live
demonstration of the described tool at the workshop (tool papers should
include an additional appendix of up to 6 extra pages giving the
outline, screenshots, examples, etc. to indicate the content of the
proposed live demo at the workshop).