From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=HTML_MESSAGE autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id C2BD3BBAF for ; Thu, 4 Jun 2009 12:48:19 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av8BAMdCJ0qDmwMIlGdsb2JhbACCUpVIAQEBAQkLCAkRBbcahAwFiEg X-IronPort-AV: E=Sophos;i="4.41,305,1241388000"; d="scan'208,217";a="30496387" Received: from mailhost.tue.nl ([131.155.3.8]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-CAMELLIA256-SHA; 04 Jun 2009 12:48:19 +0200 Received: from localhost (localhost [127.0.0.1]) by mailhost.tue.nl (Postfix) with ESMTP id 8D83428448; Thu, 4 Jun 2009 12:48:18 +0200 (CEST) X-Virus-Scanned: amavisd-new at tue.nl Received: from mailhost.tue.nl ([131.155.3.8]) by localhost (kweetal.tue.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id aSccIuysP8aK; Thu, 4 Jun 2009 12:48:18 +0200 (CEST) Received: from EXCHANGE1.campus.tue.nl (xserver1.campus.tue.nl [131.155.6.4]) by mailhost.tue.nl (Postfix) with ESMTP id 4E8062842C; Thu, 4 Jun 2009 12:48:18 +0200 (CEST) Received: from webmail12.campus.tue.nl ([131.155.6.56]) by EXCHANGE1.campus.tue.nl with Microsoft SMTPSVC(6.0.3790.3959); Thu, 4 Jun 2009 12:48:17 +0200 Received: from EXCHANGE11.campus.tue.nl ([131.155.6.31]) by webmail12.campus.tue.nl ([131.155.6.56]) with mapi; Thu, 4 Jun 2009 12:48:17 +0200 From: "Andova, S." To: "comlab@comlab.ox.ac.uk" , "concurrency@cwi.nl" , "Concurrency@listserver.tue.nl" , "lics@informatik.hu-berlin.de" , "m4m@science.uva.nl" , "nvti-list@cwi.nl" , "petrinet@informatik.uni-hamburg.de" , "theory@brics.dk" , "theory@cl.cam.ac.uk" , "concurrency@tue.nl" , "papm@inf.ed.ac.uk" , "caml-list@inria.fr" , "Expertisegeb. Formele Meth. (FM)" , "prose@listserver.tue.nl" , "Expertisegeb. Ontwerp en Analyse van Systemen" , "Expertisegeb. Architectuur en Informatiesystemen" Date: Thu, 4 Jun 2009 12:48:15 +0200 Subject: Workshop on Quantitative Formal Methods - QFM'09: Call For Papers Thread-Topic: Workshop on Quantitative Formal Methods - QFM'09: Call For Papers Thread-Index: AcnP7WzL7amzkW1DQheoqk8HnS/EtwVEbEoA Message-ID: <7DF2365FF07C0E4E89419D65CCC93C9E0160CA6ECB4C@EXCHANGE11.campus.tue.nl> References: <7DF2365FF07C0E4E89419D65CCC93C9E015F344DA7DB@EXCHANGE11.campus.tue.nl> In-Reply-To: <7DF2365FF07C0E4E89419D65CCC93C9E015F344DA7DB@EXCHANGE11.campus.tue.nl> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Content-Type: multipart/alternative; boundary="_000_7DF2365FF07C0E4E89419D65CCC93C9E0160CA6ECB4CEXCHANGE11c_" MIME-Version: 1.0 X-OriginalArrivalTime: 04 Jun 2009 10:48:17.0917 (UTC) FILETIME=[F83BDAD0:01C9E501] X-Spam: no; 0.00; eindhoven:01 quantified:01 deploying:01 certifying:01 bisimulation:01 rewriting:01 saarlandes:01 pieter:01 pieter:01 eindhoven:01 quantified:01 deploying:01 certifying:01 bisimulation:01 rewriting:01 --_000_7DF2365FF07C0E4E89419D65CCC93C9E0160CA6ECB4CEXCHANGE11c_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable [Apologies for multiple copies] =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D CALL FOR PAPERS Workshop on Quantitative Formal Methods: Theory and Applications Affiliated with FM'09 November 3, 2009, Eindhoven, The Netherlands http://www.win.tue.nl/QFM/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D 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 neces= sary, 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 (Universit=E0 di Urbino, Italy) Michael Butler (University of Southampton, UK) Holger Hermanns (Universit=E4t 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, Spian 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 --_000_7DF2365FF07C0E4E89419D65CCC93C9E0160CA6ECB4CEXCHANGE11c_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

[Apologies for multiple copies]

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

CALL FOR PAPERS

Workshop on Quantitative Formal Method= s: Theory and Applications

Affiliated with FM'09

November 3, 2009,

Eindhoven, The Ne= therlands

http://www.win.tue.nl/QFM/<= /span>

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=A0

OVERVIEW

 

Quantitative Formal Methods deals with systems whose behaviour

of interest is more than the tradition= al Boolean "correct" or "incorrect"

judgment. That includes timing (whethe= r 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 po= wers are the key to understanding

system behaviour; the latter is import= ant 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 conjuncti= on with FM2009

http://www.win.tue.nl/fm2009/.=A0

 

 

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. A= ll researchers with an interest

in systems exhibiting quantitative behaviour are welcome. In particular,

papers on or related to the following topics are particularly sought:

 

=A0=A0=A0 * Formal modeling of quantit= ative behavior: timed, continuous and

hybrid, probabilistic, costs and rewar= ds, expected-value

=A0=A0=A0 * Formal verification, testi= ng, analysis as above.

=A0=A0=A0 * Formal analysis of quantit= ative performance, broadly understood.

=A0=A0=A0 * Industrial case-studies on= any (combination) of the above, e.g.,

hardware verification and performance evaluation, security systems

with probabilistic behavior, risk anal= ysis in safety-critical systems,

quantitative aspects of wireless netwo= rks, etc.

=A0=A0=A0 * Quantitative techniques in refinement, simulation and bisimulation;

=A0=A0=A0 * 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 guideline= s (http://style.eptcs.org/). If necessary,

the submission may be supplemented wit= h a clearly marked appendix,

which will be reviewed at the discreti= on of the program committee.

 

 

Authors of selected papers will be inv= ited 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 h= ave been published or be

concurrently considered for publicatio= n 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 o= pen problem, and to be prepared

to discuss this with the audience duri= ng a short panel session. In this way,

we hope to increase the interaction between researchers with a common

interest in quantitative formal method= s but with a relatively large variety

in backgrounds.

 

IMPORTANT DATES

 

Paper submission =A0=A0=A0=A0=A0=A0=A0= =A0 =A0=A0=A0=A0=A0=A0July 13, 2009

Notification of acceptance=A0=A0=A0 Se= ptember 11, 2009

Final version =A0=A0=A0=A0 =A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0October 2, 2009

 

Papers will be processed through the EasyChair conference

management system. <= /font>

 

INVITED SPEAKERS

 

Marco Bernardo (Universit=E0 di Urbino, Italy)

Michael Butler (University of Southampton, UK)

Holger Hermanns (Universit=E4t 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, Aus= tralia

Manuel Nunez, Spain=

 

PROGRAMME COMMITTEE=

 

Mario Bravetti, Ita= ly

Pieter Collins, The Netherlands=

Georgios Fainekos, USA

Ansgar Fehnker, Australia

Goran Frehse, France=A0 =A0

David de Frutos-Esc= rig, Spian

Bjarne Helvik, Norw= ay

Antonin Kucera, Cze= ch Republic

Larissa Meinicke, Australia

Anna Philippou, Cyprus

Jeremy Sproston, Italy

Paolo Tabuada, USA<= o:p>

Elena Troubitsyna, Finland

Verena Wolf, Germany

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0

--_000_7DF2365FF07C0E4E89419D65CCC93C9E0160CA6ECB4CEXCHANGE11c_--