Organization

Host

• China Computer Federation (CCF)

Organizing institutions

• CCF Formal Methods Technical Committee
• Southwest University
• Institute of Software, Chinese Academy of Sciences

Steering committee

• Jonathan Bowen, Southwest University, China
• Martin Georg Fränzle, University of Oldenburg, Germany
• Zhiming Liu, Southwest University, China
• Shmuel Tyszberowicz, Tel-Aviv Academic College, Israel
• Jim Woodcock, University of York, UK
• Naijun Zhan, Peking University, China
• Lijun Zhang, Institute of Software, China

Local organizers

• Guanwu Gong, Institute of Software, China
• Cheng-Chao Huang, Nanjing Institute of Software Technology, China
• David N. Jansen, Institute of Software, China
• Yong Li, Institute of Software, China
• Andrea Turrini, Institute of Software, China
• Yuanyuan Wang, Institute of Software, China
• Zhilin Wu, Institute of Software, China
• Lijun Zhang, Institute of Software, China