[MMB] Call for Participation Quantitative Evaluation of SysTems (QEST 2004)

Joost-Pieter Katoen katoen at cs.utwente.nl
Wed Jul 7 09:12:01 MEST 2004

[we apologize for multiple copies]


       CALL FOR PARTICIPATION  (on-line registration is open now)

                              QEST 2004

1st International Conference on Quantitative Evaluation of SysTems

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



Program in a nutshell:

Regular Papers
After a careful review process, the PC selected 28 papers, out of 80 
submitted, which will be published in an IEEE proceedings.  QEST'04 
will have sessions on case studies, time and continuous Petri nets, 
scheduling and optimisation, generation and solution of Markov chains, 
model checking, symbolic techniques, semantics, and tools. 

Tool Papers
14 short 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.

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 August 15, 2004: Early registration
Until September 15, 2004: Late registration
After September 15, 2004: On-site
Student registration (lower fee) and other reductions only before
August 15, 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