VEMDP 2018 - Verification of Engineered Molecular Devices and Programs

Computer-aided design and verification of molecular devices and programs is increasingly relevant as the complexity of these engineered biological systems grow. We invite practitioners to describe and formalize existing methods to automatically verify the correct design, or behavior, of molecular devices and programs, and to communicate challenges in their field. Similarly we challenge experts in verification to learn about, and contribute to, the interesting problems and unique challenges that are found in the domain of biological systems.
We invite researchers to participare in the 2018 edition of the Verification of Engineered Molecular Devices and Programs (VEMDP) workshop. VEMDP will include a mix of invited and contributed talks.
We solicit contributed talks in the following areas:
Formal methods applied to biological systems and (stochastic) chemical networks
Abstraction and programming languages for molecular computation
Biophysical models relevant to automated design and verification
Constraints modelling for engineered molecular devices
Verification software, tool integration and case studies
And more