Talks
5-8 Januray 2022， Internal Lectures at RISE [ .pdf ]
24 July 2022， Online Meeting With Huawei 2012 Lab [ .pdf ]
CCF Formal Methods Interstate Group Workshop on Strategetic Research （形式化专委战略研讨2022-04-10 ）[ .pdf ]
Keynote at IEEE Dependable Systems and Their Applications -DASA 2020 [ .pdf ]
Short Course to Postgraduate Sudents of University of National Defence Technology, 29 June & 3 July 2020 [ .pdf ]
Summer School on Formal Methods for AI at Easter Chinal Normal University, July 14-17 2020 [ .pdf ]
Seminar at University of York (UK), July 23, 2019 [ .pdf ]
Workshop on AI and Formal Methods at Southwest University, October 2019 [ .pdf ]
Workshop on AI and Computation, East China Normal University, August 2019 [ .pdf ]
航天科技集团502所, September 04，2018 [ .pdf ]
2017-11-14 Dagstuhl Seminar [ .pdf ]
2017-10-24 ICTAC 2017 Tutorial [ .pdf ]
Lectures at School on Engineering Trustworthy Software Systems (SETSS) 2014 [ .pdf ]
Turorial at ICTAC 2013, Shanhai August 26-30, 2013 [ .pdf ]
FACS Tutorial, Nanchang 2013 [ .pdf ]
Related Links
MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling, https://ict.hvl.no/multecore/
RM2PT: Automatic Prototyping from Requirements Model, https://rm2pt.com/
Microservice Modelling Tool, https://www.rise-swu.cn/MMT/
Contacts and Inquires
Zhiming Liu, zhimingliu88@swu.edu.cn
Bo Liu, liubocq@swu.edu.cn
