[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

                      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)