=========================== 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: [log in to unmask] Important Dates Paper submission: 20 May 2005 Author notification: 19 August 2005 Camera-ready copies: 16 September 2005