Proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'15)

Nathalie Bertrand 1 Mirco Tribastone 2
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : This volume contains the proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), held in London, UK, on 11 and 12 April, 2015. QAPL 2015 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) focussing on quantitative aspects of computation. The Program Committee of QAPL 2015 selected 8 regular papers and 2 presentation-only papers. The workshop programme included two QAPL keynote presentations by Catuscia Palamidessi (Inria/LIX, France) on "Quantitative Aspects of Privacy and Information Flow," and Holger Hermanns (Saarland University, Germany) on "Optimal Continuous Time Markov Decisions."
Document type :
Directions of work or proceedings
Complete list of metadatas

https://hal.inria.fr/hal-01243625
Contributor : Nathalie Bertrand <>
Submitted on : Tuesday, December 15, 2015 - 11:22:42 AM
Last modification on : Tuesday, January 22, 2019 - 3:39:53 PM

Links full text

Identifiers

Citation

Nathalie Bertrand, Mirco Tribastone. Proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'15). Nathalie Bertrand; Mirco Tribastone. Apr 2015, London, United Kingdom. 194, 2015, EPTCS, ⟨10.4204/EPTCS.194⟩. ⟨hal-01243625⟩

Share

Metrics

Record views

265