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:

• DNA computing and other forms of natural computing
• Chemical reaction networks
• DNA walkers and motors
• Engineered transcription networks and other synthetic biology applications

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:

• Modelling
• Formal languages and methods
• Automated verification
• Complexity of verification
• Analysis of system behaviour
• Equivalence of systems
• Computer aided design tools

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

Proceedings

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.