[TYPES/announce] 2nd CfP: QAPL16 (New: Speakers, PC, Deadlines)

[Herbert Wiklicky]

                        [Apologies for multiple copies]

************************************************************************

SECOND CALL FOR PAPERS

=== NEW: Invited Speakers, PC and Revised Deadlines ===

14th Workshop on Quantitative Aspects of Programming Languages and Systems
QAPL 2016

Affiliated with ETAPS 2016 April 2 - 3, 2016, Eindhoven, The Netherlands

http://qapl16.doc.ic.ac.uk

************************************************************************


SCOPE:

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:

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.
   
INVITED SPEAKERS:
   
   *  Boudewijn Haverkort - University of Twente, NL

   *  Chung-Chieh Shan - Indiana University, US

   *  Antonio Filieri - Imperial College London, UK
   
SUBMISSIONS:

In order to encourage participation, discussion, and early feedback,
this workshop solicits two types of submissions - regular papers and
presentation reports:

   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.

   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 a
       journal or in the proceedings of another recognised conference, or
       which has not yet been submitted. The (extended) abstract of
       presentation submissions should not exceed 4 pages.

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
website:

     http://www.easychair.org/conferences/?conf=qapl16

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.

Following previous issues of QAPL, a special journal issue will be
considered.

IMPORTANT DATES:

For regular papers:

   *  Submission (regular paper): 18 January 2016

   *  Notification: 18 February 2016

   *  Final version (ETAPS pre-proceedings): 5 March 2016

For presentation reports:

   *  Submission (short papers): 20 February 2016

   *  Notification: 25 February 2016

ORGANISATION:

PC Chairs:

   * Mirco Tribastone, IMT Lucca, IT
   * Herbert Wiklicky, Imperial College London, UK

Program Committee:

   * Alessandro Abate, University of Oxford
   * Alessandro Aldini, University of Urbino	
   * Ezio Bartocci, TU Wien
   * Luca Bortolussi, University of Trieste
   * Peter Buchholz, TU Dortmund
   * Pedro R. D'Argenio, Universidad Nacional de Córdoba
   * Alessandra Di Pierro, Università di Verona	
   * Michele Loreti, Universita' degli Studi di Firenze	
   * Mieke Massink, NR-ISTI	
   * Dimitrios Milios, University of Edinburgh	
   * Nicola Paoletti, University of Oxford
   * Tatjana Petrov, IST Austria
   * Nigel Thomas, Newcastle University
   * Mirco Tribastone, IMT Institute for Advanced Studies Lucca
   * Herbert Wiklicky, Imperial College London
   * Verena Wolf, Saarland University
   * Katinka Wolter, Freie Universitaet zu Berlin