[MMB] QEST 2004 Call for tool descriptions

Andrew Miner asminer at cs.iastate.edu
Thu Apr 22 13:10:09 MEST 2004




[we apologize for multiple copies]

======================================================================

CALL FOR TOOL DESCRIPTIONS  

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

                                QEST 2004

  1st International Conference on Quantitative Evaluation of SysTems

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

                          http://www.qest.org/

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

The 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.  Topics of 
interest cover the areas of modelling formalisms and methodologies,
measurements, analytical and numerical evaluation, simulation and
verification, and theory of probabilistic systems. 

Please note that the April 30, 2004 deadline for tool descriptions is 
approaching.  Tool descriptions (up to four pages) should be sent to 
the tools chair Andrew Miner  (http://www.cs.iastate.edu/~asminer).  
Accepted tool descriptions will appear in the proceedings of QEST 2004. 
The final version will be limited to two pages in IEEE 2-column style.


See you in Twente,

Andrew Miner, tool demo chair
Boudewijn Haverkort, general chair







More information about the MMB mailing list