Organisation

The summer school on formal methods will be jointly organised by Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences.

School Chairs

Professor Naijun Zhan, Institute of Software, Chinese Academy of Sciences
Professor Lijun Zhang, Institute of Software, Chinese Academy of Sciences

Organization Chairs

Professor Shuling Wang, Institute of Software, Chinese Academy of Sciences
Professor Bai Xue, Institute of Software, Chinese Academy of Sciences
Professor Rongjie Yan, Institute of Software, Chinese Academy of Sciences
Professor Bohua Zhan, Institute of Software, Chinese Academy of Sciences

Organization Committee

Professor David N. Jansen, Institute of Software, Chinese Academy of Sciences
Professor Yi Lv, Institute of Software, Chinese Academy of Sciences
Professor Andrea Turrini, Institute of Software, Chinese Academy of Sciences
Professor Peng Wu, Institute of Software, Chinese Academy of Sciences
Professor Zhilin Wu, Institute of Software, Chinese Academy of Sciences
Dr. Yan Zhang, Institute of Software, Chinese Academy of Sciences
Mr. Mingshuai Chen, Institute of Software, Chinese Academy of Sciences
Mr. Jie An, Tongji University
Mr. Shenghua Feng, Institute of Software, Chinese Academy of Sciences
Mr. Xiangyu Jin, Institute of Software, Chinese Academy of Sciences
Mr. Haolan Zhan, Institute of Software, Chinese Academy of Sciences
Ms. Qianqian Lin, Institute of Software, Chinese Academy of Sciences