[MMB] QEST 2004 // 2nd Call for Participation

Boudewijn Haverkort brh at cs.utwente.nl
Thu Aug 19 12:34:51 MEST 2004


Apologies for multiple copies!


                      CALL FOR PARTICIPATION

                             QEST 2004

  1st International Conference on Quantitative Evaluation of SysTems

           University of Twente, Enschede, the Netherlands
                       September 27 -- 30, 2004



QEST 2004
QEST is /the new conference/ on the Quantitative Evaluation of Systems,
formed as merger of 4 other conference:
* the International Conference on Modeling Techniques and Tools
   for Computer Performance Evaluation (TOOLS);
* the International Workshop on Petri Nets and Performance Models
* the Joint International Workshop on Process Algebras and Performance
   Modeling and Probabilistic Methods In Verification (PAPM-ProbMIV).

QEST is /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.

Early registration still open!
We have extended the early registration deadline to September 1, 2004.
Do not forget to book your hotel accomodation as soon as possible!

Regular Papers
Attend the session with 28 regular papers, selected after a thorough
reveiw process, on a variety of topics, including Petri nets, system
scheduling and optimisation, generation and solution of Markov chains,
model checking, symbolic state-space representation techniques,
semantics, and tools.

Tool Papers
14 tool papers will be presented and the corresponding tools will be

Invited Speakers
* G. Koole (Free University, Amsterdam):
   Performance and optimization in customer contact centers;
* M. Colajanni (University of Modena):
   Emerging internet-based services: New frontiers for performance
* Th. Henzinger (EPF Lausanne): Trading memory for randomness.

QEST'04 starts 6 half-day tutorials:
* Software Performance Models (A. Di Marco et al. and D. Petriu)
* Timed Models (P. Bouyer and M. Bravetti)
* Quantitative Programme Analysis for Security (A. Di Pierro et al.)
* Stochastic Games (M. Jurdzinski)
* Structural Analysis of Markov Chains (P. Buchholz and G. Ciardo)
* Probabilistic Model Checking and Neural Nets (M. Kwiatkowska and
    G. Rubino)

Online via http://www.qest.org/
Until September 1, 2004: Early registration
Until September 15, 2004: Late registration
After September 15, 2004: On-site
Student registration (lower fee) and other reductions only before
September 1, 2004.

Hope to see you all in Twente,

Boudewijn Haverkort, general chair
Giuliana Franceschinis, PC co-chair
Joost-Pieter Katoen, PC co-chair
Murray Woodside, PC co-chair


More information about the MMB mailing list