[TYPES/announce] Call For Participation QEST2008

Nihal PEKERGIN nihal.pekergin at univ-paris12.fr
Sun Jul 13 15:09:07 EDT 2008


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




More information about the Types-announce mailing list