[TYPES] ICFEM 2005 * Call for Workshops and Tutorials * IC Formal Engineering Methods *

Mike Poppleton mrp at ecs.soton.ac.uk
Fri May 20 16:35:51 EDT 2005

** Apologies for multiple postings ** 

ICFEM 2005  Seventh International Conference on Formal Engineering Methods 

1-4 November 2005, Manchester, UK 

Call for Workshops and Tutorials 

Formal engineering methods are formal methods applied to practical computer
system development. Recent applications to the development of
mission-critical, safety-critical and security-critical systems have
significantly increased trustworthiness, without increasing overall
development costs. 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

Workshop and tutorial proposals are invited which pursue this agenda.

Topics of Interest

Topics of interest include all aspects of formal engineering methods, from
theoretical work and methods that promise various benefits, to methods and
tools with application to real production systems. They fall broadly (but
not exclusively) under the themes of  system specification, system
development, system testing, and system verification.


Half-day or full-day workshops or tutorials : 31 October - 1 November 2005


The following information should be provided with Workshop Proposals: 

- Workshop title and brief description of the scope and goal 
- Motivation of the relevance to the community 
- Organizing committee and potential invited speakers 
- Format of the workshop, duration and refereeing procedure 

- Nature (format, publisher) of workshop proceedings

For Tutorial Proposals:

- Tutorial title, name of speaker(s) and abstract 
- CV of the speaker(s) 
- Motivation of the relevance to the community 
- Background paper(s) on the topic 

- Nature  of tutorial documentation


Important Dates

Submission of Proposals: 24 June 2005
Acceptance notification: 8 July 2005
Tutorials and Workshops: 31 October - 1 November 2005


Please send your proposal to the ICFEM 2005 Workshop and Tutorials Chair:
Mike Poppleton mrp at ecs.soton.ac.uk

Conference Chair Richard Banach, University of Manchester
Programme Chair Kung-Kiu Lau, University of Manchester
Workshop and Tutorials Chair Mike Poppleton, University of Southampton
Email icfem05 at cs.man.ac.uk

More information about the Types-list mailing list