ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Quantitative aspects of computation refer to the use of physical quantities (time, bandwidth, etc.) as well as mathematical quantities (for example, probabilities) for the characterisation of the behaviour and for determining the properties of systems. Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of the QAPL workshop series is to discuss the explicit use of time and probability and general quantities either directly in the model or as a tool for the analysis or synthesis of systems. The 16th edition of QAPL will also focus on discussing the developments, challenges and results in this area covered by our workshop in its nearly 20-year history.

Call for Papers

The aim of the QAPL workshop series is to discuss the explicit use of time, probability and general quantities either directly in the model or as a tool for the analysis of systems.

The following main themes are relevant to the QAPL workshop:

  • the design of probabilistic, real-time, quantum languages and the definition of semantical models for such languages;

  • the discussion of methodologies for the analysis of probabilistic and timing properties (e.g. security, safety, schedulability);

  • the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects (e.g. performance analysis);

  • applications to safety-critical systems, communication protocols, asynchronous hardware, etc.

The topics of the workshop are transversal to all areas of Computer Science including Systems, Languages, Semantics, Analysis, Information Security etc., and consists in the probabilistic, timing and generally quantitative aspects of the various areas. Particular relevance will be given to the emerging areas of Quantum Computation, Bioinformatics and System Biology.

We will accept two types of submissions (in EPTCS style):

(a) Full papers of at most 12-15 pages. Full papers will be reviewed by the PC and accepted papers will be included in the pre-proceedings to be distributed at the workshop.

(b) Extended abstracts of ongoing work of at most 3-5 pages in length. On the basis of available time a selection of these abstracts will be invited for presentation at the workshop.

Revised versions of the accepted full papers will be published in the post-proceedings as an electronic volume of the EPTCS series.

Invited speakers as well as presenters of extended abstracts may also be invited to submit full versions of their contribution and after review by the PC might be included in the post-proceedings. We also plan a special issue of a journal.