************************************************************ 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 s.e.dunne@tees.ac.uk no later than 10 March 2011.