Wednesday, 12 May 2010

ICFEM 2010, Nov 16-19, Shangai

Another Shanghai conference I have been invited to serve on the Program Committee: ICFEM 2010, the 12th International Conference on Formal Engineering Methods. ICFEM 2010 will take place in Shanghai, right after UTP 2010. Submission deadline for abstracts is 28th of May 2010. The conference chair is my former colleague at UNU-IIST He Jifeng (East China Normal University, China), PC-cochairs are Jin Song Dong (National University of Singapore, Singapore) and Huibiao Zhu (East China Normal University, China).

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.

Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their support environments will also be considered:

  • Formal model-based development and code generation
  • Abstraction and refinement
  • Formal specification and modelling
  • Software verification
  • Formal approaches to software testing
  • Software model checking
  • Formal methods for object and component systems
  • Analysis and models for concurrency
  • Formal methods for cloud computing
  • Tool development and integration
  • Software safety, security and reliability
  • Experiments involving verified systems
  • Applications of formal methods