Summer school on formal methods

We are glad to announce the second edition of the Summer School on Formal Methods, which will be held at ISCAS, Beijing, from August 6 to August 15. This year’s topics range over formal verification of deep learning, correctness by design, automated reasoning for system analysis, and cyber-physical systems.

Detailed information is available at the Summer School on Formal Methods web page.