VEMDP 2018

Verification of Engineered Molecular Devices and Programs

July 19, 2018, Oxford, United Kingdom
An affiliated workshop of CAV 2018
Submission deadlineJune XX, 2018
NotificationJune XX, 2018
Early registration deadlineJune XX, 2018

Organization Co-chairs

Luca Cardelli
Microsoft Research
Cambridge, United Kingdom
luca@microsoft.com
Nicola Paoletti
Department of Computer Science
Stony Brook University
nclpltt@gmail.com
Frits Dannenberg
Computing and Mathematical Sciences
California Institute of Technology
fdann@caltech.edu
Michael Boemo
Sir William Dunn School of Pathology
University of Oxford
michael.boemo@path.ox.ac.uk

Program Committee

Luca CardelliMicrosoft Research
Nicola PaolettiStony Brook University
Frits DannenbergCalifornia Institute of Technology
Michael BoemoUniversity of Oxford