BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Executable Knowledge for Molecular Systems Biology - Walter Fontan
 a\, Harvard Medical School
DTSTART:20110330T100000Z
DTEND:20110330T110000Z
UID:TALK30408@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:I will give an overview of an ongoing long-term project aimed 
 at developing a formal yet pragmatic framework for representing and explor
 ing the behavior of complex molecular systems of interaction\, such as the
 y occur in cellular signalling. The approach recognizes the convergence of
  a scientific challenge---the need for transparent models respectful of th
 e combinatorial complexity of protein-protein interaction networks---and a
  knowledge representation challenge---the formalization\, collation\, and 
 curation of mechanistic interaction data through which models can become o
 pen-source collaborative documents. \n\nThis is a "vision" talk\, more tha
 n a technical talk\, covering three facets:\n- A characterization of the p
 roblem and associated opportunities\, especially the changing role of the 
 notion of "model" in systems biology\;\n- A survey of the approach: the de
 finition of a (site-)graph rewriting language along with a suite of tools 
 and web infrastructure\;\n- An outline of the road ahead.\n\nThis is joint
  work with Russ Harmer (Harvard\, CNRS)\, Vincent Danos (Edinburgh)\, Jero
 me Feret (ENS\, Paris)\, and Jean Krivine (CNRS\, Paris).
LOCATION:Small lecture theatre\, Microsoft Research Ltd\, 7 J J Thomson Av
 enue (Off Madingley Road)\, Cambridge
END:VEVENT
END:VCALENDAR