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!



  • Dan LI (Researcher,  Høgskulen på Vestlandet & Guizhou Academy of Sciences)
  • Ka I Pun (Researcher, University of Oslo & University of Bergen, Norway)
  • Adrian Rutle (Associate Professor, Høgskulen på Vestlandet)
  • Volker Stolz  (Associate Professor, Høgskulen på Vestlandet)
  • Rui WANG (PhD candidate, Høgskulen på Vestlandet)
  • Hong LAI (Associate Professor, Southwest U.)
  • Bo LIU (Lecturer, Southwest U.)
  • Zhiming LIU (Professor, Southwest U.)
  • Qing WANG (Post-doc, Southwest U.)
  • Hengjun ZHAO (Lecturer, Southwest U.)


  • Model driven software engineering with formal diagrammatic models (A.Rutle)
  • Software engineering with model transformations (D.Li)
  • Runtime Verification (V.Stolz)
  • Refinement (Z.Liu)
  • Combining executable specifications with runtime verification for Lego robots (R.Wang/A.Rutle/V.Stolz)
  • Networking for CPS (Bo LIU)
  • Formal analysis of Service-level Agreements for Cloud services with ABS (Ka I Pun)
  • Modelling of fault-tolerant algorithms with Coloured Petri Nets (R.Wang)

While there is no registration fee, participants are expected to cover expenses joint meals and the social event (optional).

For registration or further information, please contact before August 15th:

Volker Stolz

The Chinese partners will assist with visa invitations, travel arrangements on arrival and accommodation. Flights from Norway can be as low as 5.000 NOK; for example, Finnair has flights via Helsinki.