VEMDP 2015

Verification of Engineered Molecular Devices and Programs

July 19, 2015, San Francisco, USA
An affiliated workshop of CAV 2015, co-sponsored by the NSF Molecular Programming Project
Submission deadlineJune 6, 2015
NotificationJune 9, 2015
Early registration deadlineJune 10, 2015
Workshop room: Filmore C


We invite researchers attending CAV 2015, and others, to participate in the second edition of this workshop which focuses on verification of molecular devices and programs. VEMDP 2015 will include a mix of invited and contributed talks. Presentation submissions are encouraged from researchers and students wishing to give an oral presentation. The main goal of this workshop is to expose verification researchers to the interesting problems, and unique challenges, found in the domain of engineered biological systems.

It is our belief that verification, within the broader setting of computer aided design tools, needs to take on a larger role in these areas. Furthermore, verification researchers have the potential to make significant contributions and help grow these fields in new directions. We welcome you to join the conversation.

Wetware Verification: What is it?

Correctly implementing traditional software or hardware is already a difficult and error-prone task. Consider the additional challenges when implementing a molecular device, such as a DNA based computer, composed of billions or trillions of nucleic acid strands. At once, the strands form the hardware of the system and their potential interactions comprise the software. In any particular configuration of strands, or state of the system, any potential binding of complementary domains leads to a new state. Programmers only have control over the design of the strands. Can they be certain strands interact in only desirable ways? Other engineered biological systems have their own unique challenges. Since an end goal of these systems is to run within living cells, safety and correctness are of paramount concern. Yet, wet lab experimentation is both time consuming and expensive and the scale of these systems prohibits direct observation. There is therefore great potential for the application of formal methods and automated verification in the rational design of these systems, in order to ensure that they are safe and robust.

Contact Information

Email the organizers for any comments or questions.