VEMDP 2014

Verification of Engineered Molecular Devices and Programs

July 17, 2014, Vienna, Austria
An affiliated workshop of CAV 2014
Submission deadlineMay 2, 2014
NotificationMay 18, 2014
Camera readyJune 1, 2014
Early registration deadlineJune 8, 2014
Note: Erik Winfree will give a keynote at our affiliated conference, CAV 2014, on the topic of design and verification of molecular circuits made of DNA.

Invited Speakers

Luca Cardelli
Microsoft Research (Cambridge) & University of Oxford
Morphisms of Reaction Networks
Masami Hagiya
University of Tokyo
Molecular computers for molecular robots as hybrid systems

Tutorial

Andrew Phillips
Microsoft Research (Cambridge)
Computational design of DNA strand displacement systems