from Chris Thachuk: Workshop on Verification of Engineered Molecular Devices and Programs

*****************************************************************************
VEMDP 2014 - 1st call for papers

The 1st International Workshop on Verification of Engineered
Molecular Devices and Programs

An affiliated workshop of CAV 2014 hosted in Vienna, Austria on July 17, 2014

http://qav.cs.ox.ac.uk/vemdp2014/

Submission deadline: April 25, 2014
*****************************************************************************

OVERVIEW

Verification of Engineered Molecular Devices and Programs (VEMDP) 2014
is a one day workshop, affiliated with the CAV 2014 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


INVITED KEYNOTE SPEAKERS

Luca Cardelli (Microsoft Research & Oxford University)
Masami Hagiya (University of Tokyo)


INVITED TUTORIAL SPEAKER

Andrew Phillips (Microsoft Research) - "Modelling, Simulating and Analysing DNA Strand Displacement Circuits"


IMPORTANT DATES

Submission deadline: April 25, 2014
Notification of acceptance: May 18, 2014
Camera ready deadline: May 28, 2014
Workshop: July 17, 2014


SUBMISSION DETAILS

All contributed papers must be submitted by April 25, 2014 at 12:00
midnight (any timezone). Papers can be submitted as a PDF via
EasyChair at the following website:
https://www.easychair.org/conferences/?conf=vemdp2014. Papers are
limited to 12 pages, preferably typeset in Springer LNCS style, using
a minimum font size of 11pt. Any details that have been omitted from
the main paper content, such as technical proofs, must be included as
an appendix for review. Submitted papers must contribute original
content and should not be under review for publication in another
venue. Accepted papers will be included in the Vienna Summer of Logic
(VSL) USB-stick that will be distributed to all VSL participants.
Selected papers will be invited to a special journal issue of
Theoretical Computer Science.


PROGRAM COMMITTEE

Calin Belta (Boston University)
Neil Dalchau (Microsoft Research)
François Fages (INRIA Rocquencourt)
Jerome Feret (INRIA / Ecole normale supérieure)
Alan Hu (University of British Columbia)
Hillel Kugler (Microsoft Research)
Marta Kwiatkowska (University of Oxford, Co-chair)
Matthew Lakin (University of New Mexico)
Paolo Milazzo (Università di Pisa)
David Parker (University of Birmingham)
Andrew Phillips (Microsoft Research, Co-chair)
David Šafránek (Masaryk University)
David Soloveichik (UCSF Center for Systems and Synthetic Biology)
Chris Thachuk (California Institute of Technology, Co-chair)
Erik de Vink (Technische Universiteit Eindhoven)
Christoph M Wintersteiger (Microsoft Research)
Verena Wolf (Saarland University)