BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Microsoft Research Cambridge\, public talks
SUMMARY:Formal verification approach to modelling biochemi
cal systems - Tatjana Petrov\, IST Austria
DTSTART;TZID=Europe/London:20150414T100000
DTEND;TZID=Europe/London:20150414T110000
UID:TALK58884AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/58884
DESCRIPTION:Biochemical systems are characterised by complexit
y - highly-dimensional state space\, non-linear an
d stochastic dynamics. Different formalisms have b
een proposed in order to capture the knowledge abo
ut the system. Moreover\, when a model of a bio-mo
lecular system is written in a formal language\, i
t can be executed and it is amenable to formal ver
ification-type of analysis.\nWe present two resear
ch stories of applying techniques from formal veri
fication to modelling biochemical systems. First\,
we show how to use the principle of static analys
is with abstract interpretation in order to automa
tically reduce highly dimensional\, stochastic rul
e-based models of signalling pathways\; The reduct
ions are performed with respect to three kinds of
guarantees: (i) soundness\, (ii) upped error bound
and (iii) limit approximations (ie. quasi-station
ary assumption). Second\, we use SAT/SMT solvers t
o\, for Wagner's model of a gene regulatory networ
k and a temporal property of interest\, synthesise
the parameters for which a given formula holds\;
Then\, quantities such as the mutational robustnes
s of a GRN can be computed more efficiently and mo
re accurately than with the statistical-sampling a
pproach commonly used by evolutionary biologists.
LOCATION:Small Lecture Theatre\, Microsoft Research Ltd\, 2
1 Station Road\, Cambridge\, CB1 2FB
CONTACT:Microsoft Research Cambridge Talks Admins
END:VEVENT
END:VCALENDAR