************************************************************

ICFEM 2011:

13th International Conference on Formal Engineering Methods

CALL FOR Workshop Proposals

25-28 Oct 2011

Radisson BLU Hotel, Durham, UK

URL: http://www.scm.tees.ac.uk/icfem2011

************************************************************ 

Since 1997, ICFEM has provided a forum for those interested 

in the application of formal engineering methods to computer 

systems. Researchers and practitioners, from industry, 

academia, and government, are encouraged to attend, and to 

help advance the state of the art.  In 2011 the 13th 

International Conference on Formal Engineering Methods 

(ICFEM 2011), which is being sponsored and organised by Teesside 

University, will be held at the Radisson BLU hotel in Durham, UK, 

from the 25th to 28th October 2011. The first day, 25 October 2011, 

will be dedicated to workshops and other satellite events, while 

the ICFEM 2011 conference proper will occupy the subsequent 

three days, 26-28 October 2011.

The organizing committee of ICFEM 2011 therefore cordially invites 

proposals for one-day workshops in any area of formal methods and

software engineering, but particularly in new or emerging fields 

of application of formal methods and on experience with practical 

application domains of formal methods.

Submission of Proposals

Proposals for workshops should contain

* a title and brief description of the workshop topic;

* the names and contact details of the potential organisers;

* a brief justification of the topic and estimated size of audience 

* a description of any special technical requirements

Proposals should be sent to ICFEM2011 Workshops Chair, Steve Dunne,

at [log in to unmask] no later than 10 March 2011.