您的位置:首页 > 科学研究 > 学术科研

第四届可信软件系统工程(国际)春季学校Spring School on Engineering Trustworthy Software Systems

发布时间:2018-04-04 来源:本站原创 作者:本站编辑   浏览次数:

可信软件系统工程(国际)春季学校

Spring School on Engineering Trustworthy Software Systems

可信软件系统工程(国际)春季学校由西南大学计算机与信息科学学院、软件学院举办。自2014年以来,我们已成功举办过三届,这是第四届。本届春季学校邀请了微软研究院Nikolaj Bjorner首席研究员、西门子公司首席科学家 Jorge Cuellar 教授、美国加州大学戴维斯分校 Zhendong Su教授、澳大利亚阳光海岸大学Mark Utting教授、中国东北大学特聘教授Wang Yi 教授、中国科学院软件研究所张立军研究员、英国伦敦南岸大学Jonathan P. Bowen 教授和清华大学 Yu Jiang 博士,共8名海内外著名的软件工程领域专家和学者,以专题讲座、学术沙龙、互动交流等形式,为学员展现计算机软件系统工程领域最前沿的软件工程方法、技术和实用性工具。可信软件系统工程(国际)春季学校的招生范围包括在读硕士研究生、博士研究生、高校相关专业青年教师和研究人员、以及计算机软件产业从业者。本届春节学校学员人数共计 70 余人,分别来自30多个高校和科研院所。通过春季学校,各位学员们不但能学习到最先进的软件工程方法与前沿技术,还能直接与多位国内外专家面对面互动和交流,从而建立起与业内专家合作进行软件工程领域的科学、教育研究的前期基础。

详情请见春季学校网站: http://www.swu-rise.net.cn/SETSS2018

 

时间安排

主讲人/主持人

单位

题目

4708:00-08:30

Prof. Zili Zhang

Southwest University

Opening Session           

(1) Welcome Speech by Vice President of SWU, Prof. Yanqiang Cui

(2) SETSS Briefing by Prof. Zhiming Liu

(3) School Photo Taking

47 上午

Prof. Mark Utting

University of the Sunshine Coast

An Introduction to Software Verification with Whiley

47 下午

Prof. Mark Utting

University of the Sunshine Coast

An Introduction to Software Verification with Whiley

48 上午

Prof . Wang Yi

North Eastern Univerisity

Model-Based Design   of Real-Time Systems: from Timed Automata to Di-Graph and Back

48 下午

Prof. Lijun Zhang

Institute of Software Chinese Academy of Sciences

Omega-automata   learning algorithms and its application

49 上午

Prof. Lijun Zhang

Institute of Software Chinese Academy of Sciences

Omega-automata   learning algorithms and its application

49 下午

Prof. Wang Yi

North Eastern Univerisity

Model-Based   Design of Real-Time Systems:  from   Timed Automata to Di-Graph and Back

49 晚上

Dr. Yu Jiang

Tsinghua University

Fuzzing Testing in Theory and Practice

410 上午

Prof. Jorge Cuellar

Siemens AG

Securing the Future IoT Application

410 下午

Prof. Zhendong Su

UC Davis

Randomized and Systematic Testing of Software

410 晚上

Prof. Jonathan Bowen

London South Bank University

From Alan Turing to Formal Methods

411 上午

Prof. Zhendong Su

UC Davis

Randomized and Systematic Testing of Software

411 下午

Prof.

Nikolaj Bjorner

Microsoft Research

Programming Constraint Services with Z3

412 上午

Prof.

Nikolaj Bjorner

Microsoft Research

Programming Constraint Services with Z3

412 下午

Prof. Jorge Cuellar

Siemens AG

Securing the Future IoT Application