Software Engineering and Formal Methods

The aim of the conference is to bring together researchers and practitioners from academia, industry and government to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods. Authors are invited to submit both research and tool papers. The scientific program will include invited talks, paper and tool presentations, tool demonstrations, tutorials and workshops.

The proceedings of the conference will be published by the IEEE Computer Society Press. The authors of a selection of the best papers presented at the conference will be invited to submit extended versions of their works for publication in a journal.

There will be a school preceding the conference aiming to postgraduate students and researchers from academia and industry. Please see the school website for more information about the content and application form.

Conference Organizers

Conference Chair:	Mike Hinchey, Lero, Ireland
Program Co-chairs:	Dang Van Hung, Vietnam National University, Hanoi Padmanabhan Krishnan , Bond University, Australia
Organising Committee:	Nguyen Ngoc Binh, Vietnam National University, Hanoi Luong Chi Mai, Vietnamese Academy of Science and Technology
Steering Committee:	Manfred Broy, TU Munich, Germany Antonio Cerone, UNU-IIST, Macao SAR, China Geoff Dromey, Griffith U., Brisbane, Australia Mike Hinchey, Loyola College, Baltimore, USA Mathai Joseph, TRDDC, Pune, India Zhiming Liu, UNU-IIST, Macao SAR, China Andrea Maggiolo-Schettini, U. of Pisa, Italy
Financial Chair:	Truong Anh Hoang, Vietnam National University, Hanoi
Local Chair:	Pham Ngoc Hung, Vietnam National University, Hanoi
Program Committee:	Luis Barbosa, Portugal Marcello Bonsangue, Netherlands Jonathan Bowen, UK Antonio Cerone, Macao Wei-Ngan Chin, Singapore Flavio Corradini, Italy Patrick Cousot, France Hamdan Dammag, Yemen Hung Dang Van, Vietnam (co-chair) Jim Davies, UK David Deharbe, Brazil Rocco De Nicola, Italy George Eleftherakis, Greece Stefania Gnesi, Italy Valentin Goranko, South Africa Stefan Gruner, South Africa Michael Hansen, Denmark Jean-Marie Jacquet, Belgium Tomasz Janowski, Macao Ridha Khedri, Canada Padmanabhan Krishan, Australia (co-chair) Peter Lindsay, Australia Xuandong Li, China Tom Maibaum, Canada Carlo Montangero, Italy Madhavan Mukund, India Truong-Thang Nguyen, Japan Viet-Ha Nguyen, Vietnam Tunji Odejobi, Nigeria Mizuhito Ogawa, Japan Sanjiva Prasad, India Markus Roggenbach, UK Djamel Saidouni, Algeria Prahlad Sampath, India Gerardo Schneider, Norway Siraj Shaikh, UK Anh-Hoang Truong, Vietnam R. Venkatesh, India Huibiao Zhu, China

Venue

The conference and tutorials will take place at Hanoi University of Science, Vietnam National University, Hanoi , see map.

Address: No. 19 Le Thanh Tong St., Hoang Kiem Dist., Hanoi, Vietnam

Contacts

For further inquiries or questions, please feel free to contact us: Dr. Pham Ngoc Hung, Dr. Truong Anh Hoang, email: {hungpn,hoangta} (at) vnu.edu.vn

College of Technology, Vietnam National University, Hanoi, E3 Building, 144 Xuan Thuy, Cau Giay, Hanoi, Vietnam

Tel: +84.4-37549016 Fax: +84.4-37547460