[Apologies for multiple copies]
===================================================
CALL FOR PAPERS
Workshop on Quantitative Formal Methods:
Theory and Applications
Affiliated with FM'09
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 July 13,
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, Italy
Pieter Collins, The
David de Frutos-Escrig, Spian
Bjarne Helvik, Norway
Antonin Kucera, Czech
Republic
Larissa Meinicke,
Australia
Anna Philippou,
Jeremy Sproston,
Paolo Tabuada, USA
Elena Troubitsyna,
Finland