QAPL 2018: first call for papers

by Erik de Vink, Dec. 18, 2017

The 16th workshop on Quantitative Aspects of Programming Languages and Systems will be held on Saturday July 14, 2018 at FLoC 2018 in Oxford, affiliated with FM 2018. Submission deadline for regular papers is April 15, 2018.

                       [Apologies for multiple copies]


16th Workshop on Quantitative Aspects of Programming Languages and Systems

                                QAPL 2018

                    Oxford UK, Saturday 14 July 2018
               part of FLoC 2018, affiliated with FM 2018



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, locality, and time are first-class citizens.


Topics of interest include (but are by no means not 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
   approximation, symbolic approaches, and optimisation methods.
 * Specification of quantitative properties such as probabilistic
   model checking and reward structures, theory and application of
   spatial and statistical model checking, as well as verification
   and/or synthesis of systems in relation to quantitative aspects.
 * Methodologies and frameworks as well as software tools for the
   design, construction, and maintenance of systems based on
   quantitative information, such as reliability engineering and
   software performance engineering.
 * 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.


  *  Carlo Ghezzi, Politecnico di Milano IT
  *  Annabelle McIver, Macquarie University AU


In order to encourage participation and discussion, this workshop
solicits two types of submissions - regular papers and presentations:

1. Regular paper: Submissions must be original work, and must not have
   been previously published, nor be under consideration for
   publication elsewhere. Regular paper submission must not exceed
   12 pages (excluding the bibliography). Additional technical material,
   proofs, etc. can be provided in a clearly marked appendix which
   will be read by reviewers at their discretion. Regular papers will
   be reviewed by the PC.

2. Presentation reports concern recent or ongoing work on relevant
   topics and ideas, for timely discussion and feedback at the
   workshop. There is no restriction as for previous/future
   publication of the contents of this contributions. Typically, a
   presentation is based on a paper which recently appeared (or which
   is going to appear) in the proceedings of another recognized
   conference, or which has not been submitted yet. The (extended)
   abstract of presentation submissions should not exceed
   4 pages. Presentation reports will be selected by the PC Chairs
   (based on the availability of presentation time).

All submissions must be in PDF format and use the EPTCS LaTeX style
(see Submissions can be made on the
following website:

The workshop PC will review all regular paper submissions based on
their relevance, merit, originality, and technical content.
Presentation reports will receive a lightweight review to establish
their relevance for the workshop. The authors of accepted submissions
of both types are expected to present and discuss their work at the
workshop. Accepted regular papers will be published electronically in
the pre-proceedings available during the workshop and after the
workshop in the Electronic Proceedings in Theoretical Computer Science
(EPTCS) as post-proceedings (to be confirmed). Short papers will not
be included in the EPTCS post-proceedings. A special issue related to
QAPL 2018 in an international journal is under consideration.


For regular papers:

   Abstract:      10 April 2018 (AoE) (optional)
   Submission:    15 April 2018 (AoE)
   Notification:  15 May 2018
   Final version: (FLoC workshop proceedings): 31 May 2017 (AoE)
   Final version: (EPTCS proceedings): TBA

For presentation reports:

   Submission: TBA
   Notification: TBA

  * Mieke Massink, CNR-ISTI Pisa IT
  * Erik de Vink, Eindhoven University of Technology NL


  * Erika Ábrahám, RWTH Aachen DE
  * Alessandro Aldini, University of Urbino "Carlo Bo" IT
  * Nathalie Bertrand, INRIA Rennes FR
  * Luca Bortolussi, University of Trieste IT
  * Konstantinos Chatzikokolakis, CNRS and École Polytechnique FR
  * Vincenzo Ciancia, CNR-ISTI Pisa IT
  * Josée Desharnais, Université Laval CA
  * Pedro D'Argenio, Universidad Nacional de Cordoba AR
  * Alessandra Di Pierro, Università di Verona IT
  * Christoph Haase, University of Oxford UK
  * Jane Hillston, University of Edinburgh UK
  * Jan Kretinsky, TU Munich DE
  * Michele Loreti, Università di Camerino IT
  * Mieke Massink (co-chair), CNR-ISTI IT
  * Mohammadreza Mousavi, University of Leicester UK
  * David Šafránek, Masaryk University CZ
  * Jeremy Sproston, University of Turin IT
  * Ana Sokolova, University of Salzburg AT
  * Marielle Stoelinga, University of Twente NL
  * Mirco Tribastone, IMT Lucca IT
  * Erik de Vink (co-chair), Eindhoven University of Technology NL
  * Herbert Wiklicky, Imperial College UK
  * Wang Yi, Uppsala University SE