AI Chat AI Image Generator AI Video Text to Speech

Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems

07/12/2017

∙

by Herbert Wiklicky, et al.

∙

∙

This volume of the EPTCS contains the proceedings of the 15th international workshop on Qualitative Aspects of Programming Languages and Systems, QAPL 2017, held at April 23, 2017 in Uppsala, Sweden as a satellite event of ETAPS 2017, the 20th European Joint Conferencec on Theory and Practice of Software. The volume contains two invited contributions by Erika Abraham and by Andrea Vandin as well as six technical papers selected by the QAPL 2017 program committee.

Herbert Wiklicky
3 publications
Erik de Vink
3 publications

research

∙ 09/10/2016

Proceedings 9th International Workshop on Computing with Terms and Graphs

This volume contains the proceedings of TERMGRAPH 2016, the Ninth Intern...

0 Andrea Corradini, et al. ∙

research

∙ 01/17/2020

Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems

This EPTCS volume contains the proceedings of the 16th Workshop on Quant...

0 Alessandro Aldini, et al. ∙

research

∙ 01/20/2020

Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond

Quantitative aspects of computation are related to the use of both physi...

0 Alessandro Aldini, et al. ∙

research

∙ 08/05/2022

Discover the Mysteries of the Maya: Selected Contributions from the Machine Learning Challenge The Discovery Challenge Workshop at ECML PKDD 2021

The volume contains selected contributions from the Machine Learning Cha...

9 Dragi Kocev, et al. ∙

research

∙ 02/01/2013

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems

This volume contains the papers presented at CICLOPS'12: 12th Internatio...

0 Nicos Angelopoulos, et al. ∙

research

∙ 04/30/2020

Proceedings Eighth Workshop on Mathematically Structured Functional Programming

This volume contains the proceedings of the Eighth Workshop on Mathemati...

0 Max S. New, et al. ∙

research

∙ 08/25/2019

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution

This volume contains the post-proceedings of the second Workshop on Veri...

0 Davide Ancona, et al. ∙