[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

Reply via email to