Conference Information
QEST 2020: International Conference on Quantitative Evaluation of SysTems
Submission Date:
2020-04-24 Extended
Notification Date:
Conference Date:
Vienna, Austria
Viewed: 4302   Tracked: 2   Attend: 0

Conference Location
Call For Papers
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.
Last updated by Dou Sun in 2020-03-27
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICACCInternational Conference on Advanced Computer Control2016-07-052016-07-122016-12-10
bb1HASEInternational Symposium on High Assurance Systems Engineering2018-09-232018-10-152019-01-03
SLDTSingapore Learning Design and Technology Conference2019-04-152019-04-292019-08-01
ICNLPInternational Conference on Natural Language Processing2020-10-052020-10-302021-03-26
DIPECCInternational Conference on Digital Information Processing, E-Business and Cloud Computing2015-05-29 2015-06-29
bb4ICDCNInternational Conference on Distributed Computing and Networking2020-07-242020-09-242021-01-05
cb1ICEISInternational Conference on Enterprise Information Systems2015-12-102016-02-032016-04-25
NCSTNational Conference on Software Testing2013-08-312013-09-212013-10-25
SENSORCOMMInternational Conference on Sensor Technologies and Applications2020-07-052020-09-052020-11-15
AIRInternational Conference on Artificial Intelligence and Robots2020-12-25 2020-07-17