From: Andrew Miner <asminer@cs.iastate.edu>
To: petrinet@informatik.uni-hamburg.de
Date: Fri, 23 Apr 2004 13:58:02 +0200
Subject: (PN) QEST 2004 Call for tool descriptions
[we apologize for multiple copies]
======================================================================
CALL FOR TOOL DEMONSTRATIONS
----------------------------------------------------------------------
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
----
[[ Homepage and archive: http://www.daimi.au.dk/PetriNets/pnml/ ]]
[[ Post messages/summary of replies: PetriNets@daimi.au.dk ]]
[[ Read before posting: http://www.daimi.au.dk/PetriNets/pnml/faq.html ]]
[[ Subscribe: http://mailman.daimi.au.dk/mailman/listinfo/petrinets ]]