Date(s) - 10/09/2019 - 12/09/2019
The University of Glasgow
SICSA is delighted to be sponsoring The 16th International Conference on Quantitative Evaluation of SysTems (QEST 2019) which is taking place at the University of Glasgow.
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.
Registration is now open and you can register here
SICSA is covering the cost of conference registration for a limited number of Scotland-based PhD students. If you would like to apply for one of these places, then please email Gethin Norman including up to 150 words on why SICSA should cover your registration.