BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Semantics of a DNA Strand Displacement Model - Kathy Gray
DTSTART:20111024T114500Z
DTEND:20111024T130000Z
UID:TALK33916@talks.cam.ac.uk
CONTACT:Peter Sewell
DESCRIPTION:DNA strand displacement techniques have significant promise in
  the fields of medicine\, bioengineering\, etc. They are used to create bi
 ological circuits supporting a range of devices\, including logic gates\, 
 architectures for universal computation\, and chemical reaction networks. 
 However a major challenge in the construction of these devices has been to
  enable sound automated analysis of high-level designs for complex devices
 . \n\nThe MSR Biology research group has been addressing these problems wi
 th a programming language and modeling tool to specify DNA circuits\, simu
 late their chemical reactions\, and analyze the designs. This talk present
 s the operational semantics for our language\, which models the chemical r
 eactions involved in DNA strand displacement circuits. We will begin with 
 the basic reductions and structures\, as well as present areas we are expl
 oring to represent increasingly complex designs. \n\nNo knowledge of biolo
 gy is expected.\n
LOCATION:FW26
END:VEVENT
END:VCALENDAR