[TYPES/announce] Call for Papers: QFM 2012

[Uli Fahrenberg]

Apologies for multiple copies of this email:


                         CALL FOR PAPERS

                            QFM  2012
                    International Workshop on
                  Quantities  in Formal Methods

                       CNAM Paris,  France
                         28  August 2012

                    http://qfm2012.cs.aau.dk/


QFM 2012, the 1st workshop on Quantities in Formal Methods, will take place in
Paris on 28 August 2012. It is associated with the 18th International Symposium
on Formal Methods (FM2012), held at CNAM Paris 27-31 August.

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 by the program committee.
The page limit for both types of submissions is 15 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 http://www.easychair.org/conferences/?conf=qfm2012 .

Important dates:

     Submission deadline: 15 May 2012, 23:00 UTC
     Notification: 15 June 2012
     Final version: 10 July 2012
     QFM 2012: 28 August 2012