Wednesday 30th July 2008

1000–1030

Welcome + coffee in Room 4.40 (Mini Forum 2)

1030–1100

Operational Analysis of Biochemical Systems: Some Preliminary Investigations

Maria-Luisa Guerriero, University of Edinburgh

1100–1130

Modelling tissue-level defence-response to pathogen attacks in plants

Maria Vigliotti, Imperial College London

1130–1200

Spatial Modeling in the Attributed Pi Calculus

Mathias John, University of Rostock

1200–1300

Lunch in Room 4.40 (Mini Forum 2)

1300–1330

Modelling population fluctuations in PEPA

Soufiene Benkirane, University of Stirling

1330–1400

Process algebra models of population dynamics

Chris McCaig, University of Stirling

1400–1430

Designing a Front-End for Bio-PEPA

Laurence Loewe, University of Edinburgh

1430–1435

A Few Random Notes on Stochasticity

Michael Smith, University of Edinburgh

2000…

PASTA dinner at Howies, Waterloo Place

Thursday 31st July 2008

1000–1030

Meet for coffee in Room 4.40 (Mini Forum 2)

1030–1100

Towards a spatial stochastic process algebra

Vashti Galpin, University of Edinburgh

1100–1130

ODE-based general moment approximations for PEPA

Richard Hayden, Imperial College London

1130–1200

Convergence of the fluid approximations of PEPA models

Jie Ding, University of Edinburgh

1200–1300

Lunch in Room 4.40 (Mini Forum 2)

1300–1330

Activity-Guided Abstraction of PEPA Models

Michael Smith, University of Edinburgh

1330–1400

Assault and PEPA

David Thornley, Imperial College London

1400–1430

Coffee in Room 4.40 (Mini Forum 2)

1430–1500

Espresso, A Little Coffee

Adam Duguid, University of Edinburgh

1500–1530

Extracting Fluid Response times from PEPA models

Jeremy Bradley, Imperial College London

1530…

Close and off to the pub