The SIU-funded summer school on “Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems” will take place in October on the campus of Southwest University, Chongqing, China.

More information forthcoming!

Organizers: