posted by user: aldinia || 2318 views || tracked by 3 users: [display]

QAPL 2019 : QAPL 2019 - 16th Workshop on Quantitative Aspects of Programming Languages and Systems


When Apr 6, 2019 - Apr 7, 2019
Where Prague, Czechia
Submission Deadline Feb 10, 2019
Notification Due Feb 27, 2019
Final Version Due Mar 7, 2019
Categories    computer science   formal methods   semantics   programming languages

Call For Papers

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.

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.


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

1. Extended Abstracts: 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 6 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 relevan topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as for previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recognised conference, or which has not yet been submitted. The (extended) abstract of presentation submissions should not exceed 3 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. Submissions can be made through Easychair:

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 (allowing for minor corrections) will be published electronically in the pre-proceedings available during the workshop and (extended versions of up to 12-15 pages) after the workshop and a second review round in the Electronic Proceedings in Theoretical Computer Science (EPTCS) as post-proceedings. We also plan a special issue of a journal.


For extended abstracts:

Submission: 10 February 2019 (AoE)
Notification: 27 February 2019
Corrections (pre-proceedings): 28 February 2019 (AoE)
Final extended versions (EPTCS proceedings): 7 May 2019

For presentation reports:

Submission: 25 February 2019 (AoE)
Notification: 28 February 2019


Alessandro Aldini, University of Urbino, Italy
Herbert Wiklicky, Imperial College London, UK

Related Resources

POPL 2023   50th Symposium on Principles of Programming Languages
GreeNet Symposium - SGNC 2022   11th Symposium on Green Networking and Computing (SGNC 2020)
IJPLA 2022   International Journal of Programming Languages and Applications
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
MPLR 2022   19th International Conference on Managed Programming Languages & Runtimes
LOPSTR 2022   32nd International Symposium on Logic-Based Program Synthesis and Transformation
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
ACM-Ei/Scopus-ITNLP 2022   2022 2nd International Conference on Information Technology and Natural Language Processing (ITNLP 2022) -EI Compendex
CSTY 2022   8th International Conference on Computer Science and Information Technology