-------- Original-Nachricht -------- Betreff: [isworld] Call for Papers: SEFM 2009 Datum: Mon, 20 Apr 2009 00:15:10 -0400 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
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 * 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:
* 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
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.