SETSS 2019: 5th Spring School on

Engineering Trustworthy Software Systems

Southwest University , Chongqing, China, 21–27 April 2019

CALL FOR PARTICIPATION

http://www.swu-rise.net.cn/SETSS2019/

The 5th International School on Engineering Trustworthy Software Systems (SETSS 2019), will be held on 21–27 April 2019 at Southwest University in Chongqing, China. International excellent scientists will be coming to lecture on their leading-edge research in methods and tools for use in computer system engineering. They include:

Professor Dr Manfred Broy of Technical University of Munich (Germany) on Modelling Cyber Physical Systems.

Professor Zhi Jin of Peking University (China) on Software Requirements and Environment Modelling.

Professor Dr Joost-Pieter Katoen of RWTH Aachen University (Germany) on Probabilistic Programming.

Professor Kim G. Larsen of Aalborg University (Denmark) on From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Refinement, Performance Analysis and Machine Learning.

Professor Grigore Rosu of University of Illinois at Urbana-Champaign (USA) on K Semantic Framework.

In addition to the lectures, the school program will also include seminars and social events. For details of the program, registration, travel and contacts for enquiries, please visit the school website at: http://www.swu-rise.net.cn/SETSS2019/

The lecture notes will be published in a post-school volume of Lecture Notes in Computer Science by Springer.