BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Computing Cancer -  Jasmin Fisher - Microsoft Research &amp\; Depa
 rtment of Biochemistry\, Cambridge
DTSTART:20140430T130000Z
DTEND:20140430T140000Z
UID:TALK52157@talks.cam.ac.uk
CONTACT:David Greaves
DESCRIPTION:Cancer is a highly complex aberrant cellular state where mutat
 ions impact a multitude of signalling pathways operating in different cell
  types. In recent years it has become apparent that in order to understand
  and fight cancer\, it must be viewed as a system\, rather than as a set o
 f cellular activities. This mind shift calls for new techniques that will 
 allow us to investigate cancer as a holistic system. In this talk\, I will
  discuss some of the progress made towards achieving such a system-level u
 nderstanding using computer modelling and formal verification. I will conc
 entrate on our recent attempts to better understand cancer through the fol
 lowing four examples: 1) drug target optimization for Chronic Myeloid Leuk
 aemia using an intuitive interface called BioModelAnalyzer\, which allows 
 to prove stabilization of biological systems\; 2) dynamic hybrid model of 
 brain tumour development using F#\; 3) state-based models of cancer signal
 ling crosstalk and their analysis using model-checking\; and 4) synthesis 
 of biological programs from mutation experiments. Looking forward\, I will
  propose a grand challenge for computing and biology that could shed new l
 ight on our ability to control cell fates during development and disease a
 nd potentially change the way we treat cancer in the future.
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR