QEST: Quantitative Evaluation of Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2022 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
QEST 2021 International Conference on Quantitative Evaluation of SysTems
Aug 23, 2021 - Aug 27, 2021 Paris, France Apr 15, 2021 (Apr 8, 2021)
QEST 2020 International Conference on Quantitative Evaluation of SysTems
Aug 31, 2020 - Sep 3, 2020 Vienna, Austria Apr 3, 2020 (Mar 27, 2020)
QEST 2019 16th International Conference on Quantitative Evaluation of SysTems
Sep 9, 2019 - Sep 12, 2019 Glasgow Apr 18, 2019 (Apr 15, 2019)
QEST 2018 QEST 2018 : 15th International Conference on Quantitative Evaluation of SysTems
Sep 4, 2018 - Sep 7, 2018 Beijing, China Apr 4, 2018 (Mar 28, 2018)
QEST 2017 14th International Conference on Quantitative Evaluation of SysTems
Sep 5, 2017 - Sep 7, 2017 Berlin Apr 9, 2017
QEST 2016 International Conference on Quantitative Evaluation of Systems
Aug 23, 2016 - Aug 25, 2016 Quebec City, Canada Mar 14, 2016 (Mar 7, 2016)
QEST 2014 Quantitative Evaluation of Systems
Sep 8, 2014 - Sep 11, 2014 Florence, Italy Mar 14, 2014 (Mar 7, 2014)
QEST 2013 10th International Conference on Quantitative Evaluation of SysTems
Aug 27, 2013 - Aug 30, 2013 Buenos Aires, Argentinia Mar 18, 2013 (Mar 11, 2013)
QEST 2012 9th International Conference on Quantitative Evaluation of SysTems
Sep 17, 2012 - Sep 20, 2012 London, UK, Imperial College Mar 5, 2012 (Feb 27, 2012)
QEST 2011 8th International Conference on Quantitative Evaluation of SysTems
Sep 5, 2011 - Sep 8, 2011 Aachen, Germany Mar 25, 2011 (Mar 18, 2011)
QEST 2010 7th International Conference on Quantitative Evaluation of SysTems
Sep 15, 2010 - Sep 19, 2010 Williamsburg, VA, USA Mar 29, 2010 (Mar 22, 2010)
QEST 2009 6th International Conference on Quantitative Evaluation of SysTems
Sep 13, 2009 - Sep 16, 2009 Budapest, Hungary Mar 23, 2009 (Mar 16, 2009)
 
 

Present CFP : 2021

QEST 2021 Early CfP
https://www.qest.org/qest2021/

Co-located at QONFEST with CONCUR, FORMATS, FMICS

**************************************
Important Dates

Abstract Submission: April 8th, 2021
Paper Submission: April 15th, 2021
Notification: June 7th, 2021
Conference: August 23rd-27th, 2021
**************************************


================
Scope and Topics
================

The International Conference on Quantitative Evaluation of SysTems
(QEST) is the leading forum on quantitative evaluation and
verification of computer systems and networks. QEST 2021 is the 18th
conference in the series.

Scientific areas of interest include:

- quantitative specification methods.

- stochastic and non-deterministic models and metrics for performance,
reliability, safety, correctness, and security.

- new algorithms for the analysis or simulation of stochastic,
probabilistic and non-deterministic models.

- (as a recent emphasis) application of data-driven, machine learning
techniques for the quantitative evaluation and verification of
systems, in particular for safety-critical applications (learning
for safety, as well as safe learning).

- case studies that highlight the role of quantitative specification,
modelling and evaluation in the design of systems. Systems of
interest include computer hardware and software architectures,
communication systems, cyber-physical systems, infrastructural
systems, security 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. QEST will set up a repeatability evaluation process
(details below).

QEST is open to both theoretical, experimental and applicative
research. The conference welcomes a diversity of modelling formalisms,
programming languages and methodologies that incorporate quantitative
aspects such as probabilities, temporal properties, rewards and forms
of non-determinism. Papers may advance empirical, simulation and
analytic methods, and industrially-relevant case studies.

