Friday, February 26, 2010

[qest-announce] CFP: QEST 2010

Apologies for multiple copies

Call for Papers
7th International Conference on Quantitative Evaluation of SysTems
QEST 2010

College of William & Mary, Computer Science Department
15th-18th September, 2010, Williamsburg, VA, USA

*** co-located with the 6th International Workshop on the ***
*** Numerical Solution of Markov Chains (NSMC'10) ***

in cooperation with ACM SIGMETRICS


Abstract submission by 22 March, 2010
Paper and tool submission by 29 March, 2010
Tutorial submission by 26 April, 2010
Author notification by 24 May, 2010
Camera ready version by 14 June, 2010

Selected papers will appear in a special issue of the Elsevier Performance
Evaluation Journal.


The International Conference on Quantitative Evaluation of SysTems (QEST)
is the leading forum on evaluation and verification of computer systems
and networks, through stochastic models and measurements. QEST has a broad
range of interest - the common thread is that the evaluation be
quantitative. The range of performance metrics of interest spans classical
measures involving performance and reliability, as well as quantification
of properties that are classically qualitative, such as safety,
correctness, and security. QEST welcomes measurement-based studies as well
as analytic studies. QEST welcomes diversity in the model formalisms and
methodologies employed, as well as development of new formalisms and
methodologies. QEST is keenly interested in case studies that highlight
the role of quantitative evaluation in the design of "systems", where the
notion of system is broad. Systems of interest include computer hardware
and software architectures, communication systems, embedded systems, and
biological systems. Moreover, tools for supporting the practical
application of research results in all of the above areas are of special
interest, and therefore tool papers are sought. Tool demonstration papers
that describe a relevant tool, as well as its features,
evaluation, or any other information that may demonstrate the merits of
the tool.
In short, QEST aims to create a sound methodological basis for assessing
and designing systems using quantitative means.


Submissions must be in English, IEEE double-column format, and
must indicate the above paper type. Electronic submission instructions may
be found at Submitted papers should not exceed 10 pages (2
for tool demonstrations). Additional material for the aid of the reviewers
(e.g., proofs) can be included in a clearly marked appendix. Papers must
be unpublished and must not be submitted for publication elsewhere. PC
members, except program co-chairs, may submit papers.

All accepted papers (including tool demonstrations) will appear in the
Conference Proceedings published by the IEEE Computer Society Press, and
must be presented at the conference by one of the authors. A best-paper
award will be presented at the conference.


There will be one day of tutorials at the start of the conference.
Tutorial proposals (up to 4 pages) should be sent to the Tutorial Chair.


Sessions will be arranged to present and demonstrate tools relevant to any
conference topic. Accepted tool descriptions will appear in the conference

Peter Kemper (US)
Evgenia Smirni (US)

Gianfranco Ciardo (US)
Roberto Segala (IT)

William Knottenbelt (UK)

Susanna Donatelli (IT)

Ruth Lamprecht (US)

Giuliano Casale (UK)


Gianfranco Balbo (IT)
Gianfranco Ciardo (US)
Pedro D'Argenio (AR)
Boudewijn Haverkort (NL, chair)
Holger Hermanns (DE)
Jane Hillston (UK)
Joost-Pieter Katoen (DE)
William Knottenbelt (UK)
Marta Kwiatkowska (UK)
Gerardo Rubino (FR)
William Sanders (US)
Miklos Telek (HU)


Christel Baier (DE)
Nathalie Bertrand (FR)
Andrea Bondavalli (IT)
Patricia Bouyer (FR)
Peter Buchholz (DE)
Giuliano Casale (UK)
Ivana Cerna (CZ)
Pedro D'Argenio (AR)
Vittoria de Nitto Persone` (IT)
Kousha Etessami (UK)
Tony Field (UK)
Giuliana Franceschinis (IT)
Jean-Michel Fourneau (FR)
Shravan Gaonkar (US)
Leana Golubchik (US)
Serge Haddad (FR)
Armin Heindl (DE)
Holger Hermanns (DE)
Jane Hillston (UK)
Michael Huth (UK)
Radha Jagadeesan (US)
Alain Jean-Marie (FR)
Joost-Pieter Katoen (DE)
Peter Kemper (US)
Gabriele Kotsis (AT)
Marta Kwiatkowska (UK)
Kim Larsen (DK)
Ningfang Mi (US)
Andrew Miner (US)
Gethin Norman (UK)
Alma Riska (US)
William Sanders (US)
Matteo Sereno (IT)
Jeremy Sproston (IT)
Marielle Stoelinga (NL)
Miklos Telek (HU)
Yann Thierry-Mieg (FR)
Franck van Breugel (CA)
Carey Williamson (CA)
Verena Wolf (DE)
Murray Woodside (CA)
qest-announce mailing list