[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

                          http://www.qest.org/

------------------------------------------------------------------

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
   (PNPM);
* 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
demo-ed.


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
   models;
* Th. Henzinger (EPF Lausanne): Trading memory for randomness.

Tutorials
---------
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)

Registration
------------
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