Welcome to Summer School on Formal Methods
(Part of CONFESTA)
August 24-September 1, 2018
1. The course materials could be downloaded at the SVN repository http://188.8.131.52/svn/ssfm2018 (For the username and password, please refer to the program booklet.).
2. Note, the venue has changed!!! The summer school will take place in Institute of Software, Chinese Academy of Sciences. For full address, please refer to Venue.