VEMDP 2018

Verification of Engineered Molecular Devices and Programs

July 19, 2018, Oxford, United Kingdom
An affiliated workshop of CAV 2018
Abstract SubmissionApril 15, 2018 April 23, 2018
NotificationMay 15, 2018
Camera-readyMay 25, 2018
WorkshopJuly 19, 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

Claudio Angione Teesside University
Michael Boemo University of Oxford
Luca CardelliMicrosoft Research / University of Oxford
Milan Češka Brno University of Technology
Neil Dalchau Microsoft Research
Frits Dannenberg California Institute of Technology
David Doty University of California, Davis
Sara-Jane Dunn Microsoft Research
François Fages Inria, Université Paris-Saclay
Harold Fellermann Newcastle University
Jerome Feret INRIA / Ecole Normale supérieure
Lila Kari University of Waterloo
Hillel Kugler Bar-Ilan University
Nicola Paoletti Stony Brook University
Tatjana Petrov University of Konstanz
Andrew Phillips Microsoft Research
Amaury Pouly Max Planck Institute for Software Systems
David Šafránek Masaryk University
Chris Thachuk California Institute of Technology
Qinsi Wang Carnegie Mellon University
Erik Winfree California Institute of Technology
Verena Wolf Saarland University