The summer school on formal methods, part of CONFESTA, will be jointly organised by Institute of Software, Chinese Academy of Sciences, Beijing University, and University of Chinese Academy of Sciences.
School Chairs
Professor Naijun Zhan, Institute of Software, Chinese Academy of Sciences
Organization Chairs
Professor Meng Sun, Peking University.
Organization Committee
Professor David N. Jansen, Institute of Software, Chinese Academy of Sciences
Professor Lijun Zhang, Institute of Software, Chinese Academy of Sciences
Professor Bai Xue, 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 Shuling Wang, 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
Professor Rongjie Yan, Institute of Software, Chinese Academy of Sciences
Professor Lei Wang, Jiamusi University
Dr. Yan Zhang, Institute of Software, Chinese Academy of Sciences
Mr. Yi Li, Peking University
Ms. Xiyue Zhang, Peking University
Mr. Yuteng Lu, Peking University
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
Mr. Qianqian Lin, Institute of Software, Chinese Academy of Sciences