Version française
Home     About     Download     Resources     Contact us    
Browse thread
Workshop on Quantitative Formal Methods - QFM'09: Deadline EXTENSION
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Andova, S. <S.Andova@t...>
Subject: Workshop on Quantitative Formal Methods - QFM'09: Deadline EXTENSION
[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,
Eindhoven, The Netherlands
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 (Università di Urbino, Italy)
Michael Butler (University of Southampton, UK)
Holger Hermanns (Universität des Saarlandes, Germany)

ORGANIZERS

Suzana Andova, The Netherlands
Annabelle McIver, Australia
Pedro D'Argenio, Argentina
Pieter Cuijpers, The Netherlands
Jasen Markovski, The Netherlands
Carroll Morgan, Australia
Manuel Nunez, Spain

PROGRAMME COMMITTEE

Mario Bravetti, Italy
Pieter Collins, The Netherlands
Georgios Fainekos, USA
Ansgar Fehnker, Australia
Goran Frehse, France
David de Frutos-Escrig, Spain
Bjarne Helvik, Norway
Antonin Kucera, Czech Republic
Larissa Meinicke, Australia
Anna Philippou, Cyprus
Jeremy Sproston, Italy
Paolo Tabuada, USA
Elena Troubitsyna, Finland
Verena Wolf, Germany