Proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'15) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2015

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

Nathalie Bertrand
  • Function : Scientific advisor
  • PersonId : 838273
Mirco Tribastone
  • Function : Scientific advisor
  • PersonId : 968979

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."

Dates and versions

hal-01243625 , version 1 (15-12-2015)

Identifiers

Cite

Nathalie Bertrand, Mirco Tribastone (Dir.). Proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'15). Nathalie Bertrand; Mirco Tribastone. 194, 2015, EPTCS, ⟨10.4204/EPTCS.194⟩. ⟨hal-01243625⟩
109 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More