VEMDP 2018

Verification of Engineered Molecular Devices and Programs

July 19, 2018, Oxford, United Kingdom
An affiliated workshop of CAV 2018
Abstract SubmissionApril 15, 2018
NotificationMay 15, 2018
Camera-readyMay 31, 2018
WorkshopJuly 19, 2018

Update! View the call for presentations here.

Workshop Call for Presentations

Verification of Engineered Molecular Devices and Programs (VEMDP) 2018 is a one day workshop, affiliated with the CAV 2018 conference, dedicated to the topic of verification of engineered biological and chemical systems.

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: