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: Assoc.Prof. Volker Stolz, ICT Engineering group, HVL Prof. Zhiming Liu, Centre for Research and Innovation in Software Engineering, SWU