--- Apologize for multiple copies ---

-------------------------------------------------------------------
                     CALL FOR EXTENDED ABSTRACTS
   5th Workshop on Quantitative Aspects of Programming Languages
                 March 24-25, 2007, Braga, Portugal
                    Satellite event of ETAPS 2007
                   http://www.cse.yorku.ca/qapl07

                 Extended abstracts: January 31, 2007
                       Notification: February 2, 2007
-------------------------------------------------------------------

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, security, 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.
The aim of this workshop is to 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.

Topics

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

Language design		Information systems	Asynchronous HW analysis
Language extension	Multi-tasking systems 	Automated reasoning
Language expressiveness Logic Verification	Quantum languages
Semantics Testing	Time-critical systems 	Performance analysis Safety
Embedded systems 	Program analysis 	Risk and hazard analysis
Coordination models 	Protocol analysis 	Scheduling theory
Distributed systems 	Model-checking Security	Biological systems
Concurrent systems

Invited Speakers

Luca Cardelli		Microsoft Research, UK
Radha Jagadeesan 	De Paul University, USA
Roberto Segala 		University of Verona, Italy

Program Committee

Pedro D'Argenio 	University of Cordoba, Argentina
Christel Baier 		University of Bonn, Germany
Luca Cardelli 		Microsoft Research, UK
Vincent Danos		University of Paris VII, France
Josee Desharnais 	University of Laval, Canada
Alessandra Di Pierro 	University of Pisa, Italy
Maurizio Gabbrielli 	University of Bologna, Italy
Ian Hayes 		University of Queensland, Australia
Jan Jurjens 		Open University, UK
Marta Kwiatkowska 	University of Birmingham, UK
Pasquale Malacaria 	Queen Mary University of London, UK
Mieke Massink 		CNR-ISTI Pisa, Italy
Paulo Mateus 		Technical University of Lisbon, Portugal
Annabelle McIver 	Maquarie University, Australia
Joel Ouaknine 		Oxford University, UK
Gerardo Rubino 		INRIA Rennes, France
Herbert Wiklicky 	Imperial College London, UK
Wang Yi 		Uppsala University, Sweden

Program Chairs

Alessandro Aldini 	University of Urbino, Italy
Franck van Breugel 	York University, Toronto, Canada

For further information, the program co-chairs can be contacted at:

			[log in to unmask]