[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [qest-announce] Call for Participation QEST08

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


Co-located with Formats 2008, the 5th International Conference on Formal Modelling
 and Analysis of Timed Systems


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


* 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





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)

qest-announce mailing list