QEST, the International Conference on Quantitative Evaluation of SysTems, 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.

FORMATS, the International Conference on Formal Modeling and Analysis of Timed Systems, aims to promote the study of fundamental and practical aspects of timed systems, including modelling, design, and analysis.

The conference aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid, and probabilistic systems.

Areas of interest include:

• Theoretical foundations of timed systems, languages and models (e.g., timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models).
• Techniques, algorithms, data structures, and tools for analyzing timed systems and resolving temporal constraints (e.g., scheduling, WCET analysis, optimization, model checking, testing, constraint solving).
• Adaptation and specialization of timing technology in application domains in which timing plays an important role (e.g., real-time software, hardware circuits, scheduling in manufacturing and telecommunication, robotics).