9月12日-14日,由华东师范大学软件学院与南京航空航天大学计算机科学与技术学院联合举办的第九届软件工程理论国际研讨会(The 9th International Symposium on Theoretical Aspects of Software Engineering,简称TASE 2015)在我校将军路校区举行。中国科学院院士何积丰教授,南航副校长黄志球教授、计算机科学与技术学院院长陈兵教授、加拿大多伦多大学(University of Toronto)Marsha Chechik教授、美国纽约大学(New York University) Patrick Cousot教授、新加坡国立大学(Nation University of Singapore) Jin Song Dong教授等出席了本次会议。本次会议的大会主席为中国科学院院士何积丰教授,程序委员会主席为南京航空航天大学副校长黄志球教授和新加坡技术与设计大学(Singapore University of Technology and Design)Sun Jun教授。大会程序委员会由来自美国、法国、英国、德国、挪威、瑞典、日本等国家的国际顶级软件工程领域的学者专家组成,每篇论文经过至少三位专家评审,长文论文录用率为28%。会议评选了最佳论文奖,来自北京大学的“A Framework for Off-Line Conformance Testing of Timed Connectors”和来自法国国家信息与自动化研究院(INRIA)“Polychronous Automata”两篇论文获奖。
会议开幕式由我校计算机科学与技术学院院长陈兵教授主持。我校副校长黄志球教授首先为大会致欢迎词。黄校长在讲话中介绍了我校近年来的发展情况,并对各位与会专家和学者的到来表示热烈欢迎。随后,何积丰院士介绍了软件技术在航空航天领域的重要性以及本次会议的意义。最后,Sun Jun教授介绍了大会的基本情况。会议期间,加拿大多伦多大学Marsha Chechik教授作了题为“Modeling and Reasoning about Software Systems Containing Uncertainty and Variability”的报告、美国纽约大学Patrick Cousot教授作了“On Various Abstract Understandings of Abstract Interpretation”的报告、新加坡国立大学Jin Song Dong教授作了“Event and Strategy Analytics”的报告。Patrick Cousot教授和Jin Song Dong教授还分别作了专题讲座。会议内容丰富,气氛轻松欢快,讨论热烈。
来自华东师范大学、北京大学、南京大学、北京航空航天大学、西北工业大学、复旦大学等国内高校以及美国、法国、加拿大、新加坡等国外学术研究机构的近百人参会。各位专家、学者和研究生进行了充分的学术交流,学术气氛浓厚,加强了我校软件工程研究方向与国内外专家学者的联系。TASE2015国际会议的举办,对加强我校软件工程领域校际合作、促进海内外学者交流、实现海外引智等具有积极意义。