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 April 23, 2018
NotificationMay 15, 2018
Camera-readyMay 25, 2018
WorkshopJuly 19, 2018

Call for Presentations

VEMDP 2018 aims to promote discussion and collaboration at the intersection between formal methods and biology. While the workshop prioritises contributions on the formal modelling and analysis of engineered biosystems, we also encourage submissions where either formal verification is applied to natural biosystems, or techniques complementary to formal methods are used for the study of engineered biosystems. These systems include, but are not limited to:

Relevant modelling and analysis techniques include:

Submission format and guidelines

VEMDP 2018 will accept contributions describing novel, in-progress or previously published work. Authors must indicate which of these three categories applies to their submission. We will accept two kinds of contributions:

Submit your contribution via Easychair

Special issue

We are currently working towards securing an open special issue in a high-quality journal.