QAPL 2018 - Sixteenth International Workshop on Quantitative Aspects of Programming Languages and Systems

The scope of the QAPL workshop is to discuss new developments on the quantitative evaluation of systems, with an emphasis on quantitative aspects of computation, broadly construed.
We solicit papers on theory, engineering methodologies, tools, case studies, and experience reports where quantitative properties such as bandwidth, cost, energy, memory, performance, probability, reliability, security, and time are first-class citizens.
Topics
Topics of interest include (but are by no means limited to):
The design of probabilistic, deterministic, hybrid, real-time, and quantum languages, and the definition of their semantical models.
Quantitative analysis techniques such as simulation, numerical solution, symbolic approaches, optimisation methods and their extensions to spatial and spatio-temporal aspects.
Specification of quantitative properties such as probabilistic model checking and reward structures as well as verification and/or synthesis of systems in relation to quantitative aspects.
Methodologies and frameworks for the engineering of systems based on quantitative information, such as reliability engineering and software performance engineering.
Software tools to support the quantitative specification, analysis, verification and programming of systems.
Case studies and applications, for instance about coordination models, cyber-physical systems, security, self-adaptive systems, smart grids, systems of systems as well as natural/physical domains such as chemistry and systems biology.