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:

Lecturers:

  • Ka I Pun (Researcher, University of Oslo)
  • Dan LI (Researcher,  Høgskulen på Vestlandet)
  • Rui WANG (PhD candidate, Høgskulen på Vestlandet)
  • Adrian Rutle (Associate Professor, Høgskulen på Vestlandet)
  • Volker Stolz  (Associate Professor, Høgskulen på Vestlandet)
  • Zhiming LIU (Professor, Southwest U.)