[Apologies for multiple
copies]
===================================================
CALL FOR PAPERS QFM’09
- Deadline EXTENDED to 19 July 2009
Workshop on Quantitative
Formal Methods: Theory and Applications
Affiliated with FM2009 Symposium
November 3, 2009,
http://www.win.tue.nl/QFM/
===================================================
OVERVIEW
Quantitative Formal
Methods deals with systems whose behaviour
of interest is more than
the traditional Boolean "correct" or "incorrect"
judgment. That includes timing
(whether discrete, continuous or hybrid),
as well as probabilistic
aspects of success or failure including cost
and reward, and
quantified information flow.
The major challenge for
researchers is to develop quantitative techniques
that are both supple and
relevant: the former is important because
theories that amplify our
reasoning powers are the key to understanding
system behaviour; the
latter is important because our ultimate goal is
to improve the practice
of developing, deploying and certifying actual
running software in the
field.
The workshop will be held
in conjunction with FM2009
http://www.win.tue.nl/fm2009/.
SCOPE AND TOPICS
The aim of this workshop
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 particularly sought:
*
Formal modeling of quantitative behavior: timed, continuous and
hybrid, probabilistic,
costs and rewards, expected-value
*
Formal verification, testing, analysis as above.
*
Formal analysis of quantitative performance, broadly understood.
*
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.
*
Quantitative techniques in refinement, simulation and bisimulation;
*
Quantitative algebraic and rewriting techniques.
SUBMISSION
The proceedings of QFM'09
will be published as a volume of the EPTCS
electronic journal.
Submissions should not exceed 10 pages, and should be
formatted according to
EPTCS guidelines (http://style.eptcs.org/). If necessary,
the submission may be
supplemented with a clearly marked appendix,
which will be reviewed at
the discretion of the program committee.
Authors of selected
papers will be invited after the workshop to submit
an extended version for
publication in a special issue of
the Journal of Logic and
Algebraic Programming - Elsevier.
Submissions to the
workshop must not have been published or be
concurrently considered
for publication elsewhere. All
submissions will be
peer-reviewed and judged on the basis of
originality, contribution
to the field, technical and
presentation quality, and
relevance to the workshop.
In addition to presenting
their paper, participants are expected to submit
and present an ongoing
project or an open problem, and to be prepared
to discuss this with the
audience during a short panel session. In this way,
we hope to increase the
interaction between researchers with a common
interest in quantitative
formal methods but with a relatively large variety
in backgrounds.
IMPORTANT DATES
Paper submission EXTENDED
July 19, 2009
Notification of
acceptance September 11, 2009
Final version
October 2, 2009
Papers will be processed
through the EasyChair conference
management system.
INVITED SPEAKERS
Marco Bernardo (
Michael Butler (
Holger Hermanns
(Universität des
ORGANIZERS
Suzana Andova, The
Annabelle McIver,
Australia
Pedro D'Argenio,
Argentina
Pieter Cuijpers, The
Jasen Markovski, The
Carroll Morgan, Australia
Manuel Nunez, Spain
PROGRAMME COMMITTEE
Mario Bravetti,
Pieter Collins, The
David
Larissa Meinicke,
Australia
Anna Philippou, Cyprus
Jeremy Sproston, Italy
Paolo Tabuada, USA
Elena Troubitsyna,
Finland
Verena Wolf, Germany