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

[PVS] 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 


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  





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)