https://www.openresearch.org/mediawiki/api.php?action=feedcontributions&user=84.185.94.192&feedformat=atomOpenresearch - User contributions [en]2024-03-29T05:33:09ZUser contributionsMediaWiki 1.31.1https://www.openresearch.org/mediawiki/index.php?title=User:Floebe/QAPL_2009&diff=10982User:Floebe/QAPL 20092008-12-14T11:05:08Z<p>84.185.94.192: </p>
<hr />
<div>[[isAbout::QAPL 2009]]<br />
<br />
[[todo::User:Floebe]]</div>84.185.94.192https://www.openresearch.org/mediawiki/index.php?title=User:Floebe/QAPL_2009&diff=10981User:Floebe/QAPL 20092008-12-14T10:55:20Z<p>84.185.94.192: new</p>
<hr />
<div>[[QAPL 2009]]<br />
<br />
[[todo::User:Floebe]]</div>84.185.94.192https://www.openresearch.org/mediawiki/index.php?title=QAPL_2009&diff=10980QAPL 20092008-12-14T10:51:59Z<p>84.185.94.192: new from CfP mail</p>
<hr />
<div>{{Event<br />
|Acronym=QAPL 2009<br />
|Title=Seventh Workshop on Quantitative Aspects of Programming Languages<br />
|Series=QAPL<br />
|Type=Workshop<br />
|Field=Programming languages<br />
|Homepage=wwwtcs.inf.tu-dresden.de/ALGI/qapl09/<br />
|Superevent=ETAPS 2009<br />
}}<br />
<br />
<br />
<pre><br />
******************************************************************************<br />
<br />
[Apologies for multiple copies]<br />
<br />
*******************************************************************************<br />
CALL FOR PAPERS Seventh Workshop on Quantitative Aspects of Programming<br />
Languages (QAPL 2009) Affiliated with ETAPS 2009 March 28-29, 2009, York, UK<br />
http://wwwtcs.inf.tu-dresden.de/ALGI/qapl09/<br />
*******************************************************************************<br />
<br />
SCOPE:<br />
<br />
Quantitative aspects of computation are important and sometimes essential in<br />
characterising the behavior and determining the properties of systems. They <br />
are related to the use of physical quantities (storage space, time, bandwidth, <br />
etc.) as well as mathematical quantities (e.g. probability and measures for<br />
reliability, security and trust). Such quantities play a central role in<br />
defining both the model of systems (architecture, language design, semantics)<br />
and the methodologies and tools for the analysis and verification of system<br />
properties. The aim of this workshop is to discuss the explicit use of<br />
quantitative information such as time and probabilities either directly in the<br />
model or as a tool for the analysis of systems. In particular, the workshop<br />
focuses on:<br />
<br />
* the design of probabilistic, real-time, quantum languages and the<br />
definition of semantical models for such languages<br />
* the discussion of methodologies for the analysis of probabilistic and<br />
timing properties (e.g. security, safety, schedulability) and of other<br />
quantifiable properties such as reliability (for hardware components),<br />
trustworthiness (in information security) and resource usage <br />
(e.g., worst-case memory/stack/cache requirements)<br />
* the probabilistic analysis of systems which do not explicitly incorporate<br />
quantitative aspects (e.g. performance, reliability and risk analysis)<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 />
TOPICS:<br />
<br />
Topics include (but are not limited to) probabilistic, timing and general<br />
quantitative aspects in: Language design, Information systems, Asynchronous HW<br />
analysis, Language extension, Multi-tasking systems, Automated reasoning,<br />
Language expressiveness, Logic, Verification, Quantum languages, Semantics,<br />
Testing, Time-critical systems, Performance analysis, Safety, Embedded systems,<br />
Program analysis, Risk and hazard analysis, Coordination models, Protocol<br />
analysis, Scheduling theory, Distributed systems, Model-checking, Security,<br />
Biological systems, Concurrent systems, ...<br />
<br />
<br />
INVITED SPEAKER:<br />
<br />
* Vincent Danos, Universite Paris Diderot - Paris 7, France.<br />
* Jane Hillston, University of Edinburgh, UK.<br />
<br />
SUBMISSIONS:<br />
<br />
In order to encourage participation and discussion, this workshop solicits two<br />
types of submissions - regular papers and presentations:<br />
<br />
1. Regular paper submissions must be original work, and must not have been<br />
previously published, nor be under consideration for publication <br />
elsewhere. Regular paper submission must not exceed 15 pages, possibly<br />
followed by a clearly marked appendix which will be removed for the <br />
proceedings and contains technical material for the reviewers.<br />
<br />
2. A presentation reports on recent or ongoing work on relevant topics and<br />
ideas, for timely discussion and feedback at the workshop. There is no<br />
restriction as for previous/future publication of the contents of a<br />
presentation. Typically, a presentation is based on a paper which recently<br />
appeared (or which is going to appear) in the proceedings of another<br />
recognized conference, or which has not yet been submitted. The (extended)<br />
abstract of presentation submissions should not exceed 4 pages.<br />
<br />
All submissions must be in PDF format and use the ENTCS style files.<br />
Submissions can be made on the following website: <br />
www.easychair.org/conferences/?conf=qapl09<br />
The program co-chairs can be contacted at: <br />
qapl09chairs@tcslist.inf.tu-dresden.de<br />
The workshop PC will review all submissions of both types to select appropriate<br />
ones for acceptance in each category, based on their relevance, merit, <br />
originality, and technical content. The authors of the accepted submissions of<br />
both types are expected to present and discuss their work at the workshop.<br />
Accepted regular papers will be published in Elsevier's ENTCS. Publication of a<br />
selection of the papers in a special issue of a journal is under consideration.<br />
<br />
<br />
For regular papers:<br />
Submission (title + abstract): December 18, 2008<br />
Submission (regular paper): December 20, 2008<br />
Notification: January 28, 2009<br />
Final version (ETAPS proceedings): February 2, 2009<br />
Final version (ENTCS proceedings): TBA<br />
<br />
For presentations:<br />
Submission: January 28, 2009.<br />
Notification: January 31, 2009.<br />
<br />
<br />
ORGANIZATION:<br />
<br />
PC Chairs:<br />
<br />
* Alessandra Di Pierro, University of Verona, Italy<br />
* Christel Baier, University of Dresden, Germany.<br />
<br />
<br />
Program Committee:<br />
<br />
* Alessandro Aldini, University of Urbino, Italy<br />
* Christel Baier, University of Dresden, Germany<br />
* Nathalie Bertrand, IRISA/INRIA Rennes, France<br />
* Patricia Bouyer, Oxford University, UK<br />
* Jeremy Bradley, Imperial College London, UK<br />
* Tomas Brazdil, Masaryk University, Czech Republic<br />
* Flavio Corradini, University of Camerino, Italy<br />
* Josee Desharnais, University of Laval, Canada<br />
* Alessandra Di Pierro, University of Verona, Italy<br />
* Maurizio Gabbrielli, University of Bologna, Italy<br />
* Marcus Groesser, Technical University Dresden, Germany<br />
* Cosimo Laneve, University of Bologna, Italy<br />
* Mieke Massink, NR-ISTI Pisa, Italy<br />
* Paulo Mateus, Technical University of Lisbon, Portugal<br />
* Annabelle McIver, Maquarie University, Australia<br />
* Gethin Norman, Oxford University, UK<br />
* Jeremy Sproston, University of Torino, Italy<br />
* Franck van Breugel, York University, Toronto, Canada<br />
* Herbert Wiklicky, Imperial College London, UK<br />
</pre></div>84.185.94.192