PASTA 2006: Programme

Programme

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

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