https://wiki.ercim.eu/wg/MLQA/index.php?title=Special:NewPages&feed=atom&hidebots=1&hideredirs=1&limit=50&offset=&namespace=0&username=&tagfilter=ERCIM Working Group MLQA - New pages [en]2024-03-28T17:42:58ZFrom ERCIM Working Group MLQAMediaWiki 1.35.13https://wiki.ercim.eu/wg/MLQA/index.php/TCS_on_Quantitative_Aspects_of_Programming_Languages_and_SystemsTCS on Quantitative Aspects of Programming Languages and Systems2012-06-27T14:12:45Z<p>Nataliya: </p>
<hr />
<div>Special Issue of THEORETICAL COMPUTER SCIENCE on<br />
<br />
Quantitative Aspects of Programming Languages and Systems (QAPL 2011/12)<br />
<br />
<br />
<br />
-------------------------------------------------------------------------<br />
<br />
==CALL FOR PAPERS==<br />
<br />
<br />
<br />
<br />
We invite the submission of papers on Quantitative Aspects of Programming<br />
<br />
Languages and Systems for publication in a special issue of the Journal of<br />
<br />
Theoretical Computer Science (TCS). In particular we welcome papers which <br />
<br />
are revised versions of the submitted to and presented at the QAPL 2011<br />
<br />
Workshop in Saarbruecken and QAPL 2012 in Tallinn. We will additionally <br />
<br />
also welcome submissions of papers not presented at QAPL, provided they <br />
<br />
fall into the scope of the call.<br />
<br />
<br />
==SCOPE==<br />
<br />
<br />
<br />
Quantitative aspects of computation are important and sometimes essential in<br />
<br />
characterising the behaviour and determining the properties of systems. They<br />
<br />
are related to the use of physical quantities (storage space, time, bandwidth,<br />
<br />
etc.) as well as mathematical quantities (e.g. probability and measures for<br />
<br />
reliability, risk and trust). Such quantities play a central role in defining<br />
<br />
both the model of systems (architecture, language design, semantics) and the<br />
<br />
methodologies and tools for the analysis and verification of system<br />
<br />
properties. This special issue will be devoted to research papers which<br />
<br />
discuss the explicit use of quantitative information such as time and<br />
<br />
probabilities either directly in the model or as a tool for the analysis of<br />
<br />
systems. In particular, contributions should focus on<br />
<br />
<br />
<br />
* the design of probabilistic and real-time languages and the definition of <br/> semantical models for such languages;<br />
<br />
<br />
<br />
* the discussion of methodologies for the analysis of probabilistic and timing <br/> properties (e.g. security, safety, schedulability) and of other quantifiable <br/> properties such as reliability (for hardware components), trustworthiness <br/> (in information security) and resource usage (e.g. worst-case <br/> memory/stack/cache requirements);<br />
<br />
<br />
<br />
* the probabilistic analysis of systems which do not explicitly incorporate <br/> quantitative aspects (e.g. performance, reliability and risk analysis);<br />
<br />
<br />
<br />
* applications to safety-critical systems, communication protocols, control <br/> systems, asynchronous hardware, and to any other domain involving <br/> quantitative issues.<br />
<br />
<br />
<br />
* the investigation of computational models and paradigms involving <br/> quantitative aspects, such as those arising in quantum computation, systems <br/> biology, bioinformatics, etc.<br />
<br />
==TOPICS==<br />
<br />
<br />
<br />
<br />
Topics include (but are not limited to) probabilistic, timing and general<br />
<br />
quantitative aspects in:<br />
<br />
<br />
<br />
Language design, language expressiveness, quantitative language extension,<br />
<br />
semantics, logic, verification, automated reasoning, testing, model-checking,<br />
<br />
program analysis, performance analysis, resource analysis, safety, security<br />
<br />
and protocol analysis, risk and hazard analysis, for biological systems,<br />
<br />
quantum languages, information systems, multi-tasking and multi-core systems,<br />
<br />
time-critical systems, embedded systems, coordination models, scheduling<br />
<br />
theory, distributed systems, concurrent systems, etc.<br />
<br />
<br />
<br />
==SUBMISSION==<br />
<br />
<br />
<br />
Papers should be 20-25 pages long, including appendices, and should be<br />
<br />
formatted according to Elsevier's elsart document style used for articles in<br />
<br />
the Journal of Theoretical Computer Science (see the Guide for Authors at<br />
<br />
http://ees.elsevier.com/tcs).<br />
<br />
<br />
<br />
http://support.elsevier.com/<br />
<br />
<br />
<br />
Submissions are through the Elsevier Editorial System for TCS located at<br />
<br />
http://ees.elsevier.com/tcs/default.asp. To ensure that all manuscripts are<br />
<br />
correctly identified for inclusion into the special issue, please make sure<br />
<br />
you select/specify "SI:TCS_B QAPL 2011/12" when you reach the step in the<br />
<br />
submission process. <br />
<br />
<br />
<br />
<br />
==IMPORTANT DATES==<br />
<br />
<br />
<br />
<br />
* Paper submission: 15 August 2012<br />
<br />
* Notification: 30 November 2012<br />
<br />
==EDITORS==<br />
<br />
<br />
<br />
Gethin Norman<br />
<br />
University of Glasgow, UK<br />
<br />
gethin@dcs.gla.ac.uk<br />
<br />
<br />
<br />
Mieke Massink<br />
<br />
CNR-ISTI, Pisa, Italy<br />
<br />
mieke.massink@isti.cnr.it <br />
<br />
<br />
<br />
Herbert Wiklicky<br />
<br />
Imperial College London, UK<br />
<br />
herbert@doc.ic.ac.uk <br />
<br />
<br />
<br />
-------------------------------------------------------------------------<br />
<br />
<br />
<br />
Further information at http://www.dcs.gla.ac.uk/qapl11/special_issue.html</div>Nataliya