[TYPES/announce] QEST 2017: Call for Participation

[Ezio Bartocci]

[Please accept our apologies if you receive multiple copies of this message.]

------------------------------------------------------------------------
			CALL FOR PARTICIPATION

			      QEST 2017
   14th International Conference on Quantitative Evaluation of Systems

		http://qest.org/qest2017/index.html <http://qest.org/qest2017/index.html> 


	  5-7 September 2017, Harnack-Haus, Berlin, Germany
------------------------------------------------------------------------

We would like to invite you to participate in the 14th International Conference 
on Quantitative Evaluation of Systems (QEST 2017). QEST is the leading forum
on quantitative evaluation and verification of computer systems and networks, 
through stochastic models and measurements. This year, QEST is part of the 
QONFEST <https://conference.imp.fu-berlin.de/qonfest/home> event, co-located with CONCUR, Formats, EPEW, and several workshops, 
offering great opportunities for learning, discussions, and collaborations in the 
vibrant city of Berlin, Germany.


====== INVITED SPEAKERS ======
Morten Bisgaard, Gomspace, DK

 <http://www-fen.upc.es/%7Eromu/>Romualdo Pastor-Sattoras, Universitat Politècnica de Catalunya, SP

Hongseok Yang, University of Oxford, UK



====== PROGRAM ======
The program of QEST’17 is available at:

http://qest.org/qest2017/program.html <http://qest.org/qest2017/program.html>

====== VENUE and ACCOMMODATION ======
The 14th International Conference on Quantitative Evaluation of Systems will 
be held at the Harnack-Haus. More information about the conference venue 
and hotel suggestions can be found at:

 https://conference.imp.fu-berlin.de/qonfest/venue <https://conference.imp.fu-berlin.de/qonfest/venue>
 https://conference.imp.fu-berlin.de/qonfest/accomodation <https://conference.imp.fu-berlin.de/qonfest/accomodation>

====== REGISTRATION ======
Registration is now available using the web-based registration form,
with online payment on a secure website.

The early registration deadline is July 31st, 2017. More information is
available at

 https://conference.imp.fu-berlin.de/qonfest/registration-Info <https://conference.imp.fu-berlin.de/qonfest/registration-Info>

====== CHAIRS and ORGANIZERS ====== 

General Chairs:
 Katinka Wolter (katinka.wolter at fu-berlin.de <mailto:katinka.wolter at fu-berlin.de>)
 Uwe Nestmann   (uwe.nestmann at tu-berlin.de <mailto:uwe.nestmann at tu-berlin.de> )

Program Chairs:
 Nathalie Bertrand (nathalie.bertrand at inria.fr <mailto:nathalie.bertrand at inria.fr>)
 Luca Bortolussi   (luca at dmi.units.it <mailto:luca at dmi.units.it>)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170725/572211b9/attachment.html>