|
Nov 16 - 19, 2010
Shanghai, China
http://www.sei.ecnu.edu.cn/icfem2010/
For more information e-mail:
icfem2010@sei.ecnu.edu.cn
The 12th International Conference on Formal Engineering
Methods (ICFEM 2010), sponsored by
Software Engineering Institute, East China Normal University, will
be held in Shanghai, China in November, 2010.
ICFEM brings together 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.
29/05/2010: The deadlines for paper submission have been extended.
Abstract submission: 4 June, 2010
Full-paper submission: 11 June, 2010
| 
