3rd Asian-Pacific Summer School on Formal Methods
Submitted by herbelin on 25 Apr 2011 17:53 GMT
The 3rd Asian-Pacific Summer School on Formal Methods will be held in Suzhou, China in August 13-21, 2011.
The objective is to teach students the principles and practice of programming with the proof assistant Coq, as in previous years (2009 and 2010), and to show them the state of art applications of proof assistants and theorem provers in formal methods.