In QEST21, we plan to organize a special session under the topic
"modelling and analysis in biology", comprising topics such as
epidemiological systems, systems biology, biological networks, and
computational biology. Contributions in this area are particularly
welcome.


===========
Submissions
===========

QEST 2021 considers three types of papers (authors will be able to
specify the type of the contribution at the submission):

- THEORETICAL/METHODOLOGICAL: to advance the understanding on a topic
or issue, or to describe the development and proposal of new
analysis processes and techniques.

- APPLICATION: to describe a novel application and compare it with
previous results.

- TOOL: to develop new tools and the formalisms they support, with a
focus on the software architecture and practical implementation and
use. Tools will be made available to the reviewers.

Paper submission can be REGULAR and SHORT: regular papers must not
exceed 16 pages, excluding references, plus 4 pages for the appendix
containing supporting material. Short papers should preferably be
limited to 8 pages, also excluding references.

All submitted papers must be unpublished and not be submitted for
publication elsewhere. Papers should be submitted electronically using
EasyChair [2]. Springer encourages authors to include their ORCIDs in
their papers. Authors should consult Springer's authors' guidelines
[0] and use Springer's LaTeX templates [1] for the preparation of
their papers.


===========
Publication
===========

All accepted papers will be presented and discussed at the conference
by one of the authors. The QEST 2021 proceedings will be published in
the Springer LNCS series and indexed by ISI Web of Science, Scopus,
ACM Digital Library, dblp, Google Scholar.

All submitted papers will be evaluated by at least three reviewers on
the basis of their originality, technical quality, scientific or
practical contribution to the state of the art, methodology, clarity,
and adequacy of references.


========================
Repeatability Evaluation
========================

Authors of tool papers (both regular and short) are encouraged to make
their tools (source code) and input data available to reviewers;
reproducibility of results will be taken into account during the
evaluation process, and the conference will include the possibility of
a demo session for interaction with the authors. Authors should
present use cases, distinctive features, and computational/memory
requirements through motivating examples. We expect authors of tool
papers (regular and short) to provide instructions detailing the steps
which need to be taken to reproduce the results presented in the tool
papers to ensure reproducibility.

RE is optional (but recommended) also for other submissions
(theoretical/methodological or application submissions). Successfully
evaluated papers will receive a specific tag in the proceedings.


=============
Special Issue
=============

A selection of the best full papers will be invited to submit an
extended version of their work to a special issue in the ACM
Transactions on Modelling and Computer Simulation (TOMACS) [3].

(Further details will be provided on the website.)

[0] ftp://ftp.springernature.com/cs-proceeding/svproc/guidelines/Springer_Guidelines_for_Authors_of_Proceedings.pdf
[1] ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip
[2] https://easychair.org/my/conference?conf=qest2021
[3] https://dl.acm.org/journal/tomacs


====================
Organising committee
====================

General Chair (QONFEST):
Benoit Barbot (Université Paris-Est Créteil. FR)

Program Chairs:
Alessandro Abate (Oxford University, UK)
Andrea Marin (Università Ca’ Foscari Venezia, IT)

Repeatability Evaluation Chair:
David Safranek (Masaryk University, CZ)

Publicity Chair:
Marco Paolieri (University of Southern California, USA)
 

Related Resources

ICDM 2021   21st IEEE International Conference on Data Mining
IJCSEA 2021   International Journal of Computer Science, Engineering and Applications
MobiSPC 2021   The 18th International Conference on Mobile Systems and Pervasive Computing August 9-12, 2021, Leuven, Belgium
ICWMC 2021   The Seventeenth International Conference on Wireless and Mobile Communications
ENASE 2021   16th International Conference on Evaluation of Novel Approaches to Software Engineering
ICE 2021   14th Interaction and Concurrency Experience
EAI VALUETOOLS 2021   14th EAI International Conference on Performance Evaluation Methodologies and Tools (Springer, Scopus, ISI, Ei, more)
ECSQARU 2021   The Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
MAP 2021   Music and Art in Pandemic
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex