Organization

Host

• China Computer Federation (CCF)

Organizing institutions

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

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