From: Marina Ribaudo <ribaudo@disi.unige.it>
To: petrinet@informatik.uni-hamburg.de
Date: Tue, 23 Jan 2007 15:37:02 +0100
Subject: (PN) 2nd CFP for QEST 2007 in Edinburgh
[Please accept our apologies if you receive multiple copies of this
announcement]
============================= CALL FOR PAPERS QEST'07
=========================
4th International Conference on Quantitative Evaluation of SysTems
September 16th-19th, 2007, University of Edinburgh, Scotland, UK
Conference Website: http://www.qest.org/qest2007/
================================================================================
IMPORTANT DATES
Abstract submission: 17th March
Paper submission: 24th March
Tools & tutorials: 15th May
Author notification: 7th June
Camera ready version: 2nd July
================================================================================
SCOPE & TOPICS
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 combines four former events: PNPM
(Workshop on Petri Nets and
Performance Models), PAPM (Workshop on Process Algebra and Performance
Modelling), PROBMIV
(Workshop on Probabilistic Methods in Verification) and TOOLS
(Conference on Modelling
Techniques and Tools for Computer Performance Evaluation).
Performance metrics of interest include response time, reliability,
availability, safety,
security, survivability, correctness, timeliness, and efficiency. Areas
of interest include
modelling formalisms and methodologies, measurements, analytical and
numerical evaluation,
simulation and verification, and theory of probabilistic, concurrent and
non-deterministic
behaviour. Also of interest are case studies showing the role of
quantitative evaluation in
the design of systems including computer architectures, distributed and
fault tolerant systems,
communication systems, embedded systems, web-based systems, and
safety-critical systems.
Moreover, tools for supporting the practical application of research
results in all the above
areas are of special interest for QEST and therefore tool papers are
sought. In short, QEST
aims to create a sound methodological basis for assessing and designing
trustworthy computing
systems and networks.
Example topics of interest include: schedulability analysis;
verification of probabilistic systems;
concurrency theory for probabilistic systems; analysis of randomized
algorithms; model-checking
algorithms; optimization techniques; probabilistic decision-making and
planning; hybrid and
hierarchical modelling and evaluation techniques; stochastic and timed
Petri nets; stochastic and
timed process algebras; stochastic and timed automata; queueing
networks; Markov chains; non-Markovian
models and algorithms; numerical and analytical solution techniques;
efficient simulation techniques;
formal specification techniques; quantitative extensions of UML;
measurement and benchmarking.
SUBMISSIONS
We invite submissions of original papers, in English, related to the
topics of the conference and
formatted in the IEEE double-column format. Electronic submission
instructions may be found at
www.qest.org. Submitted papers should not exceed 10 pages. Additional
material for the aid of
the reviewers (e.g., proofs) can be presented in a clearly-marked
appendix. Papers must be
unpublished and must not be submitted for publication elsewhere. All
papers will be thoroughly
reviewed by at least 3 referees on the basis of originality and
scientific and practical contributions
to the state of the art. Accepted papers will appear in the Conference
Proceedings, published by
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. Selected papers
will appear in a special
issue of IEEE Transactions on Software Engineering.
TOOL PRESENTATIONS
Sessions will be arranged to present and demonstrate tools relevant to
any conference topic. Tool
submissions (2 pages, IEEE double-column format) should be sent to the
Tools Chair. Accepted tool
descriptions will appear in the conference proceedings.
TUTORIALS
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.
IMPORTANT DATES
Abstract submission: 17th March
Paper submission: 24th March
Tools & tutorials: 15th May
Author notification: 7th June
Camera ready version: 2nd July
INVITED SPEAKERS
L. Cardelli (UK)
R. Givan (US)
J.-Y. Le Boudec (CH)
General Chair
J. Hillston (UK)
Programme Co-chairs
M. Harchol-Balter (US)
M. Kwiatkowska (UK)
M. Telek (HU)
Tools Chair
W. Knottenbelt (UK)
Tutorial Chair
R. Segala (IT)
Local Organisation Chair
S. Gilmore (UK)
Publicity Chair
M. Ribaudo (IT)
Steering Committee
G. Balbo (IT)
G. Ciardo (US)
P. D'Argenio (AR)
S. Donatelli (IT)
B. Haverkort (NL)
H. Hermanns (DE)
J.-P. Katoen (DE)
P. Kemper (US)
M. Kwiatkowska (UK)
W. Sanders (US, chair)
R. Segala (IT)
E. Smirni (US)
Programme Committee
to include
P. Abdulla (SE)
G. Agha (US)
C. Baier (DE)
G. Balbo (IT)
T. Bonald (FR)
P. Buchholz (DE)
J. Carrasco (ES)
G. Ciardo (US)
P. Degano (IT)
R. De Nicola (IT)
S. Donatelli (IT)
K. Etessami (UK)
J.-M. Fourneau (FR)
B. Haverkort (NL)
A. Heindl (DE)
T. Henzinger (CH)
A. Horvath (IT)
M. Huth (UK)
R. Jagadeesan (US)
J.-P. Katoen (DE)
P. Kemper (US)
W. Knottenbelt (UK)
A. McIver (AU)
G. Norman (UK)
M. Nunez (ES)
T. Osogami (JP)
C. Palamidessi (FR)
P. Panangaden (CA)
W. Penczek (PL)
A. Riska (US)
G. Rubino (FR)
W. Sanders (US)
S. Shakkottai (US)
V. Shmatikov (US)
E. Smirni (US)
K. Trivedi (US)
B. van Houdt (BE)
A. van Moorsel (UK)
C. Xia (US)
D. Yao (US)
B. Zwart (US)
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ petrinet@informatik.uni-hamburg.de ]]