[TYPES/announce] QAPL 2017: second call for papers

Herbert Wiklicky herbert at doc.ic.ac.uk
Tue Dec 20 03:26:04 EST 2016

                        [Apologies for multiple copies]


15th Workshop on Quantitative Aspects of Programming Languages and Systems

                                 QAPL 2017

     Affiliated with ETAPS 2017 Uppsala, Sweden, Sunday 23 April 2017



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.


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 as well as verification and/or
    synthesis of systems in relation to quantitative aspects.

  * 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 specification, analysis,
    verification, and synthesis 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.


   *  Erika Ábrahám, RWTH Aachen, Germany
   *  Andrea Vandin, IMT Lucca, Italy


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 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. 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 http://style.eptcs.org/. Submissions can be made on the following


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. Short papers will not be included in the
EPTCS post-proceedings.


For regular papers:

    Submission: 5 February 2017 (AoE)
    Notification: 10 March 2017 (AoE)
    Final version (ETAPS proceedings): 25 March 2017 (AoE)
    Final version (EPTCS proceedings): TBA

For presentation reports:

    Submission: 12 March 2017 (AoE)
    Notification: 15 March 2016 (AoE)


   * Erik de Vink, Eindhoven University of Technology, NL
   * Herbert Wiklicky, Imperial College London, UK


   * Alessandro Abate, University of Oxford, UK
   * Alessandro Aldini, University of Urbino "Carlo Bo", IT
   * Pedro D'Argenio, Universidad Nacional de Cordoba, AR
   * Josee Desharnais, Universite Laval, CA
   * Alessandra Di Pierro, Universita di Verona, IT
   * Antonio Filieri, Imperial College London, UK
   * Jane Hillston, University of Edinburgh, UK
   * Mieke Massink, CNR-ISTI, IT
   * Ana Sokolova, University of Salzburg, AT
   * Marielle Stoelinga University of Twente, NL
   * Erik de Vink, Eindhoven University of Technology, NL
   * Herbert Wiklicky, Imperial College London, UK

More information about the Types-announce mailing list