Jifeng HE, East China Normal University, China as a keynote speaker at ICFEM 2011, the 13th International Conference on Formal Engineering Methods 26th-28th October 2011, Durham, United Kingdom.
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.
FME is happy to support this event dedicated to the application of formal methods.