Programme
Thursday, 29th June 2006
- 1425 – 1430 Welcome
- 1430 – 1515 (Tutorial) Systems Biology with Stochastic Process Algebras (slides as pdf) [Jane Hillston]
- 1515 – 1600 (Tutorial) Stochastic simulation (slides as pdf) [Stephen Gilmore]
- 1600 – 1630 Coffee/tea
- 1630 – 1655 SPA and ODE salad (slides as pdf) [Luca Bortolussi]
- 1655 – 1720 Towards Stochastic Model Extraction: Performance Evaluation, Fresh from the Source (slides as pdf) [Michael Smith]
- 1720 – 1745 Towards a clear semantics of the extention of PEPA for massively parallel processes (slides as pdf) [Nil Geisweiller]
- 1745 – 1755 Short break
- 1755 – 1820 A Continuous state-space approximation for PEPA Queues [Ashok Argent-Katwala]
- 1820 – 1845 A New Generation PEPA Workbench [Mirco Tribastone]
- 1930 – 2130 PASTA dinner at Jakobs
Friday, 30th June 2006
- 0930 – 1020 (Invited talk) Computational Modelling of the Plankton Ecosystem (slides as ppt) [Tony Field]
- 1020 – 1045 What do scaffold proteins really do? (slides as pdf) [Muffy Calder, Jane Hillston]
- 1045 – 1100 Coffee/tea
- 1100 – 1125 Proving properties of the Itai Rodeh Leader election protocol for an arbitrary number of processes (slides as pdf) [Douglas Graham]
- 1125 – 1150 Modelling along the DNA template in the Sanger method: inhibition through competition and form [David Thornley]
- 1150 – 1215 A tandem network of fluid queues with on-off arrivals (slides as pdf) [Peter Harrison]
- 1215 – 1240 "I am not a number: I am a free compiler" (slides as pdf) [Stephen Gilmore]
- 1240 – 1330 Lunch
- 1330 – 1355 Replicating the MAP Kinase cascade in PEPA (slides as pdf) [Adam Duguid]
- 1355 – 1420 Matrix-Vector Splitting for Eigenvector Solution (slides as pdf) [Douglas de Jager]
- 1420 – 1445 Expanding the boundaries of performance requirement representation with Performance Trees (slides as pdf) [Tamas Suto]
- 1445 – 1510 Towards a Framework to Evaluate Performance of NoCs (slides as ppt) [Mahmoud Moadeli]
- 1510 – late Pub
- 1600 – 1800 Football: Germany v Argentina
- 2000 – 2200 Football: Italy v Ukraine
