This volume contains the contributions presented at VEMDP 2018: the 3rd Workshop on Verification of Engineered Molecular Devices and Programs, held on July, 19 at the University of Oxford, UK, co-located with CAV 2018, the 30th International Conference on Computer Aided Verification, part of the Federated Logic Conference 2018.

VEMDP provides a unique forum of discussion and collaboration for researchers working at the intersection between formal methods and biology, with emphasis on the verification of engineered biological systems. The focus areas of VEMDP include DNA computing; DNA robotics, and other forms of natural information processing, sensing, and actuation; (stochastic) chemical reaction networks; and engineered transcription networks. Relevant modeling and analysis techniques include automated verification, formal languages and methods, computer-aided design tools (e.g., automated synthesis), equivalence and abstraction of systems, static analysis, and constraints modeling.

There were 12 submissions, ten of which were accepted for oral presentation, and two for poster presentation. Three Program Committee members reviewed each submission. The workshop program also includes two invited talks, by Andrew J. Tuberfield (University of Oxford, UK), and Sara-Jane Dunn (Microsoft Research Cambridge, UK).

We are incredibly grateful to the members of the Program Committee for their reviews and the valuable feedback, and to the authors for submitting their high-quality work to this VEMDP edition. We thank Marta Kwiatkowska and Chris Thachuk for their advice on the workshop proposal, and David Šafránek for selflessly promoting the workshop. We finally thank the organizers of the Federated Logic Conference 2018 for making our workshop part of such a memorable event.