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

PDF of:

1100–1130

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

Maria Vigliotti, Imperial College London

PDF of:

1130–1200

Spatial Modeling in the Attributed Pi Calculus

Mathias John, University of Rostock

PDF of:

1200–1300

Lunch in Room 4.40 (Mini Forum 2)

1300–1330

Modelling population fluctuations in PEPA

Soufiene Benkirane, University of Stirling

PDF of:

1330–1400

Process algebra models of population dynamics

Chris McCaig, University of Stirling

PDF of:

1400–1430

Designing a Front-End for Bio-PEPA

Laurence Loewe, University of Edinburgh

PDF of:

1430–1435

A Few Random Notes on Stochasticity

Michael Smith, University of Edinburgh

PDF of:

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

PDF of:

1100–1130

ODE-based general moment approximations for PEPA

Richard Hayden, Imperial College London

PDF of:

1130–1200

Convergence of the fluid approximations of PEPA models

Jie Ding, University of Edinburgh

PDF of:

1200–1300

Lunch in Room 4.40 (Mini Forum 2)

1300–1330

Activity-Guided Abstraction of PEPA Models

Michael Smith, University of Edinburgh

PDF of:

1330–1400

Assault and PEPA

David Thornley, Imperial College London

PDF of:

1400–1430

Coffee in Room 4.40 (Mini Forum 2)

1430–1500

Espresso, A Little Coffee

Adam Duguid, University of Edinburgh

PDF of:

1500–1530

Extracting Fluid Response times from PEPA models

Jeremy Bradley, Imperial College London

PDF of:

1530…

Close and off to the pub