resurchify Conferences Journals Workshops Seminars
      
SYMPOSIUMS MEETINGS CONFERENCE RANKING JOURNAL RANKING IMPACT FACTOR BLOGS



QEST 2020 : International Conference on Quantitative Evaluation of SysTems

Vienna, Austria
Event Date: Aug 31, 2020 - Sep 03, 2020
Abstract Submission Deadline: Mar 27, 2020
Submission Deadline: Apr 03, 2020
Notification of Acceptance: May 30, 2020
Camera Ready Version Due : Jun 23, 2020

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 Paper

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.

Hotel Deals

Booking.com

Check Other Conferences, Workshops, and Seminars

OTHER FORMAL METHODS EVENTS

GraMSec 2020 : The 7th International Workshop on Graphical Models for Security
Online
Jun 22, 2020
CONISOFT 2020 : 8th International Conference on Software Engineering Research and Innovation
Chetumal, Quintana Roo, Mexico
Nov 04, 2020
SETTA 2020 : Symposium on Dependable Software Engineering Theories, Tools and Applications
Guangzhou, China
Nov 24, 2020
WiL 2020 : 4th Women in Logic Workshop
Paris, France
Jun 30, 2020
GandALF 2020 : 11th International Symposium on Games, Automata, Logics, and Formal Verification
Brussels, Belgium
Sep 21, 2020

OTHER SECURITY EVENTS

BlockchainSys 2020 : The 3rd International Workshop on Blockchain Systems and Applications
Guangzhou, China
Nov 10, 2020
GraMSec 2020 : The 7th International Workshop on Graphical Models for Security
Online
Jun 22, 2020
ACSAC 2020 : Annual Computer Security Applications Conference
Austin, Texas
Dec 07, 2020
WISA 2020 : The 21st World Conference on Information Security Applications
Jeju Island, Korea
Aug 21, 2020
MPS 2020 : 3rd International Workshop on Multimedia Privacy and Security
Guildford, Surrey, UK
Sep 18, 2020