-------- Original-Nachricht -------- Betreff: [isworld] Call for Papers: SEFM 2009 Datum: Wed, 25 Feb 2009 01:09:53 -0500 Von: Padmanabhan Krishnan pkrishna@staff.bond.edu.au Antwort an: Padmanabhan Krishnan pkrishna@staff.bond.edu.au An: AISWORLD Information Systems World Network isworld@lyris.isworld.org

Preliminary 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/SEFM09

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 the associated school, 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 * Paper submission deadline: 29 May 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: To Be Finalised

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

The AISWorld LISTSERV is a service of the Association for Information Systems (http://www.aisnet.org). To unsubscribe, redirect, or change subscription options please go to http://lyris.isworld.org/. You are subscribed to AISworld as: neumann@wu-wien.ac.at. Each Sender assumes responsibility that his or her message conforms to the AISWorld LISTSERV policy and conditions of use available at http://lyris.isworld.org/isworldlist.htm.