Welcome to Summer School on Formal Methods
August 06-August 15, 2019
The registration fee is 1000 yuan per person. The summer school will take place in Institute of Software CAS, Beijing, China.
The registration link is here.
Registration fee will be collected onsite.
Institute of Software, Chinese Academy of Sciences, Beijing University, and University of Chinese Academy of Sciences
