|
Programme
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
|