CALL FOR PAPERS - SEFM 2009

The 7th IEEE International Conference on
SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM)
  Hanoi, Vietnam
  23--27 November 2009

URL: http://www.iist.unu.edu/sefm2009


BACKGROUND AND OBJECTIVES

The aim of the conference is to bring together practitioners and
researchers from academia, industry and government to advance the
state of the art in formal methods, to facilitate their uptake 
in the software industry and to encourage their integration with practical
engineering methods. 
Papers that combine formal methods and software engineering are
especially welcome.
Authors are invited to submit research, tool papers on any relevant
topic. These can either be normal or short papers.
Short papers can discuss new ideas which are at an early stage of development
and need not have been  subject to a thorough evaluation.

A call for tutorials and workshops will be issued later.


TOPICS

Topics of interest include, but are not limited to:
  * formal methods technology transfer
  * scalable formal methods
  * requirement analysis and specification
  * software specification, verification and validation
  * component-based development
  * programming languages and type theory
  * formal models for service-oriented computing
  * web and grid computing
  * formal models for web services, choreography and orchestration
  * formal aspects of security and mobility
  * model checking for software and hardware systems
  * theorem proving and decision procedures
  * program analysis
  * real-time, hybrid and embedded systems 
  * safety-critical and fault-tolerant systems
  * interactive systems and human error analysis
  * software architectures and their description languages
  * object and multi-agent systems, aspect oriented development
  * coordination and feature interaction
  * formal aspects of software evolution and maintenance
  * formal methods for testing, re-engineering and reuse
  * light-weight formal methods * CASE tools and tool integration
  * applications of formal methods and industrial case studies


KEYNOTE SPEAKERS (to be finalised)

  * Joseph Sifakis, France
  * John Rushby, USA
  * Bern-Holger Schlingloff, Germany

LOCATION
  
  The conference will be held at the Daewoo hotel in Hanoi, Vietnam.
  (http://www.hotelclub.net/hotel.reservations/Hanoi_Daewoo_Hotel.htm)


SUBMISSION AND PUBLICATION

Submissions to the conference must not have been published or be
concurrently considered for publication elsewhere.  All submissions
will be peer-reviewed and judged on the basis of originality,
contribution to the field, technical and presentation quality, and
relevance to the workshop.

All papers must be written in English. Research and tool papers
must not exceed 10 pages while short papers must not exceed 5 pages in the IEEE
format.

Instructions for authors are available at
    http://computer.org/cspress/instruct.htm.
LaTeX document classes can be downloaded from the website at
    ftp://pubftp.computer.org/Press/Outgoing/proceedings/.
Detailed information on the submission procedure is available on
the conference website.  All queries should be sent to:
    sefm2009@iist.unu.edu.
The proceedings of the conference will be published by the IEEE
Computer Society Press (approval pending)

Publication of a selection of the papers in a journal special issue is also
under consideration.

Papers must be submitted electronically via the Easychair System.
http://www.easychair.org/conferences/?conf=sefm09


IMPORTANT DATES

  * Title and abstract submission deadline: 15 May 2009 (extended to 22 May 2009)
  * Paper submission deadline: 29 May 2009 (extended to 7 June 2009)
  * Acceptance/rejection notification: 17 July 2009
  * Camera-ready version due: 7 August 2009


COMMITTEES

Conference Chair:
   Michael Hinchey, Lero, Ireland

Program Co-chairs:
  * Dang Van Hung,  Vietnam National University, Vietnam
  * Padmanabhan Krishnan, Bond University, Australia 

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
  * 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
  * Ha Nguyen-Viet 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
  * Hoang Truong-Anh Vietnam
  * R. Venkatesh India 
  * Huibiao Zhu China

Organising Committee Co-Chairs:
  * Nguyen Ngoc Binh, Vietnam National University
  * Luong Chi Mai,  Vietnamese Academy of Science and Technology

Finance Chair:
  * Truong Anh Hoang,   Vietnam National University

Steering Committee:
  * Manfred Broy, TU Munich, Germany
  * Antonio Cerone, UNU-IIST, Macao SAR, China
  * Geoff Dromey, Griffith U., Brisbane, Australia
  * Mike Hinchey, Lero-The Irish Software Engineering Research Centre, Ireland
  * Mathai Joseph, TRDDC, Pune, India
  * Zhiming Liu, UNU-IIST, Macao SAR, China
  * Andrea Maggiolo-Schettini, U. of Pisa, Italy