Last CFP: IEEE Software Engineering and Formal Methods 2008



Last CFP: IEEE Software Engineering and Formal Methods 2008

From: Stefan G <sgruner_at_cs.up.ac.za>
Date: Tue, 20 May 2008 19:06:59 +0200
Message-ID: <48330533.2030502@cs.up.ac.za>
_________________________________________________

   +++ LAST Call For Papers +++ SEFM 2008 +++

   The 6th IEEE International Conference on
SOFTWARE ENGINEERING AND FORMAL METHODS
   Cape Town, South Africa, 10-14 November, 2008

_Homepage_ at http://www.iist.unu.edu/SEFM08

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 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, workshops and a SPECIAL 
TRACK on Service Engineering for Next Generation Networks and Converged 
Telecom and Web 2.0 Services.

_TOPICS_
Topics of interest include, but are not limited to:
 * 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 aspects of security and mobility
 * model checking for software and hardware systems
 * theorem proving and decision procedures
 * program analysis
 * fault-tolerant computing
 * embedded systems
 * real-time and hybrid systems theory
 * analysis of safety-critical 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
 * socio-economic implications of the use of formal methods.

KEYNOTE SPEAKERS
 * Robert Giacobazzi, Italy
 * Markus Roggenbach, UK

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 
conference.
Papers must be written in English and not exceed 10 pages in IEEE 
Two-Column Format.
Instructions for authors and LaTeX document classes are available at 
http://www.computer.org/portal/pages/cscps/cps/cps_forms.html .
Detailed information on the submission procedure is available on the 
conference website.
All queries should be sent to: sefm2008@iist.unu.edu .
The proceedings of the conference will be published by the IEEE Computer 
Society Press. Publication of a selection of the papers in a journal 
special issue is also under consideration.

_IMPORTANT DATES_
 * Title and abstract submission deadline: 22 May 2008
 * Paper submission deadline: 31 May 2008
 * Acceptance/rejection notification: 16 July 2008
 * Camera-ready version due: 16 August 2008

COMMITTEES

Conference Chair:
* Ken MacGregor, South Africa
Program Co-chairs :
 * Antonio Cerone, Macau SAR China
 * Stefan Gruner, South Africa

Program Committee:
* See Homepage at at http://www.iist.unu.edu/SEFM08
Steering Committee:
 * Manfred Broy, TU Munich, Germany
 * Antonio Cerone, UNU-IIST, Macao SAR, China
 * Geoff Dromey, Griffith U., Brisbane, Australia
 * Mike Hinchey, Loyola College in Maryland, Baltimore, USA
 * Mathai Joseph, TRDDC, Pune, India
 * Zhiming Liu, UNU-IIST, Macao SAR, China
 * Andrea Maggiolo-Schettini, U. of Pisa, Italy

We look forward to your submissions.
__________________________________________________
Received on Tue 20 May 2008 - 18:07:21 BST