Last CFP: IEEE Software Engineering and Formal Methods 2008

Last CFP: IEEE Software Engineering and Formal Methods 2008

From: Stefan G <>
Date: Tue, 20 May 2008 19:06:59 +0200
Message-ID: <>

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

   The 6th IEEE International Conference on
   Cape Town, South Africa, 10-14 November, 2008

_Homepage_ at

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 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.

 * Robert Giacobazzi, Italy
 * Markus Roggenbach, UK

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 
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 .
Detailed information on the submission procedure is available on the 
conference website.
All queries should be sent to: .
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.

 * 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


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

Program Committee:
* See Homepage at at
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