posted by organizer: erikdevink || 817 views || tracked by 2 users: [display]

QAPL 2018 : 16th workshop on Quantitative Aspects of Programming Languages and Systems


When Jul 14, 2018 - Jul 14, 2018
Where Oxford
Abstract Registration Due Apr 10, 2018
Submission Deadline Apr 15, 2018
Notification Due May 15, 2018
Final Version Due May 31, 2018
Categories    quantiative analysis   quantitative modeling   probabilistic programming   quantitative logics

Call For Papers

[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 University 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

Related Resources

POPL 2022   Symposium on Principles of Programming Languages
IJPLA 2021   International Journal of Programming Languages and Applications
CTCM 2021   7th International Conference of Control Theory and Computer Modelling
MPLR 2021   18th International Conference on Managed Programming Languages and Runtimes
IJFCST 2021   International Journal in Foundations of Computer Science & Technology
AI 2021   7th International Conference on Artificial Intelligence and Applications
MPLR 2021   Managed Programming Languages and Runtimes
ICAART 2022   14th International Conference on Agents and Artificial Intelligence
ECSQARU 2021   The Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems