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)