apologies for multiple copies
******************************************

QEST 2016
International Conference on Quantitative Evaluation of Systems

Quebec City, August 23-25 2016
www.qest.org/qest2016

Co-located with CONCUR 2016


IMPORTANT DATES

Abstract submission:              21 March 2016 (Extended deadline)
Paper and tool submission:        28 March 2016 (Extended deadline)
Author notification:              10 May 2016
Final version due:                3 June 2016


SCOPE AND TOPICS

QEST is the leading forum on quantitative evaluation and verification of 
computer systems and networks.  Areas of interest include quantitative 
specification methods, stochastic models, and metrics for performance, 
reliability, safety, correctness, and security.  QEST is interested in 
both theoretical and experimental research. QEST welcomes a diversity of 
modeling formalisms, programming languages and methodologies that 
incorporate quantitative aspects such as probabilities, approximations 
and other quantitative aspects.  Papers may advance empirical, 
simulation and analytic methods.  Of particular interest are case 
studies that highlight the role of quantitative specification, modeling 
and evaluation in the design of systems. Systems of interest include 
computer hardware and software architectures, communication systems, 
cyberphysical systems, infrastructural systems, and biological systems.  
Papers that describe novel tools to support the practical application of 
research results in all of the above areas are also welcome.


PEVA SPECIAL ISSUE

A selection of the best papers presented at QEST 2016 will be invited to 
submit an extended version of their paper for a Special Issue that will 
appear in the journal Performance Evaluation.


CALL FOR PAPERS

Submissions describing original research in theory, methodology and 
techniques, application, or tools are invited.  In addition, Tool 
Demonstration may be submitted as short 4 page papers.  Submitted papers 
will be evaluated by at least three reviewers on the basis of 
originality, technical quality, scientific or practical contribution to 
the state of the art, methodology, clarity, and adequacy of references.

INVITED SPEAKERS

Scott Smolka, Stony Brook University, USA
Carey Williamson, University of Calgary, CA
TBD


SUBMISSION GUIDELINES

Submissions must be in English, Springer LNCS format. Submitted papers 
should not exceed 16 pages (4 pages for tool demonstrations).  
Additional material for the aid of the reviewers (e.g., proofs) may be 
included in an appendix. Papers must be unpublished and not be submitted 
for publication elsewhere.  Papers should be submitted electronically 
using EasyChair online submission system:

https://www.easychair.org/conferences/?conf=qest2016

All accepted papers (including tool demonstrations) must be presented at 
the conference by one of the authors.  The QEST 2016 proceedings will be 
published by Springer in the LNCS Series (http://www.springer.com/lncs).


GENERAL CHAIR
Josée Desharnais, Laval University, CA

PROGRAM CO-CHAIRS
Gul Agha, University of Illinois at Urbana-Champaign, US
Benny Van Houdt, University of Antwerp, BE

PROGRAM COMMITTEE
Ana Bušic, INRIA, Paris, FR
Andres Ferragut, Universidad ORT, UR
Anshul Gandhi, Stony Brook University, US
Alessandro Abate, University of Oxford, UK
Christel Baier, TU Dresden, DE
Dieter Fiems, Ghent University, BE
Enrico Vicario, University of Florence, IT
Evgenia Smirni, College of William and Mary, US
Florin Ciucu, University of Warwick, UK
Jane Hillston, University of Edinburgh, UK
Javier Campos, University of Zaragoza, ES
John Hasenbein, University of Texas, US
Luca Bortolussi, University of Trieste, IT
Mahesh Viswanathan, University of Illinois at Urbana-Champaign, US
Mark Squillante, IBM, US
Miklós Telek, Technical University of Budapest, HU
M. Zubair Shariq, University of Iowa, US
Nail Akar, Bilkent University, TR
Nathalie Bertrand, INRIA Rennes, FR
Pavithra Prabhakar, Kansas State University, US
Peter Buchholz, TU Dortmund, DE
Peter Taylor, University of Melbourne, AU
Rohit Chadha, University of Missouri, US
Sasa Misailovic, MIT, US
Sriram Sankanarayanayan, University of Colorado Boulder, US
Tetsuya Tikane, Okasa University, JP
Tingting Han, Birkbeck, University of London, UK
William Knottenbelt, Imperial College London, UK

############################

To unsubscribe from the SIGMETRICS-MEMBERS list:
write to: mailto:[log in to unmask]
or click the following link:
http://listserv.acm.org/SCRIPTS/WA-ACMLPX.CGI?SUBED1=SIGMETRICS-MEMBERS&A=1