(PN) Last Call for participation QEST2008
****************************************************************
*** Our apologies if you receive multiple copies ***
****************************************************************
CALL FOR PARTICIPATION
5th International Conference on Quantitative Evaluation of SysTems
September 14-17, 2008, Palais du Grand Large, Saint Malo, France
http://www.qest.org/qest2008/
Co-located with Formats 2008, the 5th International Conference on Formal Modelling and Analysis of
Timed Systems
http://formats08.inria.fr/
*******************************************************************
The International Conference on Quantitative Evaluation of SysTems
(QEST) is the leading forum on evaluation and verification of computer
systems and networks, through stochastic models and measurements. QEST
combines four former events: PNPM (Workshop on Petri Nets and
Performance Models), PAPM (Workshop on Process Algebra and Performance
Modelling), PROBMIV (Workshop on Probabilistic Methods in
Verification), and TOOLS (Conference on Modelling Techniques and Tools
for Computer Performance Evaluation).
KEYNOTES
* Michael Littman, Autonomous Model Learning for Reinforcement Learning
* Albert Benveniste, Composing Web Services in an open world : QoS issues
* Peter Glynn, Linear Programming, Lyapunov Functions, and Performance Analysis
TUTORIALS + PROGRAMME
http://www.qest.org/qest2008/programme.php
******************************************************************
REGISTRATION
The registration fees include the following items:
* a copy of the proceedings of both QEST’08 and FORMATS’08,
* the three lunches (Monday, Tuesday, Wednesday),
* the “Cheese-and-wine” session on Monday,
* the visit to the Mont St Michel,
* and the gala diner on Tuesday evening.
Early registration (on or before August 17)
QEST Tutorials 100 ?
QEST/FORMATS registration 430 ?
QEST/FORMATS student registration 280 ?
Late registration (after August 17)
QEST Tutorials 135 ?
QEST/FORMATS registration 530 ?
QEST/FORMATS student registration 340 ?
–
Open WebMail Project (http://openwebmail.org)
—-
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ petrinet@informatik.uni-hamburg.de ]]