VEMDP 2015 2nd Call for presentations (deadline extended)

********************************************************************************
EXTENDED DEADLINE

VEMDP 2015 - 2nd 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: June 6, 2015 (*deadline extended*)
********************************************************************************

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

INVITED TUTORIAL SPEAKER

Boyan Yardanov, Microsoft Research

IMPORTANT DATES

Submission deadline: June 6, 2015 (*extended*)
Notification of acceptance: June 9, 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.

PROCEEDINGS

Accepted abstracts will be published on the workshop website. A special
issue of Theoretical Computer Science associated with VEMDP 2015 is
planned; full papers expanding on accepted abstracts and invited talks are
encouraged and will be given special consideration.

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