posted by user: ndisp || 1099 views || tracked by 3 users: [display]

QAPL 2016 : Fourteenth International Workshop on Quantitative Aspects of Programming Languages and Systems

FacebookTwitterLinkedInGoogle

Link: http://qapl16.doc.ic.ac.uk/
 
When Apr 2, 2016 - Apr 3, 2016
Where Eindhoven, The Netherlands
Submission Deadline Jan 8, 2016
Notification Due Feb 2, 2016
Final Version Due Feb 9, 2016
Categories    formal methods   programming languages   quantitative analysis
 

Call For Papers

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.

Submission

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, possibly followed by a clearly marked appendix which will be removed for the proceedings and contains technical material for the reviewers.
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.

All submissions must be in PDF format and use the EPTCS style files. Submissions can be made through the EasyChair website.

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

For regular papers:

Submission: 8 January 2016
Notification: 2 February 2016
Final version (ETAPS proceedings): 9 February 2016
Final version (EPTCS proceedings): TBA

For presentation reports:

Submission: 30 January 2016
Notification: 6 February 2016

Program co-chairs

Mirco Tribastone, IMT Lucca, Italy
Herbert Wiklicky, Imperial College London, UK

Related Resources

SPLASH 2017   ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
ICFEM 2017   19th International Conference on Formal Engineering Methods
SLATE 2017   Symposium on Languages, Applications and Technologies
CPAIOR 2017   Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
Ada-Europe 2017   International Conference on Reliable Software Technologies
LPAR 2017   International Conferences on Logic for Programming, Artificial Intelligence and Reasoning
OOPSLA 2017   Conference on Object-Oriented Programming Systems, Languages, and Applications
VPT 2017   Fifth International Workshop on Verification and Program Transformation