This volume includes papers presented at the Doctoral Symposium held in Limassol, Cyprus, on November 8th, 2016, as part of the International Symposium on Formal Methods (FM 2016). The goal of the Formal Methods Doctoral Symposium was to provide selected PhD students with a forum in which they can present to the FM community their ongoing research, receive advice and feedback from a panel of experts, and discuss their work with fellow students in Formal Methods. We received 10 submissions. After a careful reviewing process, in which each submission received three reviews by members of the Program Committee, 8 papers were selected for presentation at the Doctoral Symposium. Prof. John Fitzgerald was invited as the keynote speaker at the Doctoral Symposium. The abstract of his talk on \Formal Methods and Future Systems Engineering" is included in these proceedings. The panel of experts providing feedback to students was composed of Prof. Cli Jones (Newcastle University, United Kingdom), Prof. Martin Ste en (University of Oslo, Norway), and Prof. Zhiming Liu (Southwest University, China), all of whom had also participated on the Programme Committee. The panel of experts selected two presentations, by Vincent Bloemen and by Rajdeep Mukherjee, as joint recipients of the "Best Presentation" award for the Doctoral Symposium. We would also like to thank Springer-Verlag, who kindly agreed to sponsor the award with a monetary contribution for the recipients. Our sincerest thanks go to the authors who submitted the research abstracts to the Doctoral Symposium, to the members of the panel, to Prof. John Fitzgerald, and to all the members of the Program Committee, for their help, their support, and the invaluable contributions they gave to the Doctoral Symposium. We are also very grateful to the general chair of the Symposium on Formal Methods, Prof. Anna Philippou of the University of Cyprus, and to all the local organizers for helping making the Doctoral Symposium a success. Finally, we thank all participants to the Doctoral Symposium, who made the event a lively and fruitful one.
Bernhard Aichernig Nikolaj Bj rner Andrew Butter eld Ana Cavalcanti Chryssis Georgiou Jan Friso Groote Cli Jones Peter Gorm Larsen Elizabeth Leonard Zhiming Liu Dominique Mery Cesar Mun~oz Matteo Rossi Maurice Ter Beek Stefano Tonetta Elena Troubitsyna Jaco van de Pol Martin Ste en TU Graz, AT Microsoft Research, US Trinity College, IE (co-chair) University of York, GB University of Cyprus, CY TU Eindhoven, NL Newcastle University, GB Aarhus University, DK Naval Research Laboratory, US Southwest University, CN LORIA and Universite de Lorraine, FR NASA, US Politecnico di Milano, IT (co-chair) ISTI-CNR, IT FBK-irst, IT Abo Akademi, FI University of Tewnte, NL University of Oslo, NO