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.

Welcome

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:

Registration

Registration will open early 2018.

Important Dates

Abstract SubmissionApril 15, 2018
NotificationMay 15, 2018
Camera-readyMay 31, 2018
WorkshopJuly 19, 2018

Contact Information

Email the organizers for any comments or questions.