[TYPES] 1st CFP - ICFEM '05 -

[Taguchi]

=========================== First Call for Papers =====================

                                  ICFEM 2005 
            Seventh International Conference on Formal Engineering Methods 

                     1-4 November 2005, Manchester, UK 

                     http://www.cs.man.ac.uk/icfem05/ 


                           First Call for Papers

Formal engineering methods are formal methods applied to practical computer 
system development. These methods have been extensively researched and their use 
in industry is increasing. Recent applications to the development of 
mission-critical, safety-critical and security-critical systems have 
significantly increased trustworthiness, without increasing overall development 
costs. Nowadays, it is more and more the case that formal techniques have gone 
hand in hand with the construction of systems displaying the highest level of 
dependability. 

The challenge now is to achieve general acceptance of formal methods as a part 
of industrial development of high quality systems, particularly trusted systems. 
More needs to be known about merging formal methods into industrial engineering 
practice, including new and emerging practice. This includes increasing 
productivity of formal engineering methods, for example through improved tool 
support. 

ICFEM 2005 aims to bring together researchers and practitioners from industry, 
academia, and government to advance the state of the art in formal engineering 
methods and to encourage wider uptake of formal methods in industry. 

                            Topics of Interest 

Topics of interest include all aspects of formal engineering methods, from 
theoretical work that promises various benefits, to application to real production 
systems. They fall under the following themes: 

- system specification: languages, notations, semantics, architectures, components, tools 
- system development: processes, methodologies, refinement, CASE tools 
- system testing: theory, techniques, test generation, test coverage, tools 
- system verification: theory, techniques, theorem proving, model checking, tools 

                               Submissions 

Submissions should be original and not simultaneously submitted elsewhere. They 
should not exceed 15 pages in the Springer LNCS style. Overlong submissions will 
not be considered by the programme committee. Submissions should be made 
electronically by 20 May 2005. Details will be available later. 

                               Proceedings 

The proceedings will be published by Springer as a volume in the Lecture Notes in 
Computer Science series. Every accepted paper will be included in the proceedings 
if it is presented at the conference by (at least one of) its authors. 

                             Invited Speakers 

              The following have agreed to give invited talks: 

                 - Egon Börger, University of Pisa, Italy
                 - Anthony Hall, Independent consultant, UK
                 - John Rushby, SRI, USA 

                             Conference Chair
 
               Richard Banach, The University of Manchester

                             Programme Chair   

               Kung-Kiu Lau, The University of Manchester
           
                      Email:  icfem05 at cs.man.ac.uk 

                             Important Dates 
 
                      Paper submission: 20 May 2005 
                   Author notification: 19 August 2005 
                   Camera-ready copies: 16 September 2005