All conferences / QEST / 2020
QEST 2020
17th International Conference on Quantitative Evaluation of SysTems
Submission timeline
-
24 Apr 2020
Abstract registration
AoE
27 Mar 2020→ 24 Apr 2020 +28 days -
30 Apr 2020
Full paper
AoE
3 Apr 2020→ 30 Apr 2020 +27 days -
19 Jun 2020
Notification
30 May 2020→ 19 Jun 2020 +20 days
- 1 Sep 2020 Conference opens
What to submit
- Format
- 16 pages LNCS + references (Theoretical / Methodological and technical / Application / Tools); 4 pages LNCS (Tool demonstration)
- Proceedings
- Springer LNCS — Paywalled, for-profit
Accepted tool descriptions will appear in the conference proceedings. Extended versions of the best papers will be considered for possible fast-track publication in a journal special issue.
Call for papers
- After a deadline extension QEST-2020-extended.txt · TXT · shown below
- As first published QEST-2020.txt · TXT
The call, as published
Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at www.qest.org/qest2020/.
------------------------------------------------------------------------ Final Call for Papers for: QEST 2020 Following the outbreak of COVID-19, QEST has decided to move ON-LINE, with a new format for safe and worldwide-open meeting. 17th International Conference on Quantitative Evaluation of SysTems http://www.qest.org/qest2020/ QEST 2020 will be held ONLINE, without a physical meeting August 31 - September 3, 2020 Co-located with CONCUR, FORMATS, and FMICS, QEST will be part of QONFEST 2020 http://qonfest2020.conf.tuwien.ac.at/ ------------------------------------------------------------------------ Important Dates (updated) Abstract submission: April 24 Paper submission: April 30 Poster submission: May 15 Author notification: June 19 Final version due: August 3 Tutorials: August 31 Conference: September 1-3 All deadlines are in 2020, Anywhere on Earth ---------------------------------------------------------------------- Important Changes - QEST 2020 will be held fully online. - We expect every accepted submission to be supported by a pre-recorded video presentation. - The video presentation needs to be handed in together with the camera-ready version of the submission. - The presentation will be made publicly available online. (Please contact us, if you have reservations in this respect.) - The proceedings will be available 4 weeks after the conference. - Details w.r.t. the online platform used will be made available at a later point in time. ------------------------------------------------------------------------ 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. Areas of interest include quantitative specification methods, stochastic and non-deterministic models and metrics for performance, reliability, safety, correctness, and security. QEST is interested in both theoretical and experimental research. QEST welcomes a diversity of modelling formalisms, programming languages and methodologies that incorporate quantitative aspects such as probabilities, temporal properties and other forms of non-determinism. This includes work on the combination of quantitative evaluation and verification with machine learning techniques. Papers may advance empirical, simulation and analytic methods. Of particular interest are 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 2020 will organize a special session under the topic "Predictive performance by machine learning." Submissions that address the combination of machine learning and performance prediction are particularly welcomed. Ph.D. students whose work is not yet finished are encouraged to register for the Ongoing Work session. This session offers opportunity to discuss, not to publish formally. ------------------------------------------------------------------------ Submissions QEST 2020 considers six types of papers: - THEORETICAL: advance our understanding, apply to non-trivial problems and be mathematically rigorous. - METHODOLOGICAL AND TECHNICAL: describe situations that require the development and proposal of new analysis processes and techniques. - APPLICATION: describes a novel application, and compares with previous results. - TOOL: should motivate the development of the new tools and the formalisms they support, with a focus on the software architecture and practical capabilities. - TOOL DEMONSTRATION: describe a relevant tool, as well as its features, evaluation, or any other information that may demonstrate the merits of the tool. - SHORT PAPER: provide a shorter contribution focusing on on-going research activities, that are still not mature enough to complete a full paper. All accepted papers will be discussed online during the conference by at least one of the authors. The QEST 2020 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. Authors should consult Springer's authors' guidelines [0] and use Springer's LaTeX templates [1] for the preparation of their papers. Submitted full papers must not exceed 16 pages excluding references. Short papers (including tool demonstrations) must not exceed 4 pages, also excluding references. 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 of tool papers (both regular and demonstration) must make their tools 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 remote demo session or online interaction with the authors. Authors should present use cases, distinctive features, and computational/memory requirements through motivating examples. Theoretical background need not be presented in tool demonstration papers. If accepted after peer-review, the authors may choose to have a short description (4 pages long) included in the proceedings. Tools full papers (16 pages long) must describe substantial improvements if they present new versions of existing tools. 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. (Further details are provided on the website.) Full papers will participate in the competence for the best paper award, elected by the programme committee. We thank Springer for support with this award. A selection of the best full papers will be invited to submit an extended version of their paper to a special issue in the Performance Evaluation journal [3]. [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=qest2020 [3] https://www.journals.elsevier.com/performance-evaluation/ ------------------------------------------------------------------------ Contact & links Submissions: https://easychair.org/my/conference?conf=qest2020 Call for Papers as PDF: http://www.qest.org/qest2020/publicity/QEST_2020_CfP.pdf Publicity chair: Carlos E. Budde (c dot e dot budde <at> utwente dot nl)