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. Detailed schedule forthcoming! Organizers: Assoc.Prof. Volker Stolz, ICT Engineering group, HVL Prof. Zhiming Liu, Centre for Research and Innovation in Software Engineering, SWU Lecturers: Dan LI […]