Teesside University

ICFEM 2011: 13th International Conference on Formal Engineering Methods
26th—28th October 2011, Durham, United Kingdom

Welcome to ICFEM 2011

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. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible benefit.

The 13th International Conference on Formal Engineering Methods (ICFEM 2011) is sponsored and organised by Teesside University. Formal Methods Europe is providing sponsorship for a visiting speaker. ICFEM 2011 is also sponsored by Microsoft Research. It will be held at the Radisson BLU hotel in Durham, United Kingdom on 26th–28th October 2011.

Important Dates

Abstract submission deadline 31st March 2011 14th April 2011
Full-paper submission deadline 7th April 2011 21st April 2011 Submissions closed
Acceptance/rejection notification 8th June 2011 15th June 2011
Final (camera-ready) version due 6th July 2011 13th July 2011

Recent changes

Send comments about this page to icfem2011@scm.tees.ac.uk
Last updated: Tue Feb 7 10:20:30 GMT 2012