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:

• DNA computing and other forms of natural computing,
• (stochastic) chemical reaction networks,
• DNA walkers and motors,
• engineered transcription networks and other synthetic biology applications.

Relevant modelling and analysis techniques include:

• automated verification,
• formal languages and methods,
• computer-aided design tools (such as automated synthesis),
• equivalence and abstraction of systems,
• static analysis,
• constraints modelling,
• other analysis techniques (optimisation, dynamical systems, topology, etc).

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:

• extended abstracts for oral presentation (3 pages limit, LNCS style),
• abstracts for poster presentation (1 pages limit, LNCS style).

Special issue

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