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 Call for Presentations

Verification of Engineered Molecular Devices and Programs (VEMDP) 2015 is a half day workshop, affiliated with the CAV 2015 conference, dedicated to the topic of verification of engineered biological and chemical systems. While the focus of this workshop is on biological and chemical systems that do not occur naturally, we also encourage submissions concerning the verification of naturally occurring systems that have been functionally modified. These systems include, but are not limited to:

We encourage topics that focus on any form of verification for these types of systems. Topics of interest may include, but are not limited to:

Submission Details

Submissions based on previously published work are permitted. To be considered for oral presentation, submissions should consist of a single .pdf file containing a two page abstract that describes the primary results and importance of the work. In addition, submissions may optionally contain an attachment with a supporting manuscript. Submissions should be made via the workshop’s easychair site:


Accepted abstracts will be published on the workshop website. A special issue of Theoretical Computer Science associated with VEMDP 2015 is planned; full papers expanding on accepted abstracts and invited talks are encouraged and will be given special consideration.

Please direct any questions to one of the organizers.