Welcome to Summer School on Formal Methods


(Part of CONFESTA)


August 24-September 1, 2018


  • Latest News

    1. The course materials could be downloaded at the SVN repository http://124.16.137.63/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.