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:
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: https://easychair.org/conferences/?conf=vemdp2015
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.