[TYPES/announce] CFP: TCS special issue on Quantitative Aspects of Programming Languages and Systems

[Herbert Wiklicky]

-------------------------------------------------------------------------

	    CALL FOR PAPERS - THEORETICAL COMPUTER SCIENCE
		 (http://www.elsevier.nl/locate/tcs)

  Special Issue on Quantitative Aspects of Programming Languages and
			       Systems
		   (http://www.qapl06.di.unipi.it)

-------------------------------------------------------------------------

We invite the submission of papers on Quantitative Aspects of
Programming Languages and Systems for publication in a special issue
of the Journal of Theoretical Computer Science (TCS). Papers are
welcome which are revised versions of the works submitted to and
presented at the QAPL 2006 Workshop, Vienna, Austria, April 1-2. We
will also welcome submissions of papers not presented at QAPL 2006,
provided they fall into the scope of the call and contain a clear and
novel contribution to the field.

                                  SCOPE

Quantitative aspects of computation are important and sometimes
essential in characterising the behaviour and determining the
properties of systems. They are related to the use of physical
quantities (storage space, time, bandwidth, etc.) as well as
mathematical quantities (e.g. probability and measures for
reliability, risk and trust). 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. This special issue will be devoted
to work which discuss the explicit use of quantitative information
such as time and probabilities either directly in the model or as a
tool for the analysis of systems. In particular, contributions should
focus on

    * the design of probabilistic and real-time languages and the
definition of semantical models for such languages;

    * the discussion of methodologies for the analysis of
probabilistic and timing properties (e.g. security, safety,
schedulability) and of other quantifiable properties such as
reliability (for hardware components), trustworthiness (in information
security) and resource usage (e.g. worst-case memory/stack/cache
requirements);

    * the probabilistic analysis of systems which do not explicitly
incorporate quantitative aspects (e.g. performance, reliability and
risk analysis);

    * applications to safety-critical systems, communication
protocols, control systems, asynchronous hardware, and to any other
domain involving quantitative issues.

    * the investigation of computational models and paradigms
involving quantitative aspects, such as those arising in quantum
computation, systems biology, bioinformatics, etc.

-------------------------------------------------------------------------

                                 TOPICS

Topics include (but are not limited to) probabilistic, timing and
general quantitative aspects in

                 Language design      Performance analysis
              Language extension      Program analysis
         Language expressiveness      Verification
               Quantum Languages      Protocol Analysis
  Hardware description languages      Asynchronous hardware analysis
                           Logic      Refinement
                       Semantics      Automated reasoning
             Coordination models      Model-checking
             Distributed systems      Security
           Time-critical systems      Safety
                Embedded systems      Risk and Hazard Analysis
                  System Biology      Scheduling theory
             Information systems      Testing

-------------------------------------------------------------------------

                                SUBMISSION

Papers should be 20-25 pages long, including appendices, and should be
formatted according to Elsevier's elsart document style used for
articles in the Journal of Theoretical Computer Science. Papers should
be submitted electronically in .pdf format to qapl06 `at'
di.unipi.it. Note that for the camera-ready versions of the papers the
self-contained LaTeX sources of the paper will be needed, as well as a
PostScript or PDF printable version.

Important dates:

	  * Paper submission: 14.7.2006
	  * Notification: 1.10.2006


Guest Editors:

	  Alessandra Di Pierro
	  University of Pisa
	  dipierro `at' di.unipi.it

	  Herbert Wiklicky
	  Imperial College London
	  herbert `at' doc.ic.ac.uk

-------------------------------------------------------------------------