[TYPES/announce] The 2nd International Workshop on Verification of Engineered Molecular Devices and Programs

[Marta Kwiatkowska]

********************************************************************************
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

-- 
Professor Marta Kwiatkowska
Fellow of Trinity College
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford, OX1 3QD

Tel: +44 (0)1865 283509
Email: Marta.Kwiatkowska at cs.ox.ac.uk
URL: http://www.cs.ox.ac.uk/people/marta.kwiatkowska/

Personal Assistant: Renate Henison
Email: Renate.Henison at cs.ox.ac.uk
Tel: +44 (0)1865 610650