QEST 2020 : International Conference on Quantitative Evaluation of SysTems Vienna, Austria
|
|||||||||
Event Date: | August 31, 2020 - September 03, 2020 |
---|---|
Abstract Submission Deadline: | March 27, 2020 |
Submission Deadline: | April 03, 2020 |
Notification of Acceptance: | May 30, 2020 |
Camera Ready Version Due: | June 23, 2020 |
Categories |
FORMAL METHODS
SECURITY
|
About |
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. Performance metrics of interest include response time, reliability, availability, safety, security, survivability, correctness, timeliness, and efficiency. Areas of interest include modelling formalisms and methodologies, measurements, analytical and numerical evaluation, simulation and verification, and theory of probabilistic, concurrent and non-deterministic behaviour. Also of interest are case studies showing the role of quantitative evaluation in the design of systems including computer architectures, distributed and fault tolerant systems, communication systems, embedded systems, web-based systems, and safety-critical systems. Moreover, tools for supporting the practical application of research results in all the above areas are of special interest for QEST and therefore tool papers are sought. In short, QEST aims to create a sound methodological basis for assessing and designing trustworthy computing systems and networks. |
Call for Papers |
Scope and TopicsThe 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. |
Summary |
QEST 2020 : International Conference on Quantitative Evaluation of SysTems will take place in Vienna, Austria. It’s a 4 days event starting on Aug 31, 2020 (Monday) and will be winded up on Sep 03, 2020 (Thursday). QEST 2020 falls under the following areas: FORMAL METHODS, SECURITY, etc. Submissions for this Conference can be made by Apr 03, 2020. Authors can expect the result of submission by May 30, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Jun 23, 2020 to the official website of the Conference. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the QEST 2020
|
Credits and Sources |
[1] QEST 2020 : International Conference on Quantitative Evaluation of SysTems |