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.
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 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 solution, symbolic approaches, optimisation methods.
- Specification of quantitative properties such as probabilistic model checking and reward structures.
- 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 analysis 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.
Preliminary Programme is now online
In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and presentations:
- 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.
- Presentation reports concernrecent 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 a presentation. 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 yet been submitted. The (extended) abstract of presentation submissions should not exceed 4 pages.
Accepted regular papers will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Please use the EPTCS latex style for both your preliminary submission and the camera ready paper. Publication of a selection of the papers in a special issue of a journal is under consideration.
For regular papers:
18 January 2016- Extended: 26 January 2016 (AoE)
- Notification: 18 February 2016
- Final version (ETAPS proceedings): 5 March 2016
- Final version (EPTCS proceedings): TBA
For presentation reports:
- Submission: 20 February 2016
- Notification: 25 February 2016
- Boudewijn Haverkort - University of Twente, NL
- Chung-Chieh Shan - Indiana University, US
- Antonio Filieri - Imperial College London, UK
- Alessandro Abate, University of Oxford, UK
- Alessandro Aldini, University of Urbino, IT
- Ezio Bartocci, TU Wien, AT
- Luca Bortolussi, University of Trieste, IT
- Peter Buchholz, TU Dortmund, DE
- Pedro R. D'Argenio, Universidad Nacional de Córdoba, AR
- Alessandra Di Pierro, Università di Verona, IT
- Michele Loreti, Universita' degli Studi di Firenze, IT
- Mieke Massink, NR-ISTI, IT
- Dimitrios Milios, University of Edinburgh, UK
- Nicola Paoletti, University of Oxford, UK
- Tatjana Petrov, IST Austria, AT
- Nigel Thomas, Newcastle University,UK
- Mirco Tribastone, IMT Lucca, IT
- Herbert Wiklicky, Imperial College London, UK
- Verena Wolf, Saarland University, DE
- Katinka Wolter, Freie Universitaet zu Berlin, DE