QFM 2014 - 2nd workshop on Quantitative Formal Methods

QFM 2014, the 2nd workshop on Quantitative Formal Methods, will take place in Singapore on 12 May 2014 It is associated with the 19th International Symposium on Formal Methods (FM2014), held at the National University of Singpaore.
QFM will focus on quantities in modeling, verification, and synthesis. The aim is to create a forum where current and new application areas can be discussed together with verification techniques that might apply to them. All researchers with an interest in systems exhibiting quantitative behaviour are welcome. In particular, papers on or related to the following topics are solicitated:
Formal modeling, verification, and synthesis of quantitative behavior: timed, continuous and hybrid, probabilistic, costs and rewards, expected-value etc.
Data structures for quantitative methods
Quantitative techniques in refinement, simulation and bisimulation
Quantitative algebraic and rewriting techniques
Robustness of quantitative methods
Industrial case-studies on any (combination) of the above, e.g. hardware verification and performance evaluation, security systems with probabilistic behavior, risk analysis in safety-critical systems, quantitative aspects of wireless networks, etc.
Submissions to QFM can be of two kinds:
Regular papers, containing original contributions presenting hitherto unpublished work. If accepted, these papers will be published in the EPTCS workshop proceedings and may be selected for subsequent publication in a special issue of a journal.
Extended abstracts of work-in-progress or of work already published or submitted elsewhere. Extended abstracts will not be published in the workshop proceedings.
Both types of submissions will be carefully evaluated. The page limit for both types of submissions is 10 pages; additional material may be submitted in a clearly marked appendix which may or may not be evaluated by the program committee.
Submissions must be formatted using the EPTCS LaTeX document class and uploaded at Easychair.