- The Second IEEE International Conference
on Software Engineering and Formal Methods (SEFM 2004) will be held in
Beijing, the capital of China, during 28-30 September 2004. Affiliated
workshops and tutorials will be organized on 26 and 27 September 2004, and
call for workshops and tutorials will be circulated separately by the
Workshop/Tutorial chair.
SCOPE 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 scale up
their application in software industry and to encourage their integration
with practical engineering methods.
- Authors are encouraged to submit both
theoretical and practical results as well as demonstration of new
tools/applications.
- Topics include but are
not limited to:
- requirement analysis and specification
- software architectures and their description
languages
- software specification, validation and verification
- software design and refinement
- models of programs and systems
- object and multi-agent systems
- coordination and feature interaction
- integration of formal and informal methods
- integration of different formal methods
- component-based development
- service-oriented development
- aspect-oriented development
- formal aspects of security and mobility
- model checking and theorem proving
- fault-tolerant, real-time and hybrid systems
- analysis of safety-critical systems
- formal aspects of software evolution and maintenance
- formal methods for testing, re-engineering and reuse
- light-weight formal methods
- prototyping and visualisation
- CASE tools and tool integration
- application to industrial cases
- formal methods for industrial standardisation
- socio-economic implications of the use of formal
methods
- Submissions must not have been published or be
concurrently considered for publication elsewhere. All submissions will be
judged on the basis of originality, contribution to the field, technical
and presentation quality, and relevance to the conference.
SUBMISSION
GUIDELINES
- The proceedings of the conference will be
published by the IEEE Computer Society Press. The best papers will
be selected to be published in the International Journal on Software and
Systems Modelling published by Springer http://www.sosym.org.
- Authors of both research and tool
papers are strongly encouraged to submit their papers in electronic form.
Papers should be written in English and not exceed 10 pages in IEEE format.
Instructions for authors are available at
http://computer.org/cspress/instruct.htm. Latex formatting macros are
available at
ftp://pubftp.computer.org/Press/Outgoing/proceedings/. Further
information and instructions about submissions can be found on the
conference website.
TOOLS SESSION
- Authors are encouraged to submit papers describing tools
suitable for off-line presentation and/or on-line demonstration. Tool
papers will undergo a regular review process and will be published
in the conference proceedings. Authors willing to give a demonstration
are required to bring all needed equipment and software.
IMPORTANT DATES
| 15 April |
2004 |
Title and Abstract
Submission deadline |
| 21 April |
2004 |
Paper Submission
deadline |
| 18 June |
2004 |
Acceptance/Rejection
notification |
| 10 July |
2004 |
Camera-ready version
due |
| 26-27 September |
2004 |
Tutorials and
workshops |
| 28-30 September |
2004 |
SEFM 2004 in Beijing,
China
|
ORGANIZING COMMITTEE
PROGRAM COMMITTEE
|