BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Automatic reduction of differential semantics for protein-protein 
 interaction networks\, by abstract interpretation - Jerome Feret\, ENS\, P
 aris
DTSTART:20101119T140000Z
DTEND:20101119T150000Z
UID:TALK27305@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:Modelers of molecular signaling networks must cope with the co
 mbinatorial explosion of protein states generated by post-translational mo
 difications and complex formation. Rule-based models provide a powerful al
 ternative to approaches that require an explicit enumeration of all possib
 le molecular species of a system. Such models consist of formal rules stip
 ulating the (partial) contexts for specific protein-protein interactions t
 o occur. These contexts specify molecular patterns that are usually less d
 etailed than molecular species. Yet\, the execution of rule-based dynamics
  requires stochastic simulation\, which can be very costly. It thus appear
 s desirable to convert a rule-based model into a reduced system of differe
 ntial equations by exploiting the lower resolution at which rules specify 
 interactions. We present a formal (and automated) abstract interpretation-
 based method for constructing a coarse-grained and self-consistent dynamic
 al system aimed at molecular patterns that are distinguishable by the dyna
 mics of the original system as posited by the rules. The method is formall
 y sound and never requires the execution of the rule-based model. The coar
 se-grained variables do not depend on the values of the rate constants app
 earing in the rules\, and typically form a system of greatly reduced dimen
 sion that can be amenable to numerical integration and further model reduc
 tion techniques.
LOCATION:Room FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR