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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 63E9CBBAF for ; Fri, 8 May 2009 16:58:23 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkEBACblA0qDmwITaGdsb2JhbACCU5Q7DQsKBRAIuTuDfQWIEg X-IronPort-AV: E=Sophos;i="4.38,431,1233529200"; d="scan'208,217";a="28963630" Received: from mailhost.tue.nl ([131.155.2.19]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 08 May 2009 16:58:22 +0200 Received: from localhost (localhost [127.0.0.1]) by mailhost.tue.nl (Postfix) with ESMTP id 090B15C008; Fri, 8 May 2009 16:58:22 +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 lDHUCh00kgFk; Fri, 8 May 2009 16:58:21 +0200 (CEST) Received: from EXCHANGE1.campus.tue.nl (xserver1.campus.tue.nl [131.155.6.4]) by mailhost.tue.nl (Postfix) with ESMTP id 628005C01A; Fri, 8 May 2009 16:58:21 +0200 (CEST) Received: from webmail10.campus.tue.nl ([131.155.6.46]) by EXCHANGE1.campus.tue.nl with Microsoft SMTPSVC(6.0.3790.3959); Fri, 8 May 2009 16:58:20 +0200 Received: from EXCHANGE11.campus.tue.nl ([131.155.6.31]) by webmail10.campus.tue.nl ([131.155.6.46]) with mapi; Fri, 8 May 2009 16:58:21 +0200 From: "Andova, S." To: "behavior@cs.ucsd.edu" , "comlab@comlab.ox.ac.uk" , "concurrency@cwi.nl" , "Concurrency@listserver.tue.nl" , "formal-methods@cs.uidaho.edu" , "lics@informatik.hu-berlin.de" , "logic-announce@uclink4.berkeley.edu" , "logic-list@cs.rice.edu" , "m4m@science.uva.nl" , "nvti-list@cwi.nl" , "petrinet@informatik.uni-hamburg.de" , "theory@brics.dk" , "theory@cl.cam.ac.uk" , "theory@cs.bham.ac.uk" , "formal-methods@cs.uidaho.edu" , "concurrency@tue.nl" , "papm@inf.ed.ac.uk" , "caml-list@inria.fr" Cc: "Andova, S." Date: Fri, 8 May 2009 16:58:19 +0200 Subject: QFM'09: Call For Papers Thread-Topic: QFM'09: Call For Papers Thread-Index: AcnP7WzL7amzkW1DQheoqk8HnS/Etw== Message-ID: <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_7DF2365FF07C0E4E89419D65CCC93C9E015F344DA7DBEXCHANGE11c_" MIME-Version: 1.0 X-OriginalArrivalTime: 08 May 2009 14:58:20.0947 (UTC) FILETIME=[6D954E30:01C9CFED] 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_7DF2365FF07C0E4E89419D65CCC93C9E015F344DA7DBEXCHANGE11c_ 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. Publication of an extended version of a selection of the papers in a journal special issue is also under consideration. 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_7DF2365FF07C0E4E89419D65CCC93C9E015F344DA7DBEXCHANGE11c_ 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 Methods: Theory a= nd 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

=A0

OVERVIEW

 

Quantitative Formal Methods deals with systems wh= ose 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 th= e 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.<= /font>

 

The workshop will be held in conjunction with FM2= 009

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

 

 

SCOPE AND TOPICS

 

The aim of this workshop is to create a forum whe= re current and

new application areas can be discussed together w= ith verification

techniques that might apply to them. All research= ers 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 quantitative behav= ior: timed, continuous and

hybrid, probabilistic, costs and rewards, expected-value

=A0=A0=A0 * Formal verification, testing, analysi= s as above.

=A0=A0=A0 *Formal analysis of quantitative perfor= mance, broadly understood.

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

hardware verification and performance evaluation, security systems

with probabilistic behavior, risk analysis in saf= ety-critical systems,

quantitative aspects of wireless networks, etc.

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

=A0=A0=A0 *Quantitative algebraic and rewriting t= echniques.

 

 

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.

 

Publication of an extended version of a selection= of the

papers in a journal special issue is also under consideration.

 

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 t= he basis of

originality, contribution to the field, technical= and

presentation quality, and relevance to the worksh= op.

 

In addition to presenting their paper, participan= ts 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 =A0=A0=A0=A0=A0=A0=A0=A0 =A0=A0= =A0=A0=A0=A0July 13, 2009

Notification of acceptance=A0=A0=A0 September 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.

 

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, <= st1:place w:st=3D"on">Australia <= /font>

Manuel Nunez, Spain

 

PROGRAMME COMMITTEE

 

Mario Bravetti, <= st1:place w:st=3D"on">Italy

Pieter Collins, The Netherlands=

Georgios Fainekos, USA

Ansgar Fehnker, Australia

Goran Frehse, France=A0 =A0

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

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

 

 

 

--_000_7DF2365FF07C0E4E89419D65CCC93C9E015F344DA7DBEXCHANGE11c_--