Fifth Workshop on Quantitative Aspects
of Programming Languages
24-25 March, 2007
Braga (Portugal)
Satellite Event of
ETAPS 2007


Saturday 24 March 2007

10:58 Welcome

11:00 Invited Talk: 

Nondeterminism in Quantitative Analysis of Probabilistic Systems
Roberto Segala (University of Verona, Italy)

12:00 Paper Presentation:

Keeping Secrets in Resource Aware Components
Tom Chothia (CWI, The Netherlands), Jun Pang (University of Oldenburg, Germany) and 
Mohammad Torabi Dashti (CWI, The Netherlands)

12:30 - 14:30 Lunch

14:30 Invited Talk: 

Artificial Biochemistry
Luca Cardelli (Microsoft Research, UK)

15:30 Paper Presentation:

Stochastic Concurrent Constraint Programming and Differential Equations
Luca Bortolussi (University of Trieste, Italy) and
Alberto Policriti (University of Udine, Italy)

16:00 - 16:30 Break

16:30 Paper Presentations:

On Probabilistic Techniques for Data Flow Analysis
Alessandra Di Pierro, Chris Hankin, and 
Herbert Wiklicky (Imperial College London, UK)

Probabilistic pi-calculus and Event Structures
Daniele Varacca (University of Paris 7, France)
and Nobuko Yoshida (Imperial College London, UK)

Probabilistic Barbed Congruence
Yuxin Deng (Shanghai Jiao Tong University, China) and
Wenjie Du (Shanghai Normal University, China)

Sunday 25 March 2007

09:30 Invited Talk: 

Approximate Reasoning for Time and Probabilities
Radha Jagadeesan (DePaul University, USA)

10:30 - 11:00 Break

11:00 Paper Presentations:

Modelling Multicast QoS Routing by using Best-Tree Search in
And-or Graphs and Soft Constraint Logic Programming
Francesco Santini (IMT Lucca, Italy), Stefano Bistarelli (University of Pescara, Italy),
Ugo Montanari (University of Pisa, Italy), and Francesca Rossi (University of Padova, Italy)

Co-Algebraic Models for Quantitative Spatial Logics
Vincenzo Ciancia and Gian Luigi Ferrari (University of Pisa, Italy)

Exogenous Probabilistic Computation Tree Logic
Pedro Baltazar, Paulo Mateus (University of Lisbon, Portugal),
Rajagopal Nagarajan, and Nikolaos Papanikolaou (University of Warwick, UK)

12:30 - 14:30 Lunch

14:30 Paper Presentations:

Stochastic Modelling of Communication Protocols from Source Code
Michael Smith (University of Edinburgh, UK)

PEPA Queues: Capturing customer behaviour in queueing networks
Ashok Argent-Katwala and Jeremy Bradley (Imperial College London, UK)

A structural approach for modelling performance of workflow systems
Gagarine Yaikhom, Murray Cole, Stephen Gilmore, and Jane Hillston.
(University of Edinburgh, UK)

16:00 - 16:30 Break

16:30 Short Paper Presentations:

Distributed Liveness and Timers for Mobile Processes
Martin Berger and Nobuko Yoshida (Imperial College London, UK)

Stochastic Ambient Logic
Maria Grazia Vigliotti (Imperial College London, UK)

17:30 Steering Committee Meeting