| BRITISH COMPUTER SOCIETY FACS SPECIALIST GROUP |
|
|
Formal Aspects of Computing Science
BCS-FACS Evening Seminar Series
A joint event with the BCS Women GroupFormal Methods Meets Biochemical Pathways
Professor Muffy Calder
21 September 2005
5.45pmBCS London Offices
First Floor, The Davidson Building
|
|
Yes, this really is a Computing Science seminar!
In this talk I will consider how theories and tools from Computing Science can be used to model and reason about signal transduction pathways -- the fundamental biochemical pathways that control important cell responses such as growth, movement, and (cell) death. The key idea is that pathways have a stochastic, computational content. If we accept this, then why don't we try to model and reason about them using techniques for computer networks? In this talk I will use the stochastic process algebra PEPA, and the model checker PRISM, to develop and analyse a number of novel, predictive models for parts of the ERK pathway (this pathway plays an important role in cancer). I will discuss how these new models compare with traditional biochemical models, what the biologists say about them, and the implications for Computing Science. No prior knowledge of biochemistry nor PEPA will be assumed. Refreshments will be served from 5.15pm The seminar is free of charge and open to everyone. If you would like to attend, please email Paul Boca by 16 September 2005. Pre-registration is required, as security at the BCS Offices is tight. |
| Formal Aspects of Computing Science |
|
Copyright © BCS-FACS |
