Registration
To register to VEMDP, please visit FLoC's registration page.
The VEMDP workshop will take place Thursday July 19, 2018.
The workshop dinner will take place Wednesday July 18, 2018, in Magdalen College, 7pm.
The workshop program can be found here.
The workshop program can also be found on the FLoC website: VEMDP program on the FLoC webpage
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:
- 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
VEMDP is affiliated with CAV 2018, part of the Federated Logic Conference (FLoC) that will take place in Oxford, UK.
News
- May: Tentative schedule is now posted!
- Mar: Andrew J. Turberfield of University of Oxford is confirmed as invited speaker
- Feb: Sara-Jane Dunn from Microsoft Research is confirmed as invited speaker
- Feb: Submissions are now open! See the call for presentations.
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 Submission | |
| Notification | May 15, 2018 |
| Camera-ready | May 31, 2018 |
| Workshop | July 19, 2018 |
Contact Information
Email the organizers for any comments or questions.
Download flyer:
