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

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:

VEMDP is affiliated with CAV 2018, part of the Federated Logic Conference (FLoC) that will take place in Oxford, UK.

News

Registration

To register to VEMDP, please visit FLoC's registration page.

Contributions and important dates

Please visit the call for presentations page for more details, or download the workshop flyer.

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

Contact Information

Email the organizers for any comments or questions.


Download flyer:

VEMDP 2018 poster