[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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
http://qapl17.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 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.
INVITED SPEAKERS:
* Erika Ábrahám, RWTH Aachen, Germany
* Andrea Vandin, IMT Lucca, Italy
SUBMISSIONS:
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
website:
http://www.easychair.org/conferences/?conf=qapl17
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.
IMPORTANT DATES:
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)
ORGANISATION:
* Erik de Vink, Eindhoven University of Technology, NL
* Herbert Wiklicky, Imperial College London, UK
PROGRAMME COMMITTEE (preliminary):
* 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
