SETSS 2019 CfP
来源: 刘志明/

SETSS 2019: 5th Spring School on

Engineering Trustworthy Software Systems

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


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:

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

登录用户可以查看和发表评论, 请前往  登录 或  注册 学者网
免责声明 | 关于我们 | 联系我们