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 (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.