QAPL 2016 - 14th International Workshop on Quantitative Aspects of Programming Languages and Systems
- 50th ISTANBUL International Congress on Literature, Languages, Humanities & Social Sciences (LLHS-25)
- Nutritional Aspects Conference
- 11th International Conference on Culture, Languages, and Literature(ICCLL 2025)
- 15th International Conference on Languages, Literature, and Linguistics(ICLLL 2025)
- 47th BARCELONA International Conference on “Literature, Languages, Social Sciences & Humanities” (LLSSH-25)
Topics/Call fo Papers
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.
Organizers: Herbert Wiklicky, Mirco Tribastone
Organizers: Herbert Wiklicky, Mirco Tribastone
Other CFPs
- 9th Workshop on Programming Language Approaches for Concurrency and Communication-cEntric Software
- 6th Workshop on Mathematically Structured Functional Programming
- 11th Workshop on Model-Based Testing
- 4th Workshop on Hot Issues in Security Principles and Trust
- 3rd Workshop on Horn Clauses for Verification and Synthesis
Last modified: 2015-05-13 07:12:22