FM2014: Formal Methods, Doctor Symposium
No Thumbnail Available
Date
2014-05-30T08:57:49Z
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Preface
This volume contains the papers presented at the Doctoral Symposium which was held in Singapore on 13 May 2014 as part of the International Symposium on Formal Methods (FM2014).
The Doctoral Symposium is an important event where students have the opportunity to present their ideas at an international forum. The papers selected for this year’s symposium were reviewed carefully by the Programme Committee members:
· Franck Cassez (NICTA, Sydney Australia)
· Wei-Ngan Chin (National Univ of Singapore)
· Christine Choppy (Laboratoire d’Informatique de l’Universit´e Paris Nord)
· Yuan Feng (University of Technology, Sydney, Australia)
· Shang-Wei Lin (Temasek Laboratories, National University of Singapore)
· Graeme Smith (University of Queensland, Australia)
· Elena Troubitsyna (˚Abo Akademi, Finland)
· Huibiao Zhu (Software Engineering Institute, East China Normal University)
The symposium invited Prof. Ana Cavalcanti as distinguished speaker, whose abstract of her talk Can Java ever be safe? is included in this proceedings.
I would like to thank the authors of the submitted papers, Prof. Cavalcanti
and the members of the Programme Committee for their contributions, and finally I thank all symposium participants for making this event fruitful and worthwhile.
Annabelle McIver
FM Doctoral Symposium Chair.