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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 8D49DBBAF for ; Tue, 7 Jul 2009 11:10:43 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoABAIutUkqDmwITkWdsb2JhbACCKSuWPQEBAQEJCwoHEwWzaIQSBYka X-IronPort-AV: E=Sophos;i="4.42,361,1243807200"; d="scan'208,217";a="29398885" Received: from mailhost.tue.nl ([131.155.2.19]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-CAMELLIA256-SHA; 07 Jul 2009 11:10:42 +0200 Received: from localhost (localhost [127.0.0.1]) by mailhost.tue.nl (Postfix) with ESMTP id 8C21973067; Tue, 7 Jul 2009 11:10:42 +0200 (CEST) X-Virus-Scanned: amavisd-new at tue.nl Received: from mailhost.tue.nl ([131.155.2.19]) by localhost (pastinakel.tue.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id R0-Fl3eIxpbT; Tue, 7 Jul 2009 11:10:42 +0200 (CEST) Received: from EXCHANGE1.campus.tue.nl (xserver1.campus.tue.nl [131.155.6.4]) by mailhost.tue.nl (Postfix) with ESMTP id 522BD73066; Tue, 7 Jul 2009 11:10:42 +0200 (CEST) Received: from webmail11.campus.tue.nl ([131.155.6.51]) by EXCHANGE1.campus.tue.nl with Microsoft SMTPSVC(6.0.3790.3959); Tue, 7 Jul 2009 11:10:41 +0200 Received: from EXCHANGE11.campus.tue.nl ([131.155.6.30]) by webmail11.campus.tue.nl ([131.155.6.51]) with mapi; Tue, 7 Jul 2009 11:10:41 +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" , "concurrency@tue.nl" , "papm@inf.ed.ac.uk" , "caml-list@inria.fr" , "Expertisegeb. Formele Meth. (FM)" , "prose@listserver.tue.nl" , Secretariaat IPA Date: Tue, 7 Jul 2009 11:10:40 +0200 Subject: Workshop on Quantitative Formal Methods - QFM'09: Last Call For Papers Thread-Topic: Workshop on Quantitative Formal Methods - QFM'09: Last Call For Papers Thread-Index: Acn+4syj+znb9objTWazu/uwv06IYg== Message-ID: <7DF2365FF07C0E4E89419D65CCC93C9E0160CC7F9908@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_7DF2365FF07C0E4E89419D65CCC93C9E0160CC7F9908EXCHANGE11c_" MIME-Version: 1.0 X-OriginalArrivalTime: 07 Jul 2009 09:10:41.0855 (UTC) FILETIME=[CD6174F0:01C9FEE2] 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_7DF2365FF07C0E4E89419D65CCC93C9E0160CC7F9908EXCHANGE11c_ 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 LAST 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, 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 --_000_7DF2365FF07C0E4E89419D65CCC93C9E0160CC7F9908EXCHANGE11c_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

[Apologies for mult= iple 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

LAST CALL FOR PAPER= S

Workshop on Quantit= ative Formal Methods: Theory and Applications

Affiliated with FM'= 09

November 3, 2009, <= o:p>

Eindh= oven, 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" <= /o:p>

judgment. That incl= udes timing (whether discrete, continuous or hybrid),

as well as probabil= istic 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 suppl= e and relevant: the former is important because

theories that ampli= fy our reasoning powers are the key to understanding

system behaviour; t= he latter is important because our ultimate goal is <= /p>

to improve the prac= tice of developing, deploying and certifying actual

running software in= the field.

 

The workshop will b= e held in conjunction with FM2009

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

 

 

SCOPE AND TOPICS

 

The aim of this wor= kshop is to create a forum where current and

new application are= as can be discussed together with verification

techniques that mig= ht apply to them. All researchers with an interest

in systems exhibiti= ng quantitative behaviour are welcome. In particular,

papers on or relate= d to the following topics are particularly sought:

 

    = * Formal modeling of quantitative behavior: timed, continuous and =

hybrid, probabilist= ic, 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 verificati= on and performance evaluation, security systems

with probabilistic behavior, risk analysis in safety-critical systems,

quantitative aspect= s of wireless networks, etc.

    = * Quantitative techniques in refinement, simulation and bisimulation;

    = * Quantitative algebraic and rewriting techniques. <= /p>

 

 

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 revie= wed 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 Logi= c and Algebraic Programming - Elsevier.

 

Submissions to the workshop must not have been published or be

concurrently consid= ered for publication elsewhere. All

submissions will be peer-reviewed and judged on the basis of

originality, contri= bution to the field, technical and

presentation qualit= y, and relevance to the workshop.

 

In addition to pres= enting their paper, participants are expected to submit <= /p>

and present an ongo= ing project or an open problem, and to be prepared

to discuss this wit= h the audience during a short panel session. In this way,

we hope to increase= the interaction between researchers with a common

interest in quantit= ative formal methods but with a relatively large variety

in backgrounds.

 

IMPORTANT DATES

 

Paper submission                July 13, 2009<= /p>

Notification of acceptance    September 11, 2009

Final version              &n= bsp;         October 2, 2009

 

Papers will be proc= essed through the EasyChair conference

management system. =

 

INVITED SPEAKERS

 

Marco Bernardo (Universit=E0 di Urbino, Italy)

Michael Butler (University of Southampton, UK)<= /p>

Holger Hermanns (Universit=E4t des Saarlandes<= /st1:City>, Germany)<= o:p>

 

ORGANIZERS

 

Suzana Andova, The Netherlands

Annabelle McIver, Australia

Pedro D'Argenio, Argentina

Pieter Cuijpers, Th= e Netherlands

Jasen Markovski, Th= e Netherlands

Carroll Morgan, Aus= tralia

Manuel Nunez, Spain=

 

PROGRAMME COMMITTEE<= /font>

 

Mario Bravetti, Italy

Pieter Collins, The= Netherlands

Georgios Fainekos, USA

Ansgar Fehnker, Australia

Goran Frehse, France   

David de Frutos-Escrig, S= pain

Bjarne Helvik, Norway

Antonin Kucera, Czech Republic<= font size=3D2 color=3Dnavy face=3DArial>

Larissa Meinicke, Australia

Anna Philippou, Cyp= rus

Jeremy Sproston, It= aly

Paolo Tabuada, USA<= o:p>

Elena Troubitsyna, Finland

Verena Wolf, German= y

   &= nbsp;       

 

--_000_7DF2365FF07C0E4E89419D65CCC93C9E0160CC7F9908EXCHANGE11c_--