BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Modelling\, simulating and verifying DNA strand displacement syste
 ms - Matthew Lakin\, University of Cambridge
DTSTART:20110413T101500Z
DTEND:20110413T111500Z
UID:TALK30789@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:DNA strand displacement has been used to implement a broad ran
 ge of information processing devices using nucleic acids: from logic gates
 \, to chemical reaction networks\, to architectures for universal computat
 ion. A major challenge in the design of strand displacement devices has be
 en to enable rapid analysis of high-level designs while also supporting de
 tailed simulations that include known forms of interference. In this talk 
 I will present a methodology for designing DNA strand displacement devices
 \, which supports progressively increasing levels of molecular detail. Dev
 ice designs can be programmed using a common syntax and then analysed at v
 arying levels of detail\, with or without interference. I will also discus
 s simulation and verification techniques for strand displacement systems w
 hich may produce unbounded numbers of species and reactions.
LOCATION:Small lecture theatre\, Microsoft Research Ltd\, 7 J J Thomson Av
 enue (Off Madingley Road)\, Cambridge
END:VEVENT
END:VCALENDAR