VEMDP 2018

Verification of Engineered Molecular Devices and Programs

July 19, 2018, Oxford, United Kingdom
An affiliated workshop of CAV 2018
Submission deadlineJune XX, 2018
NotificationJune XX, 2018
Early registration deadlineJune XX, 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:

Registration

Registration will open early 2018.

Important Dates

Submission deadlineJune XX, 2018
NotificationJune XX, 2018
Early registration deadlineJune XX, 2018

Contact Information

Email the organizers for any comments or questions.