Call for Participation
Find a PDF version of the Call for Participation here. Please distribute widely!
First Call for Papers
1st International Conference on Quantitative Evaluation of SysTems
(formerly TOOLS + PNPM + PAPM/ProbMIV)
University of Twente, Enschede, the Netherlands September 27 -- 30, 2004
GENERAL CHAIRBoudewijn Haverkort (The Netherlands)
TOOL DEMO CHAIRAndrew Miner (USA)
TUTORIAL CHAIRMarco Bernardo (Italy)
QEST AD HOC STEERING COMMITTEE
SCOPE & TOPICSThe 1st International Conference on Quantitative Evaluation of Systems combines three events that have discovered an increasing convergence in their interests and in their communities of researchers.
The objective of the conference is to be the major forum for contributions on all kinds of evaluation and verification of computer and communication systems, through measurements and stochastic models, possibly incorporating non-deterministic behaviour.
Topics of interest cover the areas of modelling formalisms and methodologies, measurements, analytical and numerical evaluation, simulation and verification, and theory of probabilistic systems. Moreover, tools for supporting the practical application of research results in all the above areas, and case studies showing the practical applicability of such results are also explicitly addressed. Properties of interest include, but are not limited to performance, dependability (e.g., reliability, availability), safety, security, and survivability.
In a more detailed fashion, we encourage submissions on all of the following topics:
SUBMISSIONSSubmitted papers shall be written in English and should not exceed 20 double-spaced pages. Please follow the instructions for electronic submission given on the Conference Homepage. The final version will be limited to 10 pages in the IEEE double column format. Papers must be unpublished and must not be submitted for publication elsewhere. The proceedings will be published by IEEE.
All papers will be thoroughly reviewed by at least 3 referees on the basis of their originality and their scientific and practical contribution to the state of the art.
TOOL PRESENTATIONSSpecial sessions will be arranged to present and demonstrate tools relevant to any topic covered by the conference. Please send a tool description (up to four pages) to the tools chair Andrew Miner. Accepted tool descriptions will appear in the proceedings of QEST 2004. The final version will be limited therefore to two pages in the usual IEEE 2-column style. Have a look at the submission page for more information about this style.
TUTORIALSThere will be one day of tutorials at the beginning of the conference. Tutorial proposals should be sent to the Tutorials Chair, Marco Bernardo.
TECHNICAL PROGRAM COMMITTEE
Web Maintenance Person.