MoRe4CPS 2012 - First Workshop on Modelling and Reasoning for Cyber-Physical Systems

Cyber-physical systems are large-scale distributed systems, often viewed as networked embedded systems, where a large number of computational components are deployed in a physical environment. Each component collects information about and offers services to its environment. This information is processed either at the component, in the network or at a remote location, or in any combination of these.
This workshop aims at connecting researchers working on mathematically well-founded and coherent models, methods, and tools that may serve as the foundation of a model-driven design methodology for cyber-physical systems. This means that design decisions, analysis, simulation, testing, code generation, etc. are always based upon models that reflect the relevant aspects of the design. This requires methods to maintain, manipulate, analyse and transform models in a coherent and meaningful way.
All papers will be peer-reviewed and accepted papers will be published as a pre-proceeding appearing as a technical report. Selected papers will be invited to submission for subsequent publication in a journal (to be negotiated).
Two kinds of papers can be submitted:
full papers up to 12 pages in easychair format presenting previously unpublished work
short papers (2-3) pages in easychair format presenting work in progress, abstract of previously published work or overview of research programmes (position paper)
Topics of interest (in no particular order) include:
adaptivity
hybrid systems
embedded systems
distributed execution
spatial computation
declarative modelling
logics and logical frameworks
categorical models
event-based systems and models
context-awareness
pervasive computing
systems biology
healthcare systems
process calculi
static analysis
type systems
model checking
refinement
temporal properties with preferences
security
fractionated software