金莹江苏省计算机学会教授,江苏学会网 2019江苏省计算机学会计算机软件专业委员会学术年会在常熟召开...

12月20-22日,2019江苏省计算机学会计算机软件专业委员会学术年会在常熟召开。会议由江苏省计算机学会主办，计算机软件专业委员会、常熟理工学院承办，江苏省软件新技术与产业化协同创新中心协办。

大会开幕式由江苏省计算机学会金莹秘书长主持，常熟理工学院姜建明副校长、专委主任南京大学王林章教授进行大会致辞，专委秘书长南京大学卜磊教授介绍大会议程，本次大会分为学科发展报告、学科前沿论坛、青年学者沙龙和程序教研座谈四个部分，共有150多人注册，报告大厅座无虚席。

学科发展论坛由专为副主任、东南大学李必信教授主持，国防科技大学王戟教授做了题为“人机物融合时代的软件”

的报告，对软件学科进行了高屋建瓴的总结并对学科发展给出了指导与展望。

学科前沿论坛由王林章教授主持，首先，来自北京大学的黄罡教授以“人机物融合泛在系统软件研究与实践”为题介绍了在新一代信息技术推动下的人机物三元融合发展。第二位报告人是来自美国西密歇根大学的杨子江教授，报告题目为“区块链智能合约测试与监管”，以区块链大面积普及需要解决的两个问题为切入点，探讨了如何有效排查智能合约漏洞、如何发现并预警不合规的区块链项目。

青年学者沙龙由卜磊教授组织开展。来自南京大学的李樾副教授以“基础程序分析的两件小事”为题，根据自身的科研经历介绍了编程语言动态特性分析和指针/指向/别名分析。来自扬州大学的孙小兵副教授以“软件数据解析实践初探：从数据驱动到知识驱动”为题，探讨了报告人在软件数据解析研究方面的一些初步实践。第三位报告人是来自江苏大学的陈锦富教授，报告题目是“基于自适应随机测试的面向对象软件测试方法研究”，主要介绍了报告人研究团队基于自适应随机测试对OOS进行的测试及相关研究。

本次大会特别设置了程序设计教研座谈，由南京师范大学吉根林教授主持。首先来自扬州大学的徐明副教授介绍了“程序设计语言课程教学改革与探索”，随后来自南京大学的刘奇志副教授讲述了“南京大学《程序设计基础》课程教改综合实践”，紧接着来自东南大学的沈军教授探讨了“青出于蓝而胜于蓝——对PoP演化的个人认知及计算思维之程序设计”，来自南京航空航天大学的郑洪源副教授“从古人读书观探究新工科背景下程序设计教学的‘术’与‘道’”，来自河海大学的毛莺池教授讲述了“新工科背景下如何提升学生程序设计综合能力”，来自南京师范大学的陈波教授汇报了“计算机程序设计课程教学的一点思考与实践”，最后，来自江苏大学的潘雨青副教授探讨了“程序设计课程中学生解决复杂工程问题的能力培养”。在讲述完各自经历后，6位老师与现场学者们进行了热烈的讨论与问答。会议最后，李宣东教授建议每次会议都要保留程序设计教研座谈，王林章教授致辞结束会议。

会议期间，江苏省计算机软件专业委员会举行了工作会议，进行了换届选举，讨论专委会工作和发展。整个大会中丰富的会议内容、精彩的学术报告、专家们的无私分享与指导、以及常熟理工学院主办方的精心组织与周到安排为江苏省计算机软件发展提供了一场精彩的盛宴。