Please use this identifier to cite or link to this item:
Title: FM2014: Formal Methods, Doctor Symposium
Authors: CAVALCANTI, Ana
ALBERTI, Francesco
DENMAN, William
FILHO, M.S. Conserva
GUI, Lin
NGUYEN, Thien Binh
QUAN, Thanh Tho
NGUYEN, Minh Hai
NGUYEN, Cong Dinh
SETYAUTAMI, Maya Retno Ayu
Issue Date: 30-May-2014
Series/Report no.: ;TRA5/14
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.
Appears in Collections:Technical Reports

Files in This Item:
File Description SizeFormat 
TRA5-14.pdf624.18 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.