from Chris Thachuk:The 2nd International Workshop on Verification of Engineered Molecular Devices and Programs

********************************************************************************
VEMDP 2015 - 1st call for presentations

The 2nd International Workshop on Verification of Engineered
Molecular Devices and Programs

An affiliated workshop of CAV 2015 hosted in San Francisco, USA on July
19, 2015

http://dna.caltech.edu/vemdp2015/

Submission deadline: May 17, 2015
********************************************************************************

OVERVIEW

Verification of Engineered Molecular Devices and Programs (VEMDP) 2015
is a half day workshop, affiliated with the CAV 2015 conference,
dedicated to the topic of verification of engineered biological and
chemical systems. While the focus of this workshop is on biological
and chemical systems that do not occur naturally, we also encourage
submissions concerning the verification of naturally occurring systems
that have been functionally modified. These systems include, but are
not limited to:

- DNA computing and other forms of natural computing
- Chemical reaction networks
- DNA walkers and motors
- Engineered transcription networks and other synthetic biology applications

We encourage topics that focus on any form of verification for these
types of systems. Topics of interest may include, but are not limited
to:

- Modelling
- Formal languages and methods
- Automated verification
- Complexity of verification
- Analysis of system behaviour
- Equivalence of systems
- Computer aided design tools

This year's program will be a mix of invited and contributed presentations.


INVITED KEYNOTE SPEAKERS

Matthew Lakin, University of New Mexico
Chris J. Myers, The University of Utah


IMPORTANT DATES

Submission deadline: May 17, 2015
Notification of acceptance: May 31, 2015
Workshop: Afternoon of July 19, 2015


SUBMISSION DETAILS

Submissions based on previously published work are permitted. To be
considered for oral presentation, submissions should consist of a
single .pdf file containing a two page abstract that describes the
primary results and importance of the work. In addition, submissions
may optionally contain an attachment with a supporting manuscript.
Submissions should be made via the workshop's easychair site:
https://easychair.org/conferences/?conf=vemdp2015

Please direct any questions to one of the organizers.

PROGRAM COMMITTEE

Neil Dalchau Microsoft Research
François Fages INRIA Rocquencourt
Jerome Feret INRIA / Ecole normale supérieure
Marta Kwiatkowska University of Oxford
Alan Hu University of British Columbia
Matthew Lakin University of New Mexico
Andrew Phillips Microsoft Research
David Šafránek Masaryk University
Chris Thachuk California Institute of Technology
Erik Winfree California Institute of Technology