BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Formal verification approach to modelling biochemical systems - Ta
 tjana Petrov\, IST Austria
DTSTART:20150414T090000Z
DTEND:20150414T100000Z
UID:TALK58884@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:Biochemical systems are characterised by complexity - highly-d
 imensional state space\, non-linear and stochastic dynamics. Different for
 malisms have been proposed in order to capture the knowledge about the sys
 tem. Moreover\, when a model of a bio-molecular system is written in a for
 mal language\, it can be executed and it is amenable to formal verificatio
 n-type of analysis.\nWe present two research stories of applying technique
 s from formal verification to modelling biochemical systems. First\, we sh
 ow how to use the principle of static analysis with abstract interpretatio
 n in order to automatically reduce highly dimensional\, stochastic rule-ba
 sed models of signalling pathways\; The reductions are performed with resp
 ect to three kinds of guarantees: (i) soundness\, (ii) upped error bound a
 nd (iii) limit approximations (ie. quasi-stationary assumption). Second\, 
 we use SAT/SMT solvers to\, for Wagner's model of a gene regulatory networ
 k and a temporal property of interest\, synthesise the parameters for whic
 h a given formula holds\; Then\, quantities such as the mutational robustn
 ess of a GRN can be computed more efficiently and more accurately than wit
 h the statistical-sampling approach commonly used by evolutionary biologis
 ts. 
LOCATION:Small Lecture Theatre\, Microsoft Research Ltd\, 21 Station Road\
 , Cambridge\, CB1 2FB
END:VEVENT
END:VCALENDAR