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

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.

Accepted Papers

	Title
	A Faster-Than Relation for Semi-Markov Decision Processes QAPL Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Larsen Pre-print
	An Adequate Semantics for Hybrid While QAPL Sergey Goncharov, Renato Neves
	Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence QAPL Anne Schreuder, C.-H. Luke Ong Pre-print
	Coherent Resolutions of Nondeterminism QAPL Marco Bernardo
	Equational Characterization Metaresults for Bisimulation and Trace Semantics in ULTraS QAPL Marco Bernardo
	Probabilistic output analyses for deterministic programs -reusing existing non-probabilistic analyses QAPL Maja Kirkeby Pre-print
	Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs QAPL Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll DOI
	Recent Applications and Quantitative Aspects of Spatial Model Checking QAPL Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
	Towards Digital Twins for the Description of Automotive Software Systems QAPL Jan Olaf Blech Pre-print

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.

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

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.
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 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.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Session IQAPL at S7

09:00 60m Talk		Principles of QAPL: What I learned in nearly 20 years and what I still don’t understand QAPL Herbert Wiklicky Imperial College London
10:00 30m Talk		Probabilistic output analyses for deterministic programs -reusing existing non-probabilistic analyses QAPL Maja Kirkeby Roskilde University Pre-print

11:00 - 12:30	Session IIQAPL at S7

11:00 30m Talk		A Faster-Than Relation for Semi-Markov Decision Processes QAPL Mathias Ruggaard Pedersen Aalborg University, Giorgio Bacci Aalborg University, Kim Larsen Aalborg University Pre-print
11:30 30m Talk		Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence QAPL Anne Schreuder Technischen Universität Kaiserslautern, C.-H. Luke Ong University of Oxford Pre-print
12:00 30m Talk		Towards Digital Twins for the Description of Automotive Software Systems QAPL Jan Olaf Blech Aalto University Pre-print

14:00 - 15:30	Session IIIQAPL at S7

14:00 60m Talk		Invited talk: Exact and Approximate Reductions of Quantitative Models QAPL I: Max Tschaikowski TU Wien
15:00 30m Talk		Coherent Resolutions of Nondeterminism QAPL Marco Bernardo University of Urbino

16:00 - 18:00	Session IVQAPL at S7

16:00 30m Talk		Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs QAPL Kevin Batz RWTH Aachen University, Benjamin Lucien Kaminski RWTH Aachen University; University College London, Joost-Pieter Katoen RWTH Aachen University, Christoph Matheja RWTH Aachen University, Thomas Noll RWTH Aachen University DOI
16:30 30m Talk		An Adequate Semantics for Hybrid While QAPL Sergey Goncharov FAU Erlangen-Nürnberg, Lehrstuhl 8, Renato Neves University of Minho & INESC TEC
17:00 30m Talk		Recent Applications and Quantitative Aspects of Spatial Model Checking QAPL Gina Belmonte , Vincenzo Ciancia , Diego Latella , Mieke Massink CNR-ISTI Pisa, Italy
17:30 30m Talk		Equational Characterization Metaresults for Bisimulation and Trace Semantics in ULTraS QAPL Marco Bernardo University of Urbino