|Notification||May 15, 2018|
|Camera-ready||May 25, 2018|
|Workshop||July 19, 2018|
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:
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:
We are currently working towards securing an open special issue in a high-quality journal